買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網恭喜北京空間飛行器總體設計部申請的專利一種深空探測器EDL過程驗證方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN114065471B 。

龍圖騰網通過國家知識產權局官網在2025-03-21發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202111134954.8，技術領域涉及：G06F30/20；該發明授權一種深空探測器EDL過程驗證方法是由富小薇;韓小軍;楊東;劉一鳴;高芫赫;權爽;周士民;傅曉晶;趙陽;李達;劉加明;楊碩;任亮;許宗飛;李霽川設計研發完成，并于2021-09-27向國家知識產權局提交的專利申請。

本一種深空探測器EDL過程驗證方法在說明書摘要公布了：本發明公開了一種深空探測器EDL過程驗證方法，提出了針對EDL復雜過程的“飛行任務剖面分解”、“用例場景識別”、“測試用例生成”三步走驗證策略，該方法在縮短測試用時的同時,有效保證了復雜系統邏輯驗證覆蓋的完備性；能夠使得故障高發期提前,失效率變化曲線快速收斂,從而提升測試可靠性；能夠對復雜過程的典型場景以及故障場景進行合理的測試，保證了測試結果的可信性；該方法能夠在系統級測試階段模飛測試前，提前對EDL過程進行較全面的驗證，為盡早發現探測任務中關鍵環節EDL過程中的異常問題，提供了有效、可行的手段，也為探測器研制快速迭代提供了有力保障。

本發明授權一種深空探測器EDL過程驗證方法在權利要求書中公布了：1.一種深空探測器EDL過程驗證方法，其特征在于，包括：步驟1、面向“飛行任務剖面”對深空探測器EDL過程進行分解，形成EDL飛行過程分析表或圖；分解思路為自上而下,由大到小,由飛行過程直至分解至某一個分系統或者多個分系統聯合完成的特定任務，具體為：將探測器EDL飛行階段設定為飛行階段FT1,T2；在該階段探測器根據飛行程序,完成的一系列飛行任務稱為“飛行單元ft1,t2”,包括“起始飛行狀態向量Pt1”、“終止飛行狀態向量Pt2”以及“任務單元Gt1t2”組成的三元式表達；其中，飛行單元包括多個按時間順序執行的任務單元；飛行單元ft1,t2＝Pt1,Gt1t2,Pt2,Pt1＝ηS0t1,S1t1,…Snt1,Pt2＝ηS0t2,S1t2,…Snt2，其中Pt1為起始飛行狀態向量,Pt2為終止飛行狀態向量,Gt1t2為任務單元；t1、t2分別為飛行單元所在飛行程序中的起止相對時間；飛行狀態向量:Pt＝ηS0t,S1t,…Snt，其中t為飛行程序中的相對時間；Snt為分系統Sn在時間t下的狀態；任務單元Gt1t2＝Snt1,t2或S1S2…Snt1,t2，其中Snt1,t2為某個分系統任務單元；S1S2…Snt1,t2為多個分系統聯合任務單元；步驟2、面向分解飛行過程得到的飛行剖面,進行用例場景的識別，過程如下：步驟21、采用有向圖來描述用例事件流：其中,有向圖的主干為基本流,主干的基本流即為一條路徑，其中B點為用例開始點,狀態為該飛行剖面的起始飛行狀態向量Pt1,E點為用例結束點,狀態為該飛行剖面的終止飛行狀態向量Pt2，用例的典型事件流為任務單元按既定順序執行的事件流，有向圖的支干為備選流,異?；蛘叱霈F錯誤時會發生的事件流為當在主干的某個任務單元出現異?；蛘咤e誤時，從當前任務單元跳轉到異常或者錯誤狀態，處理完成后，再轉回到主干的下一個任務單元，則繼續執行主干的基本流的過程即構成了一條可能路徑；如此，當其它任務單元出現異?；蛘咤e誤時，又構成一條可能路徑；基本流和事件流構成有向圖中開始點B和結束點E之間的所有可能路徑；步驟22、搜索有向圖的所有可能路徑即頂點B到頂點E之間的路徑，并用樹的方式表示出來；步驟23、對樹進行搜索，直至搜索出所有以開始點B開始,結束點E結束的所有路徑,即得到所有用例場景；步驟3、執行所有用例場景，其中測試用例采用矩陣或決策表來確定和管理，一旦確定了所有的測試用例,則對這些用例進行復審和驗證，并取消多余或等效的測試用例；對于每個測試用例,包括測試用例ID、條件、測試用例中涉及的所有數據元素以及預期結果；執行樹中根節點到葉子節點的所有路徑，即完成EDL過程正常模式、故障模式的功能驗證。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人北京空間飛行器總體設計部，其通訊地址為：100094 北京市海淀區友誼路104號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。