【摘 要】
：
为了解决关键系统灵敏性分析中的状态空间爆炸问题,提出一种基于模块化分析、适用于动态系统的重要度测量方法。将系统故障树分解为多个层次不同的独立模块,在此基础上引入微
【机 构】
：
国防科学技术大学计算机学院,装备指挥技术学院国防科技重点实验室
【基金项目】
：
国防预研基金项目（51320010201）, 国家自然科学基金项目（60904082）
论文部分内容阅读
为了解决关键系统灵敏性分析中的状态空间爆炸问题,提出一种基于模块化分析、适用于动态系统的重要度测量方法。将系统故障树分解为多个层次不同的独立模块,在此基础上引入微扰法的思想,对BI（Birnbaum importance mea-sure）重要度指标进行扩展。提出相对重要度的概念,根据各独立模块的类型,分别求解相对重要度,利用相对重要度进行组合计算,求出系统级重要度。将该方法应用于一个实际高可靠计算机系统,分析结果显示该方法能够提供一个可信的重要度测量。
其他文献
继2017年《专利审查指南》（2010版）第二部分第九章修改,审查实践中遇到的一个邻接问题是：基于相同计算机程序改进方案,分别以介质、设备、方法为主题的权利要求是否属于＂同样的发
校园网络中不可避免会出现IP地址冲突。通过分析ARP协议,提出基于VLAN端口隔离利用二层协议重定向策略和DHCP RELAY安全绑定建立一种高效静态IP和MAC管理策略。解决在VLAN和
<正>根据2009年行政案件统计情况,位居第1位的案件仍然为土地案件;位居前3位的案件为房地产类案件,以土地城建、房屋拆迁、房屋登记案件为主。物权法的颁布实施,确定了以物权
本文从企业群体性败德这一视角出发,探讨药品集中采购绩效低下的原因以及可行的改进措施。研究表明,片面追求低价格的原有招标模式本身存在的缺陷以及相应出现的正向激励不足
<正>吴良镛,男,1922年5月出生于江苏省南京市。1944年毕业于中央大学建筑系。1946年协助梁思成创建清华大学建筑系。1949年毕业于美国匡溪艺术学院,获硕士学位。1950年回国投
<正>生产中技术服务人员、营销人员常因养殖户抱怨蛋鸡的采食量高而束手无策。实际上蛋鸡的采食量受多种因素的影响,现阐述如下。1不同品种采食量差异较大最常见的海兰褐、海
针对电力EAM（enterprise asset management）系统数据库分布各地且结构各异引起的数据不一致性问题，采取在电力EAM系统的数据访问层设计一个数据库中间件的方法。通过数据库中间