论文部分内容阅读
该文以一个指挥控制实时集群系统为例，介绍系统采取的以长期不间断运行为目标的可信度措施；建立定性的可信度PETRI—NET模型和可维护性树以说明系统在生命周期内的运行过程；最后评估系统不问断运行的可信度指标。
基于可信度的关键实时集群系统设计
【摘 要】
：
该文以一个指挥控制实时集群系统为例，介绍系统采取的以长期不间断运行为目标的可信度措施；建立定性的可信度PETRI—NET模型和可维护性树以说明系统在生命周期内的运行过程；最后
【机 构】
：
空军工程大学工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年34期
其他文献
在构造嵌入式系统开发环境的时候，GCC作为一个成功的开源项目，以其源码开放以及众多的目标体系结构支持，引起人们的关注。然而，人们仍然可能面临一些问题，其中之一就是如果使用的
模因论用来解释人类文化的进化规律,是语言学中的一个新理论。这个词最初来自英国著名科学家理查德.道丝金斯（Richard Dawkins）的著作《自私的基因》。模因与语言的关系非常密
随着WebServices概念和技术的成熟和逐渐广泛应用以及如OGC等国际标准化组织标准化工作进展,传统的地理信息系统对外提供空间地理信息服务成了可能。该文在介绍分析WebServices和由OGC提出的OWS的基础上提出了一个基于WebServices的空间地理信息服务的初步方案。
改革开放20多年来，中国的金融税制虽然已经实行了一些改革，但要使之适应市场经济和国际化发展要求，仍需进一步完善。现行金融税制存在的主要问题是税率偏高、税基不合理。配套实