公开(公告)号：CN107967213A

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

申请号：CN201711292178.8

申请日：2017-12-07

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

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

IPC: G06F11/36

CPC classification number: G06F11/3624

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

公开(公告)号：CN107967213B

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

申请号：CN201711292178.8

申请日：2017-12-07

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

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

IPC: G06F11/36

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

公开(公告)号：CN119515973A

公开(公告)日：2025-02-25

申请号：CN202411544097.2

申请日：2024-10-31

Applicant: 上海宇航系统工程研究所 ,  复旦大学

Inventor： 彭立章 ,  肖余之 ,  李江道 ,  靳永强 ,  靳宗向 ,  张文强 ,  唐生勇 ,  赵真 ,  程云龙 ,  金荣璐 ,  蒋成福 ,  梁起豪

IPC: G06T7/73 ,  G06T15/04 ,  G06V10/776 ,  G06V10/82

Abstract: 本发明公开了一种基于深度学习的空间目标自适应位姿估计系统。主要包括空间非合作目标数据集单元、图像预处理单元、深度学习网络模型单元、模型跨域自适应单元和非合作目标高精度位姿估计单元。本发明将3D卫星模型通过渲染后获得图像数据集，通过去噪、数据增强、校正与配准等技术进行图像预处理，利用深度学习构建高鲁棒性的位姿估计模型，同时将模型参数进行跨域自适应优化，从而实现了跨域自适应的非合作目标位姿估计。本发明同时公开了空间非合作目标位姿估计的实现方法，经济、高效地实现了空间非合作目标的高精度位姿估计，为我国在空间自适应非合作目标位姿估计领域做出了巨大贡献。

公开(公告)号：CN102306216A

公开(公告)日：2012-01-04

申请号：CN201110227848.4

申请日：2011-08-10

Applicant: 上海交通大学 ,  上海宇航系统工程研究所

Inventor： 鲍劲松 ,  金烨 ,  唐平 ,  胡震宇 ,  杜三虎 ,  程云龙

IPC: G06F17/50

Abstract: 本发明公开一种月球车多规律仿真测试系统，其中：几何模块建立月球车几何模型并生成真实感数字月面模型；动力学模块得到更新接触约束关系；运动控制模块生成的路径信息并转化为运动控制信息输出至动力学模块；数据分析与评价模块负责将动力学模块的仿真结果输出以便进行分析；导航与规划模块对从可视化模块获得的场景信息进行图像处理，获得场景中的障碍信息，根据障碍信息进行路径规划并发出对车体的控制指令；可视化模块建立场景树并利用多通道立体渲染技术输出虚拟环境，同时可视化模块接收动力学模块的更新接触约束关系。本发明真实感强、融入月球车自主导航系统并且反映物理规律的真实性，充分考虑月球车与月面的交互作用。

公开(公告)号：CN204680004U

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

申请号：CN201520301627.0

申请日：2015-05-11

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

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

IPC: G06F11/26

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