-
公开(公告)号：CN118540241A
公开(公告)日：2024-08-23
申请号：CN202410299662.7
申请日：2024-03-15
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： H04L43/0805 , H04L43/062 , H04L43/12 , H04L43/50 , H04L41/12 , H04L41/142
摘要： 本发明提出一种基于多属性决策的网络节点链路评估方法与系统，属于通信网络技术领域。所述方法包括：每隔固定时间间隔获取目标网络的流量数据和拓扑数据；基于目标网络的流量数据和拓扑数据计算目标网络中各个通信链路的有效性、各个网络节点的有效性、各个通信链路的重要性、各个网络节点的重要性以及目标网络的可靠性；并数据融合分析，得到目标网络的网络节点和通信链路的评估结果。本发明通过从节点、链路两个方面出发，对网络的可靠性、有效性和重要性的评估，并通过多属性决策将框架将这些不同的属性统一起来，对网络中所有的节点和链路都输出其评估值，为后续路由算法、数据传输提供数据基础。
-
公开(公告)号：CN117687924A
公开(公告)日：2024-03-12
申请号：CN202311741980.6
申请日：2023-12-18
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F11/36
摘要： 本发明公开了一种源代码形式化验证方法及系统，属于形式化验证技术领域，该方法在利用形式语言模型对源代码的运行过程进行抽象建模以得到形式规范时，将源代码中的变量映射成形式语言模型的变量；将操作系统中的结构体抽象建模为多个独立的变量；将指针操作建模为包含单个或多个元素的数组，以允许使用数组的下标访问元素；使用固定大小的数组来模拟动态内存分配；将函数调用建模为过程procedure，以允许通过参数result返回计算结果。本发明为操作系统设计提供了一种更为高效、全面的验证手段，从而在操作系统开发和维护中提高验证效率，减少潜在问题。
-
公开(公告)号：CN115396365B
公开(公告)日：2023-04-07
申请号：CN202211314727.8
申请日：2022-10-26
摘要： 本发明提出一种规模无关的快速路由收敛方法，属于网络控制技术领域。在所述方法中，位于中继域的边缘路由器Ri获取与其关联的用户域的若干IP前缀，经由标准路由协议向位于中继域的其他路由器发布获取到的若干IP前缀，并将边缘路由器Ri的唯一标识信息附加在发布报文中，其他路由器根据接收到的发布报文，在本地建立边缘路由器Ri关联的若干IP前缀与边缘路由器Ri的唯一标识之间的映射关系。本方法用于解决路由表规模增大到一定量级后路由收敛时间难以有效降低的技术问题。
-
公开(公告)号：CN115357908B
公开(公告)日：2022-12-23
申请号：CN202211276276.3
申请日：2022-10-19
摘要： 本发明提出一种网络设备内核可信度量与自动修复方法，属于网络设备安全技术领域。所述方法对交换设备中的存储介质进行划分，分为两个具有相同加密算法和内核文件的分区；基于加密算法分别对第一分区和第二分区中的内核文件进行加密，利用公私钥对生成经加密的第一分区内核文件的签名和第二分区内核文件的签名；初始化交换设备并启动引导加载程序BootLoader，以完成对所述第一分区/所述第二分区中的内核文件的调用；挂载经调用的第一分区/第二分区中的内核文件，将经挂载的内核文件拷贝到未被调用的分区中。本方法通过内核文件加密和签名结合的方式解决安全保护相对较弱的技术。
-
公开(公告)号：CN115758370B
公开(公告)日：2024-06-25
申请号：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，因此具有更加有效的缺陷检测能力。
-
公开(公告)号：CN117858097A
公开(公告)日：2024-04-09
申请号：CN202311595244.4
申请日：2023-11-28
申请人： 中国人民解放军军事科学院系统工程研究院
摘要： 本发明提出一种基于卫星频谱共享模式的全球信息传输方法及装置，属于通信传输技术领域。所述方法基于underlay频谱共享模式，利用全球范围内地球静止轨道(GEO)在轨通信卫星构建全球卫星通信网，所述全球卫星通信网采用宽带扩频技术，将信息一跳或通过中继站多跳至国内接入站。所述方法基于现有的全球商用在轨卫星资源，无需发射卫星，避免卫星轨道位置及频率资源协调难题，在不影响原有业务使用的前提下提高现有卫星的频谱利用率，解决目前覆盖不足的问题，同时地面站基于已有卫星通信站改造，便于快速形成能力以及降低成本。
-
公开(公告)号：CN115577577B
公开(公告)日：2023-04-07
申请号：CN202211575800.7
申请日：2022-12-09
申请人： 中国人民解放军军事科学院系统工程研究院
IPC分类号： G06F30/20 , G06F119/02
摘要： 本发明给出了一种计算系统的可靠性评估方法和系统，属于工程技术领域，包括：获取计算系统中各个组件之间的连接关系和交互行为，以构建计算系统状态迁移模型；设置可靠性精度参数和可靠性置信参数，以确定仿真模拟次数；设置计算系统可靠性规约和每条计算系统执行路径的状态长度；根据所述计算系统状态迁移模型、仿真模拟次数和每条计算系统执行路径的状态长度，进行计算系统执行路径仿真模拟，以获取计算系统执行路径集；对所述计算系统执行路径集中每条计算系统执行路径进行可靠性判断。本发明在实现三冗余计算系统可靠性评估的同时，还展示计算系统的组件行为交互导致的故障传播行为对相关组件的影响，满足工程设计和安全分析要求。
-
公开(公告)号：CN115348111B
公开(公告)日：2022-12-09
申请号：CN202211271249.7
申请日：2022-10-18
IPC分类号： H04L9/40
摘要： 本发明提出一种高安全网络的集中连接控制方法，属于网络连接控制技术领域。所述高安全网络包括M个经网络划分的区域和用于管理K个区域的网络管理中心，M和K均为正整数且K≤M，每个区域均配置有区域管理中心，所述每个区域包括NISS节点和非NISS节点，所述NISS节点为能够提供号码查询服务的交换机节点，所述非NISS节点为无法提供所述号码查询服务的交换机节点。所述方法能够解决网络可扩展性受限、部署灵活性低下以及网络可管理性差的问题。
-
公开(公告)号：CN115412369A
公开(公告)日：2022-11-29
申请号：CN202211341713.5
申请日：2022-10-31
申请人： 中国人民解放军军事科学院系统工程研究院
摘要： 本公开提出一种面向网络控制的韧性原子服务框架构建方法与系统，属于网络服务技术领域。所述方法在网络控制器中建立感知层、决策层和执行层；所述感知层包括事件感知模块和信念更新模块；所述决策层包括匹配选择模块、意图筛选模块和行为选择模块；所述执行层包括原子调度引擎和四类韧性网络原子服务；所述四类韧性网络原子服务为检测原子服务、抵抗原子服务、恢复原子服务和演进原子服务。所述方法在高对抗、不可信的网络环境中构建一种相对独立、闭环的网络韧性服务框架。
-
公开(公告)号：CN115348112A
公开(公告)日：2022-11-15
申请号：CN202211271629.0
申请日：2022-10-18
IPC分类号： H04L9/40
摘要： 本发明提出一种局域网交换设备接入认证与可信组网的方法，属于网络连接控制技术领域。所述方法通过在所述局域网内的每个交换设备上集成安全可信卡来实现各个交换设备之间的接入认证，从而获取所述局域网内的可信组网。所述安全可信卡以插拔的方式与所述交换设备的主板连接，连接端口为位于所述主板上的Mini‑PCI‑E端口，所述安全可信卡的软件模块由驱动程序TDD和经封装的标准库TDDL组成，所述软件模块与所述交换设备的操作系统中的网络协议栈进行通信，同时提供内核接口与上层应用进行交互。
-
-
-
-
-
-
-
-
-
搜索结果
38 条记录 (耗时 0.053 秒)
