国家高技术研究发展计划(2007AA01Z126) 作品数:48 被引量:157 H指数:7 相关作者: 王智学 董庆超 苗壮 陈剑 郑世明 更多>> 相关机构: 解放军理工大学 中国人民解放军沈阳炮兵学院 中国人民解放军通信指挥学 更多>> 发文基金: 国家高技术研究发展计划 国防科技技术预先研究基金 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 军事 自然科学总论 经济管理 更多>>
面向C4ISR能力分析的领域特定描述语言 被引量:6 2011年 针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UML Profile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性. 董庆超 王智学 朱卫星 陈剑 张婷婷关键词:描述逻辑 C4ISR系统组织互操作性研究 被引量:5 2015年 当前对于系统互操作的研究主要集中在技术层面,关注于系统间如何有效交换及利用所交换的数据.如何从战略理念,组织结构,业务进程等更高的组织层面分析系统的互操作性问题,指导体系设计,在系统众多、协作关系复杂的C4ISR系统中尤为重要.本文首先给出组织互操作基本概念,分析了我军指挥信息系统的互操作需求;在此基础上基于权变理论给出组织互操作框架及相关制品;最后,以某前沿阵地防空系统为例论述了组织互操作框架在体系分析与设计中的应用. 禹明刚 王智学 朱卫星关键词:权变理论 C4ISR系统 目标时序关系的形式定义和建模算法 2009年 多数目标建模方法关注于不同层次的目标关系。针对同一层次上的目标之间的时序关系,给出与目标建模相关的若干形式定义和命题,帮助分析人员判断目标间时序关系、并发及死锁。基于时序关系的传递性,给出目标关系建模的传递闭包算法,帮助分析人员直观地判断目标间的时序关系及其存在问题,科学、合理地标记各个目标的时序等级属性,便于目标精化工作的完成。 陈彬 王智学关键词:面向目标 C^4ISR系统能力需求行为建模及验证 被引量:4 2012年 针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。 何红悦 王智学 董庆超 徐景 张兆巍基于云遗传算法的防空火力优化分配 被引量:7 2011年 为了克服传统遗传算法易陷入局部最优解的缺陷,利用云模型中云滴的随机性和稳定倾向性的特点,提出了一种全新的云遗传算法。该算法由正态云模型的Y条件云发生器实现交叉操作,由基本云发生器实现变异操作,建立了武器打击目标的数学模型,运用基于云模型的遗传算法对其进行优化求解,确定武器打击目标的最优方案,并在防空目标分配与优化中对初始种群的产生、选择、变异和交叉操作进行了改进,通过实例分析,表明文中的方法具有较强的操作性、有效性、简便性和实用性。 郑世明 苗壮 董磊 宋自林关键词:作战指挥 遗传算法 云模型 网格环境下基于Weka4WS的分布式聚类算法 2010年 Weka4WS采用WSRF技术用于执行远程的数据挖掘和管理分布式计算,支持分布式数据挖掘任务。基于Weka4WS和网格环境,尝试了一种新的分布式聚类方法,并成功地将其嵌入到Weka4WS框架中,借助We-kaLibrary实现分布式数据挖掘算法,同时引入了距离代价和混合概率的概念,将网格与Web服务技术融合,以分布式问题求解环境和开源数据挖掘类库Weka为底层支持环境,构建了网格环境下面向服务的分布式数据挖掘体系,并以基于Weka4WS的分布式聚类算法验证了算法的有效性和体系结构的可行性。 郑世明 徐顺福 宋自林 苗壮关键词:网格 分布式 聚类 数据挖掘 基于云模型的网格任务调度遗传算法研究 被引量:3 2012年 针对网格环境动态多变性的特点,为了克服传统遗传算法易陷入局部最优的缺陷,提出了一种基于云模型的网格任务调度遗传算法。该算法由正态云模型的Y条件云发生器实现交叉操作,由基本云发生器实现变异操作,对调度模型进行优化求解,并在任务调度中对初始种群的产生、选择、变异和交叉操作进行了改进,通过实验分析,表明了该算法的可靠性、有效性和实用性。 郑世明 高志年 韦伟 苗壮 邵荣明关键词:云模型 遗传算法 网格 任务调度 C2关系网络演化生成特性分析 被引量:4 2009年 在网络中心作战背景下,为了探索"聚力前沿"(Power to the Edge)现实要求下的指挥控制(C2)关系动态演化规律,讨论了两种实元的加入策略模型:"信息最优加入"策略(BIMS)和"随机加入"策略(RMS);提出了信息资源利用率、信息资源命中率、信息传输有效率等三个指挥控制关系网络效能指标和一种加权评价方法。通过对仿真结果的分析,发现了BIMS策略下C2关系网络演化过程中存在的自组织、自适应现象,得出了BIMS策略下C2关系网络将具有无尺度网络特征这一结论。最后,比较了BIMS策略和RMS策略下的C2关系网效能和抗随机干扰能力,发现前者优于后者,而且BIMS策略下C2关系网具有逐渐优化的能力。 陶九阳 张东戈 孟辉关键词:网络演化 无尺度网络 一种基于二元语义信息处理的群体决策方法 被引量:3 2009年 针对决策者权重、属性权重和属性值均为语言形式的多属性群体决策问题,给出一种基于二元语义信息处理的群体决策方法。该方法采用二元语义概念对语言评价信息进行处理和集结运算,结合传统的理想点方法对方案进行优选。首先描述了具有语言评价信息的多属性群体决策问题,然后介绍了有关二元语义的定义及其相关性质,给出了基于二元语义的集结算子,并进一步给出了解决该类群体决策问题的具体步骤。最后给出了一个算例,验证了该方法的有效性。 鲍广宇 付丰科 赵志敏关键词:群体决策 二元语义 语言评价信息 集结算子 基于本体的战场信息资源互操作模型研究 一切与作战有直接和间接关系的信息称为战场信息资源。为实现战场信息资源之间的共享和互操作,讨论了互操作的层次,介绍了一些典型互操作模型,在此基础上提出了基于本体的战场信息资源互操作模型。利用本体编辑工具Protege构建描... 苗壮 李杰 王智学 刘剑豪关键词:本体 信息资源 互操作 文献传递