随着信息技术应用越来越多的渗透到工程、商业和社交活动中，计算机病毒的威胁变成了日益重要的关注问题。了解和控制计算机病毒传播、发展规律，继而可以建立计算机病毒的动力学的数学模型。通过对模型的分析和仿真等操作，可以帮助揭示病毒流行的原因，得到计算机病毒的发展变化的规律，进而找到对病毒预防和控制的策略，对于抵御计算机病毒的侵害、维护良好的网络安全和信息安全对于人们来说是非常必要的。本文的主要工作和研究成果如下：1.考虑了网络中计算机病毒传播的状态转移过程，在此基础上建立了病毒传播的动力学模型，分析了模型及稳定性问题。为了方便描述病毒的动态特性，引入了“当量日”的概念。通过使用“当量日”的概念，建立起来一个描述计算机病毒的离散时间的数学模型。通过计算，得到建立的数学模型的有病平衡点和无病平衡点。然后，运用Lyapunov第一方法得到无病平衡点稳定性的充分条件，再由圆盘定理得出有病平衡点的充分条件。几个仿真证明了稳定性条件的有效性。2.研究了带有免疫的计算机病毒传播模型及稳定性问题。首先，建立数学模型来描述计算机网络中带有免疫的病毒传播模型的动力学特性，由计算得出了模型的无病平衡点和有病平衡点。分别求得无病平衡点和有病平衡点稳定的条件。仿真结果表明了所求条件的有效性。3.研究了网络中存在双病毒模型及稳定性问题。首先，建立离散的数学模型来描述计算机网络中双病毒传播模型的动力学特性，得出了模型的无病平衡点和有病平衡点。分别求得无病平衡点和有病平衡点稳定的条件。仿真结果表明了所求条件的有效性。4.研究了网络中SEIQR模型及稳定性问题。首先，建立离散的数学模型来描述病毒在网络中动力学特性，得出了模型的无病平衡点和有病平衡点。分别求得无病平衡点和有病平衡点稳定的条件。仿真结果表明了所求条件的有效性。5.借鉴了经典的HIV动力学模型，建立了带有时滞的离散病毒数学模型，首先给出了数学模型的无病平衡点和有病平衡点。然后求得了数学模型的无病平衡点的渐近稳定性条件。之后得出了有病平衡点渐近稳定的条件。最后仿真结果表明了得到的稳定性条件的有效性。6.将控制项加入离散计算机病毒模型中，利用经典的求解最优控制律问题得到防控计算机病毒的最优控制律，仿真结果显示了提出的最优控制律的有效性。