-
公开(公告)号:CN107967213B
公开(公告)日:2021-06-04
申请号:CN201711292178.8
申请日:2017-12-07
Applicant: 上海宇航系统工程研究所
IPC: G06F11/36
Abstract: 本发明公开了一种航天软件临界资源访问冲突检测方法,由词法分析单元进行词法分析后,识别出词牌流,语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树,语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表,根据函数调用关系识别线程入口后对函数调用关系表进行线程着色,最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具,对快速、准确的识别软件中临界资源访问冲突的情况,从而提高软件可靠性。
-
公开(公告)号:CN107967213A
公开(公告)日:2018-04-27
申请号:CN201711292178.8
申请日:2017-12-07
Applicant: 上海宇航系统工程研究所
IPC: G06F11/36
CPC classification number: G06F11/3624
Abstract: 本发明公开了一种航天软件临界资源访问冲突检测方法,由词法分析单元进行词法分析后,识别出词牌流,语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树,语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表,根据函数调用关系识别线程入口后对函数调用关系表进行线程着色,最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具,对快速、准确的识别软件中临界资源访问冲突的情况,从而提高软件可靠性。
-
公开(公告)号:CN105515928B
公开(公告)日:2019-04-05
申请号:CN201510860555.8
申请日:2015-11-30
Applicant: 上海宇航系统工程研究所
Abstract: 本发明提供了一种载人航天器信息网络系统,包括:通信网络、总线控制网络、终端设备;终端设备包括有线终端设备、无线终端设备;总线控制网络包括顶层总线控制器、总线组;顶层总线控制器通过总线组与有线终端设备连接,顶层总线控制器用于通过总线组向有线终端设备发送控制指令,顶层总线控制器用于通过总线组接收有线终端设备发送的遥测信息;通信网络包含顶层交换机、接入交换机、无线接入点;接入交换机与顶层交换机相连,有线终端设备与顶层交换机或接入交换机相连从而接入通信网络;无线接入点与顶层交换机或接入交换机相连,无线终端设备通过无线接入点接入通信网络,或无线终端设备通过无线接入点直接进行通信。
-
公开(公告)号:CN118665727A
公开(公告)日:2024-09-20
申请号:CN202410797172.X
申请日:2024-06-20
Applicant: 上海宇航系统工程研究所
Abstract: 本发明公开了一种轨道服务飞行器系统,其包括多功能服务飞行器和货舱,其运行流程包括:a.多功能服务飞行器先行通过运载火箭发射至待命轨道独立飞行,货物由货舱装载,通过运载火箭发射至货舱交接轨道;b.多功能服务飞行器与已在货舱交接轨道的货舱实施交会;c.形成了多功能服务飞行器与货舱的组合体;在多功能服务飞行器推进下转移至被服务对象轨道;d.货舱内携带的货物被搬运至空间站指定位置;e.多功能服务飞行器与货舱组合体与空间站分离。本发明同时满足空间轨道航天器补给货物运输和在轨维修维护需求,具有任务功能多样、灵活性强、综合经济性好的优点,可应用于载人空间站、近地轨道站或其它大型航天器的在轨服务。
-
公开(公告)号:CN118560718A
公开(公告)日:2024-08-30
申请号:CN202410485606.2
申请日:2024-04-22
Applicant: 上海宇航系统工程研究所
Abstract: 本发明提供了一种轨道服务飞行器系统及其货物运输方法。该飞行器系统包括多功能服务飞行器、密封型货舱、非密封型货舱三个独立模块。其中,多功能服务飞行器长期在轨,根据需求进行轨道机动,提供包括货物运输、轨道维持、维修维护、推进剂补给等服务;密封型货舱和非密封型货舱通过运载火箭发射至地球低轨道,由多功能服务飞行器捕获并转移接管,最终运输至服务对象处将货物卸载。密封型货舱提供增压环境下货物,非密封型货舱提供暴露环境下货物,货物可包括空间试验装置、推进剂、维修备件及设备等。该轨道服务飞行器系统服务的对象可以是载人空间站等轨道站或其它大型航天器。
-
公开(公告)号:CN115806065A
公开(公告)日:2023-03-17
申请号:CN202211477742.4
申请日:2022-11-23
Applicant: 上海宇航系统工程研究所
IPC: B64G7/00
Abstract: 本发明公开了一种气浮和主动随动吊挂相结合的重力平衡试验系统,包括:气浮台、龙门架、随动重力卸载吊点、绝对定位测量系统和空间机器人卫星模拟器;其中,随动重力卸载吊点设置于龙门架上;空间机器人卫星模拟器悬浮在气浮台上;空间机器人卫星模拟器的机械臂与随动重力卸载吊点相连接;绝对定位测量系统的激光雷达传感器设置于空间机器人卫星模拟器的顶部,绝对定位测量系统的多点激光反射靶标阵列设置于龙门架上;绝对定位测量系统实时测量空间机器人卫星模拟器相对龙门架的绝对位置和姿态。本发明能够有效进行航天大型天线组装、卫星维修抢救、太空遥操作等三维空间内在地面重力环境下的六自由度操控试验。
-
公开(公告)号:CN118790507A
公开(公告)日:2024-10-18
申请号:CN202410485569.5
申请日:2024-04-22
Applicant: 上海宇航系统工程研究所
Abstract: 本发明提供了一种多功能服务航天器构型。该多功能服务航天器由动力舱和仪器舱组成,配置有机械臂、工具箱、推进剂补加装置、航天器对接停靠机构等主要装备。该多功能服务航天器采用特殊内外双承力筒构型:上部的仪器舱采用一种密封型的中心承力筒构型;下部的动力舱以外承力筒为主传力结构,与仪器舱中心承力筒通过一段截锥相连,同时内部还有一密封型内承力筒,与仪器舱中心承力筒一起形成一个密封空间。该多功能服务航天器长期在轨,根据需求进行轨道机动,主要用于提供包括货物运输、轨道维持、维修维护、推进剂补给等在轨服务。
-
公开(公告)号:CN118514874A
公开(公告)日:2024-08-20
申请号:CN202410797153.7
申请日:2024-06-20
Applicant: 上海宇航系统工程研究所
Abstract: 本发明公开了一种多功能服务航天器,包括货物舱和仪器舱;多功能服务航天器采用特殊内外双承力筒构型;上部的仪器舱采用一种密封型的中心承力筒构型;下部的货物舱以外承力筒为主承力结构,与仪器舱中心承力筒通过一段截锥相连,同时内部还有一密封型内承力筒,与仪器舱中心承力筒一起形成一个密封空间;仪器舱配置有机械臂、推进剂补加装置、轻量化航天器对接停靠机构;货物舱配置有航天器对接停靠机构。本发明所述的多功能服务航天器长期在轨,可以根据需求进行轨道机动,具备高度集成化的优势,主要用于提供包括货物运输、姿轨控接管、维修维护、推进剂补给等综合在轨服务。
-
公开(公告)号:CN105515928A
公开(公告)日:2016-04-20
申请号:CN201510860555.8
申请日:2015-11-30
Applicant: 上海宇航系统工程研究所
CPC classification number: H04L12/40006 , H04B7/18506
Abstract: 本发明提供了一种载人航天器信息网络系统,包括:通信网络、总线控制网络、终端设备;终端设备包括有线终端设备、无线终端设备;总线控制网络包括顶层总线控制器、总线组;顶层总线控制器通过总线组与有线终端设备连接,顶层总线控制器用于通过总线组向有线终端设备发送控制指令,顶层总线控制器用于通过总线组接收有线终端设备发送的遥测信息;通信网络包含顶层交换机、接入交换机、无线接入点;接入交换机与顶层交换机相连,有线终端设备与顶层交换机或接入交换机相连从而接入通信网络;无线接入点与顶层交换机或接入交换机相连,无线终端设备通过无线接入点接入通信网络,或无线终端设备通过无线接入点直接进行通信。
-
公开(公告)号:CN102981502B
公开(公告)日:2015-09-16
申请号:CN201210538465.3
申请日:2012-12-13
Applicant: 上海宇航系统工程研究所
IPC: G05B23/02
Abstract: 本发明公开了一种基于USB接口的伺服机构控制器测试台,所述测试台包括USB接口扩展模块、CAN通信模块和AD采集模块,所述基于USB接口的伺服机构控制器测试台在一上位机的控制下,采用USB接口扩展模块实现多通道数据的快速发送和接收,并由CAN通信模块和AD采集模块进行数据可靠通信和数据快速采集对一型号单机进行测试。所述基于USB接口的伺服机构控制器测试台在USB并行接口的快速传输和AD采集电路的高速采集信息,有效提高了测试性能和测试速度,并且大大增强了航天型号单机测试的可靠性和覆盖性。
-
-
-
-
-
-
-
-
-