论文部分内容阅读
针对计算机病毒的自我复制特性目前尚未有普遍认可的数学模型的问题,从病毒模型结构出发,分析了病毒自我复制特性,指出病毒自我复制的本质是一系列关系的映射,是代码的线性序结构.提出由本原函数代入及递归变换,通过递归规则,解释病毒的自复制为函数的自引用、递归自再生过程.突出了应用数学形式体系研究的无矛盾性、数理逻辑相关的理论和方法.