买专利卖专利找龙图腾，真高效！ 查专利查商标用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，用例的典型事件流为任务单元按既定顺序执行的事件流，有向图的支干为备选流,异常或者出现错误时会发生的事件流为当在主干的某个任务单元出现异常或者错误时，从当前任务单元跳转到异常或者错误状态，处理完成后，再转回到主干的下一个任务单元，则继续执行主干的基本流的过程即构成了一条可能路径；如此，当其它任务单元出现异常或者错误时，又构成一条可能路径；基本流和事件流构成有向图中开始点B和结束点E之间的所有可能路径；步骤22、搜索有向图的所有可能路径即顶点B到顶点E之间的路径，并用树的方式表示出来；步骤23、对树进行搜索，直至搜索出所有以开始点B开始,结束点E结束的所有路径,即得到所有用例场景；步骤3、执行所有用例场景，其中测试用例采用矩阵或决策表来确定和管理，一旦确定了所有的测试用例,则对这些用例进行复审和验证，并取消多余或等效的测试用例；对于每个测试用例,包括测试用例ID、条件、测试用例中涉及的所有数据元素以及预期结果；执行树中根节点到叶子节点的所有路径，即完成EDL过程正常模式、故障模式的功能验证。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京空间飞行器总体设计部，其通讯地址为：100094 北京市海淀区友谊路104号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。