-
公开(公告)号:CN114064487B
公开(公告)日:2024-09-24
申请号:CN202111369107.X
申请日:2021-11-18
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36 , G06N3/045 , G06N3/0442
Abstract: 本发明公开了一种代码缺陷检测方法,属于软件测试技术领域,能够提高代码缺陷检测的准确率。方法包括:根据预设切片准则对待识别代码进行切片处理,得到待检测切片代码段;输入所述待检测切片代码段至预设代码缺陷检测模型,将所述预设代码缺陷检测模型的输出结果作为代码缺陷检测结果;其中,所述预设代码缺陷检测模型是通过对训练阶段的各切片代码段中的语句语义向量和语句类型向量进行分段学习,得到的网络模型。
-
公开(公告)号:CN109408392A
公开(公告)日:2019-03-01
申请号:CN201811314440.9
申请日:2018-11-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
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期),全文.
-
公开(公告)号:CN109344078A
公开(公告)日:2019-02-15
申请号:CN201811265805.3
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件测评技术领域,具体涉及一种应用FPGA的嵌入式实时操作系统时间性能测试方法。为准确测量嵌入式实时操作系统的时间性能指标,本发明提供了一种嵌入式操作系统时间性能测量方法,包括步骤:FPGA触发激励信号及测量参数配置,目标机上时间性能测试程序运行,FPGA接收响应信号,FPGA计算时间间隔,时间间隔数据存储和数据据转发至上位机,上位机进行时间性能分析。本发明技术方案采用FPGA测量与目标机测试功能相结合的测试方法,将计时功能与外部激励由FPGA实现,减少测试程序中的系统调用,减小信号延迟时间,提高了嵌入式实时操作系统时间性能测试的灵活性。
-
公开(公告)号:CN114079562A
公开(公告)日:2022-02-22
申请号:CN202111368157.6
申请日:2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于门限秘密共享的软件定义网络数据安全传输方法,属于网络空间安全技术领域,解决了现有物联网中网络数据传输安全性不足和可靠性差的问题。包括交换机接收到源主机发送的连接请求数据包后发送给控制器;控制器根据历史通信记录和网络拓扑识别是否需要重新选择转发路径;需要则计算得到多条新转发路径和路径权重;源主机接收到目的主机发送的连接请求回复后,运行k‑n门限加密算法对原始数据加密处理,得到n份密文数据,根据当前多条转发路径和路径权重选择k条转发路径发送n份密文数据;当目标主机接收到不重复密文数据的份数大于等于k时,对密文数据解密得到原始数据。实现了多路径的动态选择和实时权重更新,提高了安全性。
-
公开(公告)号:CN106887982B
公开(公告)日:2019-01-22
申请号:CN201510939836.2
申请日:2015-12-15
Applicant: 北京京航计算通讯研究所
Inventor: 李卓 , 朱琳 , 张国宇 , 陈朋 , 孟伟 , 张哲 , 郑金艳 , 王栋 , 李丽华 , 张清 , 彭鸣 , 杨源 , 姚可成 , 冯耿 , 宋文 , 康建涛 , 赵菲 , 吕方雷 , 盛凯南 , 曾丽婷 , 王巍
IPC: H02P8/14
Abstract: 本发明实施例公开的一种基于FPGA的步进电机速度控制方法,涉及步进电机速度控制技术领域,能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X=|A1-A0|;当步差绝对值0<X≤M时,等待时间T后发出一次转动控制信号,然后X=X-1,若T<T1,则T=T+ΔT,若T≥T1,则T=T,当步差绝对值X>M时,等待时间T后发出一次转动控制信号,然后X=X-1,若T>T2,则T=T-ΔT,若T≤T2,则T=T,当X=0时,控制结束,转动停止,主要用于步进电机速度控制。
-
公开(公告)号:CN109344078B
公开(公告)日:2022-05-17
申请号:CN201811265805.3
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件测评技术领域,具体涉及一种应用FPGA的嵌入式实时操作系统时间性能测试方法。为准确测量嵌入式实时操作系统的时间性能指标,本发明提供了一种嵌入式操作系统时间性能测量方法,包括步骤:FPGA触发激励信号及测量参数配置,目标机上时间性能测试程序运行,FPGA接收响应信号,FPGA计算时间间隔,时间间隔数据存储和数据据转发至上位机,上位机进行时间性能分析。本发明技术方案采用FPGA测量与目标机测试功能相结合的测试方法,将计时功能与外部激励由FPGA实现,减少测试程序中的系统调用,减小信号延迟时间,提高了嵌入式实时操作系统时间性能测试的灵活性。
-
公开(公告)号:CN114064487A
公开(公告)日:2022-02-18
申请号:CN202111369107.X
申请日:2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明公开了一种代码缺陷检测方法,属于软件测试技术领域,能够提高代码缺陷检测的准确率。方法包括:根据预设切片准则对待识别代码进行切片处理,得到待检测切片代码段;输入所述待检测切片代码段至预设代码缺陷检测模型,将所述预设代码缺陷检测模型的输出结果作为代码缺陷检测结果;其中,所述预设代码缺陷检测模型是通过对训练阶段的各切片代码段中的语句语义向量和语句类型向量进行分段学习,得到的网络模型。
-
公开(公告)号:CN106887982A
公开(公告)日:2017-06-23
申请号:CN201510939836.2
申请日:2015-12-15
Applicant: 北京京航计算通讯研究所
Inventor: 李卓 , 朱琳 , 张国宇 , 陈朋 , 孟伟 , 张哲 , 郑金艳 , 王栋 , 李丽华 , 张清 , 彭鸣 , 杨源 , 姚可成 , 冯耿 , 宋文 , 康建涛 , 赵菲 , 吕方雷 , 盛凯南 , 曾丽婷 , 王巍
IPC: H02P8/14
CPC classification number: H02P8/14
Abstract: 本发明实施例公开的一种基于FPGA的步进电机速度控制方法,涉及步进电机速度控制技术领域,能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X=|A1-A0|;当步差绝对值0<X≤M时,等待时间T后发出一次转动控制信号,然后X=X-1,若T<T1,则T=T+ΔT,若T≥T1,则T=T,当步差绝对值X>M时,等待时间T后发出一次转动控制信号,然后X=X-1,若T>T2,则T=T-ΔT,若T≤T2,则T=T,当X=0时,控制结束,转动停止,主要用于步进电机速度控制。
-
-
-
-
-
-
-
-