摘要
讨论由软件和硬件构成的串联可修复计算机系统,利用系统算子生成的Banach空间中的正压缩c0-半群的性质及泛函分析的方法,证明该系统具有唯一非负时间依赖弱解.
A series repairable computer system with hardware and software is studied. By the positive c0-semigroup which is generated by system operator, we proved the existence and uniqueness of the non-negative weak solution of the system depended on time.
出处
《延边大学学报（自然科学版）》
CAS
2008年第2期96-98,共3页
Journal of Yanbian University（Natural Science Edition）
关键词
串联
C0-半群
非负弱解
series
c0-semigroup
non-negative weak solution
