-
公开(公告)号:CN111124897B
公开(公告)日:2023-01-10
申请号:CN201911244969.2
申请日:2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种可重用仿真接口模型的生成方法,属于可编程逻辑器件软件的测试与验证领域。所述方法包括以下步骤:步骤1:获取接口协议、时序及功能描述;步骤2:提取可扩展参数;步骤3:构建参数控制体;步骤4:实体描述;步骤5组合封装。与现有技术相比,本发明形成的仿真接口模型具有可重用特性,对可扩展参数进行设置后,可用于其他可编程逻辑器件软件的仿真平台,提高可编程逻辑器件软件仿真平台的搭建效率。
-
公开(公告)号:CN111444084A
公开(公告)日:2020-07-24
申请号:CN201911296104.0
申请日:2019-12-16
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件测评相关技术领域,具体涉及一种基于Bayes的军用软件质量度量方法,基于人工智能理论中Bayes的推理网络,提出了一种基于Bayes的军用软件质量度量方法。该方法以概率的形式描述了各个度量元对军用软件质量的影响,并且以概率的形式定量描述了军用软件质量的好坏。对比国内外软件质量度量方法,本发明的技术方法提高军用软件质量度量的准确性、可靠性。
-
公开(公告)号:CN110988921A
公开(公告)日:2020-04-10
申请号:CN201911240179.7
申请日:2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G01S19/20
Abstract: 本发明属于全球卫星导航检测技术领域,具体涉及一种基于改进无迹卡尔曼粒子滤波的RAIM系统。与现有技术相比较,本发明为实现在非高斯观测噪声环境下有效开展接收机自主完好性监测,通过在粒子滤波方法中引入改进后的无迹卡尔曼滤波,通过改进无迹卡尔曼滤波实现粒子滤波中更合理的状态预测和建议密度计算,能够有效避免粒子退化现象,在保障粒子滤波接收机自主完好性监测方法对非高斯观测噪声环境的适应性的同时,也减少了引入无迹卡尔曼粒子滤波所带来的计算量,保证了算法运算效率。因此,该方案既改善粒子滤波退化问题,同时保障该方法对非高斯观测噪声的适应性,通过对无迹卡尔曼滤波的改进也减少来由其导致的计算量。
-
公开(公告)号:CN109061448A
公开(公告)日:2018-12-21
申请号:CN201811265842.4
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G01R31/28
CPC classification number: G01R31/2851
Abstract: 本发明属于集成电路测试技术领域,具体涉及一种基于模块化激励模型的集成电路测试激励生成系统。本发明应用时间轴配置方法产生与测试用例对应的任务点,通过配置任务点,形成包含激励模型的激励文件,实现激励信号的生成。并使任务点对应测试用例,实现对测试用例的可视化管理和批量执行。不仅解决了现有方案中人工成本大,调试复杂的矛盾,而且配置方式简单,适用于ASIC、SOC、FPGA等集成电路的仿真测试。
-
公开(公告)号:CN111124790A
公开(公告)日:2020-05-08
申请号:CN201911243722.9
申请日:2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/26
Abstract: 本发明涉及一种可重用仿真接口模型的生成系统,属于可编程逻辑器件软件的测试与验证领域。所述系统包括:所述信息获取模块用于获取外部接口器件手册信息,将所述信息输出至参数提取模块;所述参数提取模块依据输入信息,分析并提取可扩展参数;所述结构体生成模块用于生成仿真接口模型结构体;所述实体生成模块用于生成仿真接口模型实体;所述组合封装模块用于将所述仿真接口模型结构体以及仿真接口模型结构体组合封装,生成可重用仿真接口模型。与现有技术相比,本发明形成的仿真接口模型具有可重用特性,对可扩展参数进行设置后,可用于其他可编程逻辑器件软件的仿真平台,提高可编程逻辑器件软件仿真平台的搭建效率。
-
公开(公告)号:CN109061447A
公开(公告)日:2018-12-21
申请号:CN201811265809.1
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G01R31/28
CPC classification number: G01R31/2851
Abstract: 本发明属于集成电路测试技术领域,具体涉及一种基于模块化激励模型的集成电路测试激励生成方法。本发明应用时间轴配置方法产生与测试用例对应的任务点,通过配置任务点,形成包含激励模型的激励文件,实现激励信号的生成。并使任务点对应测试用例,实现对测试用例的可视化管理和批量执行。不仅解决了现有方案中人工成本大,调试复杂的矛盾,而且配置方式简单,适用于ASIC、SOC、FPGA等集成电路的仿真测试。
-
公开(公告)号:CN112584120A
公开(公告)日:2021-03-30
申请号:CN202011478977.6
申请日:2020-12-15
Applicant: 北京京航计算通讯研究所
IPC: H04N13/122 , H04N13/243 , H04N13/275 , H04N13/327 , H04N13/363 , G06T7/00 , G06T17/05 , G06T19/00 , H04L29/06 , H04L29/08 , H04N7/18
Abstract: 本发明属于虚实融合视频监控相关技术领域,具体涉及一种视频融合方法,其包括:步骤1:三维建模;步骤2:效果调整;步骤3:视频流处理;步骤4:视频畸形矫正;步骤5:视频投射;本发明的视频融合技术,通过对监控视频数据流提取视频帧并将其投射到虚拟场景里,实现视频数据与虚拟场景数据的全时空立体融合,改变了地图应用只能静态展示的传统模式,将部署在不同地理位置的多路实时监控视频与监控区域的三维模型进行配准融合,生成大范围三维全景动态监控画面,实现监控区域整体安全态势的实时全局掌控。
-
公开(公告)号:CN111124790B
公开(公告)日:2023-01-10
申请号:CN201911243722.9
申请日:2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/26
Abstract: 本发明涉及一种可重用仿真接口模型的生成系统,属于可编程逻辑器件软件的测试与验证领域。所述系统包括:所述信息获取模块用于获取外部接口器件手册信息,将所述信息输出至参数提取模块;所述参数提取模块依据输入信息,分析并提取可扩展参数;所述结构体生成模块用于生成仿真接口模型结构体;所述实体生成模块用于生成仿真接口模型实体;所述组合封装模块用于将所述仿真接口模型结构体以及仿真接口模型结构体组合封装,生成可重用仿真接口模型。与现有技术相比,本发明形成的仿真接口模型具有可重用特性,对可扩展参数进行设置后,可用于其他可编程逻辑器件软件的仿真平台,提高可编程逻辑器件软件仿真平台的搭建效率。
-
公开(公告)号:CN109408392A
公开(公告)日:2019-03-01
申请号:CN201811314440.9
申请日:2018-11-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件持续集成与软件工程技术领域,具体涉及一种基于持续集成技术的软件集成测试方法,包括:接收外部输入的各类参数信息;提供代码推送、代码推送标识生成;检测推送标识,查看代码是否有更新,同时读取输入的测试参数作为测试工具的运行参数,然后调用测试工具进行软件测试,在测试工具运行完成后将测试结果存储到指定位置;将测试工具生成的各种测试结果进行发布。该技术方案对软件测试工具进行集中化自动调度管理,可有效解决目前软件测试工具使用方式分散、使用过程繁琐、自动化程度低以及许可证冲突的问题。
-
公开(公告)号:CN113162961A
公开(公告)日:2021-07-23
申请号:CN202011481648.7
申请日:2020-12-15
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于视频监控控制技术相关技术领域,具体涉及一种基于语音控制的视频监控设备搜索系统。所述系统包括:语音采集设备、语音解析系统服务器、视频监控系统服务器、PC客户端。本发明通过语音采集设备收集到语音后,通过语音解析系统服务器对语音进行解析,并将语音命令转化为文字命令,发送至视频监控系统服务器,视频监控系统服务器收到文字命令后,将文字命令中涉及的监控摄像机进行搜索,在PC客户端上进行展示。通过语音控制视频监控设备搜索,减少视频监控管理人员的人工输入查询,从而实现监控摄像机的快速搜索、监控画面的精准定位。
-
-
-
-
-
-
-
-
-