论文部分内容阅读
讨论由软件和硬件构成的串联可修计算机系统的时间依赖解,运用C_0-半群理论及算子理论,证明系统的适定性和时间依赖非负解的存在唯一性.通过研究系统相应算子的谱特征,得到系统时间依赖解的渐近稳定性.
The time dependent solution of a series of repairable computer systems consisting of software and hardware is discussed. The C_0-semigroup theory and operator theory are used to prove the existence and uniqueness of the system’s fitness and time-dependent non-negative solutions. By studying the corresponding operators The spectral characteristics are obtained, and the asymptotic stability of system time-dependent solution is obtained.