-
公开(公告)号：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软件可靠性评价。
-
公开(公告)号：CN102854801A
公开(公告)日：2013-01-02
申请号：CN201210358760.0
申请日：2012-09-25
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及一种基于分时复用的大数据量FPGA仿真测试方法，目的是为了解决大数据量FPGA仿真测试内存不足的问题，为了提高大数据量FPGA仿真测试的充分性。该方法包括减少仿真测试所使用的内存资源至仿真工具允许的容量围内的步骤；根据内存资源大小将需要测试的RAM数据分为若干部分的步骤；采用分时复用方式，分别对划分出的若干个RAM数据部分进行测试的步骤；在分时复用时，采用动态管理内存的方法，动态计算当前仿真测试所需要的系统内存空间并对内存进行分配和释放的步骤。
-
公开(公告)号：CN109460362A
公开(公告)日：2019-03-12
申请号：CN201811314437.7
申请日：2018-11-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件工程技术领域，具体涉及一种基于细粒度特征语义网络的系统接口时序知识分析系统，其包括：构建嵌入式系统测试故障集；在嵌入式系统测试故障集中搜索接口关键问题，分析提取与时序相关的故障，初步形成时序相关的接口故障集；在嵌入式系统测试故障集中搜索与时序关键的故障，分析提取与接口相关的故障，形成接口相关的时序故障集；两个故障集合并形成接口时序故障集；根据时序故障库中的故障类型，利用基于细粒度特征语义网络的方法，提取接口时序关键影响因素，形成嵌入式系统接口时序知识集。由此得到的嵌入式系统接口时序知识可实现测试知识的继承，且具有可扩展性，便于测试知识的推送，提升测试效率。
-
公开(公告)号：CN103631317A
公开(公告)日：2014-03-12
申请号：CN201310435972.9
申请日：2013-09-24
Applicant: 北京京航计算通讯研究所
IPC: G06F1/04
Abstract: 本发明属于一种抗单粒子翻转的复位计数方法，它包括，根据定时所需要的时间以及系统时钟的周期，确定复位定时计数器的限定值以及计数器的基本位数，根据系统所需要的可靠程度，在计数器基本位数基础上扩展三位至八位，作为扩展位，将基本位与扩展位之和最终确定为所用计数器的位数；将计数器初始化；每个系统时钟周期刷新定时器。其优点是，当发生单粒子翻转事件使计数器的任意一个位由1变为0时，计数器的值都不会再出现小于限定值的情况。另外，由于计数器的值在每个系统时钟周期都会刷新一次，即使发生了单粒子翻转，其状态会在下一个系统时钟周期刷新回原值，不会产生累积效应。
-
Patent Agency Ranking
公开(公告)号：CN109409130A
公开(公告)日：2019-03-01
申请号：CN201811293271.5
申请日：2018-11-01
Applicant: 北京京航计算通讯研究所
Inventor： 李卓 , 王颖 , 刘军 , 王黎 , 朱琳 , 韩旭东 , 寇科男 , 王栋 , 张国宇 , 杨楠 , 双世勇 , 孟伟 , 宋悦 , 何占博 , 高飞 , 闫丛 , 张晛 , 吴少雪 , 赵东升 , 李艳军
Abstract: 本发明属于电子文件传递共享过程中的电子文件签署技术领域，具体涉及一种用于非网络环境下的电子文件签署系统，其中Hash运算模块对电子文件进行Hash运算，产生相应电子文件的摘要值，并保存为文件，保存摘要值的文件共享给其他用户；秘钥生成模块根据非对称加密算法生成包含和用户信息互相绑定的用户私钥和公钥，用户私钥和公钥共享给其他用户；所述签署模块将所述摘要值和签署意见以及其他可选信息组合后通过非对称加密算法使用用户私钥进行加密，生成签署文件，分享给其他用户。该系统能在非网络环境下使用移动存储介质进行数据传输，对于多方达成一致意见的文件，能够防止文件被篡改，对于各当事人的意见形成签署，防止事后抵赖。
-
公开(公告)号：CN106508031B
公开(公告)日：2014-04-02
申请号：CN201110012677.3
申请日：2011-09-09
Applicant: 北京京航计算通讯研究所
IPC: G06F17/50
Abstract: 本发明属于可编程逻辑器件测试技术领域，本发明的目的是为了解决FPGA安全性测试需求不足的问题，同时为了提高FPGA测试需求覆盖的充分性和优先级确定的准确性。本发明采用的技术方案为：1)从开发文档、技术文件、芯片手册文档中获取被测FPGA的信息；2)对FPGA工作系统进行定义；3)进行故障模式影响分析；4)进行危害性分析，根据用户需求，也可不进行危害性分析，直接转步骤5)；5)确定FPGA工作系统安全性测试需求项。本发明提供的分析方法提高了FPGA测试需求覆盖的充分性和完整性以及测试类型的充分性和完整性。
-
公开(公告)号：CN109460478A
公开(公告)日：2019-03-12
申请号：CN201811314413.1
申请日：2018-11-06
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于软件工程技术领域，具体涉及一种基于细粒度特征语义网络的系统接口时序知识分析方法，其包括：构建嵌入式系统测试故障集；在嵌入式系统测试故障集中搜索接口关键问题，分析提取与时序相关的故障，初步形成时序相关的接口故障集；在嵌入式系统测试故障集中搜索与时序关键的故障，分析提取与接口相关的故障，形成接口相关的时序故障集；两个故障集合并形成接口时序故障集；根据时序故障库中的故障类型，利用基于细粒度特征语义网络的方法，提取接口时序关键影响因素，形成嵌入式系统接口时序知识集。由此得到的嵌入式系统接口时序知识可实现测试知识的继承，且具有可扩展性，便于测试知识的推送，提升测试效率。
-
公开(公告)号：CN109388973A
公开(公告)日：2019-02-26
申请号：CN201811293269.8
申请日：2018-11-01
Applicant: 北京京航计算通讯研究所
Inventor： 李卓 , 王颖 , 刘军 , 王黎 , 朱琳 , 韩旭东 , 寇科男 , 王栋 , 张国宇 , 杨楠 , 双世勇 , 孟伟 , 宋悦 , 何占博 , 高飞 , 闫丛 , 张晛 , 吴少雪 , 赵东升 , 李艳军
IPC: G06F21/64
Abstract: 本发明属于电子文件传递共享过程中的电子文件签署技术领域，具体涉及一种用于非网络环境下的电子文件签署方法，其中Hash运算模块对电子文件进行Hash运算，产生相应电子文件的摘要值，并保存为文件，保存摘要值的文件共享给其他用户；秘钥生成模块根据非对称加密算法生成包含和用户信息互相绑定的用户私钥和公钥，用户私钥和公钥共享给其他用户；所述签署模块将所述摘要值和签署意见以及其他可选信息组合后通过非对称加密算法使用用户私钥进行加密，生成签署文件，分享给其他用户。该方法能在非网络环境下使用移动存储介质进行数据传输，对于多方达成一致意见的文件，能够防止文件被篡改，对于各当事人的意见形成签署，防止事后抵赖。
-
公开(公告)号：CN102789227A
公开(公告)日：2012-11-21
申请号：CN201210271600.2
申请日：2012-08-02
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及基于覆盖率统计的可编程逻辑器件仿真测试方法。目的是为了解决目前可编程逻辑器件仿真测试存在无法保证测试充分性的问题。该方法使用DUT和Testbench文件进行覆盖率评估，对被测试可编程逻辑器件开展测试需求分析，分解出测试项和测试子项，并确定仿真测试类型为功能仿真测试；当不满足语句覆盖率和分支覆盖率评估时，分析未覆盖的原因，进一步完善测试平台并分析相关影响域，若满足覆盖率评估，则测试完成。该方法通过对仿真测试后的语句覆盖率和分支覆盖率进行分析，可有效确认出可编程逻辑器件测试的充分性。本方法有效提升了可编程逻辑器件仿真测试技术水平，对提升可编程逻辑器件质量具有重要的意义。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.039 seconds)
