可靠性分析中的SPN模型约简

• 作者: 王晓丽
• 来源期刊: 中国工程物理研究院科技年报
• 学科: 工学
• 关键词: 可靠性分析方法 SPN模型 系统可靠性分析 状态空间爆炸 随机PETRI网 计算机控制系统 神光Ⅲ原型装置 状态爆炸
• 年，卷（期）: 2006,（1）
• 页码范围: 170-171
• 页数: 2页
• 分类号: TP393

摘要

随机Petri网（SPN）是一种基于状态空间的可靠性建模分析方法，由于它具有其他可靠性分析方法（可靠性框图、故障树等）所不可比拟的优势，使其成为目前系统可靠性分析中备受关注的一种方法。但是，当所分析系统复杂时，状态空间爆炸问题是SPN进行系统可靠性分析最大的挑战。特别针对神光Ⅲ原型装置计算机控制系统这一庞大、复杂的系统，状态空间大小不可估量，所以很有必要研究克服SPN空间状态爆炸的方法。根据系统可靠性分析时常用到的SPN模型结构和有关可靠性分析理论知识，提出了模型结构约简方法，以约简系统模型，从而克服或缓解SPN模型可靠性分析中的状态爆炸问题。