-
公开(公告)号：CN107967213B
公开(公告)日：2021-06-04
申请号：CN201711292178.8
申请日：2017-12-07
Applicant: 上海宇航系统工程研究所
IPC: G06F11/36
Abstract: 本发明公开了一种航天软件临界资源访问冲突检测方法，由词法分析单元进行词法分析后，识别出词牌流，语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树，语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表，根据函数调用关系识别线程入口后对函数调用关系表进行线程着色，最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具，对快速、准确的识别软件中临界资源访问冲突的情况，从而提高软件可靠性。
-
公开(公告)号：CN112332195A
公开(公告)日：2021-02-05
申请号：CN202011181355.7
申请日：2020-10-29
Applicant: 上海宇航系统工程研究所
IPC: H01R43/26
Abstract: 一种螺纹电连接器的电动拆装工具，属于机电装配技术领域，包括本体支撑组件、夹持抱紧机构、旋拧机构、电气组件、电连接器附件，本体支撑组件用于支撑夹持抱紧机构、旋拧机构及电气组件；电气组件分别与夹持抱紧机构及旋拧机构相连；电连接器附件包括插头组件和插座附件，插头组件安装在电连接器的插头上，插座组件安装在电连接器的插座上；电气组件控制夹持抱紧机构侧向夹持插头组件；电气组件控制旋拧机构将插头组件与插座组件对准；电气组件控制夹持抱紧机构对插头组件进行旋拧，实现电连接器的插头和插座的连接和释放。本发明能够对电连接器进行侧向夹持、轴向键对准并旋拧，实现插头和插座的连接和释放，操作方便。
-
公开(公告)号：CN112148000A
公开(公告)日：2020-12-29
申请号：CN202010887183.9
申请日：2020-08-28
Applicant: 上海宇航系统工程研究所
IPC: G05D1/02
Abstract: 本发明公开了一种模拟空间维修机器人操作场景的舱内仿真平台。主要包括通讯接口单元、显示控制单元、备用显示单元。本发明通过实时设备和非实时设备的互联、软件算法的应用，实现对舱外机器人的预置路径规划、预先仿真、场景演示、舱外实时监控、故障预案处理等功能。显示控制单元实现与通讯接口单元、下层机器人的数据交互、与航天员的人机交互、内置算法的实现等功能。备用显示单元由若干备用显示器组成，实现场景演示和实施监控的分屏显示。本发明同时公开了该舱内仿真平台的实现方法。本发明经济、高效地实现了空间维修机器人操作场景的舱内仿真模拟，实施容易，为有效保证和延长航天器的使用周期提供支撑。
-
公开(公告)号：CN112148000B
公开(公告)日：2022-10-21
申请号：CN202010887183.9
申请日：2020-08-28
Applicant: 上海宇航系统工程研究所
IPC: G05D1/02
Abstract: 本发明公开了一种模拟空间维修机器人操作场景的舱内仿真平台。主要包括通讯接口单元、显示控制单元、备用显示单元。本发明通过实时设备和非实时设备的互联、软件算法的应用，实现对舱外机器人的预置路径规划、预先仿真、场景演示、舱外实时监控、故障预案处理等功能。显示控制单元实现与通讯接口单元、下层机器人的数据交互、与航天员的人机交互、内置算法的实现等功能。备用显示单元由若干备用显示器组成，实现场景演示和实施监控的分屏显示。本发明同时公开了该舱内仿真平台的实现方法。本发明经济、高效地实现了空间维修机器人操作场景的舱内仿真模拟，实施容易，为有效保证和延长航天器的使用周期提供支撑。
-
公开(公告)号：CN107967213A
公开(公告)日：2018-04-27
申请号：CN201711292178.8
申请日：2017-12-07
Applicant: 上海宇航系统工程研究所
IPC: G06F11/36
CPC classification number: G06F11/3624
Abstract: 本发明公开了一种航天软件临界资源访问冲突检测方法，由词法分析单元进行词法分析后，识别出词牌流，语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树，语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表，根据函数调用关系识别线程入口后对函数调用关系表进行线程着色，最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具，对快速、准确的识别软件中临界资源访问冲突的情况，从而提高软件可靠性。
-
Patent Agency Ranking
公开(公告)号：CN105022284A
公开(公告)日：2015-11-04
申请号：CN201410160998.1
申请日：2014-04-21
Applicant: 上海宇航系统工程研究所
IPC: G05B17/02
Abstract: 本发明提供一种飞行器星务仿真验证系统，所述飞行器星务的仿真验证系统包括：数字模型模块，用于对飞行器星务系统的各部分模拟；控制模块，用于基于外部指令输出控制指令，基于所述数字模型模块的模拟情况形成模拟结果；交互模块，用于接收外部指令，将来自所述控制模块的模拟结果输出至外部；通信模块，用于接收来及交互模块的外部指令，将所述外部指令提供给控制模块，将控制模块的控制指令输入至数字模型模块进行模拟，将来自控制模块的模拟结果传输至交互模块。
-
公开(公告)号：CN111832218B
公开(公告)日：2024-02-13
申请号：CN202010514726.2
申请日：2020-06-08
Applicant: 上海宇航系统工程研究所
IPC: G06F30/27 , G06F30/15 , G06N5/04 , G06F111/04
Abstract: 本发明提供一种航天器微型规则推理系统及方法，通过策略库维护规范化的规则集合，根据策略库生成决策推理网络，航天器在轨运行过程中，实时形成状态库，决策推理模块根据当前状态推理出需要执行的动作序列，通过冲突检测与消解模块过滤后，生成遥控指令。使用该方法可以开发相应的规则推理引擎程序，通过配置策略库，实现航天器基于规则的自主运行，从而提高航天器智能性。
-
公开(公告)号：CN111832218A
公开(公告)日：2020-10-27
申请号：CN202010514726.2
申请日：2020-06-08
Applicant: 上海宇航系统工程研究所
IPC: G06F30/27 , G06F30/15 , G06N5/04 , G06F111/04
Abstract: 本发明提供一种航天器微型规则推理系统及方法，通过策略库维护规范化的规则集合，根据策略库生成决策推理网络，航天器在轨运行过程中，实时形成状态库，决策推理模块根据当前状态推理出需要执行的动作序列，通过冲突检测与消解模块过滤后，生成遥控指令。使用该方法可以开发相应的规则推理引擎程序，通过配置策略库，实现航天器基于规则的自主运行，从而提高航天器智能性。
-
公开(公告)号：CN119515973A
公开(公告)日：2025-02-25
申请号：CN202411544097.2
申请日：2024-10-31
Applicant: 上海宇航系统工程研究所 , 复旦大学
IPC: G06T7/73 , G06T15/04 , G06V10/776 , G06V10/82
Abstract: 本发明公开了一种基于深度学习的空间目标自适应位姿估计系统。主要包括空间非合作目标数据集单元、图像预处理单元、深度学习网络模型单元、模型跨域自适应单元和非合作目标高精度位姿估计单元。本发明将3D卫星模型通过渲染后获得图像数据集，通过去噪、数据增强、校正与配准等技术进行图像预处理，利用深度学习构建高鲁棒性的位姿估计模型，同时将模型参数进行跨域自适应优化，从而实现了跨域自适应的非合作目标位姿估计。本发明同时公开了空间非合作目标位姿估计的实现方法，经济、高效地实现了空间非合作目标的高精度位姿估计，为我国在空间自适应非合作目标位姿估计领域做出了巨大贡献。
-
公开(公告)号：CN117851717A
公开(公告)日：2024-04-09
申请号：CN202311060000.6
申请日：2023-08-22
Applicant: 上海宇航系统工程研究所
IPC: G06F17/10
Abstract: 本发明涉及航空航天技术领域，提供了一种考虑高精地形的月球南北极光照情况实时计算方法，尤其是南北极表面探测，包括以下步骤：S1：建立地面测量位置的坐标系，光照计算模型输入地面测量位置的坐标，定义太阳的光照状态从而说明在考虑高精地形时月球的光照情况；S2：根据光照情况的计算参数和指定的地形数据库信息计算地面测量位置的最大高度角；S3：通过高精度星历和指定时间序列计算太阳相关参数，进一步计算出地面测量位置的所述光照情况。基于目前已有最高精度DEM地形数据，通过逐方位角搜索地平线并计算仰角，再结合太阳高度角和圆盘视直径，得到该地点光照计算结果，计算出当前位置的光照情况，通过用户界面输出表格数据和图形数据。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.035 seconds)
