發(fā)布時(shí)間：2017-08-22 10:27

  本文關(guān)鍵詞：基于監(jiān)測狀態(tài)的協(xié)議信息推演研究

  更多相關(guān)文章： 協(xié)議定義 模式串匹配 關(guān)聯(lián)規(guī)則分析 序列比對分析 協(xié)議推演 幀特征

【摘要】：伴隨無線數(shù)據(jù)鏈系統(tǒng)的快速發(fā)展,無人飛行器的使用領(lǐng)域越發(fā)廣泛。與此同時(shí),如何保證無人機(jī)的可信測控也成為亟待解決的問題。協(xié)議報(bào)文是無線數(shù)據(jù)鏈系統(tǒng)傳輸對象。實(shí)現(xiàn)對非公有協(xié)議報(bào)文的推演工作,將對通信協(xié)議的設(shè)計(jì)、電子對抗、增強(qiáng)無人機(jī)安全性產(chǎn)生重要作用。針對無人機(jī)外部狀態(tài)參數(shù)可被觀測的特點(diǎn),本文借鑒指令執(zhí)行序列分析的思想,以報(bào)文序列分析為基礎(chǔ),結(jié)合無人機(jī)外部狀態(tài)參數(shù)的實(shí)時(shí)變化,設(shè)計(jì)適用于數(shù)據(jù)鏈應(yīng)用層二進(jìn)制協(xié)議的推演系統(tǒng)。主要完成以下研究工作：(1)定義測控協(xié)議,產(chǎn)生無人機(jī)飛行測控通信報(bào)文。根據(jù)現(xiàn)今流行數(shù)據(jù)鏈系統(tǒng)與無人機(jī)飛行測控特點(diǎn),參照擴(kuò)充巴科斯范式等方式,本文系統(tǒng)地定義可用于測控的通信協(xié)議范本。通過模擬測控通信過程,產(chǎn)生基于范本的報(bào)文,構(gòu)建協(xié)議消息庫。(2)獲取幀特征和域結(jié)構(gòu)關(guān)系。使用模式串匹配尋找報(bào)文頻繁模式串及頻繁位置,構(gòu)成后備幀特征集合；使用關(guān)聯(lián)規(guī)則挖掘方法對后備幀特征集合進(jìn)行關(guān)聯(lián)規(guī)則挖掘和篩選；依據(jù)幀特征間的關(guān)聯(lián)關(guān)系對協(xié)議結(jié)構(gòu)進(jìn)行分析,獲取域結(jié)構(gòu)關(guān)系集合和報(bào)文分類信息。(3)分析狀態(tài)參數(shù)數(shù)據(jù)域。以外部狀態(tài)參數(shù)為輸入,依據(jù)二進(jìn)制協(xié)議中數(shù)據(jù)域的一般特點(diǎn),使用序列比對技術(shù)對報(bào)文序列中的狀態(tài)數(shù)據(jù)域進(jìn)行識別,搜尋數(shù)據(jù)域中的關(guān)鍵結(jié)構(gòu)。依據(jù)比對結(jié)果和搜索結(jié)果,分析狀態(tài)數(shù)據(jù)域的結(jié)構(gòu)關(guān)系,確認(rèn)域結(jié)構(gòu)關(guān)系中的各單元的屬性信息。(4)識別基于行為特征的上下文約束條件。以絕大多數(shù)協(xié)議會(huì)話中部分域所共同具有的行為特點(diǎn)為基礎(chǔ),對協(xié)議消息庫中所有報(bào)文進(jìn)行分析,尋找基于行為特征的上下文約束條件以及其所作用的域；根據(jù)所滿足的行為特征,推測相應(yīng)域所具有的屬性信息。本文以報(bào)文和狀態(tài)參數(shù)為輸入,設(shè)計(jì)完整的協(xié)議推演系統(tǒng)。以協(xié)議消息記錄和飛行狀態(tài)參數(shù)記錄為輸入,對推演系統(tǒng)進(jìn)行實(shí)驗(yàn)測試。通過各環(huán)節(jié)的不斷修正,最終實(shí)現(xiàn)對協(xié)議消息庫中所有報(bào)文格式的有效推演。
【關(guān)鍵詞】：協(xié)議定義 模式串匹配 關(guān)聯(lián)規(guī)則分析 序列比對分析 協(xié)議推演 幀特征
【學(xué)位授予單位】：西南交通大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：V279
【目錄】：

• 摘要6-7
• Abstract7-11
• 第1章 緒論11-17
• 1.1 課題的背景及意義11
• 1.2 國內(nèi)外研究狀況11-14
• 1.3 研究的主要內(nèi)容及創(chuàng)新點(diǎn)14-15
• 1.4 本文的組織結(jié)構(gòu)15-17
• 第2章 遙測協(xié)議設(shè)計(jì)17-33
• 2.1 無人飛行器數(shù)據(jù)鏈路系統(tǒng)17-19
• 2.2 無人機(jī)飛行姿態(tài)描述19-21
• 2.3 協(xié)議表述及定義21-32
• 2.3.1 Mealy狀態(tài)機(jī)21-22
• 2.3.2 擴(kuò)充巴科斯范式22-23
• 2.3.3 測控協(xié)議定義23-32
• 2.4 本章小結(jié)32-33
• 第3章 協(xié)議推演系統(tǒng)設(shè)計(jì)33-47
• 3.1 推演系統(tǒng)的結(jié)構(gòu)33-34
• 3.2 系統(tǒng)模塊設(shè)計(jì)34-38
• 3.2.1 頻繁串挖掘模塊35
• 3.2.2 關(guān)聯(lián)規(guī)則提取模塊35
• 3.2.3 可變數(shù)據(jù)域解析模塊35-37
• 3.2.4 會(huì)話行為分析模塊37-38
• 3.3 各模塊中主要算法38-46
• 3.3.1 AC自動(dòng)機(jī)匹配算法及其適用38-41
• 3.3.2 Apriori算法及其運(yùn)用41-45
• 3.3.3 SW算法改進(jìn)及其適用45-46
• 3.4 本章小結(jié)46-47
• 第4章 實(shí)驗(yàn)及結(jié)果分析47-67
• 4.1 協(xié)議消息庫構(gòu)建47-50
• 4.2 推演實(shí)驗(yàn)及結(jié)果分析50-66
• 4.2.1 頻繁模式串挖掘及結(jié)果推演51-52
• 4.2.2 關(guān)聯(lián)規(guī)則提取及報(bào)文結(jié)構(gòu)推演52-56
• 4.2.3 可變數(shù)據(jù)域解析及語義信息推演56-58
• 4.2.4 會(huì)話行為分析及約束條件推演58-62
• 4.2.5 系統(tǒng)輸出評估62-66
• 4.3 本章小結(jié)66-67
• 總結(jié)與展望67-69
• 致謝69-70
• 參考文獻(xiàn)70-74
• 攻讀碩士學(xué)位期間發(fā)表的學(xué)術(shù)論文和參與的項(xiàng)目74

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前6條

1 羅軍舟,顧冠群;協(xié)議描述和驗(yàn)證的基本方法[J];東南大學(xué)學(xué)報(bào);1996年05期

2 宋金晶;沈軍;;基于CSP的網(wǎng)絡(luò)協(xié)議描述與仿真[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年S1期

3 李紅輝;一種新型的Petri網(wǎng)擴(kuò)充模型及其在協(xié)議描述和驗(yàn)證中的應(yīng)用[J];鐵道學(xué)報(bào);1996年S2期

4 黨建武;協(xié)議綜合系統(tǒng)的研究[J];蘭州鐵道學(xué)院學(xué)報(bào);1997年02期

5 羅捷;潘江峰;耿修堂;;某協(xié)議報(bào)文編解碼模塊的設(shè)計(jì)與實(shí)現(xiàn)[J];火炮發(fā)射與控制學(xué)報(bào);2013年03期

6 ;[J];;年期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前3條

1 邱云超;費(fèi)敏銳;;現(xiàn)場通信協(xié)議描述軟件的標(biāo)準(zhǔn)封裝及多環(huán)境應(yīng)用[A];中國儀器儀表學(xué)會(huì)第三屆青年學(xué)術(shù)會(huì)議論文集（下）[C];2001年

2 陳金峰;劉惠義;;基于著色Petri網(wǎng)的多Agent交互[A];2005年全國開放式分布與并行計(jì)算學(xué)術(shù)會(huì)議論文集[C];2005年

3 李櫻;王永濱;馮爽;;基于LOTOS的PIM-SM協(xié)議形式化分析[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（上）[C];2006年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 楊鵬;基于廣義隨機(jī)Petri網(wǎng)理論的SIP的研究[D];蘭州理工大學(xué);2009年

2 繆祥華;一種分析和設(shè)計(jì)安全協(xié)議的新邏輯[D];西南交通大學(xué);2006年

3 郭靜;自動(dòng)談判的協(xié)議及策略問題研究[D];國防科學(xué)技術(shù)大學(xué);2007年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 鄔國欣;矩陣運(yùn)算可驗(yàn)證安全外包計(jì)算協(xié)議的研究[D];西安電子科技大學(xué);2014年

2 陳佳瑩;無人平臺測控協(xié)議信息逆向分析[D];西南交通大學(xué);2016年

3 李松蔚;基于監(jiān)測狀態(tài)的協(xié)議信息推演研究[D];西南交通大學(xué);2016年

4 宋疆;無線網(wǎng)絡(luò)環(huán)境下未知協(xié)議發(fā)現(xiàn)探索研究[D];電子科技大學(xué);2013年

5 紀(jì)淑娟;基于主體的電子商務(wù)談判協(xié)議建模[D];山東科技大學(xué);2004年

6 盧貝;顏色Petri網(wǎng)的電子商務(wù)協(xié)議形式化分析方法研究[D];燕山大學(xué);2012年

7 郭希民;基于擴(kuò)展時(shí)間Petri網(wǎng)的協(xié)議描述與驗(yàn)證研究[D];山東科技大學(xué);2003年

8 張彥龍;基于Petri網(wǎng)的TCP協(xié)議的研究[D];蘭州理工大學(xué);2008年

9 李艷平;不可否認(rèn)協(xié)議及其應(yīng)用的研究[D];陜西師范大學(xué);2004年

10 崔文;協(xié)議異常檢測的設(shè)計(jì)與實(shí)現(xiàn)[D];北京交通大學(xué);2010年

，

本文編號：718604