安全信息工程講義

主講：楊應迪

安全信息工程E-mail:39330480@學時：44Del:139554604201第3章計算機輔助安全分析CAI計算機輔助教學CAD計算機輔助設計CAE計算機輔助工程CAM計算機輔助制造CAPP計算機輔助工藝計劃CAT計算機輔助翻譯CG計算機圖形學CFD計算流體動力學2第3章計算機輔助安全分析從現(xiàn)代安全生產(chǎn)管理的實際需要和總的發(fā)展趨勢分析，把現(xiàn)代的計算機技術與安全科學管理技術有機地結(jié)合，綜合運用安全系統(tǒng)管理理論及事故分析預測決策技術，將會大大促進安全預測理論及方法技術的進一步提高?！鞍踩谝唬A防為主”，預測是預防的前提，預測是決策的基礎，工業(yè)事故的預測預防及其輔助決策分析評價已成為現(xiàn)代安全管理的核心。3主要內(nèi)容3.1常用數(shù)據(jù)處理算法3.2計算機輔助安全檢查表法分析3.3計算機輔助故障樹分析3.4計算機輔助道化學分析3.5計算機輔助HAZOP分析3.6其它學時：84學習目的與重難點通過計算機編程實現(xiàn)常用算法利用計算機進行輔助安全分析53.1常用數(shù)據(jù)處理算法趨勢是由客觀事物內(nèi)在因素所決定的,內(nèi)在的必然因素對客觀事物的各個時期都起著普遍的、長期的、決定性的作用,并且使各個時期的發(fā)展水平沿著一個方向，即上升或下降持續(xù)發(fā)展，由此形成客觀事物在較長時期比較穩(wěn)定發(fā)展變化線索和基本規(guī)律。長期趨勢一方面由內(nèi)在因素所決定，呈現(xiàn)穩(wěn)定的發(fā)展變化；另一方面在具體的時間條件下，它又受外在的偶然因素的影響，表現(xiàn)為上下起伏波動，變化規(guī)律不明顯。正是由于這種暫時的外在偶然因素的影響，在短時間內(nèi)難以認識與掌握客觀事物發(fā)展的基本規(guī)律，需要從相當長的時期內(nèi)進行觀察和分析。因為在較長時期內(nèi)外在的偶然因素影響會相互抵消。6案例基于監(jiān)測系統(tǒng)的瓦斯與煤突出實時預報研究73.1常用數(shù)據(jù)處理算法趨勢類指標是以均線系統(tǒng)為基礎，通過研判安全監(jiān)控中某個參數(shù)值在一定時期內(nèi)的變化狀況（上升、水平走向、下降），來反映監(jiān)控對象的安全狀態(tài)。趨勢類指標普遍具有穩(wěn)定的特點，即趨勢一旦確立，就會延續(xù)一段時間，直到外力迫使其改變這一狀況，否則趨勢一直延續(xù)。8是指歷史時間序列所反映的某種可以識別的事物變動趨勢形態(tài)。3.1常用數(shù)據(jù)處理算法——趨勢模型水平型趨勢型時間序列模式——定義93.1常用數(shù)據(jù)處理算法——趨勢模型周期變動型隨機型隨機型時間序列模式是指時間序列所呈現(xiàn)的變化趨勢走向升降不定、沒有一定的規(guī)律可循的變動勢態(tài)。這種現(xiàn)象往往是由于某些偶然因素引起的，如經(jīng)濟現(xiàn)象中的不規(guī)則變動、政治變動以及自然氣候的突變等因素所致。對于這類時間序列模式，很難運用時間序列預測方法做出預測，但有時也可通過某種統(tǒng)計處理，消除不規(guī)則因素影響，找出事物的固有變化規(guī)律，從而進行分析預測。時間序列模式10算術平平均法法是求求出一一定觀觀察期期內(nèi)預預測目目標的的時間間數(shù)列列的算算術平平均數(shù)數(shù)作為為下期期預測測值的的一種種最簡簡單的的時序序預測測法。。設：X1，X2，X3，...，，Xn為觀察察期的的n個個資料料，求求得n個資資料的的算術術平均均數(shù)的的公式式為：：X=(X1+X2+X3+...Xn)÷n或簡寫寫為：：X（平平均數(shù)數(shù)）=∑x÷n式中：：n為為資料料期數(shù)數(shù)（數(shù)數(shù)據(jù)個個數(shù)））運用算算術平平均法法求平平均數(shù)數(shù)，進進行預預測有有兩種種形式式：以最后后一年年的每每月平平均值值或數(shù)數(shù)年的的每月月平均均值，，作為為次年年的每每月預預測值值；以觀察察期的的每月月平均均值作作為預預測期期對應應月份份的預預測值值。算術平平均法法3.1常用用數(shù)據(jù)據(jù)處理理算法法———趨勢模模型11加權平平均法法，就就是在在求平平均數(shù)數(shù)時，，根據(jù)據(jù)觀察察期各各資料料重要要性的的不同同，分分別給給以不不同的的權數(shù)數(shù)加以以平均均的方方法。。其特點點是：：所求求得的的平均均數(shù)，，已包包含了了長期期趨勢勢變動動。例：A雞蛋蛋34元一一個，，買了了10個，，B雞雞蛋45元元一個個，買買了20個個，問問買了了A雞雞蛋和和B雞雞蛋的的平均均價格格是多多少？？這時肯定定不能用用算術平平均，直直接（34+45）/2，因因為他們們買的數(shù)數(shù)量不一一樣，因因此要計計算他們們的平均均價格，，只能用用所買的的數(shù)量作作為權數(shù)數(shù)，進行行加權平平均：（34××10+45××20））/（10+20）=1240/30=41.33元元/個加權平均均法———定義3.1常常用數(shù)據(jù)據(jù)處理算算法———趨勢模型型12加權平均均法———公式3.1常常用數(shù)據(jù)據(jù)處理算算法———趨勢模型型歸一化處處理13移動平均均法3.1常常用數(shù)據(jù)據(jù)處理算算法———趨勢模型型移動平均均數(shù)是固固定平均均數(shù)的一一種，用用所掌握握的全部部資料算算出的平平均數(shù)，，作為外外推預測測值使用用。每有有一個新新的觀察察值加進進來，就就要重新新計算一一個平均均數(shù)，得得出一個個新的預預測值。。模式是：：計算公式式有三個個變形：：直接式式、循環(huán)環(huán)式及誤誤差改正正式?？梢钥闯龀?，所謂謂“移動動”，是是因為總總是對近近期的歷歷史資料料數(shù)據(jù)取取平均，，隨著時時間推移移，不斷斷引進新新的數(shù)據(jù)據(jù)，而““平均””則起到到了“濾濾波”作作用，濾濾掉了隨隨機波動動。14移動平均均法3.1常常用數(shù)據(jù)據(jù)處理算算法———趨勢模型型直接式15移動平均均法3.1常常用數(shù)據(jù)據(jù)處理算算法———趨勢模型型循環(huán)式循環(huán)式是是遞推的的方法，，預測值值用新的的觀測值值和舊預預測值計計算。加進新觀觀測值Xt之后后，變成成：16移動平均均法3.1常常用數(shù)據(jù)據(jù)處理算算法———趨勢模型型誤差改正正式預報誤差差的符號號是e，，算式是是：17移動平均均法3.1常常用數(shù)據(jù)據(jù)處理算算法———趨勢模型型183.1常常用數(shù)據(jù)據(jù)處理算算法———趨勢模型型滑動平均均法監(jiān)控系統(tǒng)統(tǒng)觀測的的參數(shù)值值時間序序列是由由長期趨趨勢、周周期變動動和不規(guī)規(guī)則變動動交織運運動的綜綜合結(jié)果果，如果果要測定定出長期期趨勢，，就要將將時間序序列中的的其他影影響因素素消除掉掉，以便便使長期期趨勢分分離出來來?；瑒悠骄鶖?shù)預測測是一種種局部固固定平均均數(shù)模型型，它它是對N項原始始序列，，取K項項滑動動平均來來反映序序列的變變動軌跡跡，模式式是：滑動平均均法的優(yōu)優(yōu)點是對對資料中中的隨機機波動進進行了有有效的平平滑，但但是確定定滑動平平均的項項數(shù)是一一個非常常重要的的問題。。因為項項數(shù)的多多少直接接影響到到數(shù)列的的修勻程程度。一一般項數(shù)數(shù)越多，，修勻的的作用越越大，反反之越小小。然而而，如果果序列的的基本軌軌跡正在在發(fā)生變變化，則則k宜小小不宜大大，否則則會平滑滑掉數(shù)列列的基本本軌跡。。193.1常常用數(shù)據(jù)據(jù)處理算算法———趨勢勢模模型型指數(shù)數(shù)滑滑動動平平均均法法滑動動平平均均線線其其實實是是對對各各平平均均項項等等權權值值進進行行平平均均，，但但實實際際上上各各項項的的影影響響作作用用并并不不相相等等，，從從理理論論上上講講越越接接近近預預測測期期的的數(shù)數(shù)據(jù)據(jù)對對準準確確預預測測的的貢貢獻獻越越大大。。指指數(shù)數(shù)平平滑滑彌彌補補了了滑滑動動平平均均的的這這一一不不足足，，它它采采用用折折扣扣因因子子對對序序列列觀觀察察值值進進行行指指數(shù)數(shù)加加權權，，權權數(shù)數(shù)分分配配的的原原則則是是由由近近及及遠遠遞遞減減分分配配。。指數(shù)數(shù)平平滑滑是是利利用用現(xiàn)現(xiàn)有有數(shù)數(shù)據(jù)據(jù)的的加加權權平平均均數(shù)數(shù)來來構(gòu)構(gòu)造造趨趨勢勢方方程程的的統(tǒng)統(tǒng)計計方方法法。。指指數(shù)數(shù)平平滑滑值值和和平平滑滑系系數(shù)數(shù)是是該該法法的的兩兩個個主主要要參參數(shù)數(shù)。。指數(shù)數(shù)平平滑滑值值是是指指如如下下公公式式推推導導的的數(shù)數(shù)值值：：203.1常常用用數(shù)數(shù)據(jù)據(jù)處處理理算算法法————趨勢勢模模型型指數(shù)數(shù)滑滑動動平平均均法法213.1常常用用數(shù)數(shù)據(jù)據(jù)處處理理算算法法————擺動動模模型型擺動動量量正常常生生產(chǎn)產(chǎn)過過程程中中，，監(jiān)監(jiān)控控參參數(shù)數(shù)值值的的變變化化是是圍圍繞繞著著一一個個基基準準值值而而上上下下擺擺動動，，并并且且這這一一變變化化量量不不會會太太大大。。為了了描描述述這這種種規(guī)規(guī)律律性性，，提提出出了了擺擺動動量量這這一一指指標標，，來來考考察察參參數(shù)數(shù)值值的的變變化化程程度度與與事事故故的的關關系系。。223.1常常用用數(shù)數(shù)據(jù)據(jù)處處理理算算法法————擺動動模模型型擺動動量量下圖圖是是擺擺動動量量柱柱狀狀圖圖。。從從這這個個圖圖中中可可看看出出，，正正常常采采掘掘過過程程中中瓦瓦斯斯涌涌出出變變化化量量不不會會超超過過0.25。。但但當當采采掘掘面面的的前前方方有有突突出出危危險險時時，，并并且且已已處處于于突突出出的的孕孕育育階階段段時時，，這這一一變變化化量量將將會會急急劇劇增增大大，，圖圖中中10時時40分分以以后后的的圖圖形形所所示示。。233.1常常用用數(shù)數(shù)據(jù)據(jù)處處理理算算法法————擺動動模模型型偏離離率率由于于受受自自然然等等其其它它條條件件的的影影響響，，監(jiān)監(jiān)測測系系統(tǒng)統(tǒng)所所測測得得的的參參數(shù)數(shù)值值可可能能會會存存在在著著差差別別。。偏偏離離率率可可將將滑滑動動平平均均線線規(guī)規(guī)范范化化，，它它的的最最初初提提出出是是為為了了測測算算股股票票價價格格在在波波動動過過程程中中與與滑滑動動平平均均線線的的偏偏離離程程度度。。243.1常用用數(shù)據(jù)處理理算法———擺動模型變動率變動率的描描述包含兩兩個方面：：一是序列的的振動幅度度，可通過過振幅變化化率ROSC（RateofSwingChange）來來表示，即即：一定的的時間間隔隔內(nèi)，初始始時刻值與與末端時刻刻值之間的的相對變化化率；另一方面是是序列的變變化次數(shù)，，可通過頻頻次變化率率ROFC（RateofFrequencyChange）來表表示，即：：一定的時時間間隔內(nèi)內(nèi)參數(shù)值的的變化次數(shù)數(shù)。這兩個個方面的綜綜合，描述述了參數(shù)值值變化的實實際情況。。振幅變化率率頻次變化率率253.1常用用數(shù)據(jù)處理理算法———擺動模型方差因為一方面面，從方差差的意義可可知道，它它反映的是是序列的離離散程度，，也即各值值偏離均值值的程度。。方差越大大，監(jiān)控參參數(shù)值變化化幅度越大大；方差越越小，參數(shù)數(shù)值變化幅幅度越小。。方差在這這里的意義義表現(xiàn)了參參數(shù)值變化化的情況，，因而可以以用來衡量量事故前的的“忽大忽忽小”。另另一方面，，當監(jiān)控系系統(tǒng)是采用用變質(zhì)變態(tài)態(tài)的讀數(shù)方方式時，對對于一定的的時間間隔隔內(nèi)，參數(shù)數(shù)值變化頻頻繁，表現(xiàn)現(xiàn)在序列中中就是，這這段時間內(nèi)內(nèi)讀數(shù)值的的數(shù)量較多多，而對同同一時間間間隔內(nèi)，參數(shù)值穩(wěn)定，則讀讀值數(shù)量較較少。以正正常和異常常兩種情況況的同時期期的均值相相等為前提提，不難理理解異常時時的方差要要遠大于正正常時的方方差。由此此可見，一一定時間步步長的參數(shù)值的方差表表明了監(jiān)控控參數(shù)值的的變化程度度。263.1常用用數(shù)據(jù)處理理算法———擺動模型方差采用截取監(jiān)監(jiān)控時間序序列中的一一段序列作作為子序列列，計算子子序列的方方差，而讓讓子序列在在原序列上上隨時間滑滑動，這樣樣就構(gòu)成了了方差序列列。以方差差序列分析析監(jiān)控參數(shù)數(shù)值序列的的變化情況況。273.1常用用數(shù)據(jù)處理理算法———異常檢測模模型Yamamoto模型Yamamoto方方法處理氣氣候的異常常比較成熟熟，它是從從氣候信息息與氣候噪噪聲兩部分分來討論突突變問題的的。由于是是由Yamamoto最先將將信噪比用用于確定日日本地面氣氣溫、降水水、日照時時數(shù)等序列列的突變，，故稱其為為Yamamoto法。283.1常用用數(shù)據(jù)處理理算法29預測的對象象是工業(yè)系系統(tǒng)工作狀狀態(tài)的安全全預測。其方法是對對工業(yè)生產(chǎn)產(chǎn)短期微觀觀事故狀態(tài)態(tài)預測擬選選用模糊馬馬爾柯夫鏈鏈預測法，，其特點是是系統(tǒng)某一一時刻狀態(tài)態(tài)僅與上一一時刻狀態(tài)態(tài)有關，而而與以前時時刻狀態(tài)無無關。其t+1時時刻的狀態(tài)態(tài)預測模型型表示為：：Psik=max{Psi1,Psi2,...,Psi1}原理3.1常用用數(shù)據(jù)處理理算法———馬爾柯夫鏈鏈303.1常用用數(shù)據(jù)處理理算法———馬爾柯夫鏈鏈313.1常用用數(shù)據(jù)處理理算法———馬爾柯夫鏈鏈323.1常用用數(shù)據(jù)處理理算法———馬爾柯夫鏈鏈333.1常用用數(shù)據(jù)處理理算法———馬爾柯夫鏈鏈343.1常用用數(shù)據(jù)處理理算法———馬爾柯夫鏈鏈353.1常用用數(shù)據(jù)處理理算法———馬爾柯夫鏈鏈3637模糊數(shù)學又又稱Fuzzy數(shù)數(shù)學，是研研究和處理理模糊性現(xiàn)現(xiàn)象的一種種數(shù)學理論論和方法。。在1965年美美國控制論論學者L.A.扎德德發(fā)表論文文《模糊集集合》，標標志著這門門新學科的的誕生?，F(xiàn)現(xiàn)代數(shù)學建建立在集合合論的基礎礎上。一組組對象確定定一組屬性性，人們可可以通過指指明屬性來來說明概念念，也可以以通過指明明對象來說說明。符合合概念的那那些對象的的全體叫做做這個概念念的外延，，外延實際際上就是集集合。一切切現(xiàn)實的理理論系統(tǒng)都都有可能納納入集合描描述的數(shù)學學框架。3.1常用用數(shù)據(jù)處理理算法———模糊數(shù)學38舉例說明在日常生活活中，經(jīng)常常遇到許多多模糊事物物，沒有分分明的數(shù)量量界限，要要使用一些些模糊的詞詞句來形容容、描述。。比如，比比較年輕、、高個、大大胖子、好好、漂亮、、善、熱、、遠……。。這些概念念是不可以以簡單地用用是、非或或數(shù)字來表表示的。在在人們的工工作經(jīng)驗中中，往往也也有許多模模糊的東西西。例如，，要確定一一爐鋼水是是否已經(jīng)煉煉好，除了了要知道鋼鋼水的溫度度、成分比比例和冶煉煉時間等精精確信息外外，還需要要參考鋼水水顏色、沸沸騰情況等等模糊信息息。因此，，除了很早早就有涉及及誤差的計計算數(shù)學之之外，還需需要模糊數(shù)數(shù)學。3.1常用用數(shù)據(jù)處理理算法———模糊數(shù)學39課堂教學的的評價模型型①問題背景對教師的課課堂教學進進行評價，，是教師評評價的一個個方面。由由于課堂教教學優(yōu)良的的度量是模模糊的，因因此很難明明確地界定定。教師的課堂堂教學是一一種復雜的的智力活動動與勞動，，不僅涉及及到所授課課程的知識識，而且旁旁及教育學學、心理學學、語言學學等。跟教教師的工作作熱情、工工作態(tài)度和和業(yè)務水平平有相當?shù)牡年P系。因此，要考考慮在抓住住課堂教學學的主要因因素和講授授的基本要要求后，設設計評定量量表，采用用先定性，，后定量，，次量化的的方法進行行模糊評價價。3.1常用用數(shù)據(jù)處理理算法———模糊數(shù)學40課堂教學的的評價模型型②課堂教學主主要因素和和基本要求求課堂教學的的主要因素素和基本要要求構(gòu)成集集合U={u0,u1,u2,u3,u4,u5,u6,u7,u8,u9}評語構(gòu)成集集合V={v1,v2,v3,v4,v5}v1=很好v2=好v3=較好v4=差v5=很差3.1常用用數(shù)據(jù)處理理算法———模糊數(shù)學41課堂教學的的評價模型型③表1課課堂教教學定性表表舉例說說明問問題u9主次有有所區(qū)區(qū)分u8注意前前后呼呼應u7講授內(nèi)內(nèi)容熟熟練u6內(nèi)容正正確無無誤u5講度掌掌握適適中u4條理清清楚好好記u3板書工工整得得當u2講話清清晰從從容ul儀態(tài)端端莊親親切u0很差v5差v4較好v3好v2很好vl評語語教學要要求3.1常用用數(shù)據(jù)據(jù)處理理算法法———模糊數(shù)數(shù)學42…課堂教教學的的評價價模型型④表2課課堂教教學定定量表表u95u94u93u92u91c9u9c8u8c7u7c6u6c5u5c4u4c3u3c2u2…………c1u1u05u04u03u02u01c0u0v5v4v3v2v1權數(shù)項目3.1常用用數(shù)據(jù)據(jù)處理理算法法———模糊數(shù)數(shù)學43課堂教教學的的評價價模型型⑤教學學定性性表和和定量量表的的得到到根據(jù)統(tǒng)統(tǒng)計表表1的的結(jié)果果，填填寫課課堂教教學定定量表表（表表2））表2中中，uij(i=0,1,……,9;j=1,……,5)為為表1中ui×vj欄欄中打打“√√”的的數(shù)目目。令n為為所收收回的的定性性表1的有有效張張數(shù)，，構(gòu)造造矩陣陣AA=(aij)10××5其中aij=uij/n(i=0,1,2,...，9；j=1,2,...,5)3.1常用用數(shù)據(jù)據(jù)處理理算法法———模糊數(shù)數(shù)學44課堂教教學的的評價價模型型⑥第一一次量量化模模型確定權向向量C的的每一個個分量ci(i=0，，1,……，9)要求ci≥0,(i=0，，1…，，9);∑∑ci=1比如取c0=0.10，c1=0.11，，c2=0.11,c3=0.09，c4=0.08c5=0.08，c6=0.09，，c7=0.10，c8=0.12，c9=0.12于是作D=C·AD=(d1，d2，d3，d4，d5)其中dj=∑iciaij(j=1,2,3,4,5)填寫第一一次量化化表3d5d4d3d2d1很差差較好好很好3.1常常用數(shù)據(jù)據(jù)處理算算法———模糊數(shù)學學45課堂教學學的評價價模型⑦第二次量量化模型型確定常數(shù)數(shù),1,2,3且0.75<<1,0.5<1<2<3<1（比如取=0.80，1=0.80，2=0.70，3=0.60）由下列量量化計算算評價表表得到教教學評價價結(jié)果很差d1+1d2+2d3+3d4

