简介:随机Petri网(SPN)是一种基于状态空间的可靠性建模分析方法,由于它具有其他可靠性分析方法(可靠性框图、故障树等)所不可比拟的优势,使其成为目前系统可靠性分析中备受关注的一种方法。但是,当所分析系统复杂时,状态空间爆炸问题是SPN进行系统可靠性分析最大的挑战。特别针对神光Ⅲ原型装置计算机控制系统这一庞大、复杂的系统,状态空间大小不可估量,所以很有必要研究克服SPN空间状态爆炸的方法。根据系统可靠性分析时常用到的SPN模型结构和有关可靠性分析理论知识,提出了模型结构约简方法,以约简系统模型,从而克服或缓解SPN模型可靠性分析中的状态爆炸问题。
简介:摘要:随着信息技术的飞速发展,光传送网作为通信基础设施的重要组成部分,其安全性能的提升成为了业界关注的焦点。传统的光传送网面临着诸多安全挑战,如数据泄露、非法入侵、服务拒绝等,这些问题严重威胁着网络的安全稳定运行。因此,研究基于SPN(Slice Packet Network)的光传送网安全性能具有重大的现实意义和应用价值。