本文關(guān)鍵詞：大數(shù)據(jù)驅(qū)動(dòng)的飛行信息物理融合系統(tǒng)的分析與設(shè)計(jì)方法

  更多相關(guān)文章： 飛行物理融合系統(tǒng) 大數(shù)據(jù) AADL 飛行控制與導(dǎo)航系統(tǒng)

【摘要】：飛行信息物理融合系統(tǒng)(Flight Cyber-Physical System,簡(jiǎn)稱FCPS)是CPS在飛航領(lǐng)域的應(yīng)用。在電子飛航系統(tǒng)的基礎(chǔ)上,該系統(tǒng)信息化和網(wǎng)絡(luò)化程度更高,是下一代飛航系統(tǒng)的發(fā)展方向。以目前美國(guó)最新研制的‘夢(mèng)想飛機(jī)’波音787客機(jī)為例,它采用了更為先進(jìn)的傳感技術(shù),具有計(jì)算能力,更穩(wěn)健、智能的通信、控制能力,具備連接網(wǎng)絡(luò)能力,并且有更加整合的機(jī)載設(shè)備和軟件模塊。在由天空、衛(wèi)星、地面系統(tǒng)所組成的全球系統(tǒng)中,這樣的飛機(jī)如同一個(gè)個(gè)飛行中的智能節(jié)點(diǎn),能夠確保自己飛行安全并且位置與時(shí)間信息準(zhǔn)確,又能把這些信息穩(wěn)健的,實(shí)時(shí)的傳遞給利益攸關(guān)者進(jìn)行科學(xué)決策和社會(huì)服務(wù)。圍繞著整個(gè)飛行系統(tǒng),關(guān)于它的分類,學(xué)術(shù)界沒(méi)有明確的界定。以飛機(jī)為主體,其大概包括飛行交通管理系統(tǒng)(Air Traffic Management System,簡(jiǎn)稱ATMS),飛機(jī)機(jī)載系統(tǒng)(Aircraft Airborne System,簡(jiǎn)稱AAS),還有機(jī)場(chǎng)管理系統(tǒng)(Airport Management System,簡(jiǎn)稱AMS)等等。它所涉及的對(duì)象有飛機(jī)本身的機(jī)載系統(tǒng),地面系統(tǒng),衛(wèi)星系統(tǒng),飛機(jī)場(chǎng)管理,空管單位以及它們之間的極其龐大的鏈接、監(jiān)控、管理網(wǎng)絡(luò)。范圍廣泛,系統(tǒng)復(fù)雜、數(shù)據(jù)巨大而異構(gòu)。無(wú)論是過(guò)去還是將來(lái),人類都希望飛機(jī)能和地面的火車(chē)與汽車(chē)一樣有更可靠的安全系數(shù)。這在空難多發(fā)的今天,就顯得尤為重要。毫無(wú)疑問(wèn),為了解決這些海量數(shù)據(jù)處理與存儲(chǔ)的問(wèn)題。大數(shù)據(jù)技術(shù)應(yīng)運(yùn)而生。如今,大數(shù)據(jù)已經(jīng)應(yīng)用于廣大的行業(yè)領(lǐng)域里,如前面所提的飛行系統(tǒng)、監(jiān)控系統(tǒng)、地面交通、電子商務(wù)系統(tǒng),醫(yī)療系統(tǒng)、社交網(wǎng)絡(luò)、傳感器網(wǎng)絡(luò)、社會(huì)數(shù)據(jù)調(diào)查等等。面對(duì)這些機(jī)遇與挑戰(zhàn),大數(shù)據(jù)技術(shù)也發(fā)展的日新月異。其技術(shù)包括如遺傳算法,神經(jīng)網(wǎng)絡(luò),數(shù)據(jù)挖掘,機(jī)器學(xué)習(xí),多維分析,數(shù)據(jù)融合與集成,分布式存儲(chǔ)技術(shù)與文件系統(tǒng),非關(guān)系數(shù)據(jù)庫(kù),可視化等主要領(lǐng)域要點(diǎn)。無(wú)論大數(shù)據(jù)有多復(fù)雜,但其中心思想就是要實(shí)現(xiàn)大海撈針,以此創(chuàng)造現(xiàn)成的或者間接的價(jià)值與啟發(fā)。AADL(Architecture Analysis and Design Language)是一種借鑒了UML、Marte等優(yōu)點(diǎn)的支持文本與圖形方式的建模語(yǔ)言。AADL對(duì)基于模型分析和復(fù)雜實(shí)時(shí)嵌入式系統(tǒng)的規(guī)范特別有效。AADL還通過(guò)提供一種標(biāo)準(zhǔn)和精確的方式來(lái)描述復(fù)雜嵌入式系統(tǒng)的實(shí)時(shí)性、安全性、可調(diào)度性等非功能屬性,使得程序員能夠提早對(duì)構(gòu)件或應(yīng)用進(jìn)行可調(diào)度性、可行性的分析,保證轉(zhuǎn)換模型和自動(dòng)生成代碼的一致性。利用AADL語(yǔ)言對(duì)飛行物理融合網(wǎng)系統(tǒng)進(jìn)行建模能夠很好的表示系統(tǒng)的非功能屬性,保證系統(tǒng)開(kāi)發(fā)流程的高效性。本文內(nèi)容含有對(duì)信息物理融合系統(tǒng)的基本介紹。對(duì)大數(shù)據(jù)的進(jìn)行了基本介紹。對(duì)當(dāng)前大數(shù)據(jù)的收集、處理、存儲(chǔ)流程中涉及的技術(shù)進(jìn)行系統(tǒng)性闡述,并對(duì)大數(shù)據(jù)與信息物理融合系統(tǒng)的結(jié)合做了可行性分析,對(duì)其認(rèn)識(shí)架構(gòu)進(jìn)行了分析,詳細(xì)討論了各個(gè)層次架構(gòu)的功能和特點(diǎn)。綜合大數(shù)據(jù)的技術(shù)特點(diǎn)和CPS的系統(tǒng)需求,提出了基于大數(shù)據(jù)驅(qū)動(dòng)的信息物理融合系統(tǒng)。其中針對(duì)基于目前大數(shù)據(jù)技術(shù)的飛行監(jiān)控與維護(hù)系統(tǒng),對(duì)其收集存儲(chǔ),處理進(jìn)行了系統(tǒng)性討論。本文對(duì)飛行信息物理融合系統(tǒng)的飛行監(jiān)控,機(jī)場(chǎng)管理進(jìn)行了分析與討論。其次討論航空電子云概念A(yù)ADL建模,以及它的容錯(cuò)性驗(yàn)證。本文對(duì)AADL的基本特征,元素集合進(jìn)行了羅列。使用Modlica對(duì)物理進(jìn)行建模擴(kuò)展。特別針對(duì)飛機(jī)導(dǎo)航與控制系統(tǒng)進(jìn)行了建模分析。最后對(duì)這一建模的流延遲,可調(diào)度性和整體進(jìn)行了驗(yàn)證。
【關(guān)鍵詞】：飛行物理融合系統(tǒng) 大數(shù)據(jù) AADL 飛行控制與導(dǎo)航系統(tǒng)
【學(xué)位授予單位】：廣東工業(yè)大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：V243;TP202
【目錄】：

