基于贝叶斯网络的系统可靠性评估方法研究

为了有效评估动态系统要素间的复杂行为和交互特性,提出了一种基于贝叶斯网络(Bayesian Network,BN)的可靠性建模与分析的新方法.该方法利用BN的不确定性推理和图形化表达的优势,能够很好地捕捉系统要素的行为与交互,以结构的方式组合各种基本BN架构为用户提供模块化和分级的途径对系统进行建模.实验结果表明该方法的可行性和有效性.从而提高了系统的灵敏度,减少了其不确定性.     

C4ISR体系结构研究现状与问题

体系结构是组成系统各部件的结构、它们之间的关系以及制约它们设计和随时间演进的原则和指南。C4ISR体系结构已成为国内外军事领域的研究热点以及大型军事信息系统开发的关键技术之一。归纳了C4ISR体系结构研究的重要意义及其主要的研究方向。在介绍了C4ISR系统体系结构定义之后,从三个方面总结了C4ISR体系结构技术的研究进展。最后在分析当前体系结构研究不足的基础上对体系结构的发展趋势进行了总结和展望。     

C-4ISR 体系结构设计与分析的研究现状及其存在的问题

从体系结构设计技术、方法以及支撑技术等方面分析总结了当前C-4ISR系统体系结构研究的现状,并在此基础上探讨了当前体系结构分析研究当中存在的问题,最后针对问题进行了小结。     

满足使命需求的武器装备系统组合方案搜索算法

武器装备系统组合是武器装备体系构建的基础。武器装备体系需求建模与仿真的一项基础工作是获得满足使命需求的可行武器装备系统组合方案,从而为武器装备体系需求模型构建提供基础数据支持。本文针对使命需求到装备系统之间的三层映射关系,利用改进的向量运算提出了一种满足武器装备体系需求建模与仿真的需要的装备系统组合方案搜索算法,通过实验证明算法具有便于编程实现、实用性强、可靠性高的特点。     

合成Petri网P不变量的性质分析

针对Petri网两种合成操作(共享合成、同步合成),采用组合原Petri网不变量生成合成Petri网不变量的方法,研究了合成Petri网P不变量的变化规律。对于同步合成Petri网,当原Petri网邻接矩阵的秩不超过各自转移数与共享转移数的差时,合成网的P不变量可以用原网P不变量的线性组合表示。对于共享合成Petri网,网的P不变量的位置投影是原网的P不变量;当原Petri网的P不变量线性相关时,可用其线性组合表示合成网的P不变量。     

基于Petri网的武器装备体系能力需求仿真验证方法

为了验证武器装备体系提供的作战能力能否满足作战任务的能力需求,提出了基于Petri网的武器装备体系能力需求仿真验证方法.首先研究了作战任务及其作战能力需求的形式化描述方法,然后对研究了武器装备体系作战能力的形式化描述方法,最后,研究了在考虑概率和资源冲突的情况下,如何构建基于Petri网的仿真模型.最后进行了案例分析,证明了该方法的可用性.     

图书馆读者投诉及应对处理措施

介绍了图书馆读者投诉的内涵和形式,分析了引发图书馆读者投诉的因素,提出了图书馆读者投诉的应对处理措施.     

基于CADM的C4ISR体系结构一致性验证方法

近年来,体系结构验证已经成为C4ISR系统体系结构领域重要的研究方向.传统的体系结构验证方法依赖于体系结构数据的表现形式,依赖于特定的体系结构设计工具,不具有通用性.本文提出的基于核心体系结构数据模型（CADM）的体系结构验证方法可以避免这个问题,CADM是C4ISR系统体系结构数据的逻辑模型,本文首先解释了CADM的概念、然后对体系结构数据一致性验证的内容和详细步骤进行阐述,最后通过案例进行说明.     

可执行能力需求模型的动作语义研究

针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified modeling language, UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。     

基于描述逻辑的C4ISR系统体系结构一致性验证方法

综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。