【摘 要】
：
二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2
【机 构】
：
数学工程与先进计算国家重点实验室（战略支援部队信息工程大学）
【基金项目】
：
国家自然科学基金项目(61472447).
论文部分内容阅读
二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具有等价性,而等价的证明依赖于适当的形式化模型.为了满足研究二进制翻译正确性以及翻译优化方法对理论模型的需求,对已有理论模型进行了深入的剖析,并进一步构建了新的基于后继关系的映射模型.该模型既能够形式化地描述正确翻译的二进制翻译过程所具备的性质和构造方法,也可以在翻译过程形式化描述的基础上对
其他文献
通过对中压液氧泵同步齿形传动带的计算、校核和分析，得出加强力层聚氨酯传动带易被挣断的原因是单位宽度上的拉力大于许用拉力的结论。并提出了增加带宽,提高安装质量和进口
为了挖掘并全面考察韩邦奇的哲学思想，采用文献解析和哲学分析的方法，研究认为：韩邦奇是明代关学学派的代表，也是明代中期反思程朱理学思想的代表人物之一，但不是明代气学学说的代
作为云存储安全的重要问题,数据完整性验证技术受到学术界和工业界的广泛关注.为了验证云端数据完整性,研究者提出了多个数据完整性公开审计模型.然而,现有的数据完整性审计
连铸用大包在将钢水注入中间包的过程中，由于安装在大包上的滑动水口故障，导致漏包，烧坏设备，无法连铸。经分析原因并采取了防漏措施，基本上杜绝了漏包事故发生。
介绍唐钢二炼铁厂F203皮带运输机皮带翻转装置改造和双驱动改为单驱动的经验和计算方法。
小提琴演奏是一项高级的、复杂的综合性活动,具体的说就是高级思想与情感表现以及复杂的心理和生理活动等因素的综合运用,而完成这一活动关键因素之一是心理,因为在一种特定
介绍应用溴化锂制冷机组建立人工冷源来强制降低夏季低温热废水的温度，从而实现常温下煤气冷却水的低温循环，降低了煤气温度，增收了煤气，增产了化工产品，减少了大气污染，为企业带来
由西北大学经济管理学院、西北大学社科处及陕西省外国经济学说研究会联合主办的“中国经济增长质量指数发布会暨中国经济增长质量论坛”于2012年9月14日在西北大学召开。新
降低能耗、实现网络的能量均衡和延长网络寿命,是设计无线传感器网络（wireless sensor networks,WSNs）数据收集算法所面临的主要挑战之一.针对现有无线传感器网络分簇数据收集
介绍了武钢热轧厂主电室地下坑壁渗漏的原因、维修中选择的材料与施工方法。采用JVS951树脂胶对厂房地下混凝土风道进行堵漏试验、处理。使用年余，达到了预期的目的。