基于本体的战场信息集成研究

针对战场空间内不同类型信息一体化问题,提出了基于本体的多信息集成方法。首次提出了在生存信息和计划信息的基础上用本体来描述信息的集成方法,通过多个本体之间的映射来实现多类不同信息之间的信息集成,为进一步研究一体化指挥控制系统提出了一种有意义的方法。     

基于本体的装备质量监督信息共享与应用系统框架

将本体技术引入装备质量监督领域,设计了基于本体的装备质量监督信息共享与应用系统框架;详细阐述了系统框架的基本结构及关键技术;并从装备质量监督信息处理程序出发,分析了系统框架的优越性。装备质量监督信息共享与应用系统框架设计为系统实现奠定了基础,也为装备质量监督信息共享和应用提供了新思路。     

一种基于语义推理的多智能体协同功能设计框架

在功能设计知识本体表示模型的基础上，提出了一种基于语义推理的多智能体协同功能设计框架。该框架分为两个部分，其中，基于Multi-agent的通信协作平台将OWL本体嵌入到FIPAACL中以实现产品设计Agent之间的设计知识通信；基于本体的功能建模方法则将本体表示与本体推理结合以支持功能设计本体的存储与检索。最后，对该框架所包含的协同功能设计本体语义推理模型进行了分析与实现，以证明所建议框架的有效性。     

基于Agent的网络化防空作战多传感器集成研究

多传感器系统的集成与优化是获取网络化防空作战信息优势的关键环节. 首先探讨了网络化防空作战条件下多传感器资源的构成和特点,给出了信息源集成和信息集成的思路,建立了多传感器系统的闭环控制信息融合模型,并提出了基于多Agent的多传感器系统管理体系和综合集成框架,为构建具有智能化的多传感器协作系统提供了一种有效的方法.     

装备CBM与IETM智能维修系统的集成研究

现代装备维修由以手册为中心的事后检测发展为以信息为中心的状态分析,先进的分析技术集成于装备及其服务中.针对基于交互式电子技术手册(IETM)智能化维修系统在数据交互和诊断推理过程中的互操作性要求,提出了面向开放系统体系结构(OSA-CBM)的基于状态维修(CBM)系统与IETM系统的集成框架,框架给出了CBM与IETM的4级集成方式,并采用观察者模式接口模型,实现了多级集成中对数据交互的重用性要求.     

基于信息模型的C4ISR系统需求集成方法

多视图需求工程中"分而治之"的需求开发方式,必然会产生"需要集成"和"如何集成"等问题.研究了基于多视图的C<'4>ISR系统需求框架及其视图产品,并在此基础上给出了C<'4>ISR系统需求集成的概念与范围.通过建立需求信息模型,从语法、语义和语用三个层次研究构建一个需求集成框架.通过需求产品之间的关联关系,分析不同视图产品在集成中存在的问题,并给出了需求集成框架中不同需求产品的集成过程,为C<'4>ISR系统需求集成问题的解决提供一个可供参考的方法.     

基于本体的Legacy知识系统集成

大量Legacy知识系统在语义层上的冲突阻碍着相互间的集成与互操作,影响了我军一体化知识处理平台的实现.将一个分布异构的知识系统视为多主体系统,提出了一种通过中介主体来实现Legacy知识系统集成的软件框架,分析了中介主体的结构;在这一结构中,通过明确表达Legacy知识系统的本体、借助战场空间领域共享本体、本体映射规则来解决语义冲突,实现了Legacy知识系统之间的语义集成.     

战场空间本体构建方法研究

从构建战场空间知识基础设施,进而形成一体化的知识处理平台、获取知识优势出发,将本体思想引入战场空间知识建模领域,提出了战场空间本体体系,即战场空间本体包括上层本体、领域本体、应用本体;并重点研究了一种战场空间领域本体的构建方法BOC,包括基于上层本体BUO的领域本体构建方法,基于上层本体BUO的领域本体合并方法.基于本体的战场空间知识建模从根本上解决了战场空间中知识系统之间的知识共享和重用问题,便于知识系统的集成.     

武器系统总体设计集成框架设计与实现

讨论了支持武器系统总体设计的集成框架所要解决的主要问题 ,提出了基于共享产品模型和过程建模的集成框架体系结构 ,结合某武器系统的总体设计 ,研究了实现这类集成框架的主要技术问题 ,最后 ,给出了一个运用集成框架进行导弹外形设计的计算实例     

指控领域模块化本体开发方法

部队指控系统的广泛应用对指控训练提出更高要求。仿真系统开始越来越多地应用于训练中,为之提供真实的指控训练环境。部队模拟训练系统中实装指控系统与基于仿真的训练支撑环境的互操作性问题是一个急待解决的问题。指控领域本体用于对实装指控系统与基于仿真的训练支撑环境间命令、请求和报告等交互信息进行形式化语义描述,解决二者在语义层次的互操作性问题。指控领域模块化本体开发方法对现有开发方法进行了改进,更加符合本体构建原则,主要体现在指控领域模块化本体的量化评价和指控领域本体模块的集成这两个方面。     

基于信息折合的CMSR方法研究

计数法和计量法是对产品可靠性评估的两种不同方法。通过仿真,比较了它们对正态单元双边可靠性评估的效率,发现对可靠性要求很高的产品,计量法优于计数法。进一步研究了基于信息析合的CMSR方法,通过仿真检验,证明了此种方法在样本量较小时是实用的。     

基于网关的LVC互操作研究

仿真体系结构解决了各自领域内仿真资源的互操作问题,而体系结构间的互操作是解决多种仿真资源互操作的有效方法.由于通信协议、中间件和对象模型的不同,体系结构间不能直接进行信息交互.对象模型间的相同点是异构仿真系统间互操作的基础.建立异构系统对象模型与通用数据交换模型的映射关系,通过模型转换实现各异构系统间的数据交互,最后通过"点对点"和通用网关间的时延比较,总结了通用网关的性能特点.     

基于价值的指挥主体作战指挥行为评估

作战指挥行为是作战指挥理论的一个重要方面。在明确了其概念后,将价值这一概念引入作战指挥行为评估,认为价值的创造主体是作战指挥行为,并以此作为评估的基础。最后,利用数据挖掘中的关联规则实现评估的量化,并结合案例说明该方法的有效性。     

基于知识的模型表示研究

基于知识的模型表示是信息管理系统,特别是决策支持系统(DSS)的基础。根据模型管理和模型建立动态性原则的要求,提出了模型知识化的框架表示法,并给出了应用实例。     

基于Petri网的案例推理研究

介绍Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点介绍了该系统的案例库的知识表示。     

基于能力匹配的网络化防空作战联盟生成研究

作战联盟用于描述网络化防空作战的组织框架,其生成问题是研究网络化防空作战协同的基础。首先从任务、联盟表达、能力含义等方面对防空作战联盟问题进行了描述;然后从防空作战节点与面临任务在能力上的供需关系出发,建立匹配、匹配域、能力裕度等相关观念,并依据防空作战联盟形成的不同准则,分别建立基于能力裕度最大和基于执行节点数最少两个NADOC生成问题的约束优化模型;最后通过案例对模型进行了验证分析。     

基于步态特征的人体身份识别

步态识别是一种新兴的生物特征识别技术,具有广泛的应用前景.首先,给出了步态识别的特点;其次,根据步态序列图像的预处理、特征处理和识别分类三个阶段,阐述了目前所采用的主要技术及各种技术的主要优缺点;最后,提出了步态识别的应用前景和目前存在的主要问题.     

XML的网络标图技术

针对信息化条件下网络标图的需要,以SVG(可缩放矢量图形)作为态势图中电子地图、队标、队号以及附注说明等数据模型的表现形式,提出了基于XML将态势图信息文本化,并实现网络标图的构想,对态势图和军标进行了建模处理,并基于Microsoft Visual Studio.NET网络开发平台,对态势图的标绘、代码解析、网络传输和接收再现进行了较深入的研究.     

基于奇偶矢量的多星座RAIM算法

随着GNSS接收机技术的不断发展,基于多星座下的GNSS接收机自主完好性监测(RAIM)算法也已被国内外学者广泛研究。首先介绍了接收机自主完好性监测奇偶矢量算法的原理,然后分别对单星座、多星座组合下的RAIM算法进行了研究和仿真,图形化和数据化的仿真结果充分证明了多星座组合下的完好性监测性能优于单星座下完好性监测性能。     

New results on rendezvous search on the interval

In a rendezvous search problem, two players are placed in a network and must try to meet each other in the least possible expected time. We look at rendezvous search on a discrete interval in which the players are initially placed using independent draws (usually assumed to be from the same distribution). Some optimal solutions are known if this distribution is uniform, and also for certain other special types of distribution. In this article, we present two new results. First, we characterize the complete set of solutions for the uniform case, showing that all optimal strategies must have two specific properties (namely, of being swept and strictly geodesic). Second, we relate search strategies on the interval to proper binary trees, and use this correspondence to derive a recurrence relation for solutions to the symmetric rendezvous problem for any initial distribution. This relation allows us to solve any such problem computationally by dynamic programming. Finally, some ideas for future research are discussed. © Wiley Periodicals, Inc. Naval Research Logistics 60: 454–467, 2013