文档介绍：国防科学技术大学
硕士学位论文
基于Windows
姓名:王可
申请学位级别:硕士
专业:软件工程
指导教师:毛晓光
20071001
摘要系统故障树分析,简称有一款应用于移动平台的分析软件。本文阐述了故障树计算机辅助分析基本原理,并研究了故障树主要参数钚割集、最小路集、不交化最小割集、不交化最小路集涞南嗷プ;媛伞J迪至基于亩ㄐ院投糠治觯⑹褂昧幢砗投恿杏呕蠼庾钚「罴姆治龉獭实现了基于深度优先左遍历的模块分解,解决了大型复杂故障树的简化分析问题。本文分析了移动平台的性能,并比较了和桌面开发的区别,研究了动态建造件。最后通过实例应用,显示了软件有很好的可视化、智能化特点:可以很好的主题词:故障树分析,窍低晨煽啃怨こ萄У闹匾分支,是目前国内外公认的评价复杂系统可靠性与安全性的一种实用方法。随着计算机技术的不断发展,募扑慊治鋈砑彩窃诓欢细拢窃菔被姑故障树的方法,开发了基于诺挠τ糜赪平台的故障树分析软完成故障树的建造、绘制和分析功能。,最小割集,二元决策图,模块分解,国防科学技术大学研究生院工程硕士学位论文第
琣甒甒疭琣,篎,国防科学技术大学研究生院工程硕士学位论文,.⑽鰐舊。琈第页琲猚—瓵瓺.,珺
表目录表故障树的名词和符号⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯璧闹道嘈秃鸵美嘈汀表下行算法步骤⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表表移动平台和桌面开发的区别⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表两种定性分析的比较⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表图居邢蛲嫉纳疃扔畔茸蟊槔怼表遍历结点的步骤⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表判断中间结点是否被模块化⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。国防科学技术大学研究生院工程硕士学位论文第页
图目录图故障树结点类关系图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图同一棵故障树三个视图的切换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图基于亩ナ录怕是蠼獾某绦蛄鞒掏肌图顺序与门的变换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图异或门的变换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图禁门的变换⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图故障树参数转换图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图故障树示例图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图纠图故障树转化的肌纠图故障树分析的两条途径⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图软件的框架设计⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图初始界面⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图屏幕显示结点的选取⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图相同转移事件的展开⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图基于笞钚「罴牧鞒掏肌图队列和链表的结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图邢蛲肌?榉纸馐纠收鲜鳌图?樽邮鳌图屑涫录谋嗉图治龃翱凇图收鲜鹘峁雇肌国防科学技术大学研究生院工程硕士学位论文第
作者指导教师签名:堑壹堑学位论文作者签名:至歪独创性声明学位论文版权使用授权书日期:的阨卤┤日期:≥每辏凇绿喝日期::.,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表和撰写过的研究成果,:彳酉本人完全了解国防科学技术大学有关保留、,允许论文被查阅和借闶;可以将学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存,:一.,
第一章绪论系统可靠性研究的目标和意义系统工程要求从系统的整体性、关联性、综合性和实践性出发,通过建立数学模型,应用电子计算机定量分析,达到最优化蚵庑的效果。系统可靠性正是最优化效果的一个重要方面。现代化系统的结构日趋复杂、功能日臻完善,因而达到高可靠性的难度越来越大了,但同时对可靠性的要求却越来越高。在从航天飞机到电视机等各类工程实践中,系统可靠性分析、设计和保障措施都是不容用低可靠元件组装成高可靠系统也是可能的。如何