一种基于智能靶标的虚实一体训练系统和方法

    公开(公告)号:CN116592701A

    公开(公告)日:2023-08-15

    申请号:CN202310523619.X

    申请日:2023-05-10

    Abstract: 本申请涉及一种基于智能靶标的虚实一体训练系统和方法。所述系统包括:外场设备单元、适配器单元、虚兵单元、数据通信中间件和毁伤裁决单元;外场设备单元包括智能靶标和实兵装备;适配器单元包括靶标适配器和实兵适配器;虚兵单元包括靶标虚兵代理模型和纯虚兵模型;外场设备单元与适配器单元通信连接,适配器单元、虚兵单元和毁伤裁决单元分别与数据通信中间件通信连接;实兵装备通过实兵适配器接入系统,实现虚兵对实兵的感知和打击;靶标虚兵代理模型通过靶标适配器将智能靶标作为其在现实中的代理,实现了实兵对虚兵的感知和打击。采用本发明系统,能够使对抗训练虚实结合得更紧密,训练的逼真度更高、演训的效果更明显。

    基于约束求解的递归协议安全性验证方法、装置及设备

    公开(公告)号:CN119276762B

    公开(公告)日:2025-03-11

    申请号:CN202411796181.3

    申请日:2024-12-09

    Abstract: 本申请涉及一种基于约束求解的递归协议安全性验证方法、装置及设备。所述方法包括:获取递归协议的已知信息;建立敌手推导规则,根据敌手推导规则对已知消息进行推导,得到新消息;将敌手在递归协议执行的某个阶段构造的新消息符号化为变量,将安全协议无穷多条可能执行迹抽象为一组推导约束,敌手通过初始知识与协议交互中的推导约束构造约束系统;根据预先设置的简化规则对约束系统进行简化,得到简单约束系统;将要验证的安全属性建模为一阶公式,通过求解简单约束系统与一阶公式是否有共同解来判定敌手是否能够破坏安全属性实现安全性验证。采用本方法能够对递归协议实现安全性验证。

    一种流言联邦学习方法和架构

    公开(公告)号:CN114841375B

    公开(公告)日:2024-08-09

    申请号:CN202210395541.3

    申请日:2022-04-15

    Abstract: 本申请涉及一种流言联邦学习方法和架构。所述方法包括:所有客户端与服务器采用联邦学习的方式进行训练,服务器根据每个客户端的更新模型采用聚类的方式将客户端分为不同的类别,服务器将聚合的模型和模型类别标签发送到相应的客户端;客户端聚类之间采用流言学习的方式进行训练,每个客户端将达到训练终止条件时得到的新模型传送至服务器;服务器将接收到的新模型进行聚合,并将聚合后的模型分发给每个客户端,客户端聚类之间继续采用流言学习的方法进行训练,直至达到预设条件为止。该方法利用流言学习的优势来解决联邦学习环境中的Non‑IID问题。

    基于DDS的靶场联合仿真试验态势显示系统

    公开(公告)号:CN116627049A

    公开(公告)日:2023-08-22

    申请号:CN202310538550.8

    申请日:2023-05-12

    Abstract: 本发明公开了基于DDS的靶场联合仿真试验态势显示系统,包括:态势显示模块、模式控制模块、数据源接口模块和二/三维地图显示与控制模块;所述态势显示模块用于对想定的二/三维态势进行显示;所述模式控制模块用于控制所述态势显示模块中所述二/三维态势的显示模式;所述数据源接口模块用于获取和存储仿真过程中的态势数据并将所述态势数据传输至所述模式控制模块;所述二/三维地图显示与控制模块用于对二/三维地图进行加载、显示、显示配置以及操控,获取数字地图背景,并将所述数字地图背景传输至所述态势显示模块。本发明提供了直观真实的战况态势展示、丰富的地图加载和显示以及全方位的视角展示。

    一种流言联邦学习方法和架构

    公开(公告)号:CN114841375A

    公开(公告)日:2022-08-02

    申请号:CN202210395541.3

    申请日:2022-04-15

    Abstract: 本申请涉及一种流言联邦学习方法和架构。所述方法包括:所有客户端与服务器采用联邦学习的方式进行训练,服务器根据每个客户端的更新模型采用聚类的方式将客户端分为不同的类别,服务器将聚合的模型和模型类别标签发送到相应的客户端;客户端聚类之间采用流言学习的方式进行训练,每个客户端将达到训练终止条件时得到的新模型传送至服务器;服务器将接收到的新模型进行聚合,并将聚合后的模型分发给每个客户端,客户端聚类之间继续采用流言学习的方法进行训练,直至达到预设条件为止。该方法利用流言学习的优势来解决联邦学习环境中的Non‑IID问题。

    基于约束求解的递归协议安全性验证方法、装置及设备

    公开(公告)号:CN119276762A

    公开(公告)日:2025-01-07

    申请号:CN202411796181.3

    申请日:2024-12-09

    Abstract: 本申请涉及一种基于约束求解的递归协议安全性验证方法、装置及设备。所述方法包括:获取递归协议的已知信息;建立敌手推导规则,根据敌手推导规则对已知消息进行推导,得到新消息;将敌手在递归协议执行的某个阶段构造的新消息符号化为变量,将安全协议无穷多条可能执行迹抽象为一组推导约束,敌手通过初始知识与协议交互中的推导约束构造约束系统;根据预先设置的简化规则对约束系统进行简化,得到简单约束系统;将要验证的安全属性建模为一阶公式,通过求解简单约束系统与一阶公式是否有共同解来判定敌手是否能够破坏安全属性实现安全性验证。采用本方法能够对递归协议实现安全性验证。

    支持定制的可视化仿真应用编排系统及方法

    公开(公告)号:CN116702250A

    公开(公告)日:2023-09-05

    申请号:CN202310504398.1

    申请日:2023-05-06

    Abstract: 本申请属于仿真设计技术领域,涉及一种支持定制的可视化仿真应用编排系统及方法。系统包括:前端开发界面;所述前端开发界面包括:组件面板、设计面板以及处理器;所述组件面板包括:仿真应用组件、仿真应用属性窗口以及仿真应用连接线;所述设计面板包括:可视化的仿真应用编排空间;所述处理器分别与所述组件面板以及所述设计面板相连,以监听用户事件,在所述仿真应用编排空间绘制仿真应用组件,在所述仿真应用编排空间中的仿真应用组件上显示对应的仿真应用属性窗口供编辑,并在所述仿真应用编排空间中不同的仿真应用组件之间绘制所述仿真应用连接线。采用本申请能够实现仿真应用编排的定制化以及可视化预览。

Patent Agency Ranking