-
公开(公告)号：CN119276762A
公开(公告)日：2025-01-07
申请号：CN202411796181.3
申请日：2024-12-09
Applicant: 中国人民解放军国防科技大学
Abstract: 本申请涉及一种基于约束求解的递归协议安全性验证方法、装置及设备。所述方法包括：获取递归协议的已知信息；建立敌手推导规则，根据敌手推导规则对已知消息进行推导，得到新消息；将敌手在递归协议执行的某个阶段构造的新消息符号化为变量，将安全协议无穷多条可能执行迹抽象为一组推导约束，敌手通过初始知识与协议交互中的推导约束构造约束系统；根据预先设置的简化规则对约束系统进行简化，得到简单约束系统；将要验证的安全属性建模为一阶公式，通过求解简单约束系统与一阶公式是否有共同解来判定敌手是否能够破坏安全属性实现安全性验证。采用本方法能够对递归协议实现安全性验证。
-
公开(公告)号：CN118503313A
公开(公告)日：2024-08-16
申请号：CN202410577632.8
申请日：2024-05-10
Applicant: 中国人民解放军国防科技大学
IPC: G06F16/248 , G06F16/28 , G06F16/24
Abstract: 本发明公开了一种仿真数据多维分析方法及系统，包括以下步骤：步骤一、数据采集：通过数据采集平台根据仿真内容通过采集策略配置模块对策略数据采集，采集全局调度能力模块根据策略各节点中的节点的请求分批次按照策略对数据采集；本发明该数据多维分析系统，通过预聚合算法模块、并行处理算法模块和排序索引算法模块从多角度对仿真数据进行分析，避免采集过程中对业务系统的性能影响大，便于其不同形态数据的分析；数据采集平台针对仿真数据过程中产生的各种不同形态的仿真数据，提供不同的采集方式提高数据的采集性能，以满足数据多维分析系统对数据采集和采集实时性要求，该数据多维分析系统采集的数据完整性要求较高。
-
公开(公告)号：CN118133575B
公开(公告)日：2024-07-26
申请号：CN202410549964.5
申请日：2024-05-06
Applicant: 中国人民解放军国防科技大学 , 南京理工大学
IPC: G06F30/20 , G06F16/22 , G06F16/29 , G06F16/909 , G06F16/9537 , G06T17/05
Abstract: 本申请涉及一种数字化仿真数据剖分组织方法、装置、设备及介质。所述方法包括：获取数字化仿真数据的时空信息。时空信息与预设的场景剖分尺度通过地球剖分网格进行信息编码，得到时空编码。根据时空编码构建数据库索引，通过数据库索引分别对数字化仿真数据的全域与全维进行剖分关联，得到数字化仿真数据的检索路径。采用本方法以时空编码为主键对环境数据、目标数据、传感器数据等数据进行存储，使得数字化仿真数据实现全域全维数据一体化关联组织。
-
公开(公告)号：CN118135159A
公开(公告)日：2024-06-04
申请号：CN202410549646.9
申请日：2024-05-06
Applicant: 中国人民解放军国防科技大学 , 南京理工大学
Abstract: 本申请涉及一种面向虚实协同训练的增强现实三维注册方法、装置及设备。所述方法包括：利用相机获取间隔帧图像；构建训练场地工事目标先验知识；根据先验知识获取对应物体的四个角点的位姿信息；利用solvePnP函数对位姿信息进行解算，得到第一相机位姿；根据改进ORB算法对间隔帧图像进行特征匹配，对自然特征点进行对极几何计算，得到第二相机位姿；根据第二相机位姿对第一相机位姿进行误差优化，利用高斯牛顿法对误差优化结果进行改进，得到最终相机位姿；根据坐标系转换将最终相机位姿结合训练场地工事目标先验知识转换成待注册虚拟物体的最终三维坐标。采用本方法能够提高三维注册准确度和稳定性。
-
公开(公告)号：CN117131706A
公开(公告)日：2023-11-28
申请号：CN202311378739.1
申请日：2023-10-24
Applicant: 中国人民解放军国防科技大学
IPC: G06F30/20 , G06F111/20
Abstract: 本申请涉及面向计算机生成兵力的决策控制装置及行为控制方法，该装置包括定义的组件接口模块、主函数模块和任务插件列表模块；组件接口模块用于提供主函数模块和任务插件列表模块工作时完成数据初始化、配置基础文件、输入数据处理和输出数据处理的处理接口；主函数模块用于根据接收到的任务消息调用任务插件列表模块提供的任务插件完成任务消息对应的任务处理，任务插件列表模块用于提供分别对应于不同决策任务功能的各任务插件；各决策任务功能均为基于计算机生成兵力的不同任务功能。大幅提高了计算机CGF模型的可扩展性。
-
Patent Agency Ranking
公开(公告)号：CN112131789B
公开(公告)日：2023-11-21
申请号：CN202010991858.4
申请日：2020-09-18
Applicant: 中国人民解放军国防科技大学
IPC: G06F30/27 , G06F18/214 , G06F18/2431
-
公开(公告)号：CN116258026B
公开(公告)日：2023-07-21
申请号：CN202310550734.6
申请日：2023-05-16
Applicant: 中国人民解放军国防科技大学
IPC: G06F30/20 , G06F9/445 , G06F16/901 , G06F16/903 , G06Q10/063 , G06Q50/26 , G09B9/00
Abstract: 本申请涉及一种基于多分辨率通用兵力模型的聚合解聚系统和方法。所述系统包括多分辨率通用兵力模型、聚合解聚装置和仿真引擎；仿真引擎用于给聚合解聚装置提供动态创建接口和动态销毁接口，以实现多分辨率通用兵力模型的动态创建和动态销毁；聚合解聚装置包括通用算法模块和实体管理模块，用于在切换分辨率时控制实体聚合和解聚；通用算法模块包括服务化的聚合解聚算法；实体管理模块包括实体编组树结构管理子模块；实体编组树结构管理子模块用于根据聚合级实体或下级实体的各项动态属性给对应的通用资产结构体赋值。采用本系统能够实现不同粒度的通用兵力实体模型之间的流畅动态切换，能解决多分辨率模型之间交互的一致性问题。
-
公开(公告)号：CN112767543B
公开(公告)日：2022-05-27
申请号：CN202110133631.0
申请日：2021-02-01
Applicant: 中国人民解放军国防科技大学
IPC: G06T17/00 , G06K9/62 , G06V10/764 , G06F17/11 , G06F17/15
Abstract: 本发明公开一种基于逻辑回归的FY‑3D红外高光谱云检测方法，涉及卫星遥感技术领域。本发明利用传统的基于成像仪的云检测方法，将MERSI的云检测段产品与HIRAS像元进行匹配，得到带有云标签的HIRAS数据，构成训练数据集，然后使用逻辑回归算法训练数据集，在训练过程中，采用网格搜索方法选择合适的逻辑回归算法超常数，得到泛化性能最佳的模型参数，最后将训练得到逻辑回归云检测模型用于YF‑3D的红外高光谱数据的云检测处理。本发明的逻辑回归云检测模型能达到0.97的分类准确度，预测速度是传统方法的50倍左右，体现出良好的泛化性能。
-
公开(公告)号：CN112966710B
公开(公告)日：2021-11-30
申请号：CN202110133532.2
申请日：2021-02-01
Applicant: 中国人民解放军国防科技大学
IPC: G06K9/62 , G06N20/00 , G01N21/3504 , G01W1/10
Abstract: 本发明公开一种基于线性判别分析的FY‑3D红外高光谱云检测方法，涉及卫星遥感技术领域。本发明利用传统的基于成像仪的云检测方法，将MERSI的云检测段产品与HIRAS像元进行匹配，得到带有云标签的HIRAS数据，构成训练数据集，然后使用线性判别分析算法训练数据集，在训练过程中，采用网格搜索方法选择合适的线性判别分析算法超常数，得到泛化性能最佳的模型参数，最后将训练得到线性判别分析云检测模型用于YF‑3D的红外高光谱数据的云检测处理。本发明的线性判别分析云检测模型能达到0.95的分类准确度，预测速度是传统方法的58倍左右，体现出良好的泛化性能。
-
公开(公告)号：CN112131789A
公开(公告)日：2020-12-25
申请号：CN202010991858.4
申请日：2020-09-18
Applicant: 中国人民解放军国防科技大学
Abstract: 本发明公开了一种基于随机森林算法的多光谱降水检测方法,利用静止卫星上搭载的可见和红外自旋扫描辐射仪和极轨卫星上搭载的微波温度探测仪同时对相同云区进行观测，得到观测数据后，将可见和红外自旋扫描辐射仪高分辨率云产品匹配到微波温度探测仪相元中后，既获得了微波温度探测仪AMSU‑A像元中云体表面的信息又得到了云体内部的信息，进而使用随机森林算法模拟出云顶光学信息和云体内部微波降水信息之间的非线性关系，建立起光学信息和微波降水信息之间的联系，本发明还提供了一种基于随机森林算法的多光谱降水检测系统，包括数据采集模块、匹配模块、建模模块、模型验证模块和降水检测模块。本发明的检测系统及方法比传统的检测方法有着更高的准确率、检测率和较低的错误率。
-
-
-
-
-
-
-
-
-
Search Results
108
records
(took 0.117 seconds)
