飛機(jī)發(fā)動(dòng)機(jī)控制軟件作為機(jī)載系統(tǒng)的核心控制軟件,其安全性十分重要。由于飛機(jī)發(fā)動(dòng)機(jī)控制軟件功能繁多且邏輯關(guān)系復(fù)雜,建立軟件模型是對(duì)其安全性進(jìn)行分析的一種有效途徑。傳統(tǒng)建模方法無法有效地描述軟件功能模塊間存在的大量并發(fā)特征。著色Petri網(wǎng)（CPN）作為一種形式化的建模方法,能夠有效描述軟件運(yùn)行狀態(tài)、軟件功能之間復(fù)雜的邏輯關(guān)系,以及功能模塊間的并發(fā)操作等,常用于復(fù)雜軟件的建模中。因此,本文運(yùn)用CPN對(duì)某型飛機(jī)發(fā)動(dòng)機(jī)控制軟件進(jìn)行建模與安全性分析。依據(jù)某型飛機(jī)發(fā)動(dòng)機(jī)控制軟件的特征,分析其與CPN模型的庫所、遷移等元素之間的對(duì)應(yīng)關(guān)系,構(gòu)建飛機(jī)發(fā)動(dòng)機(jī)控制軟件的CPN模型。在此基礎(chǔ)上,研究軟件危險(xiǎn)狀態(tài)及其在CPN模型上的表示,尋找可能觸發(fā)潛在危險(xiǎn)狀態(tài)的標(biāo)識(shí)及其參數(shù)組合,從而驗(yàn)證某型飛機(jī)發(fā)動(dòng)機(jī)控制軟件是否確實(shí)存在危險(xiǎn)狀態(tài)。本文將尋找可能的標(biāo)識(shí)及其參數(shù)組合看成是一個(gè)搜索問題,設(shè)計(jì)相應(yīng)的遺傳算法,對(duì)某型飛機(jī)發(fā)動(dòng)機(jī)控制軟件CPN模型進(jìn)行危險(xiǎn)狀態(tài)的識(shí)別,并對(duì)遺傳算法進(jìn)行改進(jìn),提高了遺傳算法的搜索效率。最后將本文的方法運(yùn)用于某型飛機(jī)發(fā)動(dòng)機(jī)控制軟件的CPN建模及危險(xiǎn)狀態(tài)識(shí)別中,對(duì)方法的有效性及算法的執(zhí)行效率進(jìn)行了分... 

【文章來源】：北京化工大學(xué)北京市 211工程院校 教育部直屬院校

【文章頁數(shù)】：76 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖４－ｉ?ｃｐｎ?Ｓ險(xiǎn)叔Ｓ識(shí)另ｙ云架圖??Ｆｉｇ．４－１?Ｍｅｔｈｏｄ?ｆｒａｍｅ?ｄｉａｇｒａｍ??

只針對(duì)第二部分也就是參數(shù)列表進(jìn)行交叉操作，在一個(gè)父代參數(shù)序列集中隨機(jī)選擇一??個(gè)位置（交叉點(diǎn)），將父代兩個(gè)參數(shù)序列在交叉點(diǎn)后側(cè)的基因進(jìn)行互換，得到兩個(gè)新??的子代參數(shù)序列集。兩個(gè)子種群個(gè)體一部分之間的交叉操作如圖４－３所示。??個(gè)體ａ?個(gè)體ｂ??權(quán)料丨丨—１?０?０?４?４?２?１?１?１?０?０?４?４?２?１?１??？?ｍｍ＞?ｗｍｍｍ?？?ｍｍｍ?ｍｍｍｍｍ??—?１３?５６?Ｉ?１６６?｜?７２?１１?５５?＇?１２３?｜?９７??Ｋｍ．￣￣ｍｍｍｍｍ??個(gè)體ａ，?▼?個(gè)體ｂ’??１?０?０?４?４?２?１?１?１?０?０?４?４?２?１?１??１３?５６?｜ｊ２３?Ｉ?９７?１１?５５?Ｉ?１６６?｜?７２??圖４－３子種群個(gè)體交叉操作??Ｆｉｇ．４－３?Ｔｈｅ?Ｓｕｂｐｏｐｕｌａｔｉｏｎ?ｉｎｄｉｖｉｄｕａｌ?ｃｒｏｓｓｏｖｅｒ??而針對(duì)種群中的個(gè)體間的交叉操作，由于每個(gè)個(gè)體它們的令牌分布與參數(shù)列表均??不同，因此需要針對(duì)整個(gè)個(gè)體進(jìn)行交叉操作，包括對(duì)令牌的分布以及參數(shù)的列表這兩??部分同時(shí)進(jìn)行交叉，兩個(gè)種群個(gè)體一部分之間的交叉操作如圖４－４所示。??３６??

