收藏本站
《武汉航空航天大学》 2019年
收藏 | 手机打开
二维码
手机客户端打开本文

基于系统设计模型的常态故障树构建与分析方法研究

宛伟健  
【摘要】:陪伴嵌入式系统在飞行、农技、工商等安全第一领域被广大永利赌场,她规模和复杂度在不断增长,如何保证安全第一嵌入式系统之可靠性和专业化已经化为目前学术界和工业界的研讨重点。单,嵌入式系统研发周期中大部分错误主要集中产生于系统设计阶段,而由于系统设计和系统分析相互分开,末了进行系统分析时,修正每个错误所要花费的批发价是系统早期规划阶段修正错误定价的几倍甚至几十倍。一头,动态故障树作为一种有效的且把广大永利赌场的系统可靠性和专业化分析模型,她构建方式通常基于分析工程师手动构建,大妈降低了模型的可靠性。随着系统规模之不断增长,手动构建动态故障树变得愈发困难,且基于马尔可夫链的常态故障树定量分析方法由于缺少有效工具的支撑,生活计算过程复杂且容易出现人为错误、耗费大量人力物力和计算结果不准确等缺点。针对以上问题,本文提出一种基于系统设计模型SysML的常态故障树自动构建方法,名将系统设计与系统分析相结合,在系统设计的同时开展可靠性分析;并结成概率模型检测方法,谈起一种基于概率模型检测工具PRISM的常态故障树定量分析方法,能够高效精确的对动态故障树进行定量分析。舆论的严重性研究内容如下:(1)谈起一种基于SysML宣传图和扩张后的SysML模块定义图的常态故障树构建方法,老大基于SysML的Profile扩张机制,对SysML模块定义图进行故障描述语义扩展,下一场结合SysML宣传图提出一种动态故障树的全自动构建算法,机动生成动态故障树。(2)谈起一种组成概率模型检测工具PRISM的常态故障树定量分析方法,利用连续时间马尔可夫链模型对动态故障树进行专业化规约,合同PRISM语言对继续时间马尔可夫链模型进行描述,转移PRISM工具的投入模型,下一场定义定量分析CSL属性规约公式,末了运行工具得出定量分析的结果。(3)规划实现了动态故障树自动生成和转移到PRISM代码的原型工具T-CDFT2PRISM,并对一个飞机结冰探测系统案例进行分析,表明本文所出口点子的动向和客体。为安全第一嵌入式系统之可靠性分析工作提供了一种新思路。
【学位授予单位】:武汉航空航天大学
【学位级别】:博士
【学位授予年份】:2019
【列入号】:N945.1

手机知网App
【相似文献】
中华澳门永利网上赌场数据库
明日10条
1
阮可强;; 故障树分析中的不交和拓展[J];核科学与工程;1987年01为期
2
李华;; 基于故障树的雷达故障诊断方法研究[J];复线互联科技;2019年01为期
3
韩建军;; 基于故障树的硬件分析技术(SFTA)剖析[J];科技创新导报;2007年32为期
4
翁肖力,李锦飞,陈静; 非二态故障树分析发展动态[J];机械设计与制作;2001年01为期
5
展宏勋;张国霞;; 阴沉吉米尔轧机液压系统故障树分析[J];武装制造技术;2014年06为期
6
周经伦,孙权; 一种故障树分析的新疗法[J];混淆系统与人权学;1997年03为期
7
孙婧;杨炳恒;孙璐璐;; 基于故障树的政治经济学助降系统排故研究[J];舰船电子工程;2018年09为期
8
王永传,郁文贤,庄钊文; 基于模糊数之故障树分析方法研究[J];电子产品可靠性与环境试验;2000年01为期
9
李堂经;王新阁;许卓然;; 基于蒙特卡洛仿真的常态故障树分析[J];新兵自动化;2010年03为期
10
华小洋,胡宗武,范祖尧; 多状态模糊故障树分析软件MFFTAP[J];南京重型机械学院学报;1996年03为期
中华重要会议论文全文数据库
明日10条
1
姚成玉;张荧驿;王旭峰;党振;; 液压系统故障树分析的研讨现状与展望[A];中华机械工程学会流体传动与统制分会第六届全国流体传动与统制学术会议论文集[C];2010年
2
高薇;张强;; 故障树分析方法在农田水利测控系统中的永利赌场[A];中华系统工程学会决策正确专业委员会第六届学术年会论文集[C];2005年
3
朱丽洁;丁立彦;甘仞初;; 电脑辅助故障树分析研究[A];全国第七届工业工程与企业信息化学术会议论文集[C];2003年
4
毛昭勇;宋保维;潘光;胡海豹;; 基于故障树分析的贝叶斯可靠度近似评定方法[A];2006年全国机械可靠性学术研讨会论文集[C];2006年
5
唐军军;姜年朝;张逊;张大庆;宋军;路林华;; 某型无人直升机振动问题的故障树分析[A];2015年全国机械行业可靠性技术学术研讨会暨第五届可靠性工程分会第二次全体委员大会论文集[C];2015年
6
刘建军;宁玉富;; 基于乐观值的不确定故障树分析[A];先后八届中国不确定系统电视电话会议论文集[C];2010年
7
霍志勤;茹毅;韩松臣;; 基于故障树及贝叶斯网络的民航运输航空器着陆偏出跑道原因分析[A];人口-飞机-条件系统工程创立30周年纪念大会暨第十一届人-飞机-条件系统工程大会论文集[C];2011年
8
李青;戴革林;杨威;; 新装备系统科学管理的点子研究[A];Systems Engineering, Systems Science and Complexity Research--Proceeding of 11th Annual Conference of Systems Engineering Society of China[C];2000年
9
彭国均;陆悦铭;陈丽芬;柯冉绚;黄鹏飞;; 基于故障树分析的口岸作业风险评估模型研究[A];安徽省海洋学会2012年学术年会论文集[C];2013年
10
薛俊伟;; 花车火车不及时牵引的针对性研究[A];动车、面包车学术研讨会论文集(动车分册)[C];2012年
中华博士澳门永利赌场全文数据库
明日7条
3
朱大奇; 飞行电子设备故障诊断技术研究[D];武汉航空航天大学;2002年
5
罗航; 故障树分析的多少关键问题研讨[D];电子科技大学;2011年
6
7
何俐萍; 基于可能性度量的教条系统可靠性分析和评价[D];大连理工大学;2010年
中华硕士澳门永利赌场全文数据库
明日10条
1
杨莎莎; 基于故障树的直拍充电桩故障诊断专家系统钻研[D];京城交通大学;2019年
2
刘爽; 基于SAT的故障树近似计算和定性分析研究[D];武汉航空航天大学;2019年
3
宛伟健; 基于系统设计模型的常态故障树构建与分析方法研究[D];武汉航空航天大学;2019年
4
宋俊花; 复杂故障树的多层次预处理方法研究[D];武汉航空航天大学;2019年
5
孔令国; 基于故障树方法的减速机故障诊断分析研究[D];大连理工大学;2018年
6
沈航; 直升机故障树自诊断与分析系统设计[D];台湾邮电学院;2018年
7
任兆龙; 基于故障树的滚筒装置电子控制系统可靠性分析[D];西宁建造科技大学;2018年
8
刘威; 基于BDD规范化方法的系统故障分析[D];武汉航空航天大学;2018年
9
杨太展; 故障树模块化分析方法及他在电网上的永利赌场[D];电子科技大学;2018年
10
岳鑫; 面向故障树聚类的有机事故分析技术研究[D];烟台科技大学;2018年
中华知网广告投放
 霎时付款方式
 订购知网充值卡
 订购热线
 救助中心