作者：赵俊阁 刘玲艳 吴晓平动态安全性petri网可达树失效序列
摘要：针对目前安全分析方法通常只能给出导致系统失效的事件发生序列，而对系统运行过程中的一些时序、动态等因素考虑不足等问题，提出了基于Petri网模型的系统安全性动态分析方法，并结合系统状态可达树，建立了系统动态安全性分析模型，得出导致系统失效的所有可能事件的序列及其发生概率。最后，以实例验证了该方法的可靠性和有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《海军工程大学学报》（CN：42-1106/E）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《海军工程大学学报》主要发行范围:本校各单位、学报各编委,军内外有关的研究机构、各大公共图书馆、院校图书馆、学报编辑部等有关单位,论文作者,以及报送学报的主管领导机关和相关的业务部门。
北大期刊、统计源期刊
人气 542302 评论 58
省级期刊
人气 238650 评论 36
人气 228850 评论 63
人气 186258 评论 72
