基于LDA的综合集成研讨实验数据聚类分析方法研究

综合集成研讨实验数据聚类分析是联合作战实验重要而现实的难题.立足其数据特征,提出一种基于LDA模型的聚类分析方法,核心内容包括LDA模型、基于联合作战实验领域本体的语义距离度量算法和语义概念扩展规则,分别解决研讨话题发现、词汇间语义距离计算和分布概率失衡问题.着眼未来综合集成研讨实验数据面临的大数据挑战,依托大数据平台Mahout对本文提出的方法进行技术实现和案例验证.     

陆军联合作战地雷爆破器材储备计算模型研究

在系统分析各种作战要素的基础上,运用数学分析和数理统计的方法,构建了陆军联合作战地雷爆破器材储备计算模型.模型可为陆军部队各级机关参谋人员量化分析评估和科学计算地雷爆破器材战略、战役、战斗储备提供算法工具,也可为科研院所进行相应领域作战模拟仿真提供建模参考.     

基于聚合模型的高轨预警卫星威胁评估

高轨预警卫星威胁评估是导弹作战指挥辅助决策的重要环节,可以为指挥员的太空目标选择提供依据。在分析其威胁要素特征的基础上,提出了采用“聚合模型”开展威胁评估的方法,并给出了威胁评估步骤。通过分析美国高轨预警卫星的工作模式及作战流程,选取了扫描探测、凝视跟踪及外部等三个方面的关键性威胁要素,并构建了各要素的评价函数模型。基于上下层威胁要素之间关系的不同,给出了两种不同的聚合模型,采用该模型分析了所选要素之间的聚合关系,得到了高轨预警卫星威胁评估模型。最后通过实例计算,验证了该评估方法的可行性和实用性。     

联合作战目标协同模型构建与求解方法?

在对联合作战目标协同研究内容分析的基础上,提出了多任务部队与多作战目标的协同目标分配模型,其融合了目标综合价值、目标打击有效性、目标威胁适配度、目标类型匹配、目标距离匹配等因素。通过对各因素量化并将协同目标分配模型转换为指派问题进行求解,验证了分析方法的可行性。     

一个基于知识的航空影像目标自动识别系统

本文提出了一个基于知识的航空影像目标自动识别系统 ,系统采用结构化的黑板模型 ,专家知识不仅用来指导高级的目标识别 ,也用来指导低级的图像分割 ,本文还研究了一种不确定性知识的表示方法和推理模型 ,知识用产生式规则和过程表示 ,实验证明该算法对航空影像中目标的识别是有益的。     

防空C~3I中时分多址通信网络模型结构分析

给出了系统模型结构的定义,并分析了防空Ｃ３Ｉ中时分多址通信网络的系统模型结构     

用混合有限元模型分析船体振动问题研究

对混合有限元模型应用于船体振动分析的方法进行了讨论,并建立了某船的混合有限元模型,分别对其船体总振动和局部振动进行了计算.计算结果表明,混合有限元模型的总振动计算结果略小于迁移矩阵法,而局部振动计算结果与孤立模型存在较大差异.     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

扩展式机动目标可调白噪声模型

在目标跟踪过程中,每个量测周期所得到的雷达量测数据以极坐标形式表示。量测方程在极坐标中是线性的,但在笛卡儿坐标系中却是非线性的。此时,目标跟踪实际上是非线性的。随着现代航空、航天技术的发展,飞行器的机动性得到了更大的加强,这就使跟踪问题变得更加困难和复杂。针对非线性机动目标跟踪问题,提出了一种扩展式当前统计模型机动目标跟踪算法。该算法不需要假定目标的机动加速度模型,而是直接正确地估计出机动目标的当前状态,不存在任何估计滞后与修正问题。最后,给出了算法的仿真分析。     

信息系统软试验床

本文重点提出了基于信息系统的软试验床的新概念、体系结构和问题描述的标准模型、基模型等概念及表示形式,同时对信息系统生成、维护、评价、测试、运行等集成环境的构造原则进行初步的探讨。