-
公开(公告)号：CN107967213B
公开(公告)日：2021-06-04
申请号：CN201711292178.8
申请日：2017-12-07
申请人： 上海宇航系统工程研究所
IPC分类号： G06F11/36
摘要： 本发明公开了一种航天软件临界资源访问冲突检测方法，由词法分析单元进行词法分析后，识别出词牌流，语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树，语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表，根据函数调用关系识别线程入口后对函数调用关系表进行线程着色，最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具，对快速、准确的识别软件中临界资源访问冲突的情况，从而提高软件可靠性。
-
公开(公告)号：CN110916316A
公开(公告)日：2020-03-27
申请号：CN201911257438.7
申请日：2019-12-10
申请人： 上海宇航系统工程研究所
摘要： 本发明公开了一种具有定时功能的锁手机盒，一种具有定时功能的锁手机盒，其特征在于，包括电路控制板、锁紧装置、盖板、底座、定时装置、7号电池和解/锁按钮；所述电路控制板与定时装置连接，电路控制板根据定时装置发出的信号，做出相应时间控制；所述电路控制板与解/锁按钮连接，电路控制板根据解/锁按钮发出的信号，控制锁紧装置状态；所述锁紧装置根据电路控制板信号控制盖板状态，实现锁盖板和解锁盖板的功能，用于对手机等电子设备的使用时长控制，解决手机瘾的问题。
-
公开(公告)号：CN105515928B
公开(公告)日：2019-04-05
申请号：CN201510860555.8
申请日：2015-11-30
申请人： 上海宇航系统工程研究所
摘要： 本发明提供了一种载人航天器信息网络系统，包括：通信网络、总线控制网络、终端设备；终端设备包括有线终端设备、无线终端设备；总线控制网络包括顶层总线控制器、总线组；顶层总线控制器通过总线组与有线终端设备连接，顶层总线控制器用于通过总线组向有线终端设备发送控制指令，顶层总线控制器用于通过总线组接收有线终端设备发送的遥测信息；通信网络包含顶层交换机、接入交换机、无线接入点；接入交换机与顶层交换机相连，有线终端设备与顶层交换机或接入交换机相连从而接入通信网络；无线接入点与顶层交换机或接入交换机相连，无线终端设备通过无线接入点接入通信网络，或无线终端设备通过无线接入点直接进行通信。
-
公开(公告)号：CN107967213A
公开(公告)日：2018-04-27
申请号：CN201711292178.8
申请日：2017-12-07
申请人： 上海宇航系统工程研究所
IPC分类号： G06F11/36
CPC分类号： G06F11/3624
摘要： 本发明公开了一种航天软件临界资源访问冲突检测方法，由词法分析单元进行词法分析后，识别出词牌流，语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树，语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表，根据函数调用关系识别线程入口后对函数调用关系表进行线程着色，最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具，对快速、准确的识别软件中临界资源访问冲突的情况，从而提高软件可靠性。
-
公开(公告)号：CN105515928A
公开(公告)日：2016-04-20
申请号：CN201510860555.8
申请日：2015-11-30
申请人： 上海宇航系统工程研究所
CPC分类号： H04L12/40006 , H04B7/18506
摘要： 本发明提供了一种载人航天器信息网络系统，包括：通信网络、总线控制网络、终端设备；终端设备包括有线终端设备、无线终端设备；总线控制网络包括顶层总线控制器、总线组；顶层总线控制器通过总线组与有线终端设备连接，顶层总线控制器用于通过总线组向有线终端设备发送控制指令，顶层总线控制器用于通过总线组接收有线终端设备发送的遥测信息；通信网络包含顶层交换机、接入交换机、无线接入点；接入交换机与顶层交换机相连，有线终端设备与顶层交换机或接入交换机相连从而接入通信网络；无线接入点与顶层交换机或接入交换机相连，无线终端设备通过无线接入点接入通信网络，或无线终端设备通过无线接入点直接进行通信。
-
公开(公告)号：CN102981502B
公开(公告)日：2015-09-16
申请号：CN201210538465.3
申请日：2012-12-13
申请人： 上海宇航系统工程研究所
IPC分类号： G05B23/02
摘要： 本发明公开了一种基于USB接口的伺服机构控制器测试台，所述测试台包括USB接口扩展模块、CAN通信模块和AD采集模块，所述基于USB接口的伺服机构控制器测试台在一上位机的控制下，采用USB接口扩展模块实现多通道数据的快速发送和接收，并由CAN通信模块和AD采集模块进行数据可靠通信和数据快速采集对一型号单机进行测试。所述基于USB接口的伺服机构控制器测试台在USB并行接口的快速传输和AD采集电路的高速采集信息，有效提高了测试性能和测试速度，并且大大增强了航天型号单机测试的可靠性和覆盖性。
-
公开(公告)号：CN102981502A
公开(公告)日：2013-03-20
申请号：CN201210538465.3
申请日：2012-12-13
申请人： 上海宇航系统工程研究所
IPC分类号： G05B23/02
摘要： 本发明公开了一种基于USB接口的伺服机构控制器测试台，所述测试台包括USB接口扩展模块、CAN通信模块和AD采集模块，所述基于USB接口的伺服机构控制器测试台在一上位机的控制下，采用USB接口扩展模块实现多通道数据的快速发送和接收，并由CAN通信模块和AD采集模块进行数据可靠通信和数据快速采集对一型号单机进行测试。所述基于USB接口的伺服机构控制器测试台在USB并行接口的快速传输和AD采集电路的高速采集信息，有效提高了测试性能和测试速度，并且大大增强了航天型号单机测试的可靠性和覆盖性。
-
公开(公告)号：CN205210209U
公开(公告)日：2016-05-04
申请号：CN201520978889.0
申请日：2015-12-01
申请人： 上海宇航系统工程研究所
IPC分类号： G01R31/00
摘要： 本实用新型公开了一种信号拉偏器，包括信号处理模块、拉偏控制模块、转接模块和I/O模块；信号处理模块分别与拉偏控制模块、转接模块和I/O模块相连接；转接模块用于与外部上位机相连接；拉偏控制模块用于设定拉偏时间；信号处理模块用于：读取拉偏控制模块上设定的拉偏时间；根据拉偏时间对转接模块接收到的信息进行拉偏，并通过I/O模块发送至外部设备。利用本实用新型的单片机输出信号拉偏器，可精确模拟由于太空高低温环境引起的信号拉偏，便于使用单片机的航天设备在测试、调试环节验证产品的高低温适应性。
-
公开(公告)号：CN206209051U
公开(公告)日：2017-05-31
申请号：CN201621205665.7
申请日：2016-11-08
申请人： 上海宇航系统工程研究所
摘要： 本实用新型公开了一种可扩展式电缆绝缘测试仪，用于将待测电缆通过待测电缆接插件插接到待测电缆连接器上，以此测量待测电缆的绝缘特性，包括上测量孔、下测量孔、上扩展孔、下扩展孔、扩展线和若干双向开关，若干双向开关与待测电缆接插件上对应编号的各测试点一一对应电气连接；每一个双向开关均与上测量孔和下测量孔电气连接，上测量孔和下测量孔之间通过万用表连接，用于测量上测量孔和下测量孔间的绝缘阻值；上扩展孔与所述上测量孔电气连接；下扩展孔与所述下测量孔电气连接；扩展线分别与上扩展孔和下扩展孔插接连接，用于将一个可扩展式电缆绝缘测试仪的上扩展孔和下扩展孔与另一个可扩展式电缆绝缘测试仪的上扩展孔和下扩展孔对应连接。
-
公开(公告)号：CN214751424U
公开(公告)日：2021-11-16
申请号：CN202120608513.6
申请日：2021-03-25
申请人： 上海宇航系统工程研究所
IPC分类号： G05B19/042
摘要： 一种多飞行器间可重构的总线网络，包括一级总线网络和二级总线网络；一级总线网络包括一级总线、终端电阻、总线开关和分离连接器；N个飞行器通过一级总线连接，一级总线两端各连接一个终端电阻，相邻两个飞行器之间通过分离连接器连接，分离连接器两侧分别连接总线开关；每个飞行器内部各单机间通过二级总线网络连接；多飞行器组合通信时，总线开关接通一级总线网络和二级总线网络；某飞行器需要独立飞行时，与该飞行器紧邻的分离连接器两侧总线开关切换到自身终端匹配电阻，分离连接器分离。本实用新型实现了多飞行器组合飞行状态下与飞行器独立飞行状态下的总线通信。
-
-
-
-
-
-
-
-
-
搜索结果
12 条记录 (耗时 0.027 秒)