999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

基于順序失效符的動態故障樹形式規約

2012-03-19 08:23:00
北京航空航天大學學報 2012年9期
關鍵詞:定義方法

王 波 劉 東

(裝備學院復雜電子系統仿真國防科技重點實驗室,北京 101416)

李 藝

(裝備學院科研部,北京 101416)

動態故障樹(DFT,Dynamic Fault Tree)由靜態故障樹(SFT,Static Fault Tree)拓展而來.通過增加新的邏輯門,如 PAND,FDEP,CSP,WSP,HSP(本文將 CSP,WSP,HSP統稱為 XSP)等,DFT提升了SFT對優先失效、儲備失效和功能觸發等動態特性的建模能力[1].

DFT的研究方法主要有仿真方法和數學分析方法,本文屬于后者.DFT的數學分析方法有間接法和直接法.間接法是將DFT轉換為同構的狀態空間模型,如時序貝葉斯網絡模型(TBN,Temporal Bayesian Network)[2]、連續時間 Markov 鏈模型(CTMC,Continuous Time Markov Chains)[3]和隨機 Petri網模型(SPN,Stochastic Petri Nets)[4]等.狀態空間模型不足之處在于:①欠缺通用性;②存在指數爆炸問題.直接法是從DFT形式規約出發,構建 DFT的結構函數.DFT形式規約是將DFT動態邏輯門定義中模糊的自然語言轉化成嚴謹的數學描述語言,從而構建DFT的嚴密理論體系.DFT形式規約的典型研究有Pandora法、Merle法及割序集(CSS,Cut Sequence Set)模型.Pandora法通過重新定義PAND,提出了新的邏輯門SAND和 POR[5-6].Pandora 法能對含優先失效關系的DFT進行分析.Merle法定義了2種新的時序符號,BF(?)和 SM(△),提出了構建DFT結構函數的途徑[7-8].順序失效符(SFS,Sequence Failure Symbol)“→”表示了事件發生的時序關系,LIU 通過引入 SFS,提出了 CSS模型[9].CSS直接從基本事件的時序關系出發,給出了動態邏輯門的SFS表示方式.

本文圍繞DFT形式規約,在已有方法上進行了系統研究,提出了基于SFS的DFT形式規約方式.本文主要做了3個方面的工作:①系統地、嚴謹地重新定義了SFS,給出了SFS性質、規則和定理,利用SFS性質定理,證明了布爾邏輯和時序邏輯的統一性;②基于SFS,提出了任意形式DFT動態邏輯門的形式規約方法……

登錄APP查看全文

猜你喜歡
定義方法
永遠不要用“起點”定義自己
海峽姐妹(2020年9期)2021-01-04 01:35:44
定義“風格”
學習方法
用對方法才能瘦
Coco薇(2016年2期)2016-03-22 02:42:52
成功的定義
山東青年(2016年1期)2016-02-28 14:25:25
四大方法 教你不再“坐以待病”!
Coco薇(2015年1期)2015-08-13 02:47:34
賺錢方法
捕魚
修辭學的重大定義
當代修辭學(2014年3期)2014-01-21 02:30:44
山的定義
公務員文萃(2013年5期)2013-03-11 16:08:37
主站蜘蛛池模板: 国产第四页| 欧美黄网在线| 亚洲av无码专区久久蜜芽| 欧美a√在线| 秘书高跟黑色丝袜国产91在线| 亚洲成人网在线播放| 欧美日韩亚洲国产主播第一区| 亚洲一区二区成人| 国产在线观看高清不卡| 久久频这里精品99香蕉久网址| 国产精品开放后亚洲| 一级高清毛片免费a级高清毛片| 国产男女XX00免费观看| 亚洲清纯自偷自拍另类专区| 国产小视频a在线观看| 91福利片| 99久久亚洲精品影院| 国产毛片基地| 人禽伦免费交视频网页播放| 中文字幕色在线| 欧美v在线| 51国产偷自视频区视频手机观看 | 精品伊人久久久大香线蕉欧美| 在线毛片网站| 国产免费怡红院视频| 91国内在线视频| 亚洲天堂网在线播放| 国产成人区在线观看视频| 伊人久热这里只有精品视频99| 国产成人亚洲毛片| 亚洲欧洲AV一区二区三区| 热久久国产| 国产福利影院在线观看| 国产高清在线观看| 人妻出轨无码中文一区二区| 国内精品久久久久鸭| 免费国产小视频在线观看| 亚洲一区二区无码视频| 波多野结衣一区二区三区四区| 亚洲一区二区无码视频| AⅤ色综合久久天堂AV色综合| 国产成人综合亚洲欧美在| 女同久久精品国产99国| 欧美日韩一区二区三区在线视频| a在线亚洲男人的天堂试看| 91精品啪在线观看国产60岁| 亚洲伊人久久精品影院| 日韩黄色在线| 99视频在线观看免费| 久热99这里只有精品视频6| 国产亚洲欧美日韩在线观看一区二区| 色丁丁毛片在线观看| 欧美一级黄片一区2区| 免费人成网站在线高清| 婷婷亚洲综合五月天在线| 在线中文字幕日韩| 91系列在线观看| 欧美va亚洲va香蕉在线| 国产乱人免费视频| 夜夜操狠狠操| 国产在线高清一级毛片| 国产黄色爱视频| 综合色88| av一区二区三区高清久久| 国产日韩欧美在线视频免费观看 | 在线观看欧美国产| 欧美综合区自拍亚洲综合天堂 | 午夜色综合| 国产精品jizz在线观看软件| 欧美中出一区二区| 在线亚洲精品自拍| 国产一区二区丝袜高跟鞋| 国产亚洲视频免费播放| 国产不卡网| AV不卡在线永久免费观看| 亚洲欧美成人在线视频| 日本国产精品一区久久久| 欧美日韩精品综合在线一区| 欧美激情综合| 午夜日b视频| 黄色a一级视频| 亚洲一级毛片|