-
-
公开(公告)号：CN116709341B
公开(公告)日：2024-04-30
申请号：CN202310942838.1
申请日：2023-07-31
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： H04W12/37 , H04W12/60 , H04W12/122 , H04W12/00 , H04W4/46
摘要： 本发明提出针对无人蜂群的实用拜占庭容错共识算法优化方法及系统，属于针对无人蜂群的共识优化技术领域。本发明根据无人机业务域或功能特性对无人蜂群进行分组，而后引入奖惩机制和投票机制，其中，奖惩机制用于调动各节点参与共识的积极性，识别剔除恶意或错误节点，投票机制用于选择高信任值的节点作为主节点，并且防止主节点因信任值过高长期作为而导致的中心化风险。本发明还根据无人蜂群的分组情况，对无人蜂群的共识过程进行简化，通过先组内共识后再组外共识，减少无人蜂群共识节点的通信次数，大幅提高共识效率。
-
公开(公告)号：CN116820138B
公开(公告)日：2024-04-12
申请号：CN202311084948.5
申请日：2023-08-28
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G05D1/46 , G05D109/20
摘要： 本发明提出一种基于编队行驶的控制器智能决策方法及系统，属于智能控制技术领域。所述方法根据车辆编队中各个车辆的状态参数和车辆行驶约束条件建立车辆编队的非线性路径跟踪表达式模型；基于车辆编队的非线性路径跟踪表达式模型配置车辆编队的控制器，控制器包括安全控制器和先进控制器；根据车辆编队的运行指标确定车辆编队的安全等级；当安全等级超过控制器切换阈值时，将车辆编队的控制器从安全控制器切换到先进控制器。本发明在线实时监测系统运行状态，精准决策控制器安全等级并实现控制器的平稳切换，同时解决控制器切换过程中系统的瞬态突变问题，在保障车辆编队的行驶安全性前提下提升编队行驶性能。
-
公开(公告)号：CN117687924A
公开(公告)日：2024-03-12
申请号：CN202311741980.6
申请日：2023-12-18
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F11/36
摘要： 本发明公开了一种源代码形式化验证方法及系统，属于形式化验证技术领域，该方法在利用形式语言模型对源代码的运行过程进行抽象建模以得到形式规范时，将源代码中的变量映射成形式语言模型的变量；将操作系统中的结构体抽象建模为多个独立的变量；将指针操作建模为包含单个或多个元素的数组，以允许使用数组的下标访问元素；使用固定大小的数组来模拟动态内存分配；将函数调用建模为过程procedure，以允许通过参数result返回计算结果。本发明为操作系统设计提供了一种更为高效、全面的验证手段，从而在操作系统开发和维护中提高验证效率，减少潜在问题。
-
公开(公告)号：CN118709756A
公开(公告)日：2024-09-27
申请号：CN202410836124.7
申请日：2024-06-26
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06N5/01 , G06N3/0499 , G06N3/08 , G06N5/04 , G06F40/242 , G06F40/126 , G06F40/284
摘要： 本发明公开了一种基于大模型的形式化定理证明生成方法及系统，属于人工智能技术领域。本方法获取第一训练数据，第一训练数据为包括形式化定理命题、证明该形式化定理命题的全部证明步骤的文本数据；获取第二训练数据，第二训练数据为包括数学领域知识的数据；基于第二训练数据对大模型进行预训练，得到预训练完毕的大模型；基于第一训练数据对预训练完毕的大模型进行参数调整，得到调整后的大模型；将待生成定理证明步骤的形式化定理命题作为输入数据输入所述调整后的大模型，生成所述待生成定理证明步骤的形式化定理的证明步骤；本方法可以大大降低自动生成定理证明的复杂度，还可以显著提高模型推理期间的硬件利用率。
-
公开(公告)号：CN116662452B
公开(公告)日：2023-11-03
申请号：CN202310942780.0
申请日：2023-07-31
申请人： 中国人民解放军军事科学院系统工程研究院
摘要： 本发明提出基于区块链和IPFS的无人蜂群数据存储方法及系统，属于无人蜂群数据存储技术领域。在本发明所述的方法中，无人蜂群中的每一个无人机节点作为区块链系统的网络节点，共同维护一个分布式账本，通过公私钥加解密和数据哈希链式存储等区块链技术手段，保证无人机上链数据的真实性和完整性。使用基于星际文件系统IPFS的数据存储模式，将无人机节点采集的视频、图像等物联网数据分割成若干小文件，哈希加密后随机存储在星际文件系统IPFS节点上，取代原来中心化存储方案，实现永久性存储并降低存储成本，将哈希信息上链便于授权节点进行数据检索，大幅提高了无人蜂群节点数据共享效率。
-
公开(公告)号：CN116679934A
公开(公告)日：2023-09-01
申请号：CN202310613438.6
申请日：2023-05-29
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F8/41
摘要： 本发明公开一种模型转换方法与系统，涉及模型转换技术领域。所述方法将AltaRica3.0的平展化模型自动转换为SBIP模型，AltaRica3.0的平展化模型卫士转换系统GTS模型；包括：利用语言识别工具ANTLR的元语言对卫士转换系统GTS模型的语法规则进行描述，以生成卫士转换系统GTS模型的抽象语法树AST；利用抽象语法树AST对卫士转换系统GTS模型的变量部分、事件部分、迁移部分、断言部分和延时部分分别进行转换。所述方法实现AltaRica3.0平展化模型GTS到SBIP模型的自动转换，从而使得AltaRica3.0模型可进行统计模型检测，丰富AltaRica3.0的安全性分析功能。
-
公开(公告)号：CN115686923A
公开(公告)日：2023-02-03
申请号：CN202310010562.3
申请日：2023-01-05
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F11/07 , G06N3/0442 , G06N3/0455 , G06N3/08
摘要： 本发明公开了一种软件源代码缺陷自动修复方法及系统，属于计算机程序漏洞修复技术领域。该方法包括：提取源代码的缺陷相关CPG子图；使用经过训练的缺陷修复模型基于CPG子图得到缺陷修复结果；其中，缺陷修复模型由一个图编码器、n个序列解码器和一个语法纠正解码器组成，n个序列解码器的输入端分别与图编码器的输出端连接，语法纠正解码器的输入端与n个序列解码器的输出端连接。本发明提出的源代码缺陷自动修复方法具备较高的自动化能力和修复准确度，能够保障软件开发阶段的源代码级别的安全性。
-
公开(公告)号：CN115577577A
公开(公告)日：2023-01-06
申请号：CN202211575800.7
申请日：2022-12-09
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F30/20 , G06F119/02
摘要： 本发明给出了一种计算系统的可靠性评估方法和系统，属于工程技术领域，包括：获取计算系统中各个组件之间的连接关系和交互行为，以构建计算系统状态迁移模型；设置可靠性精度参数和可靠性置信参数，以确定仿真模拟次数；设置计算系统可靠性规约和每条计算系统执行路径的状态长度；根据所述计算系统状态迁移模型、仿真模拟次数和每条计算系统执行路径的状态长度，进行计算系统执行路径仿真模拟，以获取计算系统执行路径集；对所述计算系统执行路径集中每条计算系统执行路径进行可靠性判断。本发明在实现三冗余计算系统可靠性评估的同时，还展示计算系统的组件行为交互导致的故障传播行为对相关组件的影响，满足工程设计和安全分析要求。
-
公开(公告)号：CN118733003A
公开(公告)日：2024-10-01
申请号：CN202410833781.6
申请日：2024-06-26
申请人： 中国人民解放军军事科学院系统工程研究院
摘要： 本发明提供一种软件安全防御方法、装置及设备，所述方法包括：对目标软件进行反汇编，获取二进制反汇编信息；对所述二进制反汇编信息进行分析识别，确定出对应的语义信息和函数体边界；基于所述语义信息和函数体边界在所述二进制反汇编信息中确定目标代码；对所述目标代码执行二进制重写处理；对重写后的代码进行修正，得到重写后的二进制程序；对所述重写后的二进制程序进行多维度评估；基于多维度评估结果至少确定所述重写后的二进制程序的可实施性和安全防御性能。本发明的方法能够对二进制软件进行漏洞检测分析及自动执行漏洞部分的程序重写，确保软件具有高安全防御性能。
-
-
-
-
-
-
-
-
-
搜索结果
30 条记录 (耗时 0.058 秒)
