• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫運行監(jiān)控與可信驗證技術(shù)

    2019-08-29 08:03:22程何益康林榮峰朱晏慶
    計算機(jī)測量與控制 2019年8期
    關(guān)鍵詞:控制算法工具構(gòu)件

    張 程何益康林榮峰朱晏慶

    (1.上海航天控制技術(shù)研究所,上海 201109; 2.上海市空間智能控制技術(shù)重點實驗室,上海 201109)

    0 引言

    動態(tài)系統(tǒng)建模工具[1]的仿真工具箱被廣泛應(yīng)用于衛(wèi)星控制系統(tǒng)的方案設(shè)計中,為用戶提供了非常豐富好用的基礎(chǔ)模塊,使用戶可以根據(jù)被控對象的特點從模塊庫中選用適用的模塊,僅修改相應(yīng)的參數(shù)即可建立航天器軌道動力學(xué)和姿態(tài)動力學(xué)模型等,它支持各類連續(xù)、離散、線性和非線性等系統(tǒng)的構(gòu)建,支持對動力學(xué)模型進(jìn)行編譯和仿真,可以輕松有效的完成系統(tǒng)的仿真。無論多么復(fù)雜的衛(wèi)星控制系統(tǒng),都能采用直觀的“方框圖”[2],使用面向?qū)ο蟮脑O(shè)計方法,完成控制系統(tǒng)模型的輸入和仿真計算,實現(xiàn)對衛(wèi)星控制系統(tǒng)這一動態(tài)系統(tǒng)準(zhǔn)確、快速的建模。因此常常被衛(wèi)星控制系統(tǒng)方案設(shè)計師用于衛(wèi)星控制算法的設(shè)計,并利用可視化的仿真工具,對設(shè)計的算法進(jìn)行驗證。

    然而同時,隨著使用的深入,動態(tài)系統(tǒng)建模工具技術(shù)進(jìn)行系統(tǒng)仿真也暴露出一些弊端,主要反映在以下幾個方面:

    a)集成計算機(jī)算法處理到動態(tài)系統(tǒng)建模工具模型的設(shè)計方法,其內(nèi)部嵌入式架構(gòu)算術(shù)與邏輯處理單元執(zhí)行方式,相比傳統(tǒng)的基于CPU硬件平臺的嵌入式軟件開發(fā),有比較大的差異,因為CPU結(jié)構(gòu)難以完美的被動態(tài)系統(tǒng)建模工具模型模擬,比如動態(tài)系統(tǒng)建模工具模擬的外部中斷觸發(fā)、內(nèi)部定時機(jī)制會嚴(yán)重影響系統(tǒng)任務(wù)調(diào)度的過程,降低仿真效果,進(jìn)而影響計算機(jī)核心算法處理,這些與實際使用真實微控制器算法的運行結(jié)果的差異,會降低關(guān)鍵技術(shù)方案設(shè)計的可信性;

    b)傳統(tǒng)的動態(tài)系統(tǒng)建模工具模型,往往難以仿真字節(jié)或字序顛倒、特殊寄存器的位支持等具體硬件設(shè)備的特殊要求,僅對使用通用數(shù)據(jù)類型的算法處理有著較好的支持(例如16位、32位、64位整型、浮點數(shù)等),因此只能滿足基本的計算精度,但是對于衛(wèi)星控制系統(tǒng)的下位單機(jī)軟件行為過程的模擬往往不夠;

    c)衛(wèi)星控制系統(tǒng)軟件運行在真實CPU平臺上時,是離散型、非線性的狀態(tài),因為軟件在運行過程中不是動態(tài)連續(xù)的,會受到中斷觸發(fā)、任務(wù)搶占調(diào)度等外部影響,而動態(tài)系統(tǒng)建模工具模型則往往是動態(tài)連續(xù)的過程,導(dǎo)致使用動態(tài)系統(tǒng)建模工具進(jìn)行仿真與使用真實CPU進(jìn)行測試的結(jié)果存在出入,影響系統(tǒng)的故障模擬、指令注入的測試,甚至全系統(tǒng)的閉環(huán)仿真測試;

    d)衛(wèi)星控制系統(tǒng)領(lǐng)域的仿真建模,由于系統(tǒng)的復(fù)雜性和實時性,造成使用動態(tài)系統(tǒng)建模工具進(jìn)行算法過程設(shè)計時復(fù)雜性的提高,隨之而來的是執(zhí)行效率降低,導(dǎo)致實時性的降低影響到系統(tǒng)運行的正確性和精確性;

    e)在使用動態(tài)系統(tǒng)建模工具搭建衛(wèi)星控制系統(tǒng)單機(jī)模型時,受限于動態(tài)系統(tǒng)建模工具自身限制,在面對定制單機(jī)的特殊協(xié)議,使用面向過程的Ada、C/C++等高級語言,能夠規(guī)避資源浪費等問題,靈活性更好。

    隨著對衛(wèi)星控制系統(tǒng)軟件越來越高的重用化要求,軟件研制方基于工程積累的、在軌飛行驗證過的成熟軟件構(gòu)件,正在建立可反復(fù)利用、可用于后續(xù)衛(wèi)星控制系統(tǒng)軟件重用的構(gòu)件庫,以往的開發(fā)方式仍以人工手工編碼的方式進(jìn)行軟件實現(xiàn),難以適應(yīng)當(dāng)前基于模型的系統(tǒng)工程(MBSE)、以及軟件定義衛(wèi)星等技術(shù)的發(fā)展,盡管一些動態(tài)建模工具已具有一定的自動生成軟件代碼的功能,以及相應(yīng)的模型形式化驗證功能,但對于生成的軟件代碼在真實目標(biāo)環(huán)境的運行驗證手段不足,也難以實現(xiàn)對任務(wù)提出方的需求開展可信驗證。

    同時,衛(wèi)星控制系統(tǒng)軟件運行監(jiān)控技術(shù)是提供可信證據(jù),驅(qū)動協(xié)同演化和協(xié)同開發(fā)過程的關(guān)鍵基礎(chǔ)技術(shù)。運行監(jiān)控技術(shù)主要應(yīng)用于軟件配置項測試和驗證過程中,傳統(tǒng)方法中,常使用插樁、植入探針或“打點”的方式進(jìn)行,這類方式會直接改變軟件產(chǎn)品的實體,影響獲得結(jié)果和證據(jù)的準(zhǔn)確性及可信性。

    基于上述分析,本文通過采用純軟件的實現(xiàn)方法為嵌入式軟件開發(fā)提供一個可監(jiān)控的、可信的軟件開發(fā)和驗證平臺,提出了一種基于虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫可信驗證技術(shù),并與任務(wù)提出方使用動態(tài)系統(tǒng)建模工具實現(xiàn)的控制算法模型進(jìn)行協(xié)同、同步、動態(tài)仿真,運用軟件非干涉運行監(jiān)控技術(shù),在不改變衛(wèi)星控制系統(tǒng)軟件實體的情況下,對軟件實體的運行狀態(tài)、動態(tài)行為和執(zhí)行結(jié)果進(jìn)行監(jiān)控,獲取可信的開發(fā)證據(jù)和應(yīng)用證據(jù),實現(xiàn)對用戶需求的驗證與確認(rèn)。

    1 衛(wèi)星控制系統(tǒng)軟件的建模設(shè)計

    1.1 動態(tài)建模工具模型實現(xiàn)衛(wèi)星控制系統(tǒng)軟件功能

    軟件與硬件設(shè)備尚未開始設(shè)計的情況下,在衛(wèi)星控制系統(tǒng)研制的早期,需要驗證整個方案設(shè)計的可行性,在控制算法模型內(nèi)部仿真軟件算法控制等模型,使用動態(tài)建模工具搭建控制算法模型仿真系統(tǒng),形成一個全數(shù)字的閉環(huán)仿真系統(tǒng),與動力學(xué)模型之間進(jìn)行輸入輸出數(shù)據(jù)交互,用以驗證整個系統(tǒng)方案的可行性,如圖1所示。

    衛(wèi)星控制系統(tǒng)由控制器、敏感器和執(zhí)行機(jī)構(gòu)組成。當(dāng)前衛(wèi)星使用的敏感器主要包括慣性敏感器、太陽敏感器、恒星敏感器、地球敏感器等,執(zhí)行機(jī)構(gòu)主要包括反作用飛輪、控制力矩陀螺、推力器等。這些敏感器、執(zhí)行機(jī)構(gòu)與控制器之間普遍采用RS422串口通訊協(xié)議、MIL-STD-1553B總線協(xié)議、AD模擬量輸入、PWM脈沖寬度調(diào)制、CAN總線協(xié)議等,因此,在建立動力學(xué)模型的輸入模塊和輸出模塊也采用這些通訊協(xié)議的模擬模塊。

    動力學(xué)模型在接收到衛(wèi)星控制器發(fā)送的執(zhí)行機(jī)構(gòu)指令后,采用常微分方程組或偏微分方程等的組合,同時考慮衛(wèi)星的剛體彈性體混合系統(tǒng)及剛體液體混合系統(tǒng)的特性,模擬撓性衛(wèi)星的姿態(tài)動力學(xué)和軌道動力學(xué),特別是對衛(wèi)星受到的主要外力矩進(jìn)行模擬,比如太陽輻射壓力矩、重力梯度力、氣動力、地磁場力矩等環(huán)境力,以及主要內(nèi)力矩進(jìn)行模擬,比如推力器的噴射力矩、反作用飛輪產(chǎn)生的角動量力矩、液體推進(jìn)劑產(chǎn)生的液體晃動力矩、太陽電池陣產(chǎn)生的擾動力矩。

    圖1 使用動態(tài)建模工具實現(xiàn)控制算法模型仿真系統(tǒng)

    為了使得控制算法模型與外部數(shù)據(jù)可以交互,使用動態(tài)建模工具建立姿態(tài)動力學(xué)模型和軌道動力學(xué)模型的外圍設(shè)備,同時建立控制器模型,從而達(dá)到閉環(huán)仿真驗證衛(wèi)星控制系統(tǒng)方案的目的。

    相對于衛(wèi)星控制器的控制算法模型來說,控制算法模型的運行控制實現(xiàn)輸入模塊接口,獲取控制算法模型數(shù)據(jù)是輸出模塊接口。

    輸入模塊包括422模塊(模擬RS422串口通訊協(xié)議)、1553B模塊(模擬MIL-STD-1553B總線協(xié)議)、AD模塊(模擬模擬量輸入功能)、DIO模塊(模擬數(shù)字輸入輸出電路)、PWM模塊(模擬脈沖寬度調(diào)制方法)和CAN模塊(模擬控制器局域網(wǎng)絡(luò)總線協(xié)議)等,他們作為動力學(xué)敏感器采集接口的輸入。

    輸出模塊包括422模塊、1553B模塊、AD模塊、DIO模塊、PWM模塊和CAN模塊等,他們作為動力學(xué)執(zhí)行機(jī)構(gòu)模型的輸出。

    由于輸入模塊和輸出模塊均是使用動態(tài)建模工具建立的、模擬真實硬件通訊協(xié)議的軟件模塊,因此,使用共享內(nèi)存技術(shù)可以實現(xiàn)對控制算法模型的控制,使用動態(tài)建模工具實現(xiàn)的控制算法模型的仿真數(shù)據(jù)在內(nèi)部傳遞。

    1.2 基于虛擬化技術(shù)的仿真系統(tǒng)實現(xiàn)衛(wèi)星控制系統(tǒng)軟件功能

    在衛(wèi)星控制系統(tǒng)研制流程中,軟件的設(shè)計開發(fā)往往是在系統(tǒng)方案設(shè)計評審?fù)ㄟ^后,在這個階段,使用動態(tài)建模工具無法對真實計算機(jī)算法處理軟件進(jìn)行功能驗證與性能測試,因為實現(xiàn)的控制算法模型仿真系統(tǒng)對硬件設(shè)備的設(shè)計及軟件設(shè)計無能為力。針對這種情況,使用軟件虛擬化技術(shù)[3]來仿真真實硬件目標(biāo)板,仿真出與真實硬件相同的

    圖3 集成的閉環(huán)仿真系統(tǒng)

    運行效果,在虛擬平臺上直接加載衛(wèi)星控制軟件的二進(jìn)制文件運行,替代早期的動態(tài)建模仿真系統(tǒng)中的算法控制單元,提出了全數(shù)字超實時仿真系統(tǒng)[4]的需求,并能在系統(tǒng)中進(jìn)行衛(wèi)星控制系統(tǒng)軟件的運行調(diào)試,用以驗證軟件的功能,如圖2所示。

    輸入模塊包括422模塊、1553B模塊、AD模塊、DIO模塊、PWM模塊和CAN模塊等,他們作為敏感器模型的輸出。姿態(tài)確定是姿態(tài)控制的前提,它的任務(wù)是利用星上的姿態(tài)敏感器測量所得的衛(wèi)星姿態(tài)信息,經(jīng)過衛(wèi)星控制系統(tǒng)軟件處理求得衛(wèi)星本體坐標(biāo)系相對于空間參考坐標(biāo)系的姿態(tài)角或姿態(tài)四元數(shù)信息。

    輸出模塊包括422模塊、1553B模塊、AD模塊、DIO模塊、PWM模塊和CAN模塊等,他們作為執(zhí)行機(jī)構(gòu)模型的輸入。姿態(tài)控制的任務(wù)是衛(wèi)星控制系統(tǒng)軟件利用姿態(tài)確定求得的姿態(tài)角或姿態(tài)四元數(shù)信息,使用控制算法計算求得相應(yīng)執(zhí)行機(jī)構(gòu)的控制脈沖寬度、轉(zhuǎn)速、力矩等指令。

    圖2 虛擬目標(biāo)機(jī)分布式仿真系統(tǒng)

    仿真數(shù)據(jù)在虛擬目標(biāo)機(jī)軟件內(nèi)部傳遞,輸入模塊以及輸出模塊完全模擬真實硬件單機(jī)接口,使用全局變量以及分布式總線可以與外部數(shù)據(jù)交互,將監(jiān)控探針直接設(shè)置在各軟件構(gòu)件上,當(dāng)衛(wèi)星控制系統(tǒng)軟件在虛擬目標(biāo)機(jī)中運行時,直接由仿真系統(tǒng)負(fù)責(zé)記錄各類運行數(shù)據(jù),再由分析工具將運行數(shù)據(jù)與控制系統(tǒng)軟件的目標(biāo)碼或源代碼整合,可以獲得需要的監(jiān)控信息,從而達(dá)到驗證軟件功能的目的。

    1.3 虛擬目標(biāo)機(jī)分布式仿真系統(tǒng)與動態(tài)建模工具控制算法模型仿真的集成

    將控制算法模型仿真系統(tǒng)與虛擬目標(biāo)機(jī)分布式仿真系統(tǒng)集成,形成一個全數(shù)字閉環(huán)仿真系統(tǒng),在驗證軟件功能的同時,也可有效幫助衛(wèi)星控制系統(tǒng)軟件任務(wù)提出方,即在動態(tài)建模工具算法控制等模型與控制軟件之間建立數(shù)據(jù)閉環(huán)交互,便于系統(tǒng)方案設(shè)計人員驗證系統(tǒng)控制算法的正確性,如圖3所示。

    虛擬目標(biāo)機(jī)分布式仿真系統(tǒng)與動態(tài)建模工具控制算法模型之間的數(shù)據(jù)交互使用分布式總線的協(xié)議。

    控制算法模型仿真系統(tǒng)通過代理,掛在分布式總線上,動力學(xué)模型產(chǎn)生敏感器的輸出信號,通過分布式總線,輸入到虛擬目標(biāo)機(jī)分布式仿真系統(tǒng),虛擬目標(biāo)機(jī)分布式仿真系統(tǒng)將會根據(jù)控制軟件,產(chǎn)生執(zhí)行器的輸出,再次通過分布式總線,輸入到控制算法模型仿真系統(tǒng)的動力學(xué)中。往返計算,迭代循環(huán),不斷驗證控制軟件的功能和性能。

    使用外部的協(xié)同仿真工具[5]統(tǒng)一控制二者之間的數(shù)據(jù)同步,控制仿真速率,確保虛擬目標(biāo)機(jī)分布式仿真系統(tǒng)仿真周期與動態(tài)建模工具控制算法模型仿真步長的同步性,從而達(dá)到對整個閉環(huán)系統(tǒng)的驗證。

    2 應(yīng)用實例

    2.1 項目說明

    “某型號衛(wèi)星姿軌控軟件”構(gòu)件庫可信驗證系統(tǒng)是應(yīng)用了基于虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫的運行監(jiān)控與可信驗證技術(shù)的仿真平臺,可以實現(xiàn)基于SPARC V7架構(gòu)CPU、基于ERC32的姿軌控計算機(jī)Ada語言軟件的開發(fā)調(diào)試與測試,用于星載軟件進(jìn)行黑盒的從單元、構(gòu)件[6]到系統(tǒng)級的驗證、開發(fā)、測試、維護(hù),和全壽命周期的外部輸入輸出和軟件源代碼本身的全過程跟蹤、記錄等白盒,執(zhí)行效率更高、系統(tǒng)驗證更全面、可信度更高[7]地開展衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫的驗證與確認(rèn)工作,能夠?qū)πl(wèi)星控制策略進(jìn)行快速仿真驗證,對比使用純動態(tài)建模工具建模搭建的仿真系統(tǒng),動態(tài)狀態(tài)執(zhí)行控制更逼近真實環(huán)境。

    2.2 基于虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫可信驗證技術(shù)的搭建

    虛擬目標(biāo)機(jī)[8]和其虛擬外圍環(huán)境,通過模擬嵌入式軟件運行所需要的目標(biāo)機(jī)硬件及外部的信號并讓嵌入式軟件像在真實目標(biāo)機(jī)上一樣運行(計算和處理)[9],在協(xié)同仿真軟件的協(xié)同調(diào)度下,實現(xiàn)基于Ada/C/C++/匯編等語言的衛(wèi)星控制系統(tǒng)軟件與控制算法仿真模型在基于虛擬化技術(shù)的系統(tǒng)仿真與驗證平臺模式下實時、超實時閉環(huán)運行監(jiān)控與可信驗證。

    整個系統(tǒng)架構(gòu),包含三大部分。第一部分是在軌系統(tǒng),包括衛(wèi)星和GPS接收機(jī),它們將真實在軌數(shù)據(jù)反饋到地面;第二部分是地面用戶,包括專業(yè)用戶和基地用戶,他們接收在軌數(shù)據(jù),放入資源庫和數(shù)據(jù)庫中,并通過遙測和三維立體顯示進(jìn)行數(shù)據(jù)判讀;第三部分是實驗室驗證系統(tǒng),包括虛擬星載計算機(jī)和動力學(xué)及單機(jī)模型,他們根據(jù)地面仿真數(shù)據(jù),作為遙控指令的判斷,并將指令發(fā)送給地面站,進(jìn)行在軌遙控,同時接收遙測數(shù)據(jù),作為仿真數(shù)據(jù)的比對和性能驗證。

    在試驗室驗證系統(tǒng)中,我們采用動態(tài)建模工具控制算法模型仿真系統(tǒng)與虛擬目標(biāo)機(jī)分布式仿真系統(tǒng)集成,形成基于虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)閉環(huán)仿真系統(tǒng),其中,使用分布式協(xié)同仿真中間件,從面向用戶的操作界面軟件生成的測試用例,通過遙控轉(zhuǎn)發(fā)控制指令給虛擬目標(biāo)機(jī),再經(jīng)過中間件的時序調(diào)度和仿真控制,將虛擬目標(biāo)機(jī)產(chǎn)生的控制指令轉(zhuǎn)發(fā)給封裝姿態(tài)動力學(xué)和軌道動力學(xué)模型的模型仿真模塊,同時將各節(jié)點間的數(shù)據(jù)傳輸,包括虛擬目標(biāo)機(jī)產(chǎn)生的遙測數(shù)據(jù),以及模型仿真模塊產(chǎn)生的過程采集數(shù)據(jù),打包轉(zhuǎn)發(fā)給數(shù)據(jù)庫服務(wù)器和遙測顯示軟件,一起構(gòu)建成衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫可信驗證系統(tǒng),從而驅(qū)動目標(biāo)衛(wèi)星控制系統(tǒng)軟件的運行。

    虛擬目標(biāo)機(jī)負(fù)責(zé)解析衛(wèi)星控制系統(tǒng)軟件程序內(nèi)核[10],在系統(tǒng)級閉環(huán)仿真時可在虛擬目標(biāo)機(jī)上運行目標(biāo)軟件,在虛擬CPU中加載基于ERC32/Ada語言軟件實現(xiàn)的衛(wèi)星控制系統(tǒng)軟件目標(biāo)碼,聯(lián)合運行動態(tài)建模工具搭建的控制算法模型,實施軟件非干涉監(jiān)控技術(shù)時,首先設(shè)計監(jiān)控任務(wù)定義機(jī)制,根據(jù)監(jiān)控需求生成監(jiān)控任務(wù)清單,比如設(shè)立影響算法運行的關(guān)鍵的、兩個系統(tǒng)相應(yīng)的觀測點,進(jìn)行同步動態(tài)比對,同時在系統(tǒng)中長時間運行并存儲監(jiān)控數(shù)據(jù),對所有軟件構(gòu)件運行產(chǎn)生的數(shù)據(jù)進(jìn)行過濾、篩選和分析,獲得關(guān)鍵的可信證據(jù)。

    2.3 驗證分析

    對基于虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫可信驗證技術(shù)進(jìn)行驗證時,取動態(tài)建模工具模型仿真步長為1ms,為做到同步仿真,則虛擬目標(biāo)機(jī)的仿真步長也設(shè)定為1 ms。在模型與衛(wèi)星控制軟件集成之后,為形成一個時序正確的閉環(huán)衛(wèi)星控制系統(tǒng)仿真工具,引入?yún)f(xié)同仿真工具來實現(xiàn)二者之間的周期同步。

    在基于虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫可信驗證技術(shù)中,還可以接入其他必要的外部終端軟件,對在衛(wèi)星控制系統(tǒng)半物理仿真試驗中應(yīng)用的故障模擬軟件、遙控注數(shù)軟件及遙測顯示終端,進(jìn)行無縫接入。

    外部終端軟件可以對遙測數(shù)據(jù)進(jìn)行解碼和回放,為驗證環(huán)境提供判讀依據(jù)。

    故障模擬軟件可以進(jìn)行故障預(yù)案的設(shè)計,提高系統(tǒng)可靠性。

    遙控注數(shù)軟件可以對遙控指令進(jìn)行地面仿真驗證,實現(xiàn)快速響應(yīng)的功能。

    經(jīng)過最終的測試比對,以Matlab/Simulink為例使用動態(tài)建模工具仿真運行的遙測閉環(huán)曲線與使用虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫可信驗證系統(tǒng)仿真的遙測閉環(huán)曲線基本相同,選用相同的衛(wèi)星控制系統(tǒng)模式閉環(huán)控制工況,選用影響衛(wèi)星控制系統(tǒng)算法設(shè)計的關(guān)鍵觀測點姿態(tài)角和姿態(tài)角速度進(jìn)行比對觀測,如圖4~圖7所示,上圖為衛(wèi)星控制系統(tǒng)方案設(shè)計方使用動態(tài)建模工具仿真獲得的姿態(tài)角曲線和姿態(tài)角速度曲線,下圖為用虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫可信驗證系統(tǒng)仿真的姿態(tài)角曲線和姿態(tài)角速度曲線,仿真結(jié)果可信。

    圖4 動態(tài)建模工具姿態(tài)角仿真曲線圖

    圖6 動態(tài)建模工具姿態(tài)角速度仿真曲線圖

    3 結(jié)論

    本文構(gòu)建了一套“某型號衛(wèi)星姿軌控軟件”構(gòu)件庫可信驗證系統(tǒng),利用基于虛擬化技術(shù)的衛(wèi)星控制系統(tǒng)軟件構(gòu)件庫可信驗證技術(shù),實現(xiàn)了兩套衛(wèi)星控制系統(tǒng)的動態(tài)同步比對閉環(huán)仿真,集成了控制算法模型與真實衛(wèi)星控制軟件,在確?;A(chǔ)功能、算法邏輯正確的前提下,通過軟件非干涉運行監(jiān)控技術(shù)獲得的可信證據(jù),與純動態(tài)建模工具搭建的仿真系統(tǒng)比對結(jié)果表明,該技術(shù)全面有效的驗證了軟件構(gòu)件庫的功能和可信性,對于在真實目標(biāo)平臺上衛(wèi)星控制系統(tǒng)的模擬仿真,準(zhǔn)確性和實時性方面有著更大的優(yōu)勢,增加了衛(wèi)星控制軟件的可靠性和安全性。

    圖7 虛擬目標(biāo)機(jī)分布式仿真系統(tǒng)姿態(tài)角速度曲線圖

    猜你喜歡
    控制算法工具構(gòu)件
    波比的工具
    波比的工具
    基于ARM+FPGA的模塊化同步控制算法研究
    “巧用”工具
    讀者(2017年18期)2017-08-29 21:22:03
    建筑構(gòu)件
    建筑構(gòu)件
    建筑構(gòu)件
    建筑構(gòu)件
    一種優(yōu)化的基于ARM Cortex-M3電池組均衡控制算法應(yīng)用
    一種非圓旋轉(zhuǎn)工件支撐裝置控制算法
    色精品久久人妻99蜜桃| 精品一区二区免费观看| 国产精品偷伦视频观看了| 中文字幕另类日韩欧美亚洲嫩草| 免费高清在线观看日韩| 久久女婷五月综合色啪小说| 午夜福利,免费看| 欧美激情 高清一区二区三区| 国产又色又爽无遮挡免| 国产不卡av网站在线观看| 两个人免费观看高清视频| 日本欧美视频一区| 日韩 欧美 亚洲 中文字幕| 日韩电影二区| 国产xxxxx性猛交| 亚洲av在线观看美女高潮| 国产深夜福利视频在线观看| 国产精品蜜桃在线观看| 女的被弄到高潮叫床怎么办| 欧美亚洲日本最大视频资源| 在线观看www视频免费| 超碰97精品在线观看| 老司机靠b影院| 亚洲国产成人一精品久久久| 飞空精品影院首页| 三上悠亚av全集在线观看| 黑人巨大精品欧美一区二区蜜桃| 亚洲国产欧美日韩在线播放| 飞空精品影院首页| 三上悠亚av全集在线观看| 人人妻,人人澡人人爽秒播 | 国产精品久久久久久精品电影小说| 女人爽到高潮嗷嗷叫在线视频| 欧美乱码精品一区二区三区| 亚洲欧美清纯卡通| 中文字幕精品免费在线观看视频| 色婷婷久久久亚洲欧美| 中文字幕精品免费在线观看视频| 女性被躁到高潮视频| 水蜜桃什么品种好| 在线 av 中文字幕| 国产 精品1| 老司机在亚洲福利影院| 日韩 亚洲 欧美在线| 日韩中文字幕欧美一区二区 | 在线观看www视频免费| 欧美日韩亚洲高清精品| 日韩制服丝袜自拍偷拍| 亚洲伊人色综图| 日日啪夜夜爽| 欧美97在线视频| 免费看不卡的av| 国产午夜精品一二区理论片| 在线观看免费视频网站a站| 欧美老熟妇乱子伦牲交| 十八禁网站网址无遮挡| 女性生殖器流出的白浆| 久久久国产精品麻豆| 国产精品av久久久久免费| 天堂中文最新版在线下载| a级毛片在线看网站| 街头女战士在线观看网站| 亚洲欧洲国产日韩| 女人精品久久久久毛片| 久久久国产一区二区| √禁漫天堂资源中文www| 国产精品女同一区二区软件| 国产1区2区3区精品| 人妻人人澡人人爽人人| 女性被躁到高潮视频| 久久久精品区二区三区| 九九爱精品视频在线观看| 在线观看人妻少妇| 亚洲精品一二三| 亚洲av日韩精品久久久久久密 | 黄片小视频在线播放| 十八禁网站网址无遮挡| 在线天堂最新版资源| 久久久亚洲精品成人影院| 免费人妻精品一区二区三区视频| 别揉我奶头~嗯~啊~动态视频 | 亚洲精品美女久久av网站| 中文字幕另类日韩欧美亚洲嫩草| 视频在线观看一区二区三区| 久久久久人妻精品一区果冻| av国产精品久久久久影院| 亚洲欧美一区二区三区久久| 下体分泌物呈黄色| 一区二区三区激情视频| 亚洲美女搞黄在线观看| 亚洲欧美色中文字幕在线| 久久天堂一区二区三区四区| 国产欧美亚洲国产| 久久精品国产亚洲av高清一级| 欧美亚洲 丝袜 人妻 在线| 性少妇av在线| 男女高潮啪啪啪动态图| 国产成人a∨麻豆精品| 免费日韩欧美在线观看| 久久精品久久久久久久性| 日日啪夜夜爽| a级片在线免费高清观看视频| 国产精品.久久久| 国产成人精品久久二区二区91 | 黄色毛片三级朝国网站| 日本欧美国产在线视频| 超碰97精品在线观看| 搡老岳熟女国产| 男女床上黄色一级片免费看| 精品国产露脸久久av麻豆| 1024视频免费在线观看| 亚洲欧美成人综合另类久久久| 国产激情久久老熟女| 亚洲 欧美一区二区三区| 欧美国产精品va在线观看不卡| 亚洲国产欧美日韩在线播放| 日韩视频在线欧美| 午夜福利,免费看| 男女之事视频高清在线观看 | 制服丝袜香蕉在线| 91aial.com中文字幕在线观看| 亚洲免费av在线视频| 欧美另类一区| 毛片一级片免费看久久久久| 97精品久久久久久久久久精品| 三上悠亚av全集在线观看| 日韩精品免费视频一区二区三区| 国产在线视频一区二区| 人体艺术视频欧美日本| 午夜日本视频在线| 日韩制服骚丝袜av| 成人影院久久| 午夜91福利影院| 热re99久久精品国产66热6| 少妇精品久久久久久久| 久久亚洲国产成人精品v| 国产熟女欧美一区二区| 免费人妻精品一区二区三区视频| 少妇的丰满在线观看| 我的亚洲天堂| 男人爽女人下面视频在线观看| 亚洲国产成人一精品久久久| 国产av一区二区精品久久| 伦理电影大哥的女人| 中文天堂在线官网| 国产欧美日韩综合在线一区二区| 777米奇影视久久| 久久久久久久精品精品| 一本大道久久a久久精品| 欧美日韩亚洲高清精品| 两个人免费观看高清视频| 最近中文字幕2019免费版| 国产精品成人在线| 国产一区亚洲一区在线观看| 久久99热这里只频精品6学生| 免费日韩欧美在线观看| 成年av动漫网址| 赤兔流量卡办理| 叶爱在线成人免费视频播放| 制服诱惑二区| 丰满乱子伦码专区| 欧美 亚洲 国产 日韩一| 三上悠亚av全集在线观看| 国产不卡av网站在线观看| 成年美女黄网站色视频大全免费| 久久久久精品久久久久真实原创| 国产精品一区二区在线不卡| 日韩免费高清中文字幕av| 黄色 视频免费看| 日韩欧美一区视频在线观看| av.在线天堂| 久久久精品国产亚洲av高清涩受| 成人影院久久| 久久久久精品性色| 国产日韩欧美亚洲二区| 啦啦啦 在线观看视频| 亚洲国产欧美一区二区综合| 日日撸夜夜添| av在线播放精品| 在线免费观看不下载黄p国产| av在线老鸭窝| 亚洲av日韩精品久久久久久密 | 欧美日韩综合久久久久久| 男人操女人黄网站| 欧美中文综合在线视频| 欧美乱码精品一区二区三区| 国产一级毛片在线| 考比视频在线观看| 亚洲欧美一区二区三区黑人| 亚洲av成人精品一二三区| 校园人妻丝袜中文字幕| 最近2019中文字幕mv第一页| 精品亚洲成国产av| 九草在线视频观看| 汤姆久久久久久久影院中文字幕| 成人三级做爰电影| 好男人视频免费观看在线| 青青草视频在线视频观看| 在现免费观看毛片| 亚洲图色成人| 老汉色av国产亚洲站长工具| 一级,二级,三级黄色视频| 18禁裸乳无遮挡动漫免费视频| av卡一久久| 18禁动态无遮挡网站| 国产不卡av网站在线观看| 中文天堂在线官网| 在线观看三级黄色| 99久久99久久久精品蜜桃| 老汉色∧v一级毛片| 一区二区日韩欧美中文字幕| 亚洲第一区二区三区不卡| 一区二区av电影网| 卡戴珊不雅视频在线播放| 欧美 日韩 精品 国产| 99re6热这里在线精品视频| 丝袜人妻中文字幕| 欧美中文综合在线视频| 五月天丁香电影| 无遮挡黄片免费观看| 大陆偷拍与自拍| 少妇人妻 视频| 免费观看性生交大片5| 亚洲成人一二三区av| 久久天堂一区二区三区四区| 日韩一本色道免费dvd| 午夜激情久久久久久久| 日韩欧美精品免费久久| 亚洲精品国产av蜜桃| 久久久久精品人妻al黑| 日本av免费视频播放| 黄片播放在线免费| 久久精品久久久久久久性| 黄片小视频在线播放| 国产黄频视频在线观看| 久久久久精品国产欧美久久久 | 国产福利在线免费观看视频| 国产成人欧美在线观看 | 男女国产视频网站| 97人妻天天添夜夜摸| 日韩一区二区视频免费看| 男女下面插进去视频免费观看| 亚洲av福利一区| 老司机影院成人| 国产又爽黄色视频| 久久人妻熟女aⅴ| 国产精品人妻久久久影院| 国产精品嫩草影院av在线观看| 欧美在线黄色| 在线看a的网站| 大码成人一级视频| 在现免费观看毛片| 青春草视频在线免费观看| 大话2 男鬼变身卡| 亚洲国产欧美在线一区| 国产老妇伦熟女老妇高清| 日韩电影二区| 久久免费观看电影| av一本久久久久| 亚洲精品成人av观看孕妇| 国产午夜精品一二区理论片| 婷婷色麻豆天堂久久| svipshipincom国产片| 久热爱精品视频在线9| 亚洲精品一二三| 青草久久国产| 我的亚洲天堂| www.av在线官网国产| 成人国产麻豆网| 热re99久久国产66热| 伊人久久大香线蕉亚洲五| 看十八女毛片水多多多| 免费不卡黄色视频| 亚洲欧美清纯卡通| 欧美97在线视频| 亚洲精品日韩在线中文字幕| 久久久精品94久久精品| 亚洲欧美激情在线| 欧美黄色片欧美黄色片| 免费观看a级毛片全部| 国产成人免费无遮挡视频| 亚洲美女搞黄在线观看| 国产av码专区亚洲av| 亚洲av福利一区| 亚洲国产精品成人久久小说| 午夜免费观看性视频| 欧美亚洲 丝袜 人妻 在线| 最近中文字幕高清免费大全6| 男人舔女人的私密视频| 国产av精品麻豆| 爱豆传媒免费全集在线观看| 国产 精品1| 欧美激情 高清一区二区三区| 黄片无遮挡物在线观看| 丁香六月欧美| 老熟女久久久| 51午夜福利影视在线观看| 啦啦啦在线观看免费高清www| 最近2019中文字幕mv第一页| 亚洲男人天堂网一区| 别揉我奶头~嗯~啊~动态视频 | 欧美精品一区二区免费开放| 亚洲精品av麻豆狂野| 久久精品国产a三级三级三级| 成年美女黄网站色视频大全免费| 亚洲欧洲日产国产| 一边摸一边做爽爽视频免费| 亚洲,欧美,日韩| 少妇人妻 视频| 国产精品久久久久成人av| 久久狼人影院| 国产极品天堂在线| 啦啦啦中文免费视频观看日本| 国产乱人偷精品视频| 天堂中文最新版在线下载| www.熟女人妻精品国产| 亚洲精品中文字幕在线视频| 免费高清在线观看日韩| 亚洲综合色网址| 国产亚洲av高清不卡| 久久精品国产亚洲av涩爱| 国产麻豆69| 成年人午夜在线观看视频| 国产又色又爽无遮挡免| 美女主播在线视频| 夜夜骑夜夜射夜夜干| 欧美精品av麻豆av| 亚洲国产欧美日韩在线播放| 黑丝袜美女国产一区| 欧美日韩亚洲国产一区二区在线观看 | 欧美成人精品欧美一级黄| 国产精品一区二区在线观看99| 成年女人毛片免费观看观看9 | 日本色播在线视频| 一区二区三区乱码不卡18| 久热这里只有精品99| 欧美人与性动交α欧美精品济南到| 9191精品国产免费久久| 日韩视频在线欧美| 超色免费av| 王馨瑶露胸无遮挡在线观看| 日韩 欧美 亚洲 中文字幕| 香蕉国产在线看| 午夜日韩欧美国产| 天天影视国产精品| 久久性视频一级片| 欧美乱码精品一区二区三区| 一区二区日韩欧美中文字幕| 日本午夜av视频| 欧美人与性动交α欧美软件| 少妇被粗大的猛进出69影院| 操出白浆在线播放| 美女国产高潮福利片在线看| 亚洲精品一二三| 菩萨蛮人人尽说江南好唐韦庄| 成年人午夜在线观看视频| 亚洲在久久综合| 亚洲成国产人片在线观看| 亚洲精品成人av观看孕妇| 成人亚洲精品一区在线观看| 国产亚洲午夜精品一区二区久久| 丝袜在线中文字幕| 满18在线观看网站| 亚洲情色 制服丝袜| 97在线人人人人妻| 亚洲精品日韩在线中文字幕| 国产1区2区3区精品| 精品视频人人做人人爽| 亚洲一卡2卡3卡4卡5卡精品中文| 国产在视频线精品| 国产毛片在线视频| 七月丁香在线播放| 在线免费观看不下载黄p国产| 久久女婷五月综合色啪小说| 欧美另类一区| 免费黄网站久久成人精品| 老鸭窝网址在线观看| 免费观看性生交大片5| 久久狼人影院| 精品国产乱码久久久久久小说| 五月天丁香电影| 黄色视频不卡| 亚洲欧洲日产国产| 亚洲图色成人| 亚洲一区二区三区欧美精品| 毛片一级片免费看久久久久| 久久毛片免费看一区二区三区| 亚洲国产av影院在线观看| 国产 精品1| 国产高清不卡午夜福利| 亚洲精品国产色婷婷电影| av在线app专区| 在线观看免费日韩欧美大片| 精品卡一卡二卡四卡免费| 亚洲精华国产精华液的使用体验| 日本vs欧美在线观看视频| 亚洲精品成人av观看孕妇| 叶爱在线成人免费视频播放| 久久综合国产亚洲精品| 午夜福利视频在线观看免费| 这个男人来自地球电影免费观看 | 老司机影院毛片| 中文字幕最新亚洲高清| 国产在线一区二区三区精| 国产黄色免费在线视频| 色播在线永久视频| 宅男免费午夜| 成人国语在线视频| 亚洲熟女毛片儿| 亚洲欧美精品自产自拍| 看免费av毛片| 精品人妻在线不人妻| 日日撸夜夜添| 美女视频免费永久观看网站| 永久免费av网站大全| 中文字幕高清在线视频| 久久毛片免费看一区二区三区| 免费不卡黄色视频| 国产精品久久久久久精品古装| 国产成人精品久久二区二区91 | 天天躁狠狠躁夜夜躁狠狠躁| 69精品国产乱码久久久| 狂野欧美激情性bbbbbb| 香蕉丝袜av| 丁香六月欧美| 亚洲成人国产一区在线观看 | 黑人欧美特级aaaaaa片| 在线观看一区二区三区激情| 别揉我奶头~嗯~啊~动态视频 | 欧美日韩福利视频一区二区| 国产老妇伦熟女老妇高清| 精品酒店卫生间| www.熟女人妻精品国产| tube8黄色片| 成人国产麻豆网| 超碰97精品在线观看| 一级,二级,三级黄色视频| 中文字幕精品免费在线观看视频| 黄色一级大片看看| 成人18禁高潮啪啪吃奶动态图| 日韩视频在线欧美| 国产成人91sexporn| 老汉色∧v一级毛片| 亚洲一区二区三区欧美精品| 热99国产精品久久久久久7| 大香蕉久久网| 黄片播放在线免费| 久久久精品免费免费高清| 性少妇av在线| 国产欧美日韩一区二区三区在线| 老鸭窝网址在线观看| 超碰成人久久| 久久女婷五月综合色啪小说| 黄色怎么调成土黄色| 国产精品国产av在线观看| 又粗又硬又长又爽又黄的视频| 国产伦理片在线播放av一区| 十分钟在线观看高清视频www| 精品国产超薄肉色丝袜足j| 一级片免费观看大全| 国产在视频线精品| videosex国产| 精品一区二区三区av网在线观看 | 美女中出高潮动态图| 性少妇av在线| 亚洲专区中文字幕在线 | 日韩中文字幕欧美一区二区 | 国产精品偷伦视频观看了| 欧美日韩精品网址| 久久人妻熟女aⅴ| 一区二区三区乱码不卡18| 亚洲中文av在线| 天堂8中文在线网| 国产一卡二卡三卡精品 | 亚洲熟女毛片儿| 日韩一本色道免费dvd| 在线 av 中文字幕| 精品国产露脸久久av麻豆| 亚洲婷婷狠狠爱综合网| 欧美激情极品国产一区二区三区| 久久影院123| 人妻 亚洲 视频| 亚洲综合色网址| 在线观看一区二区三区激情| 十分钟在线观看高清视频www| 黑人巨大精品欧美一区二区蜜桃| 婷婷色综合大香蕉| 欧美成人午夜精品| 亚洲精品自拍成人| 亚洲欧美中文字幕日韩二区| 国产免费福利视频在线观看| 一本大道久久a久久精品| 成人亚洲欧美一区二区av| 啦啦啦视频在线资源免费观看| 亚洲精品美女久久久久99蜜臀 | 99久久99久久久精品蜜桃| 精品酒店卫生间| 高清不卡的av网站| 91精品三级在线观看| 久久综合国产亚洲精品| 久久亚洲国产成人精品v| 久久ye,这里只有精品| 亚洲第一av免费看| 国产97色在线日韩免费| av线在线观看网站| 日本色播在线视频| 性色av一级| 亚洲人成电影观看| 麻豆乱淫一区二区| 国产精品国产三级专区第一集| 最近的中文字幕免费完整| 男女下面插进去视频免费观看| www日本在线高清视频| 国产伦人伦偷精品视频| 天天躁日日躁夜夜躁夜夜| 国产免费现黄频在线看| 中文字幕av电影在线播放| 捣出白浆h1v1| 综合色丁香网| 亚洲国产日韩一区二区| 日本av手机在线免费观看| 人人妻人人爽人人添夜夜欢视频| 亚洲欧洲精品一区二区精品久久久 | 午夜影院在线不卡| 18禁裸乳无遮挡动漫免费视频| 女人高潮潮喷娇喘18禁视频| 国产成人免费观看mmmm| 高清在线视频一区二区三区| 精品久久久久久电影网| 狠狠精品人妻久久久久久综合| av福利片在线| 飞空精品影院首页| 久久精品久久久久久噜噜老黄| 女人被躁到高潮嗷嗷叫费观| 日本色播在线视频| 中文字幕制服av| 国产极品粉嫩免费观看在线| 午夜精品国产一区二区电影| 午夜老司机福利片| 极品少妇高潮喷水抽搐| 一本—道久久a久久精品蜜桃钙片| 涩涩av久久男人的天堂| 桃花免费在线播放| 搡老岳熟女国产| 亚洲国产中文字幕在线视频| 久久精品熟女亚洲av麻豆精品| 国产精品 欧美亚洲| 亚洲人成网站在线观看播放| 制服人妻中文乱码| 国产探花极品一区二区| 免费观看性生交大片5| 久久久国产精品麻豆| 一区二区三区乱码不卡18| 精品免费久久久久久久清纯 | 日本av手机在线免费观看| 国产在线免费精品| 好男人视频免费观看在线| 中文字幕另类日韩欧美亚洲嫩草| 国产精品熟女久久久久浪| 国产免费福利视频在线观看| 水蜜桃什么品种好| 欧美日韩成人在线一区二区| 亚洲成人一二三区av| 国产熟女午夜一区二区三区| 中文字幕制服av| 亚洲欧美成人综合另类久久久| 女人高潮潮喷娇喘18禁视频| 少妇的丰满在线观看| 一区福利在线观看| 在线观看国产h片| 亚洲精品美女久久av网站| 午夜福利视频精品| 丝袜美腿诱惑在线| 一区二区三区乱码不卡18| 大话2 男鬼变身卡| 一二三四在线观看免费中文在| 亚洲av国产av综合av卡| 国产一级毛片在线| 国产一区二区在线观看av| 午夜影院在线不卡| 国产视频首页在线观看| 亚洲国产日韩一区二区| 国产免费一区二区三区四区乱码| 你懂的网址亚洲精品在线观看| 男人爽女人下面视频在线观看| 丝袜人妻中文字幕| 18禁动态无遮挡网站| 国产精品秋霞免费鲁丝片| 丝袜喷水一区| 男女高潮啪啪啪动态图| 国产探花极品一区二区| 精品卡一卡二卡四卡免费| 51午夜福利影视在线观看| 老司机在亚洲福利影院| 国产精品国产三级专区第一集| 另类精品久久| 视频区图区小说| 丁香六月天网| 日韩av免费高清视频| 亚洲视频免费观看视频| 天美传媒精品一区二区| videosex国产| 国产精品嫩草影院av在线观看| 国产黄色免费在线视频| 黄色 视频免费看| 色吧在线观看| 免费看不卡的av| 啦啦啦视频在线资源免费观看| 精品国产乱码久久久久久男人| a级毛片黄视频| 如日韩欧美国产精品一区二区三区| 亚洲av在线观看美女高潮| 美女扒开内裤让男人捅视频| 亚洲久久久国产精品| av电影中文网址|