计算机辅助程序提取工具—CAPET的机理研究

来源 :计算机学报 | 被引量 : 0次 | 上传用户:sanhaijin123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从目标码提取源程序是维护、开发没有源程序的软件的基础。本文讨论了研制计算机辅助程序提取工具CAPET的部分理论依据。
其他文献
在2007年的预算草案报告中.发展农村生产被放在了更加突出的位置。中央财政共安排资金150多亿元发展现代农业.用于农业综合开发、农业技术推广和对农民的技能培训等。中央财政
<正> 1.引言 以往对数据库的修改:增、删、改都是针对数据库模式中的数据进行的,数据库模式则在运行中保持不变。我们不再对其属性和依赖集进行修改。知识库、专家数据库等均
本文提出了一套向量变换理论,在此基础上,设计了一个词法分析器。该词法分析器在KJ8920大型计算机上部分实现。
本文提出一个简洁的、完整的、统一于非自交多边形(NIP)的多边形三角剖分算法,该算法分成两部分:其一是将任意多边形转化为非自交多边形;其二是非自交多边形的三角剖分。最后给出该算法在三维立体造型中的应用。
本文提出了一种状态空间搜索方法RA,此方法能寻找出具有最大耗散值的目标结点(在有限空间);借助RA给出了最佳初始分配算法,并讨论了具有负符平衡要求及其它附属条件的最佳初