国防科技技术预先研究基金(9140A06040108JB8101)

作品数：14被引量：55H指数：5
导出分析报告
相关作者：王智学董庆超陈剑胡博杨海波更多>>
相关机构：解放军理工大学中国人民解放军中国人民解放军91991部队南京航空航天大学更多>>
相关期刊：《系统工程理论与实践》《兵工自动化》《系统工程与电子技术》《指挥控制与仿真》更多>>
相关主题：描述逻辑C^4ISR系统本体OWL体系结构更多>>
相关领域：自动化与计算机技术军事自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向目标的C4ISR系统效能概念建模与一致性分析方法
《系统工程理论与实践》2013年第9期2381-2389,共9页王智学 董庆超 张炜钟 蒋鑫 
"十一五"国防重点预研基金项目(9140A06040108JB8101)
为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念...
关键词：效能分析 软目标 一致性 描述逻辑 
基于描述逻辑的上下文知识获取与推理方法被引量：10
《计算机科学》2013年第4期199-203,共5页胡博 王智学 董庆超 牛彦杰 
"十一五"国防重点预研基金(9140A06040108JB8101)资助
针对上下文感知计算中缺乏清晰统一的模型与自动推理支持的问题,提出一种基于描述逻辑的上下文知识获取与推理方法。该方法首先提出了一种本体引导的上下文模型框架,根据抽象层次的不同将上下文模型分为元模型与领域特定模型两层结构;...
关键词：普适计算 描述逻辑 本体 上下文推理 
基于OWL的上下文感知建模与推理方法被引量：5
《系统工程与电子技术》2012年第10期2163-2168,共6页胡博 王智学 董庆超 
"十一五"国防重点预研基金(9140A06040108JB8101)资助课题
上下文感知计算是普适计算研究领域中最为重要的一个方面,针对上下文感知计算中缺乏与自动推理支持的问题,提出了一种基于本体描述语言(web ontology language,OWL)的上下文感知建模与推理方法。OWL是以描述逻辑为基础的本体形式化语言...
关键词：上下文感知 本体 本体描述语言 描述逻辑 
基于描述逻辑的C^4ISR系统体系结构一致性验证方法被引量：2
《系统工程与电子技术》2012年第9期1841-1845,共5页王智学 董庆超 姜志平 王庆龙 
"十一五"国防重点预研基金(9140A06040108JB8101)资助课题
综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构...
关键词：体系结构 描述逻辑系统 一致性验证 
基于UML/OCL的C^4ISR效能概念建模分析被引量：2
《系统工程与电子技术》2012年第8期1613-1620,共8页蒋鑫 王智学 董庆超 孙瑞 
"十一五"国防重点预研基金项目(9140A06040108JB8101)资助课题
为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/obj...
关键词：效能概念建模 军事电子信息系统能力元模型 统一建模语言/对象约束语言 特定领域建模 
C^4ISR系统能力需求行为建模及验证被引量：4
《系统工程与电子技术》2012年第6期1153-1160,共8页何红悦 王智学 董庆超 徐景 张兆巍 
国家高技术研究发展计划(863计划)(2007AA01Z126);"十一五"国防重点预研基金项目(9140A06040108JB8101)资助课题
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,...
关键词：能力需求元模型 行为建模 模型形式化 模型验证 
可执行能力需求模型的动作语义研究被引量：1
《系统工程与电子技术》2011年第12期2662-2667,共6页王智学 张炜钟 赵文 姜志平 
国家高技术研究发展计划(2007AA01Z126);"十一五"国防重点预研基金(9140A06040108JB8101)资助课题
针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型...
关键词：统一建模语言 能力需求 动作语义 可执行模型 
面向C4ISR能力分析的领域特定描述语言被引量：6
《系统工程理论与实践》2011年第3期552-560,共9页董庆超 王智学 朱卫星 陈剑 张婷婷 
国家高技术研究发展计划(863计划)(2007AA01Z126);"十一五"国防重点预研基金(9140A06040108JB8101)
针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UML Profile扩展机制,设计了适用于该语言的对象建模方法,在此基础...
关键词：能力元本体 领域特定描述语言 领域特定模型 描述逻辑 SHOIN(D) 
基于能力模型的决策优势评估研究被引量：1
《火力与指挥控制》2011年第2期15-18,23,共5页杨海波 王智学 陈国友 付国玺 
国家高技术研究发展计划(2007AA01Z126);"十一五"国防重点预研基金项目(9140A06040108JB8101)
提出了一种用于评价信息系统决策优势的新方法。给出了决策优势的能力模型;引入了决策知识的数学描述方法,分析了信息价值对决策优势的影响,给出了信息价值评价指标体系和单个决策者的决策优势能力评估模型。通过将能力需求模型转换为...
关键词：能力需求模型 决策优势 网络化 评估模型 
路由器级拓扑发现目标地址选择问题研究
《南京邮电大学学报（自然科学版）》2010年第6期65-70,共6页刘影 胡博 左敦稳 董庆超 邹珊 
国防"十一五"装备预先研究基金(51306010202);"十一五"国防重点预研基金(9140A06040108JB8101)资助项目
路由器级拓扑发现对于获取Internet网络拓扑结构具有重要意义,而如何获得拓扑发现的目标地址是其面临的一个主要问题。现有的方法主要使用Internet上公布的BGP(Border Gateway Protocol)前缀,若对其不加处理,对所有的网络前缀都进行探测...
关键词：拓扑发现 目标地址选址 桩网络 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部