【摘 要】
：
值编号是一种重要的静态分析技术，广泛应用于优化编译器和程序验证工具．实际应用中的各种值编号算法在检测等值关系上都存在各种局限性．功能更加强大的能够检测全部Herbrand等值
【基金项目】
：
国家863高技术研究发展计划（No.2006AA010202）
论文部分内容阅读
值编号是一种重要的静态分析技术，广泛应用于优化编译器和程序验证工具．实际应用中的各种值编号算法在检测等值关系上都存在各种局限性．功能更加强大的能够检测全部Herbrand等值关系的完全值编号算法工作效率都十分低下而无法实用．我们发现采用静态单赋值形式能够大幅提高完全值编号算法的性能．本文基于Herbrand等值关系给出了静态单赋值形式的程序中值编号的一般定义，建立了值编号和Herbrand等值关系的对应关系．基于该定义，判断两个表达式之间的Herbrand等值关系等价于判断该两个表达式的值编号是否相同．之
其他文献
一、育前的准备工作猪舍清扫与消毒：在进猪前对猪舍内外要打扫干净,清除一切粪便、垃圾,垫草及污物,地面要用3%的火碱刷洗,再用清水冲洗;天棚、墙壁要用20%的石灰乳刷白消毒;
银行保险是银行与保险公司合作的产物，但我国银行保险业的发展时间短，存在着产品种类单一等问题，因此需要进行不断改革和创新。
本文利用MonteCarlo方法及优化的散射模型,对电子束光刻中电子在抗蚀剂中的散射过程进行了模拟,通过分层的方法,对厚层抗蚀剂不同深度处的能量沉积密度进行了计算,建立了电子
在视频检索中,通过对用户行为特性的分析发现,用户通常只关注排在最前面的返回结果,而很少有耐心将所有的返回结果浏览一遍.因此,对于一个搜索引擎来说,能否将最相关的结果排在最前面是至关重要的.为了实现这一目标,本文提出了一种基于多证据融合的视频排序方法.该方法利用Dempster-Shafer证据推理理论来协同地融合多方证据,进而推断出最相关的视频镜头.如果多方证据一致,则证明某个视频镜头是相关的,此
针对基于内容三维模型检索中形状特征提取的关键问题,提出一种基于空间对称变换的三维模型形状特征描述符构造方法,此方法主要依据三维模型内部无处不在的对称特性.首先计算三维模型中点对之间的对称变换,其中点对来源于球面均匀分区采样后顶点集;然后利用点对的对称变换构造三维模型顶点对称空间,并结合空间聚类获得三维模型内部对称关系,从而给出对称区域描述;最后将对称区域描述符集合中数据按照对称区域大小排序后作为整
位于中国北方名城——哈尔滨市的兽医生物技术国家重点实验室，依托于中国农业科学院哈尔滨兽医研究所。经过近20年的发展．已经成为集基础研究和应用研究于一体的、具有一定影响
羔羊痢疾病,是由新生羔羊产后8天内发生的急性、热性肠道传染病,具体特征表现为剧烈腹泻而大批迅速死亡。本病的潜伏期一般为2～3日,有的羔羊出生后1天症状明显。以流行病及症
针对当前已经提出的二次不等式约束（QIC）条件下的线性约束最小功率（LCMP）波束形成算法,提出了利用Lagrange乘数方法进行有效的求解,解决了该波束形成问题的最优加权矢量求解问题,