论文部分内容阅读
软件故障树最小割集求解方式与效率极大影响软件可靠性分析结果及有效性。提出将故障树转化为Petri网，使用Petri网关联矩阵法，求解软件系统故障树最小割集。能够较好分析大型复杂软件系统，故障树最小割集求解更加简洁有效。通过ADS—B解码板解码任务验证其有效性，表明能够有效求解故障树最小割集。
基于Petri网的软件故障树分析
【摘 要】
：
软件故障树最小割集求解方式与效率极大影响软件可靠性分析结果及有效性。提出将故障树转化为Petri网，使用Petri网关联矩阵法，求解软件系统故障树最小割集。能够较好分析大型复
【机 构】
：
电子科技大学
【出 处】
：
火控雷达技术
【发表日期】
：
2013年4期
其他文献
<正> 加拿大和美国在社会制度、历史文化发展方面有着许多共同点,在图书馆事业的管理体制、业务工作程序、现代化设备的采用、图书馆人员的培养教育、人事管理等方面可以说是基本相同,或者说是大同小异。但前几年国内报导美国的情况较多,而对加拿大的情况却介绍很少。所以,特对加拿大的图书馆人事管理的情况加以介绍。加拿大图书馆人事管理中的关键问题包括人员配备、任务、人源计划、任务分析、任务评价、行动鉴定、反对犯罪的法律、人员训练和发展,以及工作生活中的特性等。下面对这几个问题一一加以介绍。所谓人事管理,包括
当前,中原文化在传播方面,存在着开发力度不够、具有国际影响力的文化品牌较少、传播渠道较为单一、传播途径学术化等问题。本文认为,传播中原文化,要坚持特色与创新相结合、
在全党开展以实践“三个代表”重要思想为主要内容的保持共产党员先进性教育活动，是党中央为加强党的先进性建设、提高党的执政能力、推进党的建设新的伟大工程做出的重大战略
通过热轧模拟实验,研究了轧制过程中控制冷却工艺对含Nb-V微合金钢性能的影响.适当降低终轧温度,增加冷却速度,降低终冷温度,以控制Nb(CN),V(CN)析出行为,从而改善钢的性能.
对电力企业而言,人力资源管理与政工工作联系密切、相辅相成,是增强电力企业竞争力的核心要素,基于我国“一带一路”战略的实施,针对人力资源管理中开展政工工作的现状,如何
针对空间调制（SM）算法频谱效率较低的缺陷,提出了一种基于幅度相移键控（APSK）调制的分层SM（LSM）算法。该算法首先对发射天线进行分层,然后分别对每层发射天线进行SM映射,最后根据每
3月下旬，中共中央政治局会议专门研究和部署了促进中部地区崛起的工作，4月中旬，中央又下发了《关于促进中部地区崛起的若干意见》，这对地处中部的山西、安徽、江西、河南、湖北、