-
公开(公告)号：CN111124897B
公开(公告)日：2023-01-10
申请号：CN201911244969.2
申请日：2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明涉及一种可重用仿真接口模型的生成方法，属于可编程逻辑器件软件的测试与验证领域。所述方法包括以下步骤：步骤1：获取接口协议、时序及功能描述；步骤2：提取可扩展参数；步骤3：构建参数控制体；步骤4：实体描述；步骤5组合封装。与现有技术相比，本发明形成的仿真接口模型具有可重用特性，对可扩展参数进行设置后，可用于其他可编程逻辑器件软件的仿真平台，提高可编程逻辑器件软件仿真平台的搭建效率。
-
公开(公告)号：CN114079562A
公开(公告)日：2022-02-22
申请号：CN202111368157.6
申请日：2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于门限秘密共享的软件定义网络数据安全传输方法，属于网络空间安全技术领域，解决了现有物联网中网络数据传输安全性不足和可靠性差的问题。包括交换机接收到源主机发送的连接请求数据包后发送给控制器；控制器根据历史通信记录和网络拓扑识别是否需要重新选择转发路径；需要则计算得到多条新转发路径和路径权重；源主机接收到目的主机发送的连接请求回复后，运行k‑n门限加密算法对原始数据加密处理，得到n份密文数据，根据当前多条转发路径和路径权重选择k条转发路径发送n份密文数据；当目标主机接收到不重复密文数据的份数大于等于k时，对密文数据解密得到原始数据。实现了多路径的动态选择和实时权重更新，提高了安全性。
-
公开(公告)号：CN114064487B
公开(公告)日：2024-09-24
申请号：CN202111369107.X
申请日：2021-11-18
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36 , G06N3/045 , G06N3/0442
Abstract: 本发明公开了一种代码缺陷检测方法，属于软件测试技术领域，能够提高代码缺陷检测的准确率。方法包括：根据预设切片准则对待识别代码进行切片处理，得到待检测切片代码段；输入所述待检测切片代码段至预设代码缺陷检测模型，将所述预设代码缺陷检测模型的输出结果作为代码缺陷检测结果；其中，所述预设代码缺陷检测模型是通过对训练阶段的各切片代码段中的语句语义向量和语句类型向量进行分段学习，得到的网络模型。
-
公开(公告)号：CN108153669A
公开(公告)日：2018-06-12
申请号：CN201711225458.7
申请日：2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor： 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3676 , G06F11/3688
Abstract: 本发明属于FPGA软件仿真测试技术领域，具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现，以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上，该坐标轴是由横向器件和纵向时间组成的二维坐标轴，通过采用对坐标轴中每个目标按照时序要求配置任务点的方式，实现测试用例的系统化和时序化操作，进而提高FPGA软件仿真任务调度的系统配置能力，提高测试用例批处理能力。
-
公开(公告)号：CN108121657A
公开(公告)日：2018-06-05
申请号：CN201711224669.9
申请日：2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor： 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
Abstract: 本发明属于FPGA软件仿真测试技术领域，具体涉及一种基于系统模型的可编程逻辑器件软件仿真验证系统。与现有技术相比较，本发明通过实施上述技术方案，较好的解决了现有FPGA仿真测试中，需要测试人员逐行编辑代码模拟FPGA外围接口器件的问题。本系统自主研发并经过验证的FPGA外围接口函数封装在底层，上层模型对其进行调用和参数化配置，解决了需要人工模拟FPGA外围接口器件所带来的影响效率的问题和接口器件正确性和准确性的问题。
-
Patent Agency Ranking
公开(公告)号：CN114610614B
公开(公告)日：2024-07-16
申请号：CN202210228824.9
申请日：2022-03-08
Applicant: 北京京航计算通讯研究所
Abstract: 一种可编程逻辑器件封装模块的安全性测试方法和系统，方法包括以下步骤：针对所述封装模块的每个功能，采用软件故障树分析法和软件失效模式与影响分析法进行故障分析，得到每个功能对应的综合故障树；以每个所述综合故障树中的最小割集为约束条件构建测试用例，所有测试用例构成测试用例集合；采用遗传算法从所述测试用例集合中选择最优测试用例组，所述最优测试用例组对所述可编程逻辑器件的封装模块进行测试，得到所述可编程逻辑器件的封装模块的安全性测试结果。
-
公开(公告)号：CN114079562B
公开(公告)日：2023-11-24
申请号：CN202111368157.6
申请日：2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于门限秘密共享的软件定义网络数据安全传输方法，属于网络空间安全技术领域，解决了现有物联网中网络数据传输安全性不足和可靠性差的问题。包括交换机接收到源主机发送的连接请求数据包后发送给控制器；控制器根据历史通信记录和网络拓扑识别是否需要重新选择转发路径；需要则计算得到多条新转发路径和路径权重；源主机接收到目的主机发送的连接请求回复后，运行k‑n门限加密算法对原始数据加密处理，得到n份密文数据，根据当前多条转发路径和路径权重选择k条转发路径发送n份密文数据；当目标主机接收到不重复密文数据的份数大于等于k时，对密文数据解密得到原(56)对比文件Pu Zhao et al..Trusted Link-Separation Multipath Selection forSoftware-Defined Wireless Sensor Networksin Adversarial Environments.InternationalConference on Security and Privacy inDigital Economy.2020,全文.Syed Mohsan Raza et al..ReliabilityAware Multiple Path Installation inSoftware-Defined Networking.Electronics2021.2021,第22卷(第10期),全文.
-
公开(公告)号：CN112559264A
公开(公告)日：2021-03-26
申请号：CN202011423776.6
申请日：2020-12-08
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于UVM的验证平台实现FPGA通用串口的仿真测试方法，属于仿真测试技术领域，解决了现有的FPGA通用串口的仿真测试方法周期较长、测试质量不稳定且测试效率较低的问题。方法包括；获得包含验证平台的底层模块的testbench测试平台，并基于testbench测试平台生成模板文件；构建验证平台的人机界面可执行程序；运行验证平台的人机界面可执行程序，并基于验证平台的人机界面调用模板文件进行FPGA通用串口的仿真测试，得到仿真测试结果，实现了FPGA通用串口的仿真测试，提高了测试效率，保证了测试质量。
-
公开(公告)号：CN111143201A
公开(公告)日：2020-05-12
申请号：CN201911300145.2
申请日：2019-12-16
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于软件测评相关技术领域，具体涉及一种基于Bayes的军用软件质量度量系统，其基于国军标《GJB5236-2004军用软件质量度量》所规定的质量模型，并利用人工智能理论中Bayes的推理网络，提出了一种基于Bayes的军用软件质量度量系统。该系统以概率的形式描述了各个度量元对军用软件质量的影响，并且以概率的形式定量描述了军用软件质量的好坏。对比国内外软件质量度量方案，本发明的技术方案提高军用软件质量度量的准确性、可靠性。
-
公开(公告)号：CN109061447A
公开(公告)日：2018-12-21
申请号：CN201811265809.1
申请日：2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G01R31/28
CPC classification number: G01R31/2851
Abstract: 本发明属于集成电路测试技术领域，具体涉及一种基于模块化激励模型的集成电路测试激励生成方法。本发明应用时间轴配置方法产生与测试用例对应的任务点，通过配置任务点，形成包含激励模型的激励文件，实现激励信号的生成。并使任务点对应测试用例，实现对测试用例的可视化管理和批量执行。不仅解决了现有方案中人工成本大，调试复杂的矛盾，而且配置方式简单，适用于ASIC、SOC、FPGA等集成电路的仿真测试。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.029 seconds)
