公开(公告)号：CN111858792A

公开(公告)日：2020-10-30

申请号：CN202010507810.1

申请日：2020-06-05

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

Inventor： 孙波 ,  靳卫华 ,  张雷 ,  李志栋 ,  胡大勇 ,  董勇 ,  朱宇

IPC: G06F16/29 ,  G06F16/54 ,  G06F9/50

Abstract: 本发明公开了栅格数据前端可视化综合分析方法，通过计算栅格数据的多级概览图的元数据信息，对栅格数据进行虚拟切片，当浏览器端请求展示数据时，根据请求中带有的展示级别和展示范围，仅选择相应的切片数据进行处理显示，有效缩短了栅格数据处理的时间，提高了栅格数据处理及显示的实时性。

公开(公告)号：CN117993166A

公开(公告)日：2024-05-07

申请号：CN202311752144.8

申请日：2023-12-19

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

Inventor： 孙波 ,  张雷 ,  刘鹤 ,  李志栋

IPC: G06F30/20 ,  G06F30/27 ,  G06F119/02

Abstract: 本发明提供一种卫星能源系统自主健康试验训练应用可信评估一体化平台及评估方法，该一体化平台包括：仿真机、训练机、目标机和评估机；其中，仿真机，用于提供仿真平台实现卫星电源系统分部件的物理层建模；训练机，用于接收仿真机提供的仿真数据，接收卫星提供的遥测数据，进行健康管理模型训练，并将训练好的模型加载至目标机；目标机，一方面利用加载的健康管理模块，结合仿真数据对遥测数据进行诊断，实现故障预测，另一方面利用仿真数据，对加载的健康管理模块进行可信评估；评估机，用于对健康管理模型的可信评估结果进行泛化性和鲁棒性评估，当评估结果健康管理模块不可信时，激活训练机实现模型的重训练。

公开(公告)号：CN110297478A

公开(公告)日：2019-10-01

申请号：CN201910375754.8

申请日：2019-05-07

Applicant: 深圳航天科技创新研究院 ,  深圳市航天新源科技有限公司 ,  北京空间飞行器总体设计部

Inventor： 李安寿 ,  孙波 ,  柳新军 ,  朱洪雨 ,  张雷 ,  张东来 ,  贾毅婷 ,  李志栋 ,  张斌 ,  韩骞逸 ,  石玉

IPC: G05B23/02 ,  G06F17/50 ,  G06Q10/06 ,  G06Q50/06

Abstract: 本发明提供了一种卫星电源控制器，包括卫星电源控制器本体和健康管理模块，所述卫星电源控制器本体与所述健康管理模块连接。本发明还提供了一种可测试性验证方法。本发明还提供了一种可测试性验证平台。本发明的有益效果是：通过增加模块化设计的健康管理模块来增加卫星电源控制器的可测试性，保证加卫星电源控制器的故障诊断的覆盖率和诊断效能，提高其自诊断和外部诊断能力。

公开(公告)号：CN114328188A

公开(公告)日：2022-04-12

申请号：CN202111506160.X

申请日：2021-12-10

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

Inventor： 殷蓓蓓 ,  田野 ,  张雷 ,  郑征 ,  孙波 ,  李志栋

IPC: G06F11/36 ,  G06F30/20

Abstract: 本发明公开一种基于模型的航天器控制器软件测试用例自动生成方法，包括：1)、空间飞行器测试需求形式化建模，用UML状态图对测试需求中航天器的状态以及其转换进行建模得到标准模型；2)、对标准模型预处理，将状态图中包含的测试信息转换成有向图存储；3)、通过有向图可得到不同的覆盖准则下的测试路径；4)、对每一条测试路径划分系统输入输出，并对该路径的输入空间进行等价类划分。5)、对每一个等价类进行赋值操作，得到该逻辑序列上的具体测试用例的序列。本发明解决了航天器软件需求缺乏统一描述方式的缺点；解决目前测试过程中测试场景的设计完全依赖测试人员经验，无法保障设计的测试场景有效覆盖自主功能全部需求的缺点。

公开(公告)号：CN114461515A

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

申请号：CN202111533653.2

申请日：2021-12-15

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

Inventor： 殷蓓蓓 ,  李成龙 ,  张雷 ,  郑征 ,  孙波 ,  李志栋

IPC: G06F11/36

Abstract: 本发明公开一种基于领域知识的空间飞行器测试用例自适应生成方法，包括：1、获取待测空间飞行器的参数空间，确定参数各自的概率分布模型、归一化及距离度量方法；2、根据概率分布模型，随机在参数空间中生成一个初始用例，放入测试用例集E中；3、根据概率分布模型，随机在参数空间中生成候选测试用例集C；4、将测试用例表示成向量的形式，从候选测试用例集C中选择距离测试用例集E最短距离最大的候选测试用例，并将其放入测试用例集E中；5、不断执行上述步骤3、4，直至测试用例集E中生成了足够的测试用例。本发明使生成的测试用例集更加贴近空间飞行器的实际测试需求，增强了测试用例集的有效性，有助于提高测试效率。

公开(公告)号：CN112710913A

公开(公告)日：2021-04-27

申请号：CN202011461155.7

申请日：2020-12-12

Applicant: 北京空间飞行器总体设计部 ,  西北工业大学 ,  西北工业大学深圳研究院 ,  西安蒙顿信息科技有限公司

Inventor： 孙波 ,  黄小平 ,  张雷 ,  乔金良 ,  李志栋 ,  郭阳明 ,  王晓东

IPC: G01R31/00 ,  G05B19/042

Abstract: 本发明提供了一种两类多型COTS器件单粒子软错误测试硬件系统，上位机设置测试条件与参数，向下位机发送测试模式切换、测试过程控制指令；静态测试模式下，回读被测FPGA的配置数据并与参照文件比较，实时统计FPGA动态测试以及CPU测试的翻转数量，保存每一次测试的数据和结果，监控FPGA通过网口与上位机直接相连，接收上位机下发的测试控制指令并执行相应操作，给被测FPGA提供时钟；将测试结果通过网口上传给上位机。本发明构建用于支撑总剂量效应摸底试验和单粒子效应摸底试验系统，评估器件在不同测试状态下的器件及内部敏感资源的辐射效应基础数据，达到指导其未来宇航应用的目的。