【摘 要】
：
提出了一种新型的循环优化分析方法, 用于在符号执行中优化归纳变量为非线性的循 环. 首先详细分析了非线性归纳变量在符号执行中产生的问题, 通过将循环内部变量转换为 递推
【机 构】
：
信息工程大学,国家数学工程与先进计算重点实验室
论文部分内容阅读
提出了一种新型的循环优化分析方法, 用于在符号执行中优化归纳变量为非线性的循 环. 首先详细分析了非线性归纳变量在符号执行中产生的问题, 通过将循环内部变量转换为 递推链CR基本式, 推导得出的归纳变量与循环次数的依赖式, 进而采用二次曲面拟合的方法 对其进行化简, 从而达到了循环优化的方法, 实验证明文章提出的方法在一定程度上缓解了非 线性归纳变量给符号执行带来的状态空间爆炸、死循环等问题.
其他文献
民政工作的根本宗旨,就是履行好"上为党和政府分忧,下为人民群众解愁"的神圣职责.因此,新时期民政信访工作要注重情理法的结合,这是工作性质所决定的,是民政职责所需要的,更
本文对保定地区初级卫生保健本底资料进行了分析,认为全区的卫生防病工作已有一定基础;初级卫生保健的支持体系比较薄弱,集资医疗保健覆盖率、卫生厕所普及率、行政村卫生室
<正> 结肠癌误诊为阑尾炎国内外已有报告。我院于1980～1990年收治结肠恶性肿瘤150例,其中误诊为阑尾炎8例(5.3％),现报告如下。临床资料(见附表) 讨论 1.警惕性不高:阑尾炎多以
黄河引退水远程监控系统待交换的数据源包括不同种类PLC设备和数据库，使用传统方法很难有效解决设备及数据库问数据交换问题。提出基于ArchestrA技术的数据交换方案，该方法可以
对动态频谱接入中的多个频谱的选择问题进行了研究,综合考虑物理层频谱感知错误和信道衰落等不利影响,提出了一种基于概率预测的动态频谱接入策略.该策略基于交替更新过程的
要弄清中国政府社会管理的范围,从逻辑的角度讲,应该首先从实践和理论两个层面对建国以来的"社会"管理、中国历史上的"社会"管理传统、当代世界的"社会"管理经验进行检讨,以
文章建立了时变信道下同频混合信号的基本模型,提出了利用粒子滤波的混合信号调制参数估计与盲分离算法.通过将混合信号的时变调制参数建模为一阶AR模型,重点推导了参数与符
随着经济与社会的飞速发展，现代契约法正经历一个不断变化与调整的过程，并体现出新的特征与发展。本文所述的现代契约法的特征与新发展，实质上更多地是从现代契约法的新动向、新
加快民政信息化建设,实现民政工作决策科学化、管理规范化、服务网络化、手段现代化,是新时期民政事业改革和发展的迫切需要.十年来,民政部高度重视民政信息化建设,作出了系
利用理性秘密共享协议，提出一个理性多方公平交换协议。该协议具有有效性、时效性和机密性等性质。相对于其它协议，文章协议需要更少的轮数和消息数且达到了理性公平性。