≤差d1+1d2

+2d3

≤,d1+1d2+2d3+3d4>較好

d1+1d2≤,d1+1d2+2d3>好d1≤,d1+1d2>很好d1>則課堂教學評價為如果符合下列條件3.1常常用數(shù)據(jù)據(jù)處理算算法———模糊數(shù)學學46課堂教學學的評價價模型⑧說明通過建立立模糊數(shù)數(shù)學模型型對教師師的課堂堂教學進進行評價價，不僅僅能客觀觀反映教教師素質(zhì)質(zhì)的真實實情況，，而且能能使定性性描述定定量化。。整個計算算步驟明明確、判判斷簡便便，還能能夠分出出程度差差異，替替代了不不科學的的“印象象”評價價，是有有現(xiàn)實意意義的。。3.1常常用數(shù)據(jù)據(jù)處理算算法———模糊數(shù)學學47回歸分析析預測法法，是在分析析某種現(xiàn)現(xiàn)象自變變量和因因變量之之間相關關關系的的基礎上上，建立立變量之之間的回回歸方程程，并將將回歸方方程作為為預測模模型，根根據(jù)自變變量在預預測期的的數(shù)量變變化來預預測因變變量關系系大多表表現(xiàn)為相相關關系系。因此，回回歸分析析預測法法是一種種重要的的預測方方法，當當我們在在對某種種現(xiàn)象未未來發(fā)展展狀況和和水平進進行預測測時，如如果能將將影響預預測對象象的主要要因素找找到，并并且能夠夠取得其其數(shù)量資資料，就就可以采采用回歸歸分析預預測法進進行預測測。它是是一種具具體的、、行之有有效的、、實用價價值很高高的常用用市場預預測方法法。3.1常常用數(shù)據(jù)據(jù)處理算算法———回歸分析析預測法法定義483.1常常用數(shù)據(jù)據(jù)處理算算法———回歸預測測法493.1常常用數(shù)據(jù)據(jù)處理算算法———回歸預測測法503.1常常用數(shù)據(jù)據(jù)處理算算法———回歸預測測法1)根據(jù)據(jù)預測目目標，確確定自變變量和因因變量2)收集集歷史數(shù)數(shù)據(jù)3)分析析變量間間的關系系，建立立回歸預預測模型型4)進行行相關分分析，用用最小二二乘法進進行回歸歸5)檢驗驗回歸預預測模型型，計算算預測誤誤差6)計算算并確定定預測值值步驟51統(tǒng)計分析析就是運運用統(tǒng)計計學的基基本原理理和方法法，分析析計算有有關的指指標和數(shù)數(shù)據(jù)，揭揭示事物物內(nèi)部的的規(guī)律（（常用軟軟件包括括Excel、、SPSS、SAS等等）。我國煤炭炭在能源源格局中中占主導導地位,大概概占94%,若若保持持每年8.9%的的增速,2020年年將占世世界消耗耗的1/2,因因此,煤炭炭對我國國有著很很大的戰(zhàn)戰(zhàn)略意義義,給給國家和和人民帶帶來了巨巨大利益益,然然而我國國的煤礦礦事故卻卻是世界界上主要要采煤國國家煤礦礦死亡總總?cè)藬?shù)的的4倍以以上,是是世界界上煤礦礦事故最最嚴重的的國家之之一,這這些事事故給人人們帶來來了巨大大身心傷傷害和心心理傷害害。在煤煤礦事故故中,尤尤以瓦瓦斯事故故最為嚴嚴重,占占煤礦礦總事故故的30%以上上。就2007-2010年年間的煤煤礦瓦斯斯事故為為依據(jù),從瓦瓦斯事故故類型,發(fā)生生時間、、發(fā)生地地域等不不同方面面對瓦斯斯事故進進行分析析。3.1常常用數(shù)據(jù)據(jù)處理算算法———統(tǒng)計分析析52例如，按按事故類類型分析析煤礦重大大瓦斯爆爆炸事故故致因的的概率分分析及啟啟示3.1常常用數(shù)據(jù)據(jù)處理算算法———統(tǒng)計分析析53按國際慣慣例，控控制論中中，信息息多少常常以顏色色深淺來來表示。。信息充充足、確確定（已已知）的的為白色色，信息息缺乏、、不確定定（未知知）的為為黑色，，部分確確定與部部分不確確定的為為灰色。。那些既既有已知知參數(shù)又又有未知知參數(shù)的的系統(tǒng)，，如：人人體就是是既有白白色參數(shù)數(shù)（已知知的外型型參數(shù)））又有黑黑色參數(shù)數(shù)（未知知的人體體穴位功功能）的的灰色系系統(tǒng)?；疑到y(tǒng)統(tǒng)論的作作用其理理論作用用是：1）實踐踐中摸索索出來的的規(guī)律過過去不容容易用一一般控制制理論解解釋的，，可以用用新系統(tǒng)統(tǒng)理論進進行解釋釋、提高高，從而而使軟件件更完整整、深入入、量化化；2）可以以得到新新的控制制系統(tǒng)；；3）有助助于促進進社會系系統(tǒng)與經(jīng)經(jīng)濟系統(tǒng)統(tǒng)的量化化研究。。3.1常常用數(shù)據(jù)據(jù)處理算算法———灰色理論論54相對于一一定認識識層次，，內(nèi)部信信息部分分已知、、部分未未知的系系統(tǒng)，即即信息不不完全的的系統(tǒng)。?？刂普撝兄谐＝柚伾珌韥肀硎荆?，研究者者對系統(tǒng)統(tǒng)內(nèi)部信信息和對對系統(tǒng)本本身的了了解及認認識程度度?！昂诤凇北硎臼拘畔⑼晖耆狈Ψ?，“白白”表示示信息完完全、““灰”表表示信息息不充分分、不完完全。黑黑、白、、灰是相相對于一一定認識識層次而而言的，，因而具具有相對對性。白色系統(tǒng)是是全開放性性的、黑色色系統(tǒng)是全全封閉性的的?；疑迪到y(tǒng)則介于于兩者之間間，是半開開放半封閉閉性的。3.1常用用數(shù)據(jù)處理理算法———灰色理論基于灰色系系統(tǒng)的建筑筑施工安全全管理系統(tǒng)統(tǒng)55人工神經(jīng)網(wǎng)網(wǎng)絡（ArtificialNeuralNetworks，簡寫為為ANNs）也簡稱稱為神經(jīng)網(wǎng)網(wǎng)絡（NNs）或稱稱作連接模模型（ConnectionModel），，它是一種種模范動物物神經(jīng)網(wǎng)絡絡行為特征征，進行分分布式并行行信息處理理的算法數(shù)數(shù)學模型。。這種網(wǎng)絡絡依靠系統(tǒng)統(tǒng)的復雜程程度，通過過調(diào)整內(nèi)部部大量節(jié)點點之間相互互連接的關關系，從而而達到處理理信息的目目的。3.1常用用數(shù)據(jù)處理理算法———神經(jīng)網(wǎng)絡56研究內(nèi)容：：（1）生物物原型研究究（2）建立立理論模型型（3）網(wǎng)絡絡模型與算算法研究（4）人工工神經(jīng)網(wǎng)絡絡應用系統(tǒng)統(tǒng)工作原理：：人工神經(jīng)網(wǎng)網(wǎng)絡是由大大量的簡單單基本元件件——神經(jīng)經(jīng)元相互聯(lián)聯(lián)接而成的的自適應非非線性動態(tài)態(tài)系統(tǒng)。每每個神經(jīng)元元的結(jié)構(gòu)和和功能比較較簡單，但但大量神經(jīng)經(jīng)元組合產(chǎn)產(chǎn)生的系統(tǒng)統(tǒng)行為卻非非常復雜。。人工神經(jīng)網(wǎng)網(wǎng)絡反映了了人腦功能能的若干基基本特性，，但并非生生物系統(tǒng)的的逼真描述述，只是某某種模仿、、簡化和抽抽象。3.1常用用數(shù)據(jù)處理理算法———神經(jīng)網(wǎng)絡57與數(shù)字計算算機比較，，人工神經(jīng)經(jīng)網(wǎng)絡在構(gòu)構(gòu)成原理和和功能特點點等方面更更加接近人人腦，它不不是按給定定的程序一一步一步地地執(zhí)行運算算，而是能能夠自身適適應環(huán)境、、總結(jié)規(guī)律律、完成某某種運算、、識別或過過程控制。?；谏窠?jīng)網(wǎng)網(wǎng)絡的煤炭炭自燃預測測預報技術術研究3.1常用用數(shù)據(jù)處理理算法———神經(jīng)網(wǎng)絡58混沌理論（（Chaostheory）是一種種兼具質(zhì)性性思考與量量化分析的的方法，用用以探討動動態(tài)系統(tǒng)中中（如：人人口移動、、化學反應應、氣象變變化、社會會行為等））無法用單單一的數(shù)據(jù)據(jù)關系，而而必須用整整體、連續(xù)續(xù)的數(shù)據(jù)關關系才能加加以解釋及及預測之行行為。3.1常用用數(shù)據(jù)處理理算法———混沌理論59“一切事物物的原始狀狀態(tài)，都是是一堆看似似毫不關聯(lián)聯(lián)的碎片，，但是這種種混沌狀態(tài)態(tài)結(jié)束后，，這些無機機的碎片會會有機地匯匯集成一個個整體”混沌一詞原原指宇宙未未形成之前前的混亂狀狀態(tài)，古希希臘哲學家家對于宇宙宙之源起即即持混沌論論，主張宇宇宙是由混混沌之初逐逐漸形成現(xiàn)現(xiàn)今有條不不紊的世界界。在井然然有序的宇宇宙中，西西方自然科科學家經(jīng)過過長期的探探討，逐一一發(fā)現(xiàn)眾多多自然界中中的規(guī)律，，如大家熟熟知的地心心引力，杠杠桿原理，，相對論等等。這些自自然規(guī)律都都能用單一一的數(shù)學公公式加以描描述，并可可以依據(jù)此此公式準確確預測物體體的行徑。?；谟诜址中涡蝊混混沌沌理理論論的的煤煤與與瓦瓦斯斯突突出出預預測測研研究究3.1常常用用數(shù)數(shù)據(jù)據(jù)處處理理算算法法————混沌沌理理論論603.2計計算算機機輔輔助助安安全全檢檢查查表表法法分分析析———概述述安全全檢檢查查表表（（SafetyChecklistAnalysis，，縮縮寫寫SCA））是是依依據(jù)據(jù)相相關關的的標標準準、、規(guī)規(guī)范范，，對對工工程程、、系系統(tǒng)統(tǒng)中中已已知知的的危危險險類類別別、、設設計計缺缺陷陷以以及及與與一一般般工工藝藝設設備備、、操操作作、、管管理理有有關關的的潛潛在在危危險險性性和和有有害害性性進進行行判判別別檢檢查查。。為為了了避避免免檢檢查查項項目目遺遺漏漏，，事事先先把把檢檢查查對對象象分分割割成成若若干干系系統(tǒng)統(tǒng)，，以以提提問問或或打打分分的的形形式式，，將將檢檢查查項項目目列列表表，，這這種種表表就就稱稱為為安全全檢檢查查表表。它是是系系統(tǒng)統(tǒng)安安全全工工程程的的一一種種最最基基礎礎、、最最簡簡便便、、廣廣泛泛應應用用的的系系統(tǒng)統(tǒng)危危險險性性評評價價方方法法。。目目前前，，安安全全檢檢查查表表在在我我國國不不僅僅用用于于查查找找系系統(tǒng)統(tǒng)中中各各種種潛潛在在的的事事故故隱隱患患，，還還對對各各檢檢查查項項目目給給予予量量化化，，用用于于進進行行系系統(tǒng)統(tǒng)安安全全評評價價。。613.2計計算算機機輔輔助助安安全全檢檢查查表表法法分分析析———概述述62序號檢查項目檢查結(jié)果備注123456各車間是否專人安全值班安全機構(gòu)、安全人員是否按規(guī)定設置各工種是否有安全操作規(guī)程特殊工種是否取得了操作合格證新工人上崗前是否進行了三級安全教育前次檢查出的隱患是否整改3.2計計算算機機輔輔助助安安全全檢檢查查表表法法分分析析———概述述633.2計計算算機機輔輔助助安安全全檢檢查查表表法法分分析析———檢檢查查表表法法優(yōu)優(yōu)缺缺點點安全全檢檢查查表表優(yōu)優(yōu)點點：：①檢檢查查項項目目系系統(tǒng)統(tǒng)、、完完整整，，可可以以做做到到不不遺遺漏漏任任何何能能導導致致危危險險的的關關鍵鍵因因素素，，避避免免傳傳統(tǒng)統(tǒng)的的安安全全檢檢查查中中的的易易發(fā)發(fā)生生的的疏疏忽忽、、遺遺漏漏等等弊弊端端，，因因而而能能保保證證安安全全檢檢查查的的質(zhì)質(zhì)量量。。②②可可以以根根據(jù)據(jù)已已有有的的規(guī)規(guī)章章制制度度、、標標準準、、規(guī)規(guī)程程等等，，檢檢查查執(zhí)執(zhí)行行情情況況，，得得出出準準確確的的評評價價。。③③安安全全檢檢查查表表采采用用提提問問的的方方式式，，有有問問有有答答，，給給人人的的印印象象深深刻刻，，能能使使人人知知道道如如何何做做才才是是正正確確的的，，因因而而可可起起到到安安全全教教育育的的作作用用。。④④編編制制安安全全檢檢查查表表的的過過程程本本身身就就是是一一個個系系統(tǒng)統(tǒng)安安全全分分析析的的過過程程，，可可使使檢檢查查人人員員對對系系統(tǒng)統(tǒng)的的認認識識更更深深刻刻，，更更便便于于發(fā)發(fā)現(xiàn)現(xiàn)危危險險因因素素。。⑤對對不不同同的的檢檢查查對對象象、、檢檢查查目目的的有有不不同同的的檢檢查查表表，，應應用用范范圍圍。。安全全檢檢查查表表缺缺點點針對對不不同同的的需需要要，，須須事事先先編編制制大大量量的的檢檢查查表表，，工工作作量量大大且且安安全全檢檢查查表表的的質(zhì)質(zhì)量量受受編編制制人人員員的的知知識識水水平平和和經(jīng)經(jīng)驗驗影影響響。。643.2計計算算機機輔輔助助安安全全檢檢查查表表法法分分析析———方方式式提問問式式：：檢檢查查項項目目內(nèi)內(nèi)容容采采用用提提問問方方式式進進行行。。對照照式式：：檢檢查查項項目目內(nèi)內(nèi)容容后后面面附附上上合合格格標標準準，，檢查查時時對對比比合合格格標標準準進進行行作作答答。。65案例例指標標體體系系法法智智能能評評價價軟軟件件開開發(fā)發(fā)及及其其在在安安全全中中應應用用663.2計計算算機機輔輔助助安安全全檢檢查查表表法法分分析析————計算算機機實實現(xiàn)現(xiàn)2004年年，，張張國國樞樞教教授授制制定定的的““礦礦井井通通風風系系統(tǒng)統(tǒng)可可靠靠性性評評價價””指指標標體體系系，，是是對對生生產(chǎn)產(chǎn)礦礦井井的的通通風風系系統(tǒng)統(tǒng)安安全全可可靠靠性性進進行行評評價價，，涉涉及及到到礦礦井井的的通通風風系系統(tǒng)統(tǒng)、、通通風風動動力力、、通通風風網(wǎng)網(wǎng)絡絡、、規(guī)規(guī)劃劃設設計計、、通通風風設設施施、、風風量量風風質(zhì)質(zhì)、、局局部部通通風風、、安安全全監(jiān)監(jiān)控控、、瓦瓦斯斯控控制制和和通通風風管管理理等等10個個方方面面的的內(nèi)內(nèi)容容，，將將評評價價客客體體分分為為10個個類類型型，，創(chuàng)創(chuàng)建建30多多個個數(shù)數(shù)據(jù)據(jù)表表存存儲儲礦礦井井的的基基本本信信息息，，指指標標項項包包含含10個個一一級級指指標標，，100個二二級級指指標標。。2000年年，，由由國國家家安安全全生生產(chǎn)產(chǎn)監(jiān)監(jiān)督督管管理理局局推推行行的的““煤煤礦礦安安全全現(xiàn)現(xiàn)狀狀綜綜合合評評價價標標準準(試試行行)””，，該該指指標標體體系系包包含含8個個一一級級指指標標40個個二二級級指指標標(3個個并并列列指指標標)，，151個三三級級指指標標。。2002年年，，由由中中國國華華北北電電力力集集團團公公司司安安全全監(jiān)監(jiān)察察部部制制定定的的““火火力力發(fā)發(fā)電電場場安安全全性性評評價價””指指標標體體系系，，包包含含有有3個個一一級級指指標標，，19個個二二級級指指標標，，In個個三三級級指指標標，，379個四級指指標等等等。673.2計計算機輔輔助安全全檢查表表法分析析——計算機實實現(xiàn)定性指標標定量化化處理模糊數(shù)學學處理683.2計計算機輔輔助安全全檢查表表法分析析——計算機實實現(xiàn)數(shù)據(jù)處理理693.2計計算機輔輔助安全全檢查表表法分析析——計算機實實現(xiàn)數(shù)據(jù)處理理703.2計計算機輔輔助安全全檢查表表法分析析——計算機實實現(xiàn)數(shù)據(jù)處理理713.2計計算機輔輔助安全全檢查表表法分析析——計算機實實現(xiàn)總體設計計——功功能723.2計計算機輔輔助安全全檢查表表法分析析——計算機實實現(xiàn)總體設計計——數(shù)數(shù)據(jù)庫733.2計計算機輔輔助安全全檢查表表法分析析——計算機實實現(xiàn)操作流程程743.2計計算機輔輔助安全全檢查表表法分析析——界面面753.2計計算機輔輔助安全全檢查表表法分析析——界面面763.2計計算機輔輔助安全全檢查表表法分析析——界面面773.3計計算機輔輔助故障障樹分析析783.3計計算機輔輔助故障障樹分析析793.3計計算機輔輔助故障障樹分析析803.3計計算機輔輔助故障障樹分析析——軟件813.3計計算機輔輔助故障障樹分析析——軟件823.3計計算機輔輔助故障障樹分析析故障樹分分析法，，簡稱FTA(FaultTreeAnalysis)，是一一種評價價復雜系系統(tǒng)可靠靠性與安安全性的的重要方方法。833.3計計算機輔輔助故障障樹分析析FTA把把系統(tǒng)最不不希望發(fā)生生的故障狀狀態(tài)作為故故障分析的的目標，把把選定的系系統(tǒng)故障狀狀態(tài)稱為頂頂事件，在在系統(tǒng)設計計過程中，，通過對可可能造成系系統(tǒng)故障的的各種因素素進行分析析，畫出邏邏輯框圖(即故障樹樹)，從而而確定系統(tǒng)統(tǒng)故障原因因的各種組組合方式及及其發(fā)生概概率，計算算系統(tǒng)故障障概率，以以采取相應應的糾正措措施，提高高系統(tǒng)可靠靠性。843.3計算算機輔助故故障樹分析析定性分析：尋找導致致與系統(tǒng)有有關的不希希望事件發(fā)發(fā)生的原因因和原因的的組合，即即尋找導致致頂事件發(fā)發(fā)生的所有有故障模式式。定量分析：當給定所所有底事件件發(fā)生的概概率時，求求出頂事件件發(fā)生的概概率及其他他定量指標標。用于系統(tǒng)的的可靠性分分析，可以以進行定性性分析和定定量分析；；用于系統(tǒng)的的事故分析析和安全性性分析；可以在產(chǎn)品品設計時，，利用故障障樹幫助判判明系統(tǒng)的的潛在故障障；在系統(tǒng)使用用階段可以以用來進行行故障診斷斷，預測系系統(tǒng)故障時時最可能造造成故障發(fā)發(fā)生的原因因，并可用用來制訂檢檢修計劃等等。應用范圍分析類型853.3計算算機輔助故故障樹分析析——故障樹分析析步驟FTA一一般可以分分為以下幾幾個階段：：1)選擇合合理的頂事事件、系統(tǒng)統(tǒng)的分析邊邊界和定義義范圍，并并且確定成成功與失敗敗的準則；；2)建造故故障樹，這這是FTA的核心心部分之一一，通過對對已經(jīng)收集集的技術資資料，在設設計、運行行管理人員員的幫助下下，建造故故障樹；3)對故障障樹進行簡簡化或者模模塊化；4)定性分分析，求出出故障樹的的全部最小小割集，當當割集的數(shù)數(shù)量太多時時，可以通通過程序進進行計算；；5)定量分分析，這一一階段的任任務是很多多的，它包包括計算頂頂事件發(fā)生生的概率和和進行重要要度分析等等。863.3計算算機輔助故故障樹分析析——故障樹樹分析析特點點分析系系統(tǒng)可可靠性性；分分析系系統(tǒng)故故障狀狀態(tài)；；分析析某些些元部部件故故障對對系統(tǒng)統(tǒng)的影影響；；分析析導致致這些些元部部件故故障的的特殊殊原因因(例例如環(huán)環(huán)境的的、甚甚至人人為的的原因因)；；FTA是是一種種圖形形演繹繹法，，是一一個對對系統(tǒng)統(tǒng)更深深入認認識的的過程程，是是一種種對故故障事事件在在一定定條件件下的的邏輯輯推理理方法法；通過FTA可可以以定量量地計計算復復雜系系統(tǒng)的的故障障概率率及其其他可可靠性性參數(shù)數(shù)，為為改善善和評評價系系統(tǒng)可可靠性性提供供定量量數(shù)據(jù)據(jù)由于故故障樹樹是由由特定定的邏邏輯門門和一一定的的事件件構(gòu)成成的邏邏輯圖圖，因因此可可以用用計算算機輔輔助建建樹和和分析析。873.3計算算機輔輔助故故障樹樹分析析———存在問問題883.3計算算機輔輔助故故障樹樹分析析———故障樹樹構(gòu)建建在FTA中中，建建樹是是第一一個關關鍵。。建樹的的關鍵鍵是要要清楚楚地了了解所所分析析的系系統(tǒng)功功能邏邏輯關關系及及故障障模式式、影影響及及致命命性，，建樹樹完善善與否否直接接影響響定性性分析析與定定量計計算的的結(jié)果果是否否準確確。故故障應應是實實際系系統(tǒng)故故障組組合和和傳遞遞的邏邏輯關關系的的正確確抽象象。建建樹工工作十十分龐龐大繁繁雜，，要求求建樹樹者對對于系系統(tǒng)及及其各各個組組成部部分有有透徹徹的了了解，，最好好由系系統(tǒng)設設計、、運行行和可可靠性性等方方面的的專家家密切切合作作來建建樹。。893.3計計算機輔輔助故障障樹分析析——故障樹構(gòu)構(gòu)建903.3計計算機輔輔助故障障樹分析析——故障樹構(gòu)構(gòu)建913.3計計算機輔輔助故障障樹分析析——故障樹構(gòu)構(gòu)建923.3計計算機輔輔助故障障樹分析析——故障樹構(gòu)構(gòu)建933.3計計算機輔輔助故障障樹分析析——故障樹構(gòu)構(gòu)建943.3計計算機輔輔助故障障樹分析析——故障樹構(gòu)構(gòu)建建樹方法法一般分分為兩類類：人工建樹樹和自動建樹樹或計算機機輔助建建樹。人人工建樹樹用的是是演繹法法，即選選定系統(tǒng)統(tǒng)故障的的一個判判據(jù)作為為分析目目標（頂頂事件）），然后后找出直直接導致致頂事件件發(fā)生的的各種可可能因素素或因素素組合，，進一步步分析各各因素故故障的原原因，遵遵循此格格式逐級級向下演演繹，直直到找出出各個基基本事件件為止，，這樣就就得到一一棵故障障樹。建建造故障障樹時要要注意頂頂事件的的合理選選擇、故故障事件件和問題題邊界的的精確定定義等。。自動建建樹是借借助計算算機程序序在已有有系統(tǒng)部部件故障障模式分分析的基基礎上，，對系統(tǒng)統(tǒng)的故障障過程進進行編輯輯，從而而達到在在一定范范圍內(nèi)迅迅速準確確地自動動建立故故障樹的的目的。。自動建建樹一般般采用合合成法和和決策表表法，目目前自動動建樹應應用還有有困難，，主要是是由于故故障樹和和決策表表的確立立問題及及軟件問問題。953.3計計算機輔輔助故障障樹分析析——常用術語語事件：是對系統(tǒng)統(tǒng)狀態(tài)及及元部件件狀態(tài)的的描述，，如非故故障事件件(系統(tǒng)統(tǒng)或元部部件可以以完成規(guī)規(guī)定的功功能)和和故障事事件(系系統(tǒng)或元元部件無無法完成成規(guī)定的的功能)頂事件：：所謂頂事事件就是是系統(tǒng)不不希望發(fā)發(fā)生的事事件，是是我們進進行故障障樹分析析要研究究的對象象。通常常選系統(tǒng)統(tǒng)最不希希望出現(xiàn)現(xiàn)的事件件為頂事事件，它它位于故故障樹的的頂端，，可理解解為樹的的“根事事件”。。中間事件件：又稱故障障事件，，位于系系統(tǒng)的頂頂事件和和底事件件之間，，用矩形形符號表表征并緊緊跟下級級事件，，可理解解為樹的的“枝事事件”。。底事件：：位于已建建成故障障樹的底底部，可可理解為為樹的““葉事件件”。部件:凡是能產(chǎn)產(chǎn)生故障障事件的的元件及及設備、、子系統(tǒng)統(tǒng)、環(huán)境境條件、、人為因因素等，，在故障障樹中定定義為部部件。963.3計計算機輔輔助故障障樹分析析——邏輯符號號973.3計計算機輔輔助故障障樹分析析——建樹的步步驟(1)熟熟悉系統(tǒng)統(tǒng):進行故障障樹分析析，要求求建樹人人員首先先應收集集系統(tǒng)的的技術資資料、設設計說明明書、安安全報告告、運行行規(guī)程及及有關維維修、制制造方面面的資料料，對系系統(tǒng)的功功能、結(jié)結(jié)構(gòu)原理理、故障障狀態(tài)、、故障因因素進行行深入透透徹的理理解，這這是建造造故障樹樹的一個個基礎的的要求。。(2)確確定頂事事件:頂事件是是系統(tǒng)最最不希望望發(fā)生的的事件，，根據(jù)系系統(tǒng)的要要求不同同可以有有多個具具體的頂頂事件，，因此也也就可以以從頂事事件出發(fā)發(fā)建立幾幾個不同同的故障障樹，在在各個故故障樹里里部件以以特定的的方式與與其它的的部件相相關聯(lián)，，但一個個故障樹樹只能分分析一個個不希望望發(fā)生事事件。即即頂事件件的確定定要從我我們的研研究對象象出發(fā)，，根據(jù)系系統(tǒng)的要要求，選選擇與設設計、分分析目的的緊密相相關聯(lián)的的事件為為頂事件件。(3)構(gòu)構(gòu)造發(fā)展展故障樹樹:由頂事件件出發(fā)，，逐級找找出導致致各級事事件發(fā)生生的所有有可能直直接原因因，并用用相應的的符號表表示事件件及其相相互的邏邏輯關系系，直至至分析到到底事件件為止。。建樹方方法有人人工建樹樹和計算算機輔助助建樹兩兩種，人人工建樹樹即手動動建樹，，需要分分析人員員進行浩浩大的工工作，計計算機輔輔助建樹樹是借助助計算機機解決大大型系統(tǒng)統(tǒng)的建樹樹復雜性性、規(guī)模模性、重重復性，，是當前前故障樹樹分析的的一個重重要的課課題研究究方向。。(4)故障障樹簡化:當故障樹建建成后，還還必須從故故障樹的最最下級開始始，逐級寫寫出上下級級事件的邏邏輯關系式式，直到樹樹的頂事件件為止，然然后結(jié)合邏邏輯運算算算法作進一一步的分析析運算，刪刪除多余事事件。983.3計算算機輔助故故障樹分析析——計算機繪圖圖——注意事事項1)圖紙空空間確定列數(shù)、行數(shù)數(shù)；列間距距、行間距距2)圖元繪繪制3)圖元編編輯調(diào)整位置、、顏色、內(nèi)內(nèi)容刪除、增加加、修改、、更新、插插入4)數(shù)據(jù)庫庫設計數(shù)據(jù)庫的添添加、刪除除、更新等等5)圖形的的重繪993.3計算算機輔助故故障樹分析析——計算機繪圖圖——界面設設計1003.3計算算機輔助故故障樹分析析——計算機繪圖圖——界面設設計1013.3計算算機輔助故故障樹分析析——計算機繪圖圖1023.3計算算機輔助故故障樹分析析——計算機繪圖圖——符號設設計1033.3計算算機輔助故故障樹分析析——計算機繪圖圖1043.3計算算機輔助故故障樹分析析——計算機繪圖圖——數(shù)據(jù)據(jù)庫設計1053.3計算算機輔助故故障樹分析析——計算機繪圖圖——數(shù)據(jù)據(jù)庫設計1063.3計算算機輔助故故障樹分析析——計算機繪圖圖——繪圖方方式數(shù)據(jù)庫直接手動自動1)調(diào)整圖圖形在繪圖圖空間的位位置2)1)搜索行行數(shù)與列數(shù)數(shù)，進行布布局2)1073.3計算算機輔助故故障樹分析析——計算機繪圖圖——保存方方式可識別圖形不能修改非矢量可修改矢量1083.3計算算機輔助故故障樹分析析——計算機繪圖圖——新建、、續(xù)建、打打開打開什么類類型的文件件各類型文件件之間關系系不同類型文文件保存內(nèi)內(nèi)容1)圖形文文件保存圖圖片；2)數(shù)數(shù)據(jù)庫庫文件件保存存邏輯輯關系系與基基本屬屬性；；3)Tree文文件保保存：：邏輯輯關系系、基基本屬屬性、、繪圖圖屬性性、位位置參參數(shù)等等1093.3計算算機輔輔助故故障樹樹分析析———計算機機繪圖圖——轉(zhuǎn)轉(zhuǎn)移1103.3計算算機輔輔助故故障樹樹分析析———計算機機繪圖圖——移移動、、編輯輯1113.3計算算機輔輔助故故障樹樹分析析———計算機機繪圖圖——移移動、、編輯輯1123.3計算算機輔輔助故故障樹樹分析析———計算機機繪圖圖——編編輯選中復制粘貼前進后退屬性刪除顏色線型對齊字體字號圓形橢圓長方形形菱形與門或門其它1133.3計算算機輔輔助故故障樹樹分析析———計算機機繪圖圖——事事件編編碼1143.3計算算機輔輔助故故障樹樹分析析———計算機機繪圖圖——完完整性性每一個個頂上上事件件是否否有基基本事事件或或中間間事件件每一個個中間間事件件是否否有中中間事事件或或基本本事件件每一個個基本本事件件是否否有中中間事事件或或頂上上事件件1153.3計算算機輔輔助故故障樹樹分析析———定性分分析——最最小割割集下行法法：根據(jù)故故障樹樹的實實際結(jié)結(jié)構(gòu)，，從頂頂事件件開始始，逐逐級向向下尋尋查：：遇到與門就將其其輸入入事件件排在同同一行行（只增增加割割集階階數(shù)，，不增增加割割集個個數(shù)））遇到或門就將其其輸入入事件件各自排排成一一行（只增增加割割集個個數(shù)，，不增增加割割集階階數(shù)））這樣直直到全全部換換成底底事件件為止止，這這樣得得到的的割集集再通通過兩兩兩比比較，，劃去去那些些非最最小割割集，，剩下下即為為故障障樹的的全部部最小小割集集。上行法法：從故障障樹的的底事事件開開始，，自下下而上上逐層層地進進行事事件集集合運運算：：將“或門門”輸出事事件用用輸入入事件件的并并（布布爾和和）代代替將“與門門”輸出事事件用用輸入入事件件的交交（布布爾積積）代代替在逐層層代入入過程程中，，按照照布爾爾代數(shù)數(shù)吸收收律和和等冪冪律來來化簡簡，最最后將將頂事事件表表示成成底事事件積積之和和的最最簡式式。其其中每每一積積項對對應于于故障障樹的的一個個最小小割集集，全全部積積項即即是故故障樹樹的所所有最最小割割集。。1163.3計算算機輔輔助故故障樹樹分析析———定性分分析——最最小割割集(下行行)117仍以上上述故故障樹樹為例例，用用上行行法求求最小小割集集。故故障樹樹的最最下一一級為為：往上一一級為為：3.3計算算機輔輔助故故障樹樹分析析———定性分分析——最最小割割集(上行行)118再往上上一級級為：：最上一一級為為：上式共共有7個積積項，，因此此得到到7個個最小小割集集：3.3計算算機輔輔助故故障樹樹分析析———定性分分析——最最小割割集(上行行)1193.3計算算機輔輔助故故障樹樹分析析———定性分分析——簡簡化1203.3計算算機輔輔助故故障樹樹分析析——