基于扩展通用图灵机的计算机病毒传染模型

在计算机基础理论模型———图灵机模型的基础上 ,提出了一种扩展的通用图灵机 (EUTM)模型 ,这种模型突出了计算机病毒的传染特性 ,极大地简化了计算机病毒传染的形式描述 ,并根据EUTM模型给出了计算机病毒的形式定义 ,形式化描述了计算机病毒在单机和多机环境下的传染 最后指出了FredCohen关于病毒检测不可判定性定理证明的不足 。

基于扩展通用图灵机模型的HIV描述

利用系统生物学原理和计算机理论,研究HIV的结构和生命周期。扩展通用图灵机模型是一种计算机模型,使用这种模型描述HIV的结构和生命周期,能够将计算机与HIV结合起来,将生物化学反应过程转化为计算机运算模拟过程,从而简化了生物化学实验,减短实验周期。基于扩展通用图灵机的HIV描述不仅能够反映HIV的结构和生命周期,而且更加突出了HIV的感染特性。