国防科技技术预先研究基金(9140A06040108JB8101)
- 作品数：14 被引量：54H指数：5
- 相关作者：王智学董庆超陈剑胡博杨海波更多>>
- 相关机构：解放军理工大学中国人民解放军中国人民解放军91991部队更多>>
- 发文基金：国防科技技术预先研究基金国家高技术研究发展计划中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术军事自然科学总论更多>>
- 网络中心化决策优势建模及分析被引量：4
- 2010年
- 决策优势能力是判断军事信息系统体系结构设计优劣的一个重要依据。对网络中心化决策优势能力评估进行了研究,给出了决策优势的能力模型,并利用信息熵理论建立了决策知识的数学描述;将信息系统体系结构转换为抽象的决策网络,并根据任务划分和群决策机制自动生成决策子网;建立了基于拓扑结构的网络复杂性模型;综合决策知识和网络复杂性,建立了决策子网和整个决策网络的决策优势能力评估模型。最后,结合应用案例分析验证了方法的有效性。
- 杨海波陈国友王智学董庆超
- 关键词：体系结构
- C^4ISR系统能力需求行为建模及验证被引量：4
- 2012年
- 针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
- 何红悦王智学董庆超徐景张兆巍
- 可执行能力需求模型的动作语义研究被引量：1
- 2011年
- 针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。
- 王智学张炜钟赵文姜志平
- 关键词：统一建模语言动作语义可执行模型
- 面向C4ISR能力分析的领域特定描述语言被引量：6
- 2011年
- 针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UML Profile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.
- 董庆超王智学朱卫星陈剑张婷婷
- 关键词：描述逻辑
- 路由器级拓扑发现目标地址选择问题研究
- 2010年
- 路由器级拓扑发现对于获取Internet网络拓扑结构具有重要意义,而如何获得拓扑发现的目标地址是其面临的一个主要问题。现有的方法主要使用Internet上公布的BGP(Border Gateway Protocol)前缀,若对其不加处理,对所有的网络前缀都进行探测,所产生的网络负荷和算法收敛时间将难以接受。同时,在选择目标地址时也需要考虑完备性,以保证对目标网络的覆盖程度。文中对已有的"桩网络法"进行改进,实验证明提高了目标地址的真实性以及对目标网络覆盖的完备性。
- 刘影胡博左敦稳董庆超邹珊
- 关键词：拓扑发现
- 基于UML模型的C^4ISR系统能力需求分析与验证被引量：18
- 2009年
- 针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。
- 王智学董庆超陈彬陈剑
- 基于能力模型的决策优势评估研究被引量：1
- 2011年
- 提出了一种用于评价信息系统决策优势的新方法。给出了决策优势的能力模型;引入了决策知识的数学描述方法,分析了信息价值对决策优势的影响,给出了信息价值评价指标体系和单个决策者的决策优势能力评估模型。通过将能力需求模型转换为决策网络,并建立相应的评估模型,以评价网络化决策优势的能力。结合应用案例,对该方法进行了验证。
- 杨海波王智学陈国友付国玺
- 关键词：网络化
- 基于描述逻辑的C^4ISR系统体系结构一致性验证方法被引量：2
- 2012年
- 综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。
- 王智学董庆超姜志平王庆龙
- 关键词：体系结构
- 面向目标的C4ISR系统效能概念建模与一致性分析方法
- 2013年
- 为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念推理的效能概念模型一致性检验算法,研究了从UML模型到描述逻辑本体的映射算法;最后以一个防空系统效能分析案例,说明方法的理论可行性.
- 王智学董庆超张炜钟蒋鑫
- 关键词：一致性描述逻辑
- 基于描述逻辑的能力需求模型验证方法被引量：9
- 2010年
- 针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。
- 董庆超王智学陈剑张义
- 关键词：描述逻辑OWLDL
