论文部分内容阅读
本文提出一种基于逆向程序流分析的程序依赖性分析的形式化通用模型,它虽然基于一些很简单的概念与定义,但在程序测试、排错、维护、代码优化等多个方面有着广泛的应用。
一种逆向程序流依赖性分析方法及其应用
【摘 要】
：
本文提出一种基于逆向程序流分析的程序依赖性分析的形式化通用模型,它虽然基于一些很简单的概念与定义,但在程序测试、排错、维护、代码优化等多个方面有着广泛的应用。
【机 构】
：
南京航空航天大学计算机科学与工程系南京210016
【出 处】
：
计算机学报
【发表日期】
：
1993年5期
【基金项目】
：
国家自然科学基金,,航空科学基金,,南京航空航天大学青年科学基金
其他文献
2008年，我国在经历了自然灾害、全球金融危机同时，粮油行情也大起大落。2009年，中国粮油市场面临着国内外严峻的经济形势．也将充满变数。
在工业自动控制系统中,对工业以太网的应用已越来越广泛。并以此为基础设计出工业以太网系统的拓扑结构和组网方案,实现了对生产线的自动控制。根据生产线自动控制系统的基本
电磁离合器、胀紧联接套是无梭剑杆织机的一个关键部件。电磁离合器主要是用于控制主电机与织机的启动、刹车。在生产过程中频繁启动、停止，属于易损零件。胀紧联接套是从20世
<正> 1.引言 故障诊断是分布式容错系统研究中必须考虑的一个关键问题,在理论上,目前已提出多种诊断方法,而对分布式系统来说,由于它是由具有独立功能的个体计算机构成的,利
四川龙蟒集团50万t磷酸盐项目开工庆典5月30日在湖北省襄樊市南漳县隆重举行。四川龙蟒集团50万t磷酸盐项目是集团灾后重建工作中的重点项目之一．也是集团硫-磷-钛循环经济产
网络的性能与可靠性已分别得到广泛的研究,然而,怎样分析具有容错机制的环网的性能仍属有待开拓的研究领域,本文提出了一种分析具有自修复机制的多环网络系统的方法,并给出了
本文提出了音字转换学习系统的模型,给出了它所采用的三种机器学习形式:单词学习,规则学习,参数修正学习、单词以及规则的自动获取用于确定的推理机制,而非确定规则的自动获取以及可信度函数的自适应调整主要用于概率推理上,基于上述学习机制所进行的数万字的学习实验结果表明,机器学习在改进音字转换的系统性能(如正确率、通用性等)上,具有相当好的效果,目前已经在语句级声音输入、键盘输入等汉字系统上实用。
1．1实施中国粮食海外战略的全球背景在过去的一年多时间里，由于国际原油价格暴涨、大量粮食和植物油被用于生物燃料生产等原因，暴发了一场全球粮食危机。紧张的供求关系使得国际
近日．国家发展改革委办公厅《关于印发第1批国家信息化试点单位名单的通知》（发改办高技[2009]427号）公布了第1批83家国家信息化试点单位的名单。通威股份与鼎天电子标识技术系