針對(duì)子種群內(nèi)個(gè)體的變異操作，只需要針對(duì)個(gè)體的參數(shù)列表部分進(jìn)行變異，生成??該位置參數(shù)定義域內(nèi)的隨機(jī)數(shù)替代原來的數(shù)據(jù)即可。子種群個(gè)體的一部分變異操作如??圖４－５所示??３７??

【參考文獻(xiàn)】：
期刊論文
[1]基于故障配置的故障樹生成[J]. 黃鳴宇,魏歐,胡軍.  計(jì)算機(jī)科學(xué). 2017(02)
[2]基于隨機(jī)時(shí)間Petri網(wǎng)的安全性分析方法[J]. 彭穎,姚淑珍,譚火彬.  計(jì)算機(jī)科學(xué). 2016(11)
[3]基于多種群遺傳算法的可擴(kuò)展有限狀態(tài)機(jī)測(cè)試數(shù)據(jù)自動(dòng)生成[J]. 周小飛,趙瑞蓮,李征.  計(jì)算機(jī)應(yīng)用與軟件. 2015(11)
[4]一種基于邏輯Petri網(wǎng)的Web服務(wù)簇組合方法[J]. 吳洪越,杜玉越.  計(jì)算機(jī)學(xué)報(bào). 2015(01)
[5]基于Petri網(wǎng)的列控系統(tǒng)形式化分析方法[J]. 劉建昆,宋文,周濤.  計(jì)算機(jī)應(yīng)用. 2013(04)
[6]國外基于模型的系統(tǒng)工程方法研究與實(shí)踐[J]. 王崑聲,袁建華,陳紅濤,蒲洪波.  中國航天. 2012(11)
[7]基于有色Petri網(wǎng)的CTCS-3級(jí)列控系統(tǒng)RBC切換的建模與形式化分析[J]. 張友兵,唐濤.  鐵道學(xué)報(bào). 2012(07)
[8]一種適用于具有相互依賴基本事件和重復(fù)事件的動(dòng)態(tài)故障樹獨(dú)立模塊識(shí)別方法[J]. 張紅林,張春元,劉東.  計(jì)算機(jī)學(xué)報(bào). 2012(02)
[9]基于Petri網(wǎng)的并發(fā)程序測(cè)試用例產(chǎn)生方法[J]. 霍敏霞,丁曉明.  計(jì)算機(jī)科學(xué). 2011(09)
[10]系統(tǒng)安全風(fēng)險(xiǎn)描述研究[J]. 劉學(xué)敏,厲海濤,周經(jīng)倫,周忠寶.  中國安全科學(xué)學(xué)報(bào). 2010(07)

博士論文
[1]基于EFSM的測(cè)試用例自動(dòng)化生成關(guān)鍵技術(shù)研究[D]. 楊瑞.南京大學(xué) 2015
[2]基于CPN的面向任務(wù)指揮控制組織建模、仿真及優(yōu)化方法研究[D]. 楊春輝.國防科學(xué)技術(shù)大學(xué) 2008



本文編號(hào)：3293605