• 摘要4-6
• ABSTRACT6-12
• 第一章 緒論12-16
• 1.1 研究背景及意義12-13
• 1.2 國(guó)內(nèi)外研究現(xiàn)狀13-14
• 1.3 論文研究?jī)?nèi)容14-15
• 1.4 論文組織架構(gòu)15-16
• 第二章 支撐知識(shí)16-31
• 2.1 CPS16-17
• 2.2 大數(shù)據(jù)17-18
• 2.2.1 大數(shù)據(jù)的特性18
• 2.3 大數(shù)據(jù)驅(qū)動(dòng)的CPS的認(rèn)知架構(gòu)18-21
• 2.4 大數(shù)據(jù)技術(shù)21-31
• 2.4.1 大數(shù)據(jù)數(shù)據(jù)采集21-24
• 2.4.2 大數(shù)據(jù)預(yù)處理與分發(fā)24-25
• 2.4.3 大數(shù)據(jù)的實(shí)時(shí)存儲(chǔ)25-28
• 2.4.4 大數(shù)據(jù)的實(shí)時(shí)處理28-31
• 第三章 飛行信息物理融合系統(tǒng)的分析31-56
• 3.1 FCPS抽象連接架構(gòu)31-32
• 3.2 飛行監(jiān)控32-44
• 3.2.1 飛機(jī)狀態(tài)監(jiān)控系統(tǒng)33-34
• 3.2.2 ACMS的系統(tǒng)架構(gòu)34-37
• 3.2.3 ACARS37-40
• 3.2.4 飛機(jī)品質(zhì)監(jiān)控40-44
• 3.3 機(jī)場(chǎng)管理44-48
• 3.3.1 空中交通管制系統(tǒng)45
• 3.3.2 防止飛機(jī)相撞機(jī)制45-48
• 3.4 大數(shù)據(jù)驅(qū)動(dòng)的FCPS48-56
• 3.4.1 基于大數(shù)據(jù)的飛機(jī)監(jiān)控與維護(hù)系統(tǒng)48-52
• 3.4.2 航空電子云52-56
• 第四章 AADL建模與擴(kuò)展56-69
• 4.1 AADL建模語(yǔ)言56-59
• 4.2 OSATE建模工具59-60
• 4.3 基于AADL對(duì)大數(shù)據(jù)驅(qū)動(dòng)的CPS建模的可行度60-61
• 4.4 物理方面擴(kuò)展61-67
• 4.4.1 物理建模層次61-62
• 4.4.2 物理方面轉(zhuǎn)變形式化表達(dá)62
• 4.4.3 航空器模型62-63
• 4.4.4 環(huán)境模型63-64
• 4.4.5 機(jī)場(chǎng)模型64
• 4.4.6 Modelica64-65
• 4.4.7 用Modelica擴(kuò)展AADL65-67
• 4.5 MapReduce方面擴(kuò)展67-69
• 第五章 飛行信息物理融合系統(tǒng)的設(shè)計(jì)與建模69-94
• 5.1 飛機(jī)導(dǎo)航與控制系統(tǒng)架構(gòu)分析69-72
• 5.2 飛機(jī)導(dǎo)航與控制系統(tǒng)建模72-89
• 5.2.1 組件建模74-80
• 5.2.2 軟件系統(tǒng)建模80-82
• 5.2.3 飛行導(dǎo)航服務(wù)分析82-85
• 5.2.4 非功能屬性建模85-87
• 5.2.5 數(shù)據(jù)流建模87-89
• 5.3 航空電子云AADL建模89-94
• 5.3.1 航空電子云模型89-92
• 5.3.2 模型驗(yàn)證92-94
• 第六章 飛機(jī)導(dǎo)航與控制系統(tǒng)模型的驗(yàn)證分析94-98
• 6.1 模型整體驗(yàn)證95
• 6.2 數(shù)據(jù)流驗(yàn)證95-96
• 6.3 模型可調(diào)度性驗(yàn)證96-98
• 結(jié)論98-100
• 參考文獻(xiàn)100-104
• 攻讀學(xué)位期間發(fā)表的論文104-106
• 致謝106

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 蔡新梅;;CBR/VTS融合系統(tǒng)及其應(yīng)用[J];船海工程;2013年01期

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

