带有缓冲库的串联cims渐近稳定性分析

？讨论了一个可靠机器,一个不可靠机器和一个缓冲库构成的计算机集成系统(cims),利用由该系统所决定的算子a+e生成的banach空间中的正压缩c0半群,证明了此系统的非负稳定解恰是算子a+e的0本征值所对应的规范化后的本征向量;同时通过对算子a+e的谱点分布的分析,证明了算子a+e的谱点均位于左半平面且在虚轴上除0点外无谱,作为线性算子半群稳定性的一个直接结果,得出了该系统解的渐近稳定性.