公开(公告)号：CN107967213B

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

申请号：CN201711292178.8

申请日：2017-12-07

Applicant: 上海宇航系统工程研究所

Inventor： 刘博 ,  严云红 ,  徐峰 ,  程云龙 ,  金燕 ,  刘汉兵 ,  刘雄 ,  吴建桔 ,  康岭 ,  沈宗月 ,  朱波 ,  彭立章 ,  秦金彪 ,  吴旭东

IPC: G06F11/36

Abstract: 本发明公开了一种航天软件临界资源访问冲突检测方法，由词法分析单元进行词法分析后，识别出词牌流，语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树，语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表，根据函数调用关系识别线程入口后对函数调用关系表进行线程着色，最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具，对快速、准确的识别软件中临界资源访问冲突的情况，从而提高软件可靠性。

公开(公告)号：CN110140446B

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

申请号：CN201418001922.5

申请日：2014-05-20

Applicant: 上海宇航系统工程研究所

Inventor： 熊四军 ,  严云红 ,  颜雯清 ,  陈宝东

IPC: H02P8/00

Abstract: 本发明解决的问题是提供一种FPGA通用步进电机驱动设计方法，包括以下步骤：步骤1，建立步进电机驱动系统的通用框架，所述框架主要基于CPU芯片、反熔丝FPGA芯片和驱动芯片LMD18200；步骤2，设计反熔丝PFGA芯片和CPU的通用接口，包括速度接口和电流接口；步骤3，通用驱动设计，包括细分数配置、死区保护、电机电流调节和计数步进值配置。本发明的设计方法具有较强的通用性、适用性和可靠性，为航天机构类驱动系统的产品化提供基础。

公开(公告)号：CN107967213A

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

申请号：CN201711292178.8

申请日：2017-12-07

Applicant: 上海宇航系统工程研究所

Inventor： 刘博 ,  严云红 ,  徐峰 ,  程云龙 ,  金燕 ,  刘汉兵 ,  刘雄 ,  吴建桔 ,  康岭 ,  沈宗月 ,  朱波 ,  彭立章 ,  秦金彪 ,  吴旭东

IPC: G06F11/36

CPC classification number: G06F11/3624

Abstract: 本发明公开了一种航天软件临界资源访问冲突检测方法，由词法分析单元进行词法分析后，识别出词牌流，语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树，语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表，根据函数调用关系识别线程入口后对函数调用关系表进行线程着色，最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具，对快速、准确的识别软件中临界资源访问冲突的情况，从而提高软件可靠性。

公开(公告)号：CN105022284A

公开(公告)日：2015-11-04

申请号：CN201410160998.1

申请日：2014-04-21

Applicant: 上海宇航系统工程研究所

Inventor： 彭立章 ,  徐峰 ,  严云红 ,  秦金彪 ,  贺彦博 ,  郭迪

IPC: G05B17/02

Abstract: 本发明提供一种飞行器星务仿真验证系统，所述飞行器星务的仿真验证系统包括：数字模型模块，用于对飞行器星务系统的各部分模拟；控制模块，用于基于外部指令输出控制指令，基于所述数字模型模块的模拟情况形成模拟结果；交互模块，用于接收外部指令，将来自所述控制模块的模拟结果输出至外部；通信模块，用于接收来及交互模块的外部指令，将所述外部指令提供给控制模块，将控制模块的控制指令输入至数字模型模块进行模拟，将来自控制模块的模拟结果传输至交互模块。

公开(公告)号：CN111832218B

公开(公告)日：2024-02-13

申请号：CN202010514726.2

申请日：2020-06-08

Applicant: 上海宇航系统工程研究所

Inventor： 刘博 ,  刘鹏宇 ,  徐峰 ,  严云红 ,  金燕 ,  彭立章 ,  杨雪勤 ,  康岭 ,  董辰晖 ,  贡鑫

IPC: G06F30/27 ,  G06F30/15 ,  G06N5/04 ,  G06F111/04

