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