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