北京控制工程研究所王云鵬獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監控用IP管家,真方便!
龍圖騰網獲悉北京控制工程研究所申請的專利一種基于MBSE的航天器軟件時序設計方法獲國家發明授權專利權,本發明授權專利權由國家知識產權局授予,授權公告號為:CN115688650B 。
龍圖騰網通過國家知識產權局官網在2025-08-22發布的發明授權授權公告中獲悉:該發明授權的專利申請號/專利號為:202211351367.9,技術領域涉及:G06F30/3315;該發明授權一種基于MBSE的航天器軟件時序設計方法是由王云鵬;孫棟;袁利;劉磊;張聰;湯亮;杜建偉;謝鳴宇;關智元設計研發完成,并于2022-10-31向國家知識產權局提交的專利申請。
本一種基于MBSE的航天器軟件時序設計方法在說明書摘要公布了:本發明公開了一種基于MBSE的航天器軟件時序設計方法,包括基于模型構建系統工作流圖,建立系統時序數學模型,進行裕量設計分配。本發明基于模型的系統工程ModelBasedSystemsEngineering,MBSE,面對星上自主閉環軟件時序進行設計,以基于模型的系統工程的標準活動圖、狀態機圖對飛行模式進行建模,可利用建模工具將底層元素集成起來,便于時序設計過程中的模型組織管理、迭代修改升級,這為星上自主閉環軟件時序設計帶來了極大的便利,提高了設計效率。
本發明授權一種基于MBSE的航天器軟件時序設計方法在權利要求書中公布了:1.一種基于MBSE的航天器軟件時序設計方法,其特征在于,包括: 確定待進行軟件時序設計的航天器在軌飛行的所有工作模式,并獲取工作模式之間的切換關系,基于MBSE的狀態機圖,建立航天器工作模式狀態機圖模型; 獲取實現每種所述工作模式的行為任務與用來完成行為任務的航天器上若干個硬件主體,基于MBSE的活動圖,建立工作模式活動圖模型; 結合工作模式狀態機圖模型與工作模式活動圖模型,建立包含時序關系的航天器工作流圖,得到所有所述硬件主體參加的工作流,以及這些工作流之間的同步或異步的交叉關系; 按照所述航天器工作流圖對時序過程進行數學建模,得到時序過程數學模型;對所述時序過程數學模型的所有工作流的工作時間按由大到小的順序進行排序,依次對工作流中的各個節點進行裕量設計分配,得到優化后的時序設計;其中,裕量設計分配包括: 找出所述工作流圖中所有的工作流; 基于所述時序過程數學模型,分別計算每個工作流的總工作時長,并將其中數值最大的總工作時長記為最長時間; 按照總工作時長從大到小的順序,依次對各個工作流上的各節點按比例進行時間裕量分配。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯系本專利的申請人或專利權人北京控制工程研究所,其通訊地址為:100080 北京市海淀區北京2729信箱;或者聯系龍圖騰網官方客服,聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據公開、合法渠道獲得相關數據和信息,力求客觀、公正,但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據或者憑證。