简介:本文研究一个可靠机器、一个不可靠机器与只容纳一个部件的缓冲库构成的系统的时间依赖解的渐近行为.首先在我们已有的工作基础上指出该模型的主算子生成的C0-半群的本质增长界小于一个负数,由此推出0是该主算子的一级极点.然后用残数定理求该系统研究中出现的投影算子的表达式.最后证明该模型的时间依赖解指数收敛于其稳态解.本文的思想和方法适用于一个可靠机器、一个不可靠机器与容纳有限个部件的缓冲库构成的系统.
简介:审计信息化建设正在如火如荼的进行,由国家审计署部署的金审工程先后推广了以审计软件为代表的现场作业审计模式和联网审计模式,取得的效果显著,金审三期工程的重点则是数据中心的全方位立体化建设。《国务院关于加强审计工作的意见》(2014)提出要继续推进审计信息化,创新电子审计技术,提高审计工作能力、质量和效率,
残数定理在一个可靠性模型研究中的应用
云审计对国家审计带来的机遇、挑战及对策研究