论文部分内容阅读
主要利用补充变量的方法建立了由硬件和软件串联组成的计算机系统数学模型,其中硬件修复如新;软件进行周期性维修,修复后寿命逐渐减小,经过一段时间后对其进行大修使之恢复如新.在假设硬件和软件的寿命服从指数分布,而修理时间服从一般分布的条件下,运用C0-半群理论讨论了系统非负动态解的存在惟一性及渐近稳定性问题.