基于Petri網(wǎng)的導(dǎo)彈測試系統(tǒng)仿真驗證技術(shù)研究
發(fā)布時間:2021-04-16 09:45
在現(xiàn)代國防科技的要求下,導(dǎo)彈測試面臨著更高的標(biāo)準(zhǔn)與要求,對各測試任務(wù)可靠性影響程度的準(zhǔn)確把握、合理的并行優(yōu)化測試流程以及準(zhǔn)確及時的故障診斷,是對導(dǎo)彈生存能力、快速反應(yīng)能力的保證,也是導(dǎo)彈工作狀態(tài)及工作性能評估的重要依托。對于復(fù)雜的導(dǎo)彈系統(tǒng),采用Petri網(wǎng)的形式化建模技術(shù)模擬真實導(dǎo)彈測試流程,與以往流程圖、UML等系統(tǒng)描述方法相比,Petri網(wǎng)嚴(yán)格模擬系統(tǒng)運行狀態(tài),具有動態(tài)化、圖形化以及數(shù)學(xué)分析的顯著優(yōu)勢,保證了導(dǎo)彈流程設(shè)計的合理性與正確性,該方法具有良好的實用性;谝陨媳尘,本文針對導(dǎo)彈測試關(guān)鍵方向:任務(wù)可靠性影響程度、并行優(yōu)化調(diào)度與故障診斷方法進行詳細(xì)研究。對導(dǎo)彈技術(shù)陣地水平測試建立了測試流程圖,分析了流程圖至Petri網(wǎng)的轉(zhuǎn)化規(guī)則,實現(xiàn)了流程圖至分層附時著色Petri網(wǎng)(Hierarchical Timed Colored Petri Net,HTCPN)的具體轉(zhuǎn)換。對導(dǎo)彈測試流程系統(tǒng)HTCPN模型進行了定性定量分析,探究了部分測試可靠性對導(dǎo)彈發(fā)射成功率的影響程度。其次,深入研究了并行測試中任務(wù)與資源以及任務(wù)之間的約束情況,借助于蟻群算法設(shè)計具體調(diào)度方法,得到了測試總時間最短的...
【文章來源】:哈爾濱工業(yè)大學(xué)黑龍江省 211工程院校 985工程院校
【文章頁數(shù)】:87 頁
【學(xué)位級別】:碩士
【部分圖文】:
循環(huán)結(jié)構(gòu)對應(yīng)轉(zhuǎn)換圖
圖 3-2 導(dǎo)彈測試頂層(Top)模型圖中,Top 主頁的庫所變遷詳細(xì)信息如表 3-1 所示。表 3-1 主頁庫所變遷信息庫所 含義說明 變遷 含義說明Start 測試開始 MemberInit 成員初始化InitS 初始化成功 Open&Selftest 硬件板卡打開及OSS 打開及自檢成功 Networking 網(wǎng)絡(luò)連接NS 網(wǎng)絡(luò)連接成功 MissionStart 發(fā)布測試命MasterControl 主控控制對彈檢測 Waitting 等待主控計算機Ready 就緒狀態(tài) UnitTest 單元測試UnitTestPassed 單元測試成功 SubsystemTest 分系統(tǒng)測試systemTestPassed 分系統(tǒng)測試成功 IntegrationTest 綜合測試grationTestPassed 總檢查成功 MissionDone 提取任務(wù)成功MissionDone 任務(wù)成功依次對導(dǎo)彈測試系統(tǒng)進行成員初始化、硬件板卡打開和自檢以及網(wǎng)成功完成上述步驟后,等待主控計算機發(fā)布對彈測試命令,系統(tǒng)初刻為 0 時刻。接收測試命令,使能并點火替代變遷 MissionStart,此件作出 準(zhǔn)備好 狀態(tài);庫所 Ready 包含的托肯即測試命令,激發(fā)系
圖 3-3 MissionStart 子頁模型表 3-2 MissionStart 子頁庫所變遷信息庫所 含義說明 變遷 含義說明sterControl 主控計算機控制對彈檢測 Init 初始化Next 命令 ID 生成 Start 命令排隊等待Ready 就緒狀態(tài)Count100 仿真命令次數(shù)限制為方便仿真次數(shù)設(shè)置,實現(xiàn)命令的自動發(fā)布,基于排隊理論完成了發(fā)布過程。任一排隊系統(tǒng)都具有 4 個基本要素:輸入過程、排隊規(guī)則和服務(wù)時間[31]。1)輸入過程輸入過程是對進入排隊系統(tǒng)時間特性規(guī)律的研究,包含定常輸入和隨機分布的輸入。測試發(fā)射過程模型中,借助于服從指數(shù)時延分布pTime(mean:int),設(shè)定新的任務(wù)命令請求以 10s 的時間間隔到達。2)排隊規(guī)則排隊規(guī)則即排隊規(guī)律,概括來說,主要有 3 種機制:損失制,服務(wù)
【參考文獻】:
期刊論文
[1]基于ASK-CTL的有色Petri網(wǎng)模型檢驗算法研究[J]. 馬國富,劉文良,周建勇,劉久富. 計算機應(yīng)用與軟件. 2015(10)
[2]基于模擬退火禁忌遺傳算法的并行測試任務(wù)調(diào)度[J]. 盧茜,莫亭亭. 微電子學(xué)與計算機. 2015(03)
[3]基于故障統(tǒng)計分析的導(dǎo)彈可靠性研究[J]. 徐廷學(xué),王鑫,安進,袁野. 艦船電子工程. 2013(09)
[4]基于改進蟻群算法的并行測試任務(wù)調(diào)度方法研究[J]. 范錕,肖明清,胡斌,馬彥濤. 計算機測量與控制. 2013(08)
[5]基于HTCPN的應(yīng)急空間軍事任務(wù)過程建模與仿真[J]. 張海波,曹延華,蘇明. 裝備指揮技術(shù)學(xué)院學(xué)報. 2010(04)
[6]排隊系統(tǒng)的著色Petri網(wǎng)建模與分析[J]. 劉建英,李小龍. 計算機與現(xiàn)代化. 2010(06)
[7]基于自然數(shù)編碼遺傳算法的并行測試技術(shù)[J]. 王偉斌,秦紅磊. 系統(tǒng)工程與電子技術(shù). 2010(06)
[8]基于時間Petri網(wǎng)的并行測試任務(wù)調(diào)度[J]. 李華,許化龍. 計算機測量與控制. 2010(03)
[9]基于TS算法的FPN魚雷電子系統(tǒng)故障診斷方法[J]. 梁遠(yuǎn)華,苑秉成. 儀器儀表學(xué)報. 2009(11)
[10]模糊Petri網(wǎng)在航天發(fā)射系統(tǒng)故障診斷中的應(yīng)用研究[J]. 戎梅,趙廷弟,郭江杰. 航天控制. 2009(04)
博士論文
[1]基于Petri網(wǎng)的遠(yuǎn)程智能故障診斷方法研究[D]. 熊偉.華北電力大學(xué) 2014
[2]智能算法及其在信息安全若干關(guān)鍵問題中的應(yīng)用與研究[D]. 曹明.北京郵電大學(xué) 2008
[3]測試系統(tǒng)的Petri網(wǎng)建模和性能分析研究[D]. 詹惠琴.電子科技大學(xué) 2005
[4]基于有色Petri網(wǎng)理論的并行自動測試系統(tǒng)建模研究[D]. 胡瑜.電子科技大學(xué) 2003
碩士論文
[1]導(dǎo)彈模擬器通用開發(fā)平臺研制[D]. 張志峰.哈爾濱工業(yè)大學(xué) 2013
[2]某型號導(dǎo)彈測發(fā)控系統(tǒng)研制[D]. 王儲.哈爾濱工業(yè)大學(xué) 2013
[3]多通道壓力測試系統(tǒng)petri網(wǎng)建模及其性能分析[D]. 趙濤.電子科技大學(xué) 2012
本文編號:3141198
【文章來源】:哈爾濱工業(yè)大學(xué)黑龍江省 211工程院校 985工程院校
【文章頁數(shù)】:87 頁
【學(xué)位級別】:碩士
【部分圖文】:
循環(huán)結(jié)構(gòu)對應(yīng)轉(zhuǎn)換圖
圖 3-2 導(dǎo)彈測試頂層(Top)模型圖中,Top 主頁的庫所變遷詳細(xì)信息如表 3-1 所示。表 3-1 主頁庫所變遷信息庫所 含義說明 變遷 含義說明Start 測試開始 MemberInit 成員初始化InitS 初始化成功 Open&Selftest 硬件板卡打開及OSS 打開及自檢成功 Networking 網(wǎng)絡(luò)連接NS 網(wǎng)絡(luò)連接成功 MissionStart 發(fā)布測試命MasterControl 主控控制對彈檢測 Waitting 等待主控計算機Ready 就緒狀態(tài) UnitTest 單元測試UnitTestPassed 單元測試成功 SubsystemTest 分系統(tǒng)測試systemTestPassed 分系統(tǒng)測試成功 IntegrationTest 綜合測試grationTestPassed 總檢查成功 MissionDone 提取任務(wù)成功MissionDone 任務(wù)成功依次對導(dǎo)彈測試系統(tǒng)進行成員初始化、硬件板卡打開和自檢以及網(wǎng)成功完成上述步驟后,等待主控計算機發(fā)布對彈測試命令,系統(tǒng)初刻為 0 時刻。接收測試命令,使能并點火替代變遷 MissionStart,此件作出 準(zhǔn)備好 狀態(tài);庫所 Ready 包含的托肯即測試命令,激發(fā)系
圖 3-3 MissionStart 子頁模型表 3-2 MissionStart 子頁庫所變遷信息庫所 含義說明 變遷 含義說明sterControl 主控計算機控制對彈檢測 Init 初始化Next 命令 ID 生成 Start 命令排隊等待Ready 就緒狀態(tài)Count100 仿真命令次數(shù)限制為方便仿真次數(shù)設(shè)置,實現(xiàn)命令的自動發(fā)布,基于排隊理論完成了發(fā)布過程。任一排隊系統(tǒng)都具有 4 個基本要素:輸入過程、排隊規(guī)則和服務(wù)時間[31]。1)輸入過程輸入過程是對進入排隊系統(tǒng)時間特性規(guī)律的研究,包含定常輸入和隨機分布的輸入。測試發(fā)射過程模型中,借助于服從指數(shù)時延分布pTime(mean:int),設(shè)定新的任務(wù)命令請求以 10s 的時間間隔到達。2)排隊規(guī)則排隊規(guī)則即排隊規(guī)律,概括來說,主要有 3 種機制:損失制,服務(wù)
【參考文獻】:
期刊論文
[1]基于ASK-CTL的有色Petri網(wǎng)模型檢驗算法研究[J]. 馬國富,劉文良,周建勇,劉久富. 計算機應(yīng)用與軟件. 2015(10)
[2]基于模擬退火禁忌遺傳算法的并行測試任務(wù)調(diào)度[J]. 盧茜,莫亭亭. 微電子學(xué)與計算機. 2015(03)
[3]基于故障統(tǒng)計分析的導(dǎo)彈可靠性研究[J]. 徐廷學(xué),王鑫,安進,袁野. 艦船電子工程. 2013(09)
[4]基于改進蟻群算法的并行測試任務(wù)調(diào)度方法研究[J]. 范錕,肖明清,胡斌,馬彥濤. 計算機測量與控制. 2013(08)
[5]基于HTCPN的應(yīng)急空間軍事任務(wù)過程建模與仿真[J]. 張海波,曹延華,蘇明. 裝備指揮技術(shù)學(xué)院學(xué)報. 2010(04)
[6]排隊系統(tǒng)的著色Petri網(wǎng)建模與分析[J]. 劉建英,李小龍. 計算機與現(xiàn)代化. 2010(06)
[7]基于自然數(shù)編碼遺傳算法的并行測試技術(shù)[J]. 王偉斌,秦紅磊. 系統(tǒng)工程與電子技術(shù). 2010(06)
[8]基于時間Petri網(wǎng)的并行測試任務(wù)調(diào)度[J]. 李華,許化龍. 計算機測量與控制. 2010(03)
[9]基于TS算法的FPN魚雷電子系統(tǒng)故障診斷方法[J]. 梁遠(yuǎn)華,苑秉成. 儀器儀表學(xué)報. 2009(11)
[10]模糊Petri網(wǎng)在航天發(fā)射系統(tǒng)故障診斷中的應(yīng)用研究[J]. 戎梅,趙廷弟,郭江杰. 航天控制. 2009(04)
博士論文
[1]基于Petri網(wǎng)的遠(yuǎn)程智能故障診斷方法研究[D]. 熊偉.華北電力大學(xué) 2014
[2]智能算法及其在信息安全若干關(guān)鍵問題中的應(yīng)用與研究[D]. 曹明.北京郵電大學(xué) 2008
[3]測試系統(tǒng)的Petri網(wǎng)建模和性能分析研究[D]. 詹惠琴.電子科技大學(xué) 2005
[4]基于有色Petri網(wǎng)理論的并行自動測試系統(tǒng)建模研究[D]. 胡瑜.電子科技大學(xué) 2003
碩士論文
[1]導(dǎo)彈模擬器通用開發(fā)平臺研制[D]. 張志峰.哈爾濱工業(yè)大學(xué) 2013
[2]某型號導(dǎo)彈測發(fā)控系統(tǒng)研制[D]. 王儲.哈爾濱工業(yè)大學(xué) 2013
[3]多通道壓力測試系統(tǒng)petri網(wǎng)建模及其性能分析[D]. 趙濤.電子科技大學(xué) 2012
本文編號:3141198
本文鏈接:http://sikaile.net/kejilunwen/jingguansheji/3141198.html
教材專著