Abstract: 本发明提供一种航天器微型规则推理系统及方法，通过策略库维护规范化的规则集合，根据策略库生成决策推理网络，航天器在轨运行过程中，实时形成状态库，决策推理模块根据当前状态推理出需要执行的动作序列，通过冲突检测与消解模块过滤后，生成遥控指令。使用该方法可以开发相应的规则推理引擎程序，通过配置策略库，实现航天器基于规则的自主运行，从而提高航天器智能性。

公开(公告)号：CN111832218A

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

申请号：CN202010514726.2

申请日：2020-06-08

Applicant: 上海宇航系统工程研究所

Inventor： 刘博 ,  刘鹏宇 ,  徐峰 ,  严云红 ,  金燕 ,  彭立章 ,  杨雪勤 ,  康岭 ,  董辰晖 ,  贡鑫

IPC: G06F30/27 ,  G06F30/15 ,  G06N5/04 ,  G06F111/04

Abstract: 本发明提供一种航天器微型规则推理系统及方法，通过策略库维护规范化的规则集合，根据策略库生成决策推理网络，航天器在轨运行过程中，实时形成状态库，决策推理模块根据当前状态推理出需要执行的动作序列，通过冲突检测与消解模块过滤后，生成遥控指令。使用该方法可以开发相应的规则推理引擎程序，通过配置策略库，实现航天器基于规则的自主运行，从而提高航天器智能性。

公开(公告)号：CN204027519U

公开(公告)日：2014-12-17

申请号：CN201420116688.5

申请日：2014-03-14

Applicant: 上海宇航系统工程研究所

Inventor： 沈宗月 ,  王卫楠 ,  康岭 ,  肖余之 ,  曹鲁英 ,  魏然 ,  吴建桔 ,  朱波 ,  李向华 ,  严云红 ,  熊四军 ,  力昌兵

IPC: G01B11/00

Abstract: 本实用新型提供了一种光电编码器位置测试仪，其通过一光电编码器输出光信号至一光电编码器信号处理模块，所述光电编码器信号处理模块将所述光信号转化为电信号并对所述电信号进行处理后输出给一数据转换模块；所述数据转换模块接收经过处理的所述电信号并转换成数字位置信号；所述FPGA数字信号处理模块接收所述数字位置信号并转换为液晶驱动信号发送至一液晶显示模块；所述液晶显示模块接收液晶驱动信号并显示所述光电编码器的电气位置。本实用新型通过光电编码器信号处理模块、数据转换模块和FPGA数字信号处理模块协同完成了数据信号的整形、放大以及细分，输出的液晶驱动信号精度高，通过液晶显示屏幕实时显示光电编码器的电气位置。

公开(公告)号：CN204680004U

公开(公告)日：2015-09-30

申请号：CN201520301627.0

申请日：2015-05-11

Applicant: 上海宇航系统工程研究所

Inventor： 严云红 ,  熊四军 ,  秦金彪 ,  董辰晖 ,  邢珅 ,  徐媛媛 ,  程云龙 ,  郭迪 ,  彭立章 ,  陈元 ,  刘博 ,  任欣萍 ,  王奎

IPC: G06F11/26

Abstract: 本实用新型提供了一种星载嵌入式软件可靠性测试验证系统，其特征在于，包括依次连接的PC显控操作台、星载计算机模拟器、外部测量端口面板和测量记录仪；所述PC显控操作台与所述测量记录仪连接；其中，所述PC显控操作台包含CPU、显示电路、存储器、第一总线通信电路、以太网通信电路以及用于生产激励信号的第一并联电路；所述CPU分别与所述显示电路、存储器以及以太网通信电路连接，所述以太网通信电路与以太网输入端口连接，所述第一并联电路包括相互并联连接的数模/模数转换电路和数字量IO电路，该第一并联电路的输入端与所述CPU连接，输出端与第一总线通信电路连接，所述第一总线通信电路通过第一总线与所述星载计算机模拟器连接。