【摘 要】
：
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示（SAIR）。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进
【基金项目】
：
国家863高技术研究发展计划基金项目（2007AA01Z483）, 河南省科技创新基金项目（082102210011）
论文部分内容阅读
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示（SAIR）。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系。通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR。最后,给出汇编代码转化SAIR的实例。实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率。
其他文献
中川国际矿业控股有限公司于2009年获得了加拿大萨斯喀彻温省KP488钾盐矿区的探矿权，2010年获得了采矿权。KP488钾盐矿区位于加拿大萨斯喀彻温省南部，占地96km2，目前已探明储量
面对硫化工行业的严峻形势，广东云硫化工厂动力车间积极开展降本增效工作，结合车间生产实际，通过一项项小技改，实现“降本增效”的大目标。以往硫酸系统一停机，动力发电机组即进行
为了提高实时集群系统中各节点的利用率并防止出现CPU使用率的热点,研究了实时集群系统中基于反馈控制的实时调度框架,并提出了一种新的面向任意图结构的负载平衡算法。该算
本文探讨了禽流感与人流感之间的关系 ,并从以下四个方面论证了禽流感的公共卫生意义 :① 2 0世纪 4次流感世界大流行中的 3次与禽流感密切相关 ;② 1 997～ 2 0 0 4年几次禽流
针对蜂群算法收敛速度缓慢、容易出现早熟的问题，提出一种改进的蜂群算法（IABC）。IABC在跟随阶段食物源更新中根据邻域个体食物源质量调整信息共享程度，并且随着搜索进程减弱当前
针对传统阈值法在图像分割时仅考虑像素的灰度信息,对噪声敏感且不易确定全局最优阈值的缺点,提出了基于蚁群智能和支持向量机的图像分割方法。该方法利用蚁群优化算法对图像的二维阈值空间进行全局搜索,并将搜索到的最优点灰度—区域灰度均值对作为阈值来区分目标和背景,然后对支持向量机进行训练和测试,最后用训练好的支持向量机分割图像。实验结果表明,该方法抗噪能力强,分割准确,是一种实用有效的图像分割方法。
本文以杭州下沙高教园区为例，指出了各图书馆参考咨询服务的现状，通过对建立联合数字参考咨询服务的可行性分析，阐述建设中需要解决的关键问题，并提出建议和对策。
为了由简单三维输入自动生成水墨仿真风格图像,提出了一种基于GPU的实时线绘制算法及水墨仿真算法。提出的微分几何线绘制算法结合了视点相关和视点无关两类特征线的绘制,利用了多种曲率信息和风格化纹理。由于GPU加速和风格化纹理的设计,该算法达到实时且风格化可控,方便了国画仿真,仿真计算将水墨看作二维流体,利用LB方法模拟水墨在宣纸中的边缘扩散。通过对比大量的绘制结果以及和其他方法的比较,结果表明,该方法
为了更加有效地开发MAS系统,简化系统建模流程,传统的建模方法已暴露出其不足之处,因此必须采用新的分析和设计建模方法。提出了Gaia建模方法和JADE框架,Gaia为复杂开放式软
新时期背景之下,提高社会服务能力是博物馆面临的迫切的现实问题。文章结合笔者工作实践及思考,从创新服务理念,创新展览内容和形式,创新技术手段,完善配套设施四个不同的侧