-
公开(公告)号:CN112991513A
公开(公告)日:2021-06-18
申请号:CN202110170749.0
申请日:2021-02-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于航天器飞行测控技术领域,具体涉及一种基于测控任务分析系统模型库的场景模型快速构建系统。该系统包括:模型数据库建立模块、映射关系建立模块、访问关系建立模块、分析及保存模块、分析及反馈模块、分析及插入模块。与现有技术相比较,本发明出于加强模型通用、避免重复工作、提高工作效率的考虑,根据测控任务需求,提供一种实现测控场景模型快速构建的系统,其可以使用模型库功能,在创建任务场景的时快速插入模型库中已有模型,加强模型通用、避免重复工作、提高工作效率。
-
公开(公告)号:CN112991513B
公开(公告)日:2022-11-22
申请号:CN202110170749.0
申请日:2021-02-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于航天器飞行测控技术领域,具体涉及一种基于测控任务分析系统模型库的场景模型快速构建系统。该系统包括:模型数据库建立模块、映射关系建立模块、访问关系建立模块、分析及保存模块、分析及反馈模块、分析及插入模块。与现有技术相比较,本发明出于加强模型通用、避免重复工作、提高工作效率的考虑,根据测控任务需求,提供一种实现测控场景模型快速构建的系统,其可以使用模型库功能,在创建任务场景的时快速插入模型库中已有模型,加强模型通用、避免重复工作、提高工作效率。
-
公开(公告)号:CN112463641A
公开(公告)日:2021-03-09
申请号:CN202011487500.4
申请日:2020-12-16
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种用于软件缺陷核查的故障模式集构建方法及系统;其中方法包括如下步骤:对软件系统的各配置项软件进行分类,以确定各配置软件的类型;根据各类型的各配置项软件的执行任务方式,得到各配置项软件的功能模式;获取与软件系统相关的软件的历史缺陷数据,经过数据处理后,建立故障数据集合;结合所述各配置项软件的功能模式和故障数据集合挖掘与功能模式对应的故障模式,形成故障模式集。本发明从软件的功能层面有效预测软件的缺陷,可有效解决状态爆炸的问题,达到优化测试资源分配和提高软件产品质量的目的。
-
公开(公告)号:CN109061448A
公开(公告)日:2018-12-21
申请号:CN201811265842.4
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G01R31/28
CPC classification number: G01R31/2851
Abstract: 本发明属于集成电路测试技术领域,具体涉及一种基于模块化激励模型的集成电路测试激励生成系统。本发明应用时间轴配置方法产生与测试用例对应的任务点,通过配置任务点,形成包含激励模型的激励文件,实现激励信号的生成。并使任务点对应测试用例,实现对测试用例的可视化管理和批量执行。不仅解决了现有方案中人工成本大,调试复杂的矛盾,而且配置方式简单,适用于ASIC、SOC、FPGA等集成电路的仿真测试。
-
公开(公告)号:CN106886487A
公开(公告)日:2017-06-23
申请号:CN201510940269.2
申请日:2015-12-15
Applicant: 北京京航计算通讯研究所
Inventor: 姚可成 , 刘伟 , 孟伟 , 朱琳 , 杨楠 , 张哲 , 李卓 , 李丽华 , 张清 , 张国宇 , 宋悦 , 张玉 , 程海龙 , 李思 , 韩旭东 , 孙文靖 , 杨春霞 , 申璐 , 张磊 , 刘妍 , 李慧君 , 李晓伟
CPC classification number: G06F11/3692 , G06N3/02
Abstract: 本发明实施例公开了一种用于评价FPGA软件可靠性的方法,涉及FPGA软件可靠性评价技术,能够客观、准确的评价FPGA软件的可靠性。该方法包括输入训练样本数据;FPGA软件可靠性度量模型与BP神经网络结合,利用所述训练样本数据对神经网络进行训练,提取FPGA软件可靠性度量元,并确定该FPGA软件中每个度量元的值,输出可靠性评价结果,主要用于FPGA软件可靠性评价。
-
公开(公告)号:CN112463641B
公开(公告)日:2021-08-31
申请号:CN202011487500.4
申请日:2020-12-16
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种用于软件缺陷核查的故障模式集构建方法及系统;其中方法包括如下步骤:对软件系统的各配置项软件进行分类,以确定各配置软件的类型;根据各类型的各配置项软件的执行任务方式,得到各配置项软件的功能模式;获取与软件系统相关的软件的历史缺陷数据,经过数据处理后,建立故障数据集合;结合所述各配置项软件的功能模式和故障数据集合挖掘与功能模式对应的故障模式,形成故障模式集。本发明从软件的功能层面有效预测软件的缺陷,可有效解决状态爆炸的问题,达到优化测试资源分配和提高软件产品质量的目的。
-
公开(公告)号:CN109061447A
公开(公告)日:2018-12-21
申请号:CN201811265809.1
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G01R31/28
CPC classification number: G01R31/2851
Abstract: 本发明属于集成电路测试技术领域,具体涉及一种基于模块化激励模型的集成电路测试激励生成方法。本发明应用时间轴配置方法产生与测试用例对应的任务点,通过配置任务点,形成包含激励模型的激励文件,实现激励信号的生成。并使任务点对应测试用例,实现对测试用例的可视化管理和批量执行。不仅解决了现有方案中人工成本大,调试复杂的矛盾,而且配置方式简单,适用于ASIC、SOC、FPGA等集成电路的仿真测试。
-
-
-
-
-
-