优秀研究生学位论文题录展示

基于Petri网的系统安全性建模与分析技术研究

专 业: 管理科学与工程
关键词: 系统安全性 广义随机Petri网 Markov过程 计算机仿真
分类号: TB114
形 态: 共 116 页 约 75,980 个字 约 3.634 M内容
阅 读: 全文阅读说明

内容摘要


该文围绕当前系统安全性分析中存在的系统安全性模型描述与求解,以及安全性分析方法综合运用等问题进行研究。

目前安全性分析技术在动态系统安全性描述和分析方面存在很多困难,据此论文研究了在经典Petri网及其扩展模型的基础上进行描述和分析的思路,提出采用广义随机Petri网GSPN建立系统安全性模型的方法。

在安全性定性分析方面,论文提出了关键状态的概念,给出了关键状态分析的搜索算法,研究了采用内锁和时间约束来消除高风险危险路径的方法。

在安全性定量分析方面,我们研究发现去除消失标识后,GSPN的可达图与一个连续时间Markov过程CTMP是同构的,为此,可利用Markov过程方法进行分析。

论文提出了基于Gauss-Seidel方法与动态行列技术的分析方法。

在仿真方面,主要探讨了安全性定量分析中稀有事件问题的抽样技术,并提出采用重要性抽样法,以提高抽样效率。

在技术方法综合运用方面,根据目前Petri网方法与传统的安全性分析方法结合不足,论文提出了一种综合了Petri网和传统安全性分析技术的方法。

最后论文提出一种基于GSPN的系统安全性建模与分析系统的设计框架,并利用软件的原型系统对一个铁路系统进行了实例分析……

全文目录


文摘
英文文摘
第一章 绪论
1.1研究现状
1.2存在的问题和解决的思路
1.3论文主要内容和结构安排
1.4论文创新点
第二章 基于Petr i网的系统安全性建模与定性分析
2.1系统安全性分析及模型选择
2.2经典Petri网模型
2.3基于经典Petri网模型的系统安全性定性分析
第三章 基于GSPN的系统安全性建模与定量分析
3.1广义随机Petri网模型
3.2利用GSPN进行系统安全性分析的一般过程
3.3 GSPN嵌入CTMP的迭代求解方法
3.4安全性系统GSPN模型的仿真求解
第四章 系统安全性综合分析方法
4.1 Petri网模型与FMECA方法综合运用
4.2 Petri网模型与ETA方法综合运用
4.3安全性综合分析方法
第五章 系统安全性建模与分析软件
5.1安全性建模分析软件设计和原型系统
5.2可达集存储策略
5.3实例分析
第六章 结束语
6.1本文的主要贡献
6.2进一步研究的展望
参考文献
附录1第六章实例的可达状态集

相似论文

  1. 基于产品性能退化数据的可靠性分析及应用研究,110页,TB114.3 V245.1
  2. 基于MCMC的贝叶斯生存分析理论及其在可靠性评估中的应用,113页,TB114.3 F273.2
  3. 装备使用阶段维修保障能力评估建模与分析,146页,TB114 E27
  4. 系统安全性分析技术研究,124页,TB114
  5. 小子样复杂系统可靠性信息融合方法与应用研究,124页,TB114
  6. 基于Bayes理论的小子样可靠性评定方法研究,59页,TB114.3
  7. 先进制造系统中抓钩排序问题的研究,108页,TB114.1 TH16
  8. 动态故障树分析方法研究,67页,TB114
  9. 发动机滑油信息综合与面向任务维修决策,70页,TB114 V233.4
  10. 离散制造环境下统计过程控制与自动过程控制相结合的研究,58页,TB114.2 TP13
  11. 液体火箭发动机可靠性增长管理研究,145页,TB114 V434
  12. 非单调关联系统可靠性分析技术研究,101页,TB114
  13. 大型激光装置能源模块可靠性仿真研究,58页,TB114.3 TN245
  14. 国防科技工业条件保障项目评价方法的研究,72页,TB114.2 F224.5
  15. 一类极小极大问题的滤子算法,43页,TB11
  16. 自由端具有局部粘弹性阻尼的悬臂Timoshenko梁的能量衰减问题的研究,30页,TB11
  17. 基于遗传算法与蚂蚁算法的矩形件布局问题的研究与应用,49页,TB11
  18. 代谢综合征的风险因素分析与应用,58页,TB11
  19. 弹性问题无网格局部边界元法及其应用研究,71页,TB11
  20. 粒子群优化算法及其若干工程应用研究,76页,TB11
中图分类: > TB114 > 工业技术 > 一般工业技术 > 工程基础科学 > 工程数学 > 概率论、数理统计的应用

© 2012 book.hzu.edu.cn