计算机辅助概率安全分析软件的设计与实现.pdf

合肥工业大学
硕士学位论文
计算机辅助概率安全分析软件的设计与实现
姓名:任春玲
申请学位级别:硕士
专业:计算机软件与理论
指导教师:刘晓平
20050501
计算机辅助概率安全分析软件的设计与实现摘要考察各种主流概率安全分析软件的基础上,从概率安全分析的核心方法~~事件树分析法和故障树分析法一一着手,设计并实现了支持这两种方法的计算机概率安全分析是一种对系统安全进行定性和定量分析的综合评价技术,涉及大量的数据和复杂的计算,在现代系统日益复杂的情况下。完全由手工完成这些工作是非常困难的。使用计算机技术来辅助概率安全分析,可以大大提高分析的效率和质量,这也是系统安全分析研究和发展的必然趋势。本文在充分辅助概率安全分析软件原型。谘芯扛怕拾踩ǚ治龅囊话悴街韬秃诵姆椒ǖ幕∩希教至耸录饕故障树结合使用的分析方法,设计并实现了能够支持事件树和故障树分析法的计算机辅助概率安全分析软件原型;攵怨收鲜魍夹蔚幕嬷疲岢隽硕嗖媸鞯拿拦鄄季炙惴ǎ迪至斯收鲜攵杂牍收鲜飨嘟岷系氖录鞯姆治黾扑悖岢隽私鹿市蛄液褪鹿屎果转换为相应的故障树求解的方法,并在此基础上,设计并实现了事件树的快速求解算法。关键词:概率安全分析。事件树分析法,故障树分析法,最小割集,画树算法本论文主要工作得到了安徽省自然基金项目、国家自然基金项目和“百人计划”址从Χ严低项目的共同资助。本文的主要研究内容包括以下几个方面:图形的美观合理布局;割集匹配
!狤猙甒珽,琲—,.—,.,,,:,珻
铷:升办虱葡伽工业炜教授梭曳辛群力合合肥工业大学答辩委员会签名ぷ鞯ノ弧⒅俺硕士学位论文质量要求。本论文经答辩委员会全体委员审查,确认符合合肥阂荡笱主席:委员:合肥工业大学,教授安徽大学,教授中国科学技术大学,副教授合肥工业大学,副教授
学位论文作者签名:崩薅蜓签字日期:剃年‘月签字日期:椰年‘月喝学位论文作者签名:伍素蛭独创性声明学位论文版权使用授权书盒┷烫本学位论文作者完全了解盒魍盒┷烫糜行ΡA簟⑹箎学位论文的规定,借阅。本人授权盒胆业厶堂以将学侮论文的全部或部分内容编入有关数据盒本人声明所坏难宦畚氖潜救嗽诘际χ傅紃进行的研究鹤骷叭〉玫难芯成果。据我所知,除了文中特别加以标注乖滦坏牡胤酵猓畚闹胁话渌艘经发表或撰写过的研究成果,也不包含为获得或其他教育机构的学何或证而使用过的材抖。与我一同【作的同志对本研究所做的任何贡献均己在论文中作魅返乃得鞲ケ硎拘灰狻有权保留行向国家有关部疛或机构送交论文的复印件和磁箍,允许论文被卉阅和库进行检索,可以采接坝⑺跤』蛏璧雀粗剖侄伪4妗⒒惚嘌宦畚摹C艿难宦畚脑诮饷芎笫蔋臼谌▄学僦论文作者毕业斤去向:鞯ノ唬通讯地址:签字日期电话:邮编:导师签名
致谢在本文完成之际,我衷心感谢所有给予我关怀、教导、帮助、支持和鼓励首先,向我尊敬的导师刘晓平教授表达我最诚挚的谢意,感谢刘老师在生活、学习、思想、工作上给予我的无私指导和帮助。刘老师严谨求实的治学态感谢芯渴合肥工业大学计算机与信息学院可视化与协同计算研究室欣鲜屯恰实验室,让我体会到了大家庭的温暖,有快乐可以一起分享,有困难能够一起解决,生活在这样一个团结友爱、充满活力的团队永远部是我的骄傲。在与男值芙忝妹且黄鸲晒拿恳桓鋈兆印⒁黄鸱享的点点滴滴,都将成为我生命中最为美好的记忆。感谢杨宇师兄,论文的顺利完成离不开他给我的指导与帮助,感谢他对我生活上无微不至的关怀和照顾,陪我渡过生活中的困难时刻。感谢家人和朋友给我的关心与支持,他们的鼓励是我顺利完成论文动力。最后,向本文中所引用文献的作者们表示感谢的老师、同学、家人和朋友。度、对学生无私奉献的精神使我深受感动,这是我从实验室获得的最宝贵的精神财富。任春玲—
第一章绪论由其导致的恶果一一技术带来的益处与恶果之问的矛盾越来越激烈和尖锐,,技术在人类的生产和生活活动中越来越变得大规模化、普及化和复杂化。人类在期望继续领受技术益处的同时,又憎恨动过程中,能将人或物的损失控制在可接受水平的状态,亦即,安全意味着人或物遭受损失的可能性是可以接受的,若这种可能性超过了可接受的水平,即为不安全。这就是说安全是相对的,没有绝对的安全与危险。因此,在安全研究当中,定性的评判是否安全是远远不够的,还需要定量的分析。在安全分析的定量研究中,我们不是要回答系统是否安全,而要回答系统究竟有多安全,也就是安全系数有多高,危险事件词鹿发生的概率有多大,于是概率安拍概率安全分析,也叫概率风险分析,是建立在布尔代数、概率论、安全工程学和计算机科学基础上的一门学科它是对复杂系统进行风险分析的有效方法,这种方法以基于事故场景的思路来分析实际系统,能够明确地描述系统的