-
公开(公告)号：CN115686923B
公开(公告)日：2023-04-07
申请号：CN202310010562.3
申请日：2023-01-05
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F11/07 , G06N3/0442 , G06N3/0455 , G06N3/08
摘要： 本发明公开了一种软件源代码缺陷自动修复方法及系统，属于计算机程序漏洞修复技术领域。该方法包括：提取源代码的缺陷相关CPG子图；使用经过训练的缺陷修复模型基于CPG子图得到缺陷修复结果；其中，缺陷修复模型由一个图编码器、n个序列解码器和一个语法纠正解码器组成，n个序列解码器的输入端分别与图编码器的输出端连接，语法纠正解码器的输入端与n个序列解码器的输出端连接。本发明提出的源代码缺陷自动修复方法具备较高的自动化能力和修复准确度，能够保障软件开发阶段的源代码级别的安全性。
-
公开(公告)号：CN115758370A
公开(公告)日：2023-03-07
申请号：CN202211099742.5
申请日：2022-09-09
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F21/57 , G06F8/75 , G06F16/35 , G06N3/045 , G06N3/0442 , G06N3/047 , G06N3/048 , G06N3/082
摘要： 本发明公开了一种软件源代码缺陷检测方法、装置及存储介质，以解决现有的基于图的检测方法准确率低、漏报率高的问题，属于计算机软件测试技术领域。所述方法包括：获取源代码，生成所述源代码的初始CPG；对所述初始CPG进行剪枝，得到精简CPG；将所述精简CPG输入缺陷检测模型，以得到缺陷检测结果；其中，所述缺陷检测模型为基于注意力机制池化的GGNN网络模型。本发明利用基于注意力机制池化的GGNN网络模型构造缺陷检测模型处理经过剪枝操作的源代码CPG，能够获得更有效地全局节点聚合信息来表征整个输入的CPG，因此具有更加有效的缺陷检测能力。
-
公开(公告)号：CN118709791A
公开(公告)日：2024-09-27
申请号：CN202410836289.4
申请日：2024-06-26
申请人： 中国人民解放军军事科学院系统工程研究院
摘要： 本发明公开了一种用于形式化定理证明的大模型思维链评估方法及系统，本方法包括：构建原始数据集并训练大模型，得到训练完毕的大模型，作为基准模型；基于原始数据集，构建第一数据集、第二数据集，生成基准中间数据、第一中间数据、第二中间数据，确定基准模型的第一性能；基于所述基准注意力数据与第三注意力数据的对比结果，确定基准模型的第二性能；基于基准思维链提示数据与第四基准思维链提示数据的对比结果，确定基准模型的第三性能；基于所述第一性能、第二性能、第三性能，对所述原始数据集进行修正，得到修正后的训练集及训练方式，由修正后的训练集对所述训练完毕的大模型再次训练，得到新的训练完毕的大模型。
-
公开(公告)号：CN118449716A
公开(公告)日：2024-08-06
申请号：CN202410334957.3
申请日：2024-03-22
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： H04L9/40 , G06F18/243 , G06N5/01 , G06N7/01 , G06F18/214 , G06F18/22
摘要： 本发明提供了一种面向嵌入式设备的入侵检测方法与系统，属于网络安全技术领域。入侵检测方法包括：对嵌入式设备的历史网络流量数据进行特征提取，并基于特征数据构建第一决策模型DS＝(U,C,Y)；其中，U是数据集，C为描述数据的特征集，Y为指示数据攻击类型的决策集；对特征集进行特征选择得到最优特征集，以将第一决策模型约简为仅包含最优特征集的第二决策模型；获取当前网络流量数据，基于最优特征集对当前网络流量数据进行特征提取，并基于提取的特征利用第二决策模型对当前网络流量数据进行入侵检测。本发明可以有效减少计算损耗与内存占用率，加快计算速度，能够保证入侵检测系统的透明性。
-
公开(公告)号：CN118132081A
公开(公告)日：2024-06-04
申请号：CN202410236765.9
申请日：2024-03-01
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F8/41
摘要： 本发明提出一种敏捷形式化验证方法和系统，该方法包括：采用YAML语言作为元语言，在所述YAML语言的基础上定义敏捷形式规约语言ASL，所述敏捷形式规约语言ASL扩展定义了针对现有形式化规约语言的模型、规约、范式的语法和语义；定义从所述敏捷形式规约语言ASL向基于匹配逻辑的目标形式规约语言K的转换算法；通过所述转换算法加载所述敏捷形式规约语言ASL的文件、验证环境，实现K语言的目标形式规约的全局属性合成；调用类型转换模块和函数转换模块，生成K语言的目标形式规约；调用形式化验证器对生成的所述目标形式规约进行验证；处理验证结果并生成验证报告，通过本方案可以实现不同抽象层次和语言的形式规约复用。
-
公开(公告)号：CN117909211A
公开(公告)日：2024-04-19
申请号：CN202311609183.2
申请日：2023-11-29
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F11/36 , G06N3/0464 , G06N3/08
摘要： 本发明提出一种软件源代码缺陷自动定位方法及系统，属于代码缺陷定位技术领域。在训练阶段，数据集构建模块通过构建基于MRC的缺陷定位数据集，包含编号、上下文、问题、答案，而后经过数据增强策略进行增强数据集的构建。缺陷定位模型接受缺陷定位数据集输入，首先通过预编码模块对数据集中样本进行嵌入编码，而后通过缺陷定位模块定位缺陷位置，进行模型的训练。在测试阶段，通过缺陷定位数据集构建模块获得适用于缺陷定位任务的数据集，而后通过训练好的缺陷定位模型得到缺陷定位结果。本发明具备高效的自动化能力和高定位准确度，可以帮助安全研究人员更加准确地定位和分析潜在的安全问题，从而更好地评估软件的安全性。
-
公开(公告)号：CN117056896B
公开(公告)日：2023-12-22
申请号：CN202311323951.8
申请日：2023-10-13
申请人： 中国人民解放军军事科学院系统工程研究院
摘要： 本发明公开了一种智能控制系统形式化验证方法及装置，属于系统设计验证技术领域。该方法包括：基于智能控制系统的功能需求文件，采用AADL建模语言构建智能控制系统的形式化模型；基于形式化模型，对智能控制系统进行安全威胁建模，以生成以自然语言描述的组件级别的安全需求；通过对安全需求进行解析，生成一个用于表示智能控制系统的分组件安全需求的树；使用形式化描述语言对自然语言描述的安全需求进行形式化描述，并按照树的层级结构将安全需求分配到形式化模型的分组件上，以形成一组层次化表示的确认样例，并对确认样例进行验证。本发明可以实现对智能控制系统安全性的半自动化形式化验证，提高了验证效率和安全性验证的完整性。
-
公开(公告)号：CN116740785A
公开(公告)日：2023-09-12
申请号：CN202310662972.6
申请日：2023-06-06
申请人： 中国人民解放军军事科学院系统工程研究院
摘要： 本发明提出一种嵌入式设备人脸识别方法及系统，属于图像识别技术领域。本发明中，将局部二值模式(Local Binary Pattern，LBP)算法与深度学习相结合的方法，提高人脸识别系统对光照的鲁棒性，增强对光照条件的适应性；以及为了在资源受限的嵌入式设备上更好地运行，利用现场可编程门阵列(Field Programmable Gate Array，FPGA)可以并行运算的特点，提出了人脸识别算法硬件并行加速方法降低计算资源开销和功耗。
-
公开(公告)号：CN116709341A
公开(公告)日：2023-09-05
申请号：CN202310942838.1
申请日：2023-07-31
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： H04W12/37 , H04W12/60 , H04W12/122 , H04W12/00 , H04W4/46
摘要： 本发明提出针对无人蜂群的实用拜占庭容错共识算法优化方法及系统，属于针对无人蜂群的共识优化技术领域。本发明根据无人机业务域或功能特性对无人蜂群进行分组，而后引入奖惩机制和投票机制，其中，奖惩机制用于调动各节点参与共识的积极性，识别剔除恶意或错误节点，投票机制用于选择高信任值的节点作为主节点，并且防止主节点因信任值过高长期作为而导致的中心化风险。本发明还根据无人蜂群的分组情况，对无人蜂群的共识过程进行简化，通过先组内共识后再组外共识，减少无人蜂群共识节点的通信次数，大幅提高共识效率。
-
公开(公告)号：CN115903918A
公开(公告)日：2023-04-04
申请号：CN202310010525.2
申请日：2023-01-05
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G05D1/12
摘要： 本发明公开了一种无人系统韧性控制方法及装置，属于无人系统路径规划技术领域，用于解决现有无人系统路径规划算法抗干扰能力较差，无法保证无人系统在干扰环境内安全运行的问题。该方法包括：根据环境干扰力确定满足无人系统韧性控制的最小安全距离；判断将无人系统在当前路径节点的各内环节点作为下一个路径节点时，以判断无人系统是否存在碰撞风险；根据碰撞风险判断结果，计算在当前路径节点下各内环节点的搜索算法代价函数值以及无人系统从当前路径节点移动到下一个路径节点所受到的合力；将搜索算法代价函数值最低的内环节点作为下一个路径节点，基于合力生成运动控制指令，控制无人系统向下一个路径节点移动。
-
-
-
-
-
-
-
-
-
搜索结果
30 条记录 (耗时 0.062 秒)
