国防科技技术预先研究基金(51306010202) 作品数:7 被引量:20 H指数:3 相关作者: 王智学 朱卫星 何红悦 王庆龙 董驰 更多>> 相关机构: 解放军理工大学 中国人民解放军空军指挥学院 武警指挥学院 更多>> 发文基金: 国防科技技术预先研究基金 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 军事 更多>>
基于模糊-云模型的C^4ISR系统效能需求建模与分析方法 被引量:8 2016年 在C4ISR系统能力需求开发过程中,非功能性需求建模是一个难点,在综合模糊统一建模语言(unified modeling language,UML)与云模型的基础上,提出了一种面向C4ISR系统效能需求的建模与分析方法。首先,从系统效能需求建模入手,提出一种兼顾C4ISR系统功能和效能综合建模的需求分析框架,并通过扩展传统的UML来提高其领域适用性,实现对效能等模糊信息的建模。其次,结合该框架设计了一种效能云模型逆向生成算法,并提出基于云模型的综合效能评估函数构建方法,可以实现对系统效能的定量分析,评价系统完成使命任务的效果。最后,通过一个精简的区域防空系统案例验证了方法的可行性与正确性。 王庆龙 王智学 何红悦 朱卫星关键词:云模型 基于能力概念的复杂系统需求理解框架 被引量:5 2010年 军事电子信息系统因其系统结构、运行基础设施复杂等特点,决定了对其需求分析的复杂性。针对此问题,采用基于能力规划的思想,从能力本体的角度出发,定义出能力的内涵与外延,得出能力分析框架,从而为用户方与开发方规范了共同的需求理解框架,为下一步的能力建模、语义分析与验证打下基础。最后,用一个简单实例分析来说明如何依据能力分析框架描述或理解能力。 董驰 候蕾 王智学 王贵可扩展语义Web服务体系结构设计与服务发现 被引量:2 2016年 随着计算机应用的普及和网络技术的飞速发展,位于网络上的Web服务的数量和种类也与日俱增,如何快速准确地发现满足用户需求的Web服务变得越来越重要。针对现有的Web服务体系结构存在不可扩展、语义信息不足和服务发现效率低等问题,提出了一种可扩展语义Web服务体系结构,以满足现代企业基于SOA构建分布式大规模复杂系统的需求。研究了该体系结构中服务的发布与删除算法,以及由服务的发布与删除引起的Web服务体系结构上的动态调整算法,从而使系统的存储资源得到充分利用,保证了服务的发现效率。研究了基于OWL-S描述的Web服务发现过程及算法,利用仿真实验验证了所提的方法的可行性。 牛小星 王智学 禹明刚关键词:本体 基于C^4ISR系统能力需求的语义Web服务发现技术 2015年 针对传统Web服务体系结构不能完全满足部队构建分布式复杂C4ISR系统需求的问题,首先构建了面向服务的C4ISR系统能力需求核心元素及关系模型,之后提出一种基于结构化层次覆盖网的语义Web服务体系结构,定义了体系结构中的相关本体。然后结合层次覆盖网的优点,描述了其工作原理,并基于OWL-S研究了Web服务功能匹配算法。最后对比了与注册中心结构的服务查询算法的效率。分析结果表明:该方法明显提高了服务查询的效率,有一定的先进性。 牛小星 王智学 张婷婷 禹明刚关键词:WEB服务 本体 基于能力规划CBP的能力本体的构建 被引量:1 2008年 基于能力规划的分析方法,从能力的内涵与外延出发,构建了能力本体,从而为用户方与开发方规范了共同的需求理解,为更好地给技术开发人员建立能力模型,进行语义分析与验证提供良好的基础。 董驰 王智学 曾广军关键词:本体 复杂系统的可执行模型仿真方法研究 被引量:1 2014年 针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。 何红悦 王智学 朱卫星 董庆超 王庆龙关键词:复杂系统 可执行模型 基于fUML的C4ISR体系结构可执行建模及分析 被引量:4 2014年 由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language models)的体系结构建模与分析方法。基于fUML元模型来定义C4ISR体系结构的可执行建模元模型,使用它们来构建C4ISR体系结构的可执行模型;定义可执行模型的代数语义域——可执行活动模型代数(executable activity model algebra,EAMA),使用语义函数将可执行模型的行为语义转换为EAMA的进程项;定义EAMA的操作语义作为进程项的执行规约,通过对进程项的仿真执行来实现C4ISR体系结构的可执行分析,最后以区域防空作战系统为例说明了方法的可行性。 何红悦 王智学 王庆龙 朱卫星