公共文化服务平台

共 6 条记录，以下是 1-6

全选清除导出

排序方式：

外军指挥控制过程模型剖析被引量：18: 2012年; 指挥控制过程的研究历来是指挥控制理论研究的重点,特别是有关指挥控制过程模型的研究,自从OODA模型提出以来,有关指挥控制过程模型的研究得到了长足的进步和发展。文章首先介绍现阶段外军比较经典的指挥控制过程模型,然后通过各模型与最为经典的OODA模型的对比,找出各模型的优点和不足,对建立适合我军的指挥控制过程模型具有一定的借鉴意义。; 孙瑞王智学姜志平蒋鑫; 关键词：指挥控制

基于UML/OCL的C^4ISR效能概念建模分析被引量：2: 2012年; 为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。; 蒋鑫王智学董庆超孙瑞; 关键词：特定领域建模

MEISRDL静态图模型的一致性检查方法: 2011年; 复杂系统需求描述语言(MEISRDL)是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言,无法进行基于精确语义的模型检验,模型中容易存在语义上的矛盾或冲突。为了解决该问题,文章提出一种MEI-SRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN(D)描述MEISRDL静态图图元,实现半形式化的MEI-SRDL模型的形式化转换,通过模型映射算法可以有效推理判断模型语义矛盾。实例证明:该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题,为复杂系统需求模型的语义一致性检查工作,提供了可靠的技术支持。; 郝斐蒋鑫董庆超张杰; 关键词：描述逻辑

C^4ISR系统能力需求模型综合效能分析与评估方法: 2011年; 系统综合效能是判断C4ISR系统体系结构设计优劣的一个重要依据。对C4ISR系统能力需求模型的综合效能评估进行了研究,在定量分析系统信息优势能力和决策优势能力的基础上,提出了基于信息优势的系统综合效能分析方法和基于决策优势的系统综合效能分析方法。利用这两种分析方法可以寻找到C4ISR系统中对系统信息优势能力和决策优势能力影响最大的节点或节点集合,为网络中心系统体系设计提供指导。最后通过案例验证了方法的有效性。; 蒋鑫王智学朱宗科连慰宗; 关键词：信息优势

面向目标的C4ISR系统效能概念建模与一致性分析方法: 2013年; 为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念推理的效能概念模型一致性检验算法,研究了从UML模型到描述逻辑本体的映射算法;最后以一个防空系统效能分析案例,说明方法的理论可行性.; 王智学董庆超张炜钟蒋鑫; 关键词：一致性描述逻辑

基于UML的领域规则建模方法被引量：3: 2012年; 为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法。在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型。用该元模型扩展统一建模语言,使其可用于领域规则建模。给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成。通过模型验证案例分析,说明了该方法的可用性。; 王智学蒋鑫董庆超付丰科; 关键词：语义网规则语言特定领域建模

全选清除导出

共1页<1>

蒋鑫