论文部分内容阅读
可靠性是开发联锁软件的重要依据之一,为了提高系统的性能,选择合理的可靠性分析模型很重要。本文在联锁软件的时间Petri模型基础上,从路径分析出发,结合Petri网动态描述与分析等特点,提出了一种联锁软件可靠性分析方法。
联锁逻辑模型可靠性分析
【摘 要】
：
可靠性是开发联锁软件的重要依据之一,为了提高系统的性能,选择合理的可靠性分析模型很重要。本文在联锁软件的时间Petri模型基础上,从路径分析出发,结合Petri网动态描述与分
【机 构】
：
中铁西安勘察设计研究院有限责任公司
【出 处】
：
黑龙江科技信息
【发表日期】
：
2016年8期
其他文献
<正>视点一整治"庸懒散浮拖"一些党员干部在亲民为民的表象之下,仍存在着"庸懒散浮拖"现象,从根本上影响了党员干部良好形象的塑造,影响了党群干群关系的融合。在"庸懒散浮拖
村（社区）干部的监管,是困扰基层党组织多年的难题。尤其是非党员的村（社区）干部,既非党组织处理范围又非行政监察对象,在不构成违法的情况下,对其＂大错不犯、小错不断＂行为的惩处缺
【正】公职人员骗取农村低保金,真正需要帮助的低收入群众反而无低保可领,当前农村低保工作中骗保、漏保、错保问题严重。一些农村地区甚至出现了低保成为村干部亲戚及关系户
水是人类生命的源泉,而当今社会的迅速发展,人类的经济活动也给水资源带来了很大的破坏,越来越多环境问题层出不穷,使得水资源匮乏、水资源浪费和污染也成为了巨大的难题。从
以CPE/VPB共混物为基材,以石油炼广废油渣为增塑剂和软化剂,以炼铝工业废渣红泥为填料,分别讨论了共混比例,废油渣的增塑软化作用,红泥的填充效果,以及该共混复合材料的力学
正面人物报道在构建社会主义和谐社会中发挥着重要的精神引领和社会整合的作用。在社会价值观更加多元化的当下,人们对传统正面人物报道那种“高大全”式的宣传模式不再盲目
2010年6月15—18日，由世界银行瑞士发展与合作机构（The World Bank，the Swiss Agency for Development and Cooperation）和清华大学跨界河流水与生态安全研究中心（Tsinghua Univer
林口建堂中地区巨斑状二长花岗岩主要岩石类型为巨斑状细—中粗粒二长花岗岩,属钠质的过铝质的钙性岩石系列,其稀土配分模式总体特征与大陆地壳的稀土曲线形态较相似或相近,