公开(公告)号：CN110489245A

公开(公告)日：2019-11-22

申请号：CN201910723704.4

申请日：2019-08-07

Applicant: 上海微小卫星工程中心 ,  中国科学院微小卫星创新研究院

Inventor： 杨善强 ,  李华旺 ,  王丹 ,  施敏华 ,  王永 ,  高才栋 ,  虞业泺 ,  王番

IPC: G06F9/54 ,  G06F11/263

Abstract: 本发明涉及一种基于远程过程调用RPC的故障注入方法，包括下列步骤：由故障注入前端提供故障信息，所述故障信息包括关于目标单机的信息和关于故障类型的信息；由远程过程调用RPC模块将故障信息打包到第一通信帧中并通过网络发送给卫星模拟器；由卫星模拟器将第一通信帧解析成关于目标单机的信息和关于故障类型的信息并根据关于目标单机的信息和关于故障类型的信息生成单机数据；将单机数据打包到第二通信帧中并通过网络发送给故障注入前端。本发明还涉及一种相应的系统。通过本发明，可以以通用方式快速、高效地模拟各种卫星故障。

公开(公告)号：CN110333978A

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

申请号：CN201910614333.6

申请日：2019-07-09

Applicant: 上海微小卫星工程中心

Inventor： 石薇 ,  常枭 ,  杨善强 ,  王番 ,  张飞 ,  王永

IPC: G06F11/263

Abstract: 本发明涉及一种通过软件模拟SPARC处理器的故障的方法，包括下列步骤：通过软件设置故障源以模拟SPARC处理器的故障；使SPARC处理器进入管理员模式；以及由软件针对SPAR处理器的故障采取相应措施。通过本发明，可以灵活且可靠地模拟SPARC处理器的各种故障。

公开(公告)号：CN110069410A

公开(公告)日：2019-07-30

申请号：CN201910299292.6

申请日：2019-04-15

Applicant: 上海微小卫星工程中心

Inventor： 王明亮 ,  徐元旭 ,  王永 ,  许永建 ,  尤志坚 ,  施敏华

IPC: G06F11/36

Abstract: 本发明提出一种基于动态故障树的嵌入式星载软件测试用例生成方法，包括如下步骤：(1)确定被测软件在轨实际动态运行剖面及输入空间；(2)建立运行剖面的故障模式传播路径以及故障模式集合；(3)建立动态故障树；(4)构建动态故障树相应的割序集，并确定割序集中的最小割序集；(5)建立最小割序等价类的测试用例输入及其预期输出，产生一个测试用例；(6)加载测试用例并运行被测软件，把输入数据作为执行输入，得到实际输出；(7)检查实际输出集合是否与预期输出集合一致。利用上述方法生成的测试用例具有耦合度低、效率高、颗粒度高和可复用性高的优点。

公开(公告)号：CN110032790A

公开(公告)日：2019-07-19

申请号：CN201910274355.2

申请日：2019-04-08

Applicant: 上海微小卫星工程中心

Inventor： 王明亮 ,  王永 ,  吴智鹏 ,  施长胜 ,  王国华 ,  常亮

IPC: G06F17/50

Abstract: 本发明提供了一种非侵入式微小卫星在轨自主健康状态监测方法，包括如下步骤：(1)提出需要采集的健康状态信息；(2)采集卫星各分系统的健康状态信息；(3)提取健康状态信息的健康特征；(4)根据健康特征进行卫星健康初判；(5)健康状态数据存储；(6)健康状态数据遥测下发。本发明可以有效降低和避免地面控制人员事后判读滞后性以及误判漏判高发的风险。另一方面，该发明采用单向读取卫星平台健康信息策略，可以有效避免增加健康管理模块带来的卫星综合控制平台耦合度和复杂度增大的问题。

公开(公告)号：CN104834604B

公开(公告)日：2018-02-16

申请号：CN201510193943.5

申请日：2015-04-22

Applicant: 上海微小卫星工程中心

Inventor： 刘虎 ,  胡步青 ,  王永 ,  常亮

IPC: G06F12/06

Abstract: 一种IO地址到IO对象快速映射方法及系统，方法包括如下步骤：1)采集所有IO块的基地址、大小以及间隔，并按地址顺序排列；2)选取最小间隔值，从而获取空隙值，其中空隙值小于等于最小间隔值；3)以IO地址空间的起始地址为起始位置t，采用空隙值重新分割IO地址空间；4)构造间隙和数组，以记录从起始位置开始每一空隙值空间内IO地址所对应的间隙和；5)构造IO对象数组，每一IO地址映射一在所述IO对象数组中位于相应数组索引处的IO对象；6)根据构造的间隙和数组以及IO对象数组，完成IO地址到相应数组索引的计算，从而完成IO地址到IO对象的快速映射。本发明通过重新划分IO地址空间，将搜索转化为查表，实现了由IO地址到IO对象的快速映射。

公开(公告)号：CN103983232B

公开(公告)日：2017-01-11

申请号：CN201410210680.X

申请日：2014-05-19

Applicant: 上海微小卫星工程中心

Inventor： 刘沛龙 ,  陈宏宇 ,  陈有梅 ,  余舜京 ,  王永

IPC: G01C1/00 ,  G01C21/24

Abstract: 一种分体式静态线阵红外地平仪，包括至少一组相配合的分体式镜头与分体式安装底座。分体式镜头中；成像光路与线阵探测器相连，线阵探测器与多路选通器相连，多路选通器分别与前置放大器以及FPGA芯片相连，前置放大器分别与模数转换器以及FPGA芯片相连，模数转换器分别与前置放大器以及FPGA芯片相连，FPGA芯片分别产生多路选通器、前置放大器以及模数转换器的控制信号，并对传入的数字信号进行信号处理后传入CAN接口芯片；所述CAN接口芯片通过CAN总线接口与CAN总线相连，用于将所述FPGA芯片处理后信号通过CAN总线传入后端数字处理部分。本发明提高了红外地平仪的通用化程度，简化了开发流程，节约项目成本。

公开(公告)号：CN103871221A

公开(公告)日：2014-06-18

申请号：CN201410063178.0

申请日：2014-02-25

Applicant: 上海微小卫星工程中心

Inventor： 常亮 ,  陈宏宇 ,  袁明 ,  付碧红 ,  王永

IPC: G08C17/02

Abstract: 本发明提供了一种离线测试数据采集装置，包括信号处理模块以及主处理器；所述信号处理模块置入被测物体中并与传感器相连，用于接收传感器数据并进行处理获取测试数据；所述主处理器置入被测物体中并与所述信号处理模块相连，用于根据控制信号对所述信号处理模块的测试数据进行采集并缓存；所述主处理器进一步通过数据传输接口与地面数据处理设备相连，用于将缓存的测试数据传输至地面数据处理设备。通过将离线测试数据采集装置置入在被测的物体中进行离线的数据采集，采集的数据可以采用无线传输或测试后传输数据的方法将测试结果传输的地面数据处理设备中以供数据处理，有效解决了由于电缆的存在可能对测试结果造成影响的问题。