王庆龙
- 作品数：14 被引量：29H指数：3
- 供职机构：解放军理工大学更多>>
- 发文基金：国家自然科学基金国防科技技术预先研究基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术军事自然科学总论政治法律更多>>
- 复杂系统能力需求模型的仿真技术与实现被引量：1
- 2012年
- 为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。
- 张炜钟王智学王庆龙赵文陈剑
- 关键词：统一建模语言仿真
- 基于描述逻辑的C^4ISR系统体系结构一致性验证方法被引量：2
- 2012年
- 综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。
- 王智学董庆超姜志平王庆龙
- 关键词：体系结构
- 基于fUML的DoD体系结构可执行建模与分析
- 针对DoD体系结构验证评估过程中,由于模型不可执行造成的诸多问题,提出了一种基于fUML的体系结构可执行建模及分析方法.从扩展fUML元模型入手,得到DoD体系结构可执行元模型,使用这些可执行元模型来构建DoD体系结构的...
- 何红悦王智学王庆龙董庆超
- 关键词：可执行模型
- 文献传递
- 面向C4ISR系统联合作战的跨组织进程互操作研究被引量：2
- 2016年
- 军事组织间的互操作是联合作战成败的关键,瞬息万变的战场环境中各组织如何协调、整合业务进程以完成共同的使命任务对协作模式的灵活性,协作组织的自主性等提出了更高的要求.传统的基于公共视角的业务进程协作模式已不能适应现代联合作战的需求.本文首先提出了一套灵活的可见性控制机制,基于可见性控制机制给出了一套新的协作进程建模框架,在该框架中各协作方从自身视角出发分别构建独立的协作进程,并支持系统加入退出时协作伙伴的自主选择及协作进程的扩展.论文同时给出了协作进程建模框架的数学形式化描述及相关算法.
- 禹明刚王智学王庆龙
- 关键词：联合作战
- 基于模糊-云模型的C^4ISR系统效能需求建模与分析方法被引量：8
- 2016年
- 在C4ISR系统能力需求开发过程中,非功能性需求建模是一个难点,在综合模糊统一建模语言(unified modeling language,UML)与云模型的基础上,提出了一种面向C4ISR系统效能需求的建模与分析方法。首先,从系统效能需求建模入手,提出一种兼顾C4ISR系统功能和效能综合建模的需求分析框架,并通过扩展传统的UML来提高其领域适用性,实现对效能等模糊信息的建模。其次,结合该框架设计了一种效能云模型逆向生成算法,并提出基于云模型的综合效能评估函数构建方法,可以实现对系统效能的定量分析,评价系统完成使命任务的效果。最后,通过一个精简的区域防空系统案例验证了方法的可行性与正确性。
- 王庆龙王智学何红悦朱卫星
- 关键词：云模型
- 基于SysML的C^4ISR系统效能分析及建模方法被引量：1
- 2012年
- 针对C4ISR分析与设计中建模手段的不足,提出了基于系统建模语言(SysM L)的C4ISR分析与设计建模方法。通过分析SysM L机制,研究了SysM L新增需求图、扩展块图和参数图等模型对C4ISR建模的支持作用,探讨了SysM L对C4ISR建模的精确描述和定量分析优势。以某区域防空系统为例,研究了基于SysM L的系统效能分析建模过程。结果表明该方法对C4ISR的效能分析建模合理可行。
- 王庆龙王智学张炜钟徐景
- 关键词：系统建模语言C4ISR系统系统效能分析
- 基于DEVS的突发事件应急响应建模研究被引量：1
- 2015年
- 现在,各类突发事件时有发生,会给人们造成很大的损失,我国正处于社会转型期,导致社会矛盾加剧,社会稳定性有待提高,我国的政府也都在采取措施加强预防,防止各类突发事件的发生影响社会的稳定。本文主要通过DEVS,通过对突发事件处理的决策,从而建立系统的仿真,开放实验室和相关的平台,从而能够模拟突发事件的环境,提高我国突发事件处理的能力。
- 刘一洲王智学王庆龙
- 关键词：应急响应DEVS仿真
- 一种支持能力需求概念一致性和合理性分析的方法被引量：11
- 2013年
- 针对C4ISR系统能力需求中存在的大量模糊信息以及需求模型中可能会存在的不一致性、不合理性问题,从体系结构能力相关概念出发,构建C4ISR领域特定的能力模糊本体,在模糊本体的引导下,获取应用系统的能力需求模型.在此基础上,研究了基于模糊描述逻辑符号推理的能力需求模型一致性、合理性验证技术,给出了能力需求模型向模糊描述逻辑知识库的转换算法,最终采用一个模型验证案例说明了方法的可行性.
- 王智学董庆超朱卫星李雯何红悦王庆龙
- 关键词：模糊本体模糊描述逻辑
- 基于fUML的DoD体系结构可执行建模与分析
- 针对DoD体系结构验证评估过程中,由于模型不可执行造成的诸多问题,提出了一种基于fUML的体系结构可执行建模及分析方法.从扩展fUML元模型入手,得到DoD体系结构可执行元模型,使用这些可执行元模型来构建DoD体系结构的...
- 何红悦王智学王庆龙董庆超
- 关键词：军事信息系统体系结构可执行模型
- 文献传递
- 基于fUML的DoD体系结构可执行建模与分析
- 何红悦王智学王庆龙董庆超
- 关键词：可执行模型