1 黃濵;陳森發(fā);周振國(guó);;多源信息的實(shí)時(shí)智能融合系統(tǒng)研究[A];江蘇省自動(dòng)化學(xué)會(huì)七屆四次理事會(huì)暨2004學(xué)術(shù)年會(huì)青年學(xué)者論壇論文集[C];2004年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前1條

1 本報(bào)記者 夏文燕;何積豐院士:信息物理融合系統(tǒng)開(kāi)創(chuàng)軟件業(yè)新起點(diǎn)[N];江蘇科技報(bào);2010年

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

1 曹青竹;基于多Agent的信息物理融合系統(tǒng)協(xié)作邏輯研究[D];南京郵電大學(xué);2015年

2 郭仕航;大數(shù)據(jù)驅(qū)動(dòng)的鐵路信息物理融合系統(tǒng)的分析與設(shè)計(jì)方法[D];廣東工業(yè)大學(xué);2016年

3 李玉珍;信息物理融合系統(tǒng)過(guò)程數(shù)據(jù)流處理關(guān)鍵技術(shù)研究[D];廣東工業(yè)大學(xué);2016年

4 鐘偉;大數(shù)據(jù)驅(qū)動(dòng)的飛行信息物理融合系統(tǒng)的分析與設(shè)計(jì)方法[D];廣東工業(yè)大學(xué);2016年

5 黎楚乾;基于大數(shù)據(jù)的信息物理融合系統(tǒng)的分析與設(shè)計(jì)方法[D];廣東工業(yè)大學(xué);2015年

6 陳明鋁;航天信息物理融合系統(tǒng)的分析與設(shè)計(jì)方法[D];廣東工業(yè)大學(xué);2013年

7 羅崇偉;面向車(chē)聯(lián)網(wǎng)的信息物理融合系統(tǒng)的分析與設(shè)計(jì)方法[D];廣東工業(yè)大學(xué);2013年

8 朱晨曦;基于AADL的信息物理融合系統(tǒng)的分析與設(shè)計(jì)方法[D];廣東工業(yè)大學(xué);2014年

9 李云霄;鐵路信息物理融合系統(tǒng)的分析與設(shè)計(jì)方法[D];廣東工業(yè)大學(xué);2013年

10 雷瑤;信息物理融合系統(tǒng)的形式化建模與分析[D];廣東工業(yè)大學(xué);2013年

，

本文編號(hào)：751227