-
公开(公告)号:CN113810167A
公开(公告)日:2021-12-17
申请号:CN202111135710.1
申请日:2021-09-27
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种分布式系统的时序控制与同步方法,该方法包括:S100:预设时序控制与同步策略,编写时序控制与同步程序,并在进行封装后形成节点控制程序包,以使节点控制程序包作为独立线程在对应节点上运行;S200:基于各节点中封装后的节点控制程序包,根据不同的场景分类,在对应节点的发送数据处以及接收数据处,利用节点控制程序包对本地节点及相邻节点执行包括不做控制、挂起、暂停、缓存、恢复在内的不同时序控制,以便分布式系统网络的全局时序控制与同步。本发明结同步机制简单、低功耗,利用数据流保证节点间的依赖关系,并且收发同步不因节点的运行速度差异而变换,不需要引入额外控制端。
-
公开(公告)号:CN111307304A
公开(公告)日:2020-06-19
申请号:CN202010160021.5
申请日:2020-03-09
Applicant: 上海航天计算机技术研究所
IPC: G01J11/00
Abstract: 本发明提供了一种红外钟形脉冲特征参量提取验证方法及平台,包括:选定和加载信号模板,并绘制红外脉冲信号;根据实验需要设置环境参数;将信号模板和环境参数进行统一管理,生成实验输入数据;提取实验输出数据,生成红外钟形脉冲特征参量提取结果。本发明基于信号模板识别红外钟形脉冲特征参量,可以覆盖多种目标和干扰类型,保证测试场景的复杂多样性;使用有限集合实现红外钟形脉冲特征参量的全面验证;并且通过单次识别特征参量的标准化来实现测试标准化;在保证不变动被测软件的前提下实现动态测试。
-
公开(公告)号:CN112799942B
公开(公告)日:2023-08-22
申请号:CN202110120629.X
申请日:2021-01-28
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于Keil C51的软件源码和目标码覆盖率分析方法和系统,方法包括:S1:加载包括软件源码、目标码和M51文件在内的信息文件;S2:对所加载的信息文件进行解析,生成软件源码与目标码PC地址关联的对应关系文件;S3:利用Keil平台的软件可执行环境执行测试用例,并通过Keil命令生成当前用例的目标码执行结果文件;在执行多个测试用例时,生成多个目标码执行结果文件;S4:对一个或多个目标码执行结果文件中的目标码的每条指令的执行情况进行合并汇总,生成目标码覆盖率分析文件,并根据对应关系文件,生成软件源码覆盖率分析文件。本发明利用软件源码与目标码的对应关系,即可生成软件源码的覆盖率分析文件,避免插桩带来的目标码差异。
-
公开(公告)号:CN111307304B
公开(公告)日:2021-09-07
申请号:CN202010160021.5
申请日:2020-03-09
Applicant: 上海航天计算机技术研究所
IPC: G01J11/00
Abstract: 本发明提供了一种红外钟形脉冲特征参量提取验证方法及平台,包括:选定和加载信号模板,并绘制红外脉冲信号;根据实验需要设置环境参数;将信号模板和环境参数进行统一管理,生成实验输入数据;提取实验输出数据,生成红外钟形脉冲特征参量提取结果。本发明基于信号模板识别红外钟形脉冲特征参量,可以覆盖多种目标和干扰类型,保证测试场景的复杂多样性;使用有限集合实现红外钟形脉冲特征参量的全面验证;并且通过单次识别特征参量的标准化来实现测试标准化;在保证不变动被测软件的前提下实现动态测试。
-
公开(公告)号:CN112799942A
公开(公告)日:2021-05-14
申请号:CN202110120629.X
申请日:2021-01-28
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于Keil C51的软件源码和目标码覆盖率分析方法和系统,方法包括:S1:加载包括软件源码、目标码和M51文件在内的信息文件;S2:对所加载的信息文件进行解析,生成软件源码与目标码PC地址关联的对应关系文件;S3:利用Keil平台的软件可执行环境执行测试用例,并通过Keil命令生成当前用例的目标码执行结果文件;在执行多个测试用例时,生成多个目标码执行结果文件;S4:对一个或多个目标码执行结果文件中的目标码的每条指令的执行情况进行合并汇总,生成目标码覆盖率分析文件,并根据对应关系文件,生成软件源码覆盖率分析文件。本发明利用软件源码与目标码的对应关系,即可生成软件源码的覆盖率分析文件,避免插桩带来的目标码差异。
-
公开(公告)号:CN108196527B
公开(公告)日:2020-04-07
申请号:CN201711478194.6
申请日:2017-12-29
Applicant: 上海航天计算机技术研究所
IPC: G05B23/02
Abstract: 本发明公开了一种可重构配置的FPGA和DSP紧耦合架构的测试验证系统,包括可视化分系统、反馈控制分系统、与反馈控制分系统建立数据连接的目标机分系统,可视化分系统通过网络与反馈控制分系统进行通讯,接收并分析反馈控制分系统的反馈信号,向反馈控制分系统发送网络信号,网络信号包括控制信号、测试信号;反馈控制分系统负责目标分系统与外界数据的通讯,用于实现可重构配置的FPGA和DSP紧耦合架构的测试验证系统中所有数据的中转、调度;目标机分系统用于快速搭建可重构配置的包含FPGA与DSP芯片架构的目标原型机。该种测试验证系统,能够实现对被测试产品软件的正常功能测试和异常故障测试,并能够实现对FPGA与DSP之间的信号监测和篡改、故障注入功能。
-
公开(公告)号:CN108196527A
公开(公告)日:2018-06-22
申请号:CN201711478194.6
申请日:2017-12-29
Applicant: 上海航天计算机技术研究所
IPC: G05B23/02
Abstract: 本发明公开了一种可重构配置的FPGA和DSP紧耦合架构的测试验证系统,包括可视化分系统、反馈控制分系统、与反馈控制分系统建立数据连接的目标机分系统,可视化分系统通过网络与反馈控制分系统进行通讯,接收并分析反馈控制分系统的反馈信号,向反馈控制分系统发送网络信号,网络信号包括控制信号、测试信号;反馈控制分系统负责目标分系统与外界数据的通讯,用于实现可重构配置的FPGA和DSP紧耦合架构的测试验证系统中所有数据的中转、调度;目标机分系统用于快速搭建可重构配置的包含FPGA与DSP芯片架构的目标原型机。该种测试验证系统,能够实现对被测试产品软件的正常功能测试和异常故障测试,并能够实现对FPGA与DSP之间的信号监测和篡改、故障注入功能。
-
公开(公告)号:CN118131201A
公开(公告)日:2024-06-04
申请号:CN202410279557.7
申请日:2024-03-12
Applicant: 上海航天计算机技术研究所
IPC: G01S7/539
Abstract: 本发明提供了一种微波探测器速度距离准确回波信号的最小数据量生成方法,包括:根据发射脉冲信号的重复周期和脉冲宽度,采样距离门的个数和距离门宽度间的相互关系确定基本采样率和采样率修正值;通过基本采样率和采样率修正值综合计算得到最小采样数据率,使用最小采样数据率仿真生成回波信号。本发明可在保持回波信号速度距离计算特性的情况下,具备完整的速度距离特性,数据量大幅缩减,从而有效提高回波仿真的实时性,并确保回波信号满足距离门和脉冲宽度所决定的目标距离精度,且满足多普勒频率所决定的目标速度精度,实现使用最小采样数据率可仿真生成最小数据量的仿真回波信号。
-
公开(公告)号:CN113810167B
公开(公告)日:2023-05-09
申请号:CN202111135710.1
申请日:2021-09-27
Applicant: 上海航天计算机技术研究所
IPC: H04L7/00 , H04L7/04 , H04L67/1095
Abstract: 本发明公开了一种分布式系统的时序控制与同步方法,该方法包括:S100:预设时序控制与同步策略,编写时序控制与同步程序,并在进行封装后形成节点控制程序包,以使节点控制程序包作为独立线程在对应节点上运行;S200:基于各节点中封装后的节点控制程序包,根据不同的场景分类,在对应节点的发送数据处以及接收数据处,利用节点控制程序包对本地节点及相邻节点执行包括不做控制、挂起、暂停、缓存、恢复在内的不同时序控制,以便分布式系统网络的全局时序控制与同步。本发明结同步机制简单、低功耗,利用数据流保证节点间的依赖关系,并且收发同步不因节点的运行速度差异而变换,不需要引入额外控制端。
-
公开(公告)号:CN111200533A
公开(公告)日:2020-05-26
申请号:CN202010016113.6
申请日:2020-01-07
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种基于OpenDDS的分布式网络配置部署方法,本发明提供的基于OpenDDS的分布式网络配置部署方法,通过使用配置文件和封装编程接口的方式向工程人员提供简化的OpenDDS网络中间件,使得工程人员能够在不具备OpenDDS相关知识的情况下,快速完成分布式网络的配置部署。
-
-
-
-
-
-
-
-
-