基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

C4ISR需求开发新途径：基于本体建模

针对C4ISR需求客观上复杂且特殊、主观上难沟通等特点导致C4ISR需求开发难的问题,研究C4ISR需求本体,提出开发C4ISR需求的一条新途径:基于本体建模。首先,构建C4ISR需求本体元模型、语义模型,很大程度上澄清了C4ISR需求领域知识结构;然后,提出基于本体建立C4ISR需求模型的具体步骤;最后,示例说明方法的可行性、有效性,展示了方法的应用前景。     

某型导弹发射仪可靠性Bayes设计与实现

某型导弹发射仪主要是用于发射舰载新型反舰导弹的保障设备,对其工作性能可靠度的高低直接关系到系统的正常使用,所以系统的高可靠性是该导弹发射仪设计的首要指标之一.在对某型导弹发射仪进行可靠性设计时,经过对系统构成要素的分析,在充分论证系统可靠性的基础上,运用可靠性的估计相关理论和数学理论,建立了某导弹发射仪的可靠性模型,运用Bayes方法进行了可靠性评定,计算表明该系统的可靠性达到了设计指标要求,对实际系统工程的可靠性设计与评定具有较好的借鉴作用.     

基于活动的C4ISR系统作战需求综合建模方法

在综合分析DoDAF作战视图产品的基础上,对基于活动、以信息为中心的C4ISR系统作战需求综合建模方法进行了研究.首先利用UML的扩展机制(包括构造型、标记值和约束),建立了作战需求综合建模的元模型;其次,通过面向对象方法确定了最小核心要素集模型,并深入分析各个核心要素及其相互之间关系;最后,在上述基础上,明确提出了C4ISR系统作战需求综合建模的开发框架,为作战需求综合建模的过程提供指导.     

基于本体的CADM建模方法研究

体系结构核心数据模型(CADM)作为体系结构建设的通用参考资源之一,对C4ISR系统的顶层设计具有重要意义.通过深入分析CADM的开发要求及其特性,提出了一种基于本体的建模方法.该方法的主要特点是:通过在领域原始信息与最终实体联系模型之间建立本体模型,作为自然语言描述信息与逻辑数据模型之间的过渡,实现前者到后者的合理转换.该方法在逻辑数据模型设计及C4ISR系统数据工程两方面均有所突破.     

自行高炮武器系统机动生存能力建模评估

首先根据自行高炮武器系统的特点和功能,建立了自行高炮机动生存能力评估指标体系,然后根据自行机动能力的特点,建立了自行高炮武器系统的机动能力评估指标体系,运用层次分析法得出自行高炮的机动能力指数,并对武器系统抗毁伤、抗侦察、抗电磁干扰和防空拦截能力进行了量化,采用指数法建立自行高炮生存能力的综合指数评估模型.最后对某型自行高炮武器系统的生存能力进行了评估分析,验证了该模型的正确性.     

坦克分队战斗过程仿真

坦克分队战术训练模拟系统是在合成作战背景下,根据上级作战企图,指挥所属坦克分队完成具体作战任务行动过程的描述.战斗过程仿真模块是其中一个重要的组成部分,是建立整个作战模拟系统的核心.在开发坦克分队战术训练模拟系统当中,实施坦克分队战斗过程描述而进行的仿真建模研究,主要对坦克分队战斗仿真的要素,包括机动、交战过程、态势显示等进行了描述与建模,重点建立了交战过程中目标搜索、交火条件判断、交火单位选择、实力修正等模块,对分队训练模拟系统的研制与开发有一定的借鉴作用.     

Link16数据链时隙冲突概率分析

基于S-TDMA协议的Link16是美军目前广泛使用的一种战术数据链.时隙预约选择算法是基于S-TDMA协议的数据链实现自组织特性的关键;而时隙冲突概率则是衡量时隙预约选择算法优劣的重要指标,也是S-TDMA数据链重要的性能指标.一帧中的时隙个数、用户的报文报告率、候选时隙窗口调整因子等参数对时隙冲突概率都有重要影响.采用经典概率方法对时隙冲突概率进行分析,得到了冲突概率的数学表达;针对美军Link16 数据链的一些参数,分析了它们对时隙冲突概率的影响;就如何控制时隙冲突得出了一些结论.     

组合建模的航母战斗群威胁预警方法

根据航母战斗群的运动特性,提出用灰色模型与自回归时序组合建模方法构建其运动预测模型.依据此模型对双方火力控制区的变化进行预测,最后给出了航母战斗群威胁预警仿真系统的实现思路.解决了陆基常规导弹对抗航母战斗群的作战保障工程的部分问题,具有较强的军事应用价值.     

CPN在导航装备维修保障效能中的应用

有色Petri网(CPN)作为目前离散动态系统建模中最活跃的建模工具之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用和理解.首先介绍了有色Petri网的一些基本知识,然后运用有色Petri网的建模理论对导航装备维修保障系统进行了描述和建模,并运用Design/CPN对具体实例进行了仿真实现,其维修保障效能结论证明了建模思想的可行性.