公开(公告)号：CN113900423B

公开(公告)日：2023-07-14

申请号：CN202111015171.8

申请日：2021-08-31

Applicant: 北京空间飞行器总体设计部

Inventor： 富小薇 ,  韩小军 ,  杨东 ,  刘一鸣 ,  高芫赫 ,  权爽 ,  周士民 ,  傅晓晶 ,  赵阳 ,  李达 ,  刘加明 ,  杨硕 ,  任亮 ,  应鹏 ,  何永丛

IPC: G05B23/02

Abstract: 本发明涉及一种基于FSM的火星车休眠唤醒功能验证方法，步骤如下：(1)建立状态集；(2)建立输入集；(3)建立输出集；(4)绘制火星车休眠唤醒过程的有限状态机状态迁移图FSM；(5)根据逻辑及条件覆盖算法对有限状态机状态迁移图进行遍历，生成测试用例集，遍历测试用例集中的各个用例，实现火星车系统级的休眠唤醒功能验证。本发明改变了当前复杂航天器自主功能主要依据测试经验开展的局面。为火星车自主功能，尤其是休眠唤醒功能验证提供了一个自上而下的分析思路，使得测试设计人员能够依据该方法完成航天器自主休眠唤醒过程测试设计及验证工作。

公开(公告)号：CN113900423A

公开(公告)日：2022-01-07

申请号：CN202111015171.8

申请日：2021-08-31

Applicant: 北京空间飞行器总体设计部

Inventor： 富小薇 ,  韩小军 ,  杨东 ,  刘一鸣 ,  高芫赫 ,  权爽 ,  周士民 ,  傅晓晶 ,  赵阳 ,  李达 ,  刘加明 ,  杨硕 ,  任亮 ,  应鹏 ,  何永丛

IPC: G05B23/02

Abstract: 本发明涉及一种基于FSM的火星车休眠唤醒功能验证方法，步骤如下：(1)建立状态集；(2)建立输入集；(3)建立输出集；(4)绘制火星车休眠唤醒过程的有限状态机状态迁移图FSM；(5)根据逻辑及条件覆盖算法对有限状态机状态迁移图进行遍历，生成测试用例集，遍历测试用例集中的各个用例，实现火星车系统级的休眠唤醒功能验证。本发明改变了当前复杂航天器自主功能主要依据测试经验开展的局面。为火星车自主功能，尤其是休眠唤醒功能验证提供了一个自上而下的分析思路，使得测试设计人员能够依据该方法完成航天器自主休眠唤醒过程测试设计及验证工作。

公开(公告)号：CN114065471B

公开(公告)日：2025-03-21

申请号：CN202111134954.8

申请日：2021-09-27

Applicant: 北京空间飞行器总体设计部

Inventor： 富小薇 ,  韩小军 ,  杨东 ,  刘一鸣 ,  高芫赫 ,  权爽 ,  周士民 ,  傅晓晶 ,  赵阳 ,  李达 ,  刘加明 ,  杨硕 ,  任亮 ,  许宗飞 ,  李霁川

IPC: G06F30/20 ,  G06F30/15

Abstract: 本发明公开了一种深空探测器EDL过程验证方法，提出了针对EDL复杂过程的“飞行任务剖面分解”、“用例场景识别”、“测试用例生成”三步走验证策略，该方法在缩短测试用时的同时,有效保证了复杂系统逻辑验证覆盖的完备性；能够使得故障高发期提前,失效率变化曲线快速收敛,从而提升测试可靠性；能够对复杂过程的典型场景以及故障场景进行合理的测试，保证了测试结果的可信性；该方法能够在系统级测试阶段模飞测试前，提前对EDL过程进行较全面的验证，为尽早发现探测任务中关键环节EDL过程中的异常问题，提供了有效、可行的手段，也为探测器研制快速迭代提供了有力保障。

公开(公告)号：CN114611963A

公开(公告)日：2022-06-10

申请号：CN202210269120.6

申请日：2022-03-18

Applicant: 北京航空航天大学 ,  北京空间飞行器总体设计部

Inventor： 赵洪博 ,  杨东 ,  朱立颖 ,  潘鑫 ,  刘治钢 ,  高芫赫 ,  张晓峰 ,  李鹏 ,  杨慧 ,  杨喆 ,  穆浩

IPC: G06Q10/06 ,  G06F17/16

Abstract: 本发明公开了一种卫星S4R电源系统状态量化评价方法，该方法具体包括：首先，根据实际在轨遥测的大范围时变特性，针对不同类型遥测，利用相应的预处理方法对数据进行处理；并结合无量纲的健康度函数计算得到遥测数据的健康度，以此作为评价方法数据输入；其次，根据S4R电源系统的结构和运行特点，建立起包括遥测层、单机层、子系统层和系统层共四层状态评估指标体系；然后，利用层次分析法和变权理论得到的状态评估指标体系中每个指标的权重；最后，利用物元理论构造评估物元，并基于状态评估指标体系，利用“层层递进”的运行状态量化评价模型计算得到卫星S4R电源系统状态量化结果。本发明不依赖历史数据，能够避免在轨遥测大范围时变的影响，实现卫星S4R电源系统在轨状态量化评价。

公开(公告)号：CN114065471A

公开(公告)日：2022-02-18

申请号：CN202111134954.8

申请日：2021-09-27

Applicant: 北京空间飞行器总体设计部

Inventor： 富小薇 ,  韩小军 ,  杨东 ,  刘一鸣 ,  高芫赫 ,  权爽 ,  周士民 ,  傅晓晶 ,  赵阳 ,  李达 ,  刘加明 ,  杨硕 ,  任亮 ,  许宗飞 ,  李霁川

IPC: G06F30/20 ,  G06F30/15

Abstract: 本发明公开了一种深空探测器EDL过程验证方法，提出了针对EDL复杂过程的“飞行任务剖面分解”、“用例场景识别”、“测试用例生成”三步走验证策略，该方法在缩短测试用时的同时,有效保证了复杂系统逻辑验证覆盖的完备性；能够使得故障高发期提前,失效率变化曲线快速收敛,从而提升测试可靠性；能够对复杂过程的典型场景以及故障场景进行合理的测试，保证了测试结果的可信性；该方法能够在系统级测试阶段模飞测试前，提前对EDL过程进行较全面的验证，为尽早发现探测任务中关键环节EDL过程中的异常问题，提供了有效、可行的手段，也为探测器研制快速迭代提供了有力保障。