久久国产激情对白_精品精品亚洲高清a毛片_日韩亚洲欧亚自拍图片在线观看网站_成 人 网 站在线_亚洲av无码之国产精品_国产第一页深爱激动情网_亚洲日韩丝袜五十路连接导航_精品一区二区三区av无码_五月婷婷国产综合_久久精品亚洲日本波多野结衣

基于模型的商業(yè)衛(wèi)星數(shù)字孿生設(shè)計驗證平臺以及高可信衛(wèi)星開源設(shè)計方案

將開源的理念引入商業(yè)航天領(lǐng)域,幫助商業(yè)航天創(chuàng)業(yè)企業(yè)快速建立航天器研制能力

咨詢熱線:

010-62888049

-->
當前位置:首頁 ? 行業(yè)解決方案 » 衛(wèi)星GNC系統(tǒng)設(shè)計及驗證

衛(wèi)星GNC系統(tǒng)設(shè)計及驗證

文章出處:精航偉泰測控儀器(北京)有限公司 人氣:-發(fā)表時間:2016-04-27 16:24

    基于某衛(wèi)星GNC系統(tǒng)的研發(fā)實踐,完成衛(wèi)星GNC系統(tǒng)的需求建模、系統(tǒng)模型設(shè)計、模型數(shù)字仿真、模型半物理仿真,最后使用自動代碼生成技術(shù)生成衛(wèi)星GNC系統(tǒng)軟件,加載到星載計算機中,完成衛(wèi)星的系統(tǒng)測試及在軌驗證。

    某型號衛(wèi)星GNC系統(tǒng)以衛(wèi)星控制計算機為核心,使用傳感器測量數(shù)據(jù)進行位置和姿態(tài)的導航解算,根據(jù)目標進行制導算法設(shè)計,控制不同執(zhí)行機構(gòu)實現(xiàn)閉環(huán)控制。完成衛(wèi)星總體下達的指向、定位、高精度軌控、相對導航等任務(wù)需求。

    GNC分系統(tǒng)是典型的控制閉環(huán)系統(tǒng),功能設(shè)計主要包括控制算法設(shè)計和系統(tǒng)方案設(shè)計。控制算法設(shè)計主要是根據(jù)總體需求和任務(wù)約束,設(shè)計控制方法以及控制參數(shù)尋優(yōu)。系統(tǒng)方案設(shè)計包括GNC系統(tǒng)單機選型、冗余容錯、系統(tǒng)內(nèi)外通信和時序的設(shè)計。

一、基于模型的GNC系統(tǒng)設(shè)計

1、系統(tǒng)設(shè)計

首先建立了衛(wèi)星GNC系統(tǒng)的需求模型,完成了利益相關(guān)者需求分析。

2、模型設(shè)計

模型設(shè)計使用Simulink工具進行建模和驗證。以系統(tǒng)中典型的某三軸姿態(tài)精確指向功能為例,建立陀螺數(shù)據(jù)處理、星敏感器濾波、目標姿態(tài)計算、姿態(tài)機動規(guī)劃、姿態(tài)控制量計算、動量輪控制和磁卸載模型。具體子功能模型,使用Simulink Library、Matlab FunctionStateflow完成建模,主要實現(xiàn)具體算法和邏輯。

對頂層工作流程、外部變量交互進行建模,將各個子功能模型作為Simulink Function進行調(diào)用,如下圖所示。模型設(shè)計在架構(gòu)建?;A(chǔ)上形成工作流調(diào)用模型,主要負責將上述功能模塊按時序和邏輯調(diào)用。

工作流建模和子功能模型調(diào)用

星敏感器濾波模型

建模后需對模型進行單元測試,與工作流模型集成后進行模型組裝測試,并使用Simulink測試管理工具進行比對調(diào)試。

二、基于模型的GNC系統(tǒng)驗證

    在基于模型的衛(wèi)星控制系統(tǒng)研發(fā)過程中,對系統(tǒng)研發(fā)每個階段的設(shè)計結(jié)果進行了驗證。對系統(tǒng)運行場景模型的驗證,確認系統(tǒng)功能是否滿足GNC系統(tǒng)需求;

1、對系統(tǒng)功能模型的驗證,確認系統(tǒng)架構(gòu)、接口、狀態(tài)邏輯是否滿足系統(tǒng)級需求;

2、建立衛(wèi)星GNC系統(tǒng)數(shù)字孿生設(shè)計平臺,模型驅(qū)動閉環(huán)衛(wèi)星試驗環(huán)境,確認衛(wèi)星GNC系統(tǒng)等的功能/性能/接口;

3、經(jīng)過全數(shù)字仿真驗證后的模型,使用自動代碼生成技術(shù),加載到衛(wèi)星控制計算機中,進行半實物閉環(huán)測試,完成硬件在環(huán)測試;

 

GNC模型的測試驗證采用ATSPACE衛(wèi)星GNC系統(tǒng)數(shù)字孿生設(shè)計與驗證平臺構(gòu)建模型測試驗證環(huán)境,分別實現(xiàn)模型規(guī)范檢查、模型在環(huán)測試、運行時錯誤檢查、軟件在環(huán)測試以及硬件在環(huán)測試相關(guān)測試驗證內(nèi)容。


三、驗證結(jié)果

1、模型與原設(shè)計的一致性驗證

1)  建立模型測試環(huán)境,進行了模型閉環(huán)仿真測試,與算法方案仿真曲線一致

2)  建立原有C代碼的運行環(huán)境,進行了姿態(tài)確定,姿態(tài)機動過程中,模型和C代碼運行結(jié)果一致

3)  進行模型的人工走查,確認模型和用戶需求一致

 

2、代碼與原設(shè)計的一致性驗證

1)  自動生成代碼通過了人工走查,確認代碼和用戶需求一致

2)  在軟平臺和星地聯(lián)試設(shè)備上分別進行了配置項測試工作。語句和分支覆蓋率經(jīng)人工確認后達到100%;功能覆蓋率達到100%

3)  使用代碼靜態(tài)分析工具SpecCheck 對自動生成代碼進行靜態(tài)分析,確認自動生成代碼符合航天C代碼編程規(guī)范


3、代碼與原設(shè)計的一致性驗證

在軌實施結(jié)果證明模型設(shè)計正確、自動生成的代碼正確、滿足控制系統(tǒng)功能性能指標要求。


此文關(guān)鍵字: