文档介绍：劣参未玉’.毒剑釉鸥痍ㄇ科!洲茵旃健墩鑃淳痞孝,酃:彗“诺攀毪嚣.¨泛”菪麓鲁”啦蕾脯彤¨憾唬汗健觥凇蹋.》硕士学位论文夕基于贝叶斯网络的系统安全分析北京交通大学作者:商晖导师:李开成ぁぁ痳‘‘一’’籵年月瓷⋯,:∥亨恪O啊冖б弧。,划~镥一蕖帧■,尊“蔼。3钙蹋■‘÷■,●‘唬簂‘,●:鰐●、,;儿.,一:,·::;¨.‘
争弦顷签字日期:山年,≯月加,/签字日期:幽D闕≯月扩日学位论文版权使用授权书本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,提供阅览服务,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论文的复印件和磁盘。C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得学位论文作者签名:导师签名:唧、,●
北京交通大学硕士学位论文基于贝叶斯网络的系统安全分析作者姓名:商晖导师姓名:李开成称:副教授学科专业:交通信息工程及控制研究方向:基于通信的列车控制年月学号:职学位类别:工学硕士学位级别:硕士中图分类号:学校代码:密级:公开;’唬一,
致谢本论文的工作是在我的导师李开成教授的悉心指导下完成的,李开成教授严谨的治学态度和科学的工作方法给了我极大的帮助和影响。在此衷心感谢三年来李开成老师对我的关心和指导。唐涛教授悉心指导我们完成了实验室的科研工作,在学习上和生活上都给予了我很大的关心和帮助,在此向唐涛老师表示衷心的谢意。燕飞老师对于我的科研工作和论文都提出了许多的宝贵意见,在此表示衷心的感谢。在实验室工作及撰写论文期间,胡巍巍、徐蓓、李雷、刘海旭等同学对我论文中的现状和发展研究工作给予了热情帮助,在此向他们表达我的感激之情。还要感谢我的好朋友张春春、余茜、董晶之对我的关心和支持。感谢爸爸妈妈,他们的理解和支持使我能够在学校专心完成我的学业。‘‘钿,
中文摘要摘要:在城市轨道交通中采用的基于通信的列车控制系统是一个复杂的运行控制系统,通过硬件与软件的有机的结合完成列车运行中的控制功能,其具有故障模式的多态性、组件的非独立性、功能的偏差性以及时序性等特征,同时此系统的安全受到软件控制因素、人为因素以及间接因素的影响,使得故障树与事件树的分析方法遇到困难。相较于故障树和事件树分析方法,贝叶斯网络在坚实的数学基础上克服了多态性、非独立性、时序性等问题,通过概率图形的方式直观的表示系统元素、组件之间的依赖关系,具有双向推理的性能从而可以进行前向预测分析以及后向的诊断分析。本文主要利用贝叶斯网络的优势,针对信号系统的特点,将贝叶斯网络的相关理论应用于的安全分析中,从而将系统涉及的软件问题、人为因素等不确定性与硬件不确定性综合考虑构建贝叶斯网络分析模型。论文从的系统功能出发,结合常用的功能分析方法和贝叶斯网络的基本理论,提出了基于场景图的贝叶斯网络的安全分析方法;通过确定系统安全考虑因素的目标、消极目标以及对目标的详细场景描述,,即此场景下的消极场景描述;根据消极场景向贝叶斯网络的映射构建基于场景的贝叶斯网络模型,并将次要场景进行演绎分析而获得主要贝叶斯网络中的条件概率值;根据贝叶斯网络的诊断能力以及网络的计算结果提出相应的缓解消极目标的措施;最后对的列车安全间隔功能进行了贝叶斯网络的分析,分析结果表明,列车安全间隔功能满足的安全设计要求。本文提出的基于场景图的贝叶斯网络的安全分析方法不仅适用于分析的列车安全间隔功能,也适用于的其他功能安全分析。关键词:贝叶斯网络,场景,偏差模型;激励一响应;功能安全分析分类号:摹交大位文摘北京通学硕士论中要气,芍’
删.,琣,;瑆—琣.—瓵北京交通大学硕士学位论文‘‘:籗籇:猙;.瑃,琲,琱,,.,—;铀气一,
中文摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..螩璱⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..绪论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯轨道交通安全分析⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.斓澜煌òò踩ǚ治龇椒ā研究意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...ò⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯贝叶斯网络理论基础⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯基本介绍⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.基于场景的贝叶斯网络安全分析方法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.基于场景的贝叶斯网络安全分析方法概述⋯⋯⋯⋯⋯⋯⋯安全考虑因素⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.【【啊系统组合偏差模型⋯