現(xiàn)代飛機(jī)上各種用電設(shè)備日益增多,用電量不斷增加,對機(jī)載電源的容量、供電質(zhì)量和可靠性都提出嚴(yán)格的要求。隨著先進(jìn)技術(shù)在飛機(jī)上的不斷應(yīng)用,對飛機(jī)供電系統(tǒng)可靠性的要求越來越高。飛機(jī)配電系統(tǒng)是供電系統(tǒng)的重要
工作流由案例、任務(wù)、過程、條件等一系列概念構(gòu)成,其概念源于生產(chǎn)組織和辦公自動化,可提高工作效率、管理水平和競爭力。工作流有助于實現(xiàn)產(chǎn)品設(shè)計、審批、修改和生產(chǎn)過程的管理。工作流管理為合作和協(xié)調(diào)的方式提供有效的平臺,在企業(yè)和商業(yè)運作過程的分析中
Petri網(wǎng)是異步并發(fā)現(xiàn)象建模的重要工具,Petri網(wǎng)的硬件實現(xiàn)將為并行控制器的設(shè)計提供一種有效的途徑.本文在通用的EDA軟件Max+PlusII中,研究了基本Petri網(wǎng)和時延Petrii網(wǎng)的硬件實現(xiàn),用VHDL語言分別建立了庫所和變遷元件。最后給出了一個時延Petri網(wǎng)系統(tǒng)實例,通過調(diào)用元件庫中的Petri網(wǎng)元件,繪制了系統(tǒng)電路圖,仿真結(jié)果證明了Petri網(wǎng)元件設(shè)計的正確性。
Petri網(wǎng)是異步并發(fā)系統(tǒng)建模與分析的一種重要工具,1962年由德國科學(xué)家C.A.Petri博士創(chuàng)立。40多年來,Petri網(wǎng)理論得到了很大的豐富和發(fā)展,其應(yīng)用領(lǐng)域也在不斷擴(kuò)大,越來越受到國際同行的重視,已成為計算機(jī)、自動化和
一種基于Petri網(wǎng)的飛機(jī)配電系統(tǒng)可靠性分析方法
基于組合著色Petri網(wǎng)的空間復(fù)合事件檢測機(jī)制
1 引言 目前,對于機(jī)車故障檢查與診斷存在各種方法,其中專家系統(tǒng),故障樹分析方法(fta),以及兩者的結(jié)合體是被廣泛接受的方法,然而,他們也存在一些缺陷;fta僅能表示邏輯關(guān)系[1],不能表示動態(tài)行為;而專家系統(tǒng)突
將一種基于Petri網(wǎng)的故障樹分析法運用于飛機(jī)配電系統(tǒng)的可靠性分析,以庫所和變遷為節(jié)點,有向弧的指示方向表達(dá)系統(tǒng)故障的傳播關(guān)系。同時提出一種應(yīng)用Petri網(wǎng)的關(guān)聯(lián)矩陣求最小割集的新算法,此算法按照指定關(guān)聯(lián)矩陣中所表達(dá)的輸入、輸出關(guān)系直接從關(guān)聯(lián)矩陣得出割集,易于計算機(jī)程序的實現(xiàn),而且對于求有重復(fù)事件Petri網(wǎng)模型的割集更為簡單、直觀,避免了傳統(tǒng)飛機(jī)配電系統(tǒng)可靠性分析方法中分析復(fù)雜,減少了計算量,彌補了傳統(tǒng)故障樹分析法中的不足。