论文部分内容阅读
论文提出了一种基于不动点定理和Quine的建立自修复式程序的算法。首先证明了Quine的存在性和生成算法的正确性，并且针对C语言提出了变换任何程序代码为Quine化的算法。然后，给出了利用Quine化技术建立自修复式程序的方法，最后讨论了用Quine化技术抑制软件病毒传播及其实用性。
Quine和自修复式程序生成算法研究与实现
【摘 要】
：
论文提出了一种基于不动点定理和Quine的建立自修复式程序的算法。首先证明了Quine的存在性和生成算法的正确性，并且针对C语言提出了变换任何程序代码为Quine化的算法。然后，给
【机 构】
：
中国科学技术大学计算机科学与技术系
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年6期
【基金项目】
：
国家部委预研基金
其他文献
本文以北京市为研究的立足点,从旅游目的地、中转地和客源地三个角度来考察北京市的旅游功能发展现状,其中着重通过对北京市居民的在京旅游、出京旅游和出境旅游的研究,分析
整数提升小波变换结构简单，不需要额外的存储空间，易于实现，在图像压缩中具有很好的应用价值。但在提升结构实现的过程中，滤波器多相矩阵分解并不唯一，文章以最小非线性图形迭代函
11月6日，由国家苹果工程技术研究中心、河南省灵宝市政府举办的国家苹果工程技术研究中心精品果生产基地暨苹果电子交易中心、优质果品交易中心、永辉果业果品出口公司揭牌仪
科技的进步,往往来源于科学家们超乎常人的想象——比如,有科学家大胆设想电动汽车的未来是这样的：路面全部由无线充电材料铺设,再也不需要加油站、充电站,电动汽车也无须停车
溃疡性结肠炎（Ulcerative colitis,UC）是消化系统难治病之一,是一种非特异性炎性肠病,其病程长,病情轻重不一,反复发作,且治愈后易复发。针对此病的病因,目前仍无明确认识,一般
本刊讯 近期，山西省翼城县红枣陆续上市。该县以酸枣嫁接大枣经济庄园和矮化密植为特色精品枣园，所产红枣独特的口感颇受市民青睐。翼城县红枣产业起始于1996年。在市委、市政
7月5日，一年一度的上海马陆葡萄节在上海嘉定区马陆镇开幕。上海马陆葡萄全国闻名，近年来，马陆镇围绕葡萄产业发展，大力打造以葡萄主题公园为核心的休闲旅游；打造以葡萄架下牛郎织
COM组件技术和虚拟仪器技术在仪器设计领域均有较广泛的应用，该文在分析其各自技术特点的基础上，进一步探讨了二者相互的优越性与可行性，并介绍了一套可远程控制的海洋极端环境
傲慢、固执、性格怪异，这是所有人对雷哈特的印象。这样一个性格特点鲜明的人，却是这个国家最权威的美食家之一。不知道有多少酒店，都想邀请雷哈特前来品尝他们的美食。不过，雷哈
提出了一种基于结构匹配的指纹匹配算法,不仅考虑了指纹的全局特性而且利用了指纹局部结构的平移和旋转不变性。该算法可克服在采集指纹图像时由于非线性形变所引起的细节点的位置、细节点的方向及指纹图像中细节点之间距离改变产生的影响,降低了匹配算法的拒识率。试验结果表明所提出的方法确实提高了指纹匹配算法的有效性。