期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种支持能力需求概念一致性和合理性分析的方法 被引量：9
1
作者 王智学 董庆超 +3 位作者 朱卫星 李雯 何红悦 王庆龙 《计算机学报》 EI CSCD 北大核心 2013年第1期10-21,共12页
针对C4ISR系统能力需求中存在的大量模糊信息以及需求模型中可能会存在的不一致性、不合理性问题,从体系结构能力相关概念出发,构建C4ISR领域特定的能力模糊本体,在模糊本体的引导下,获取应用系统的能力需求模型.在此基础上,研究了基于... 针对C4ISR系统能力需求中存在的大量模糊信息以及需求模型中可能会存在的不一致性、不合理性问题,从体系结构能力相关概念出发,构建C4ISR领域特定的能力模糊本体,在模糊本体的引导下,获取应用系统的能力需求模型.在此基础上,研究了基于模糊描述逻辑符号推理的能力需求模型一致性、合理性验证技术,给出了能力需求模型向模糊描述逻辑知识库的转换算法,最终采用一个模型验证案例说明了方法的可行性. 展开更多
关键词 模糊本体 模糊uml 模糊描述逻辑 模型验证
下载PDF
基于模糊描述逻辑的模糊UML类图形式化 被引量：2
2
作者 周波 张亚非 +2 位作者 陆建江 王进鹏 苗壮 《解放军理工大学学报（自然科学版）》 EI 北大核心 2010年第4期386-391,共6页
由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)... 由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。 展开更多
关键词 模糊uml 类图 模糊描述逻辑 形式化
下载PDF
基于模糊UML的C^4 ISR系统上下文知识建模方法 被引量：2
3
作者 董庆超 乔勇军 +2 位作者 胡博 任会峰 禹明刚 《指挥控制与仿真》 2015年第6期62-65,89,共5页
普适计算和上下文感知技术是智能化C^4 ISR系统的一种可行路线,针对上下文知识中大量模糊和不确定信息难以建模表示的问题,首先从C^4 ISR系统的业务特点和上下文知识内涵出发,定义组成C^4 ISR系统上下文环境的基本概念和关系,形成上下... 普适计算和上下文感知技术是智能化C^4 ISR系统的一种可行路线,针对上下文知识中大量模糊和不确定信息难以建模表示的问题,首先从C^4 ISR系统的业务特点和上下文知识内涵出发,定义组成C^4 ISR系统上下文环境的基本概念和关系,形成上下文知识元本体,在此基础上,借助UML扩展机制、模糊建模元素,形成一种C^4 ISR系统上下文知识建模语言。通过该语言不仅可以准确表达上下文知识中的明确信息,而且对于由于传感器偏差或信息缺乏所带来的模糊或不确定上下文环境信息,该语言同样具有良好的表达能力。 展开更多
关键词 C^4 ISR 上下文感知 模糊uml 知识建模
下载PDF
一种UML活动图到模糊Petri网的转换算法 被引量：1
4
作者 张炜钟 王智学 陈剑 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期102-106,共5页
UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模... UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。 展开更多
关键词 模糊uml 模糊PETRI网 活动图 形式化 建模
下载PDF
基于模糊UML的装备保障知识建模方法 被引量：1
5
作者 董庆超 乔勇军 +1 位作者 徐君明 司维超 《计算机技术与发展》 2021年第4期106-111,共6页
装备保障业务需求建模是装备保障信息系统研发的重要环节,准确描述业务概念和关系是获取高质量需求分析产品的重要前提。然而,该业务领域中用户目标、业务效果等核心要素常包含模糊或不确定信息,容易引发系统研发各方的需求理解偏差,从... 装备保障业务需求建模是装备保障信息系统研发的重要环节,准确描述业务概念和关系是获取高质量需求分析产品的重要前提。然而,该业务领域中用户目标、业务效果等核心要素常包含模糊或不确定信息,容易引发系统研发各方的需求理解偏差,从而给系统后期的设计、开发带来巨大隐患。针对上述问题,首先从装备保障领域知识建模出发,挖掘本领域核心知识,构成装备保障领域知识本体,在此基础上借助UML建模语言MOF层扩展机制,引入模糊评估属性和建模元素,进而形成一种可用于该领域信息系统业务建模分析的领域特定建模语言。该建模语言对领域内存在的明确和模糊需求信息同样具有良好的表达能力,便于系统研发各方在信息系统需求分析阶段达成共识,进而为准确捕捉装备保障业务需求提供技术支持。 展开更多
关键词 装备保障 领域特定建模语言 模糊信息 模糊uml 知识建模
下载PDF
不确定作战环境下防空反导作战流程建模方法研究 被引量：1
6
作者 马力 凌云翔 张耀鸿 《舰船电子工程》 2016年第9期17-21,61,共6页
论文以模糊UML建模方法为基础,以不确定环境作战为背景,建立防空反导模型。研究不确定作战环境因素对体系产生的影响。然后将模型映射到模糊Petri网中,量化不确定因素,并对防空反导模型进行不确定环境实验验证,探究防空反导作战流程中... 论文以模糊UML建模方法为基础,以不确定环境作战为背景,建立防空反导模型。研究不确定作战环境因素对体系产生的影响。然后将模型映射到模糊Petri网中,量化不确定因素,并对防空反导模型进行不确定环境实验验证,探究防空反导作战流程中的关键不确定因素和关键活动节点,为拓展不确定作战环境中的体系对抗模型奠定基础。 展开更多
关键词 模糊uml 模糊PETRI网 防空反导 不确定性
下载PDF
基于模糊概念模型的模糊本体构建方法 被引量：4
7
作者 吕艳辉 马宗民 张富 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第9期1262-1265,共4页
针对从预先定义的概念层次生成模糊本体这一非常困难的问题,提出利用模糊概念模型来构建模糊本体.基于模糊集理论,对UML概念模型及OWL DL本体进行了模糊扩展,从二者的逻辑基础说明了利用模糊UML类图构建模糊OWL DL本体的可行性,进而研... 针对从预先定义的概念层次生成模糊本体这一非常困难的问题,提出利用模糊概念模型来构建模糊本体.基于模糊集理论,对UML概念模型及OWL DL本体进行了模糊扩展,从二者的逻辑基础说明了利用模糊UML类图构建模糊OWL DL本体的可行性,进而研究了从模糊UML类图到模糊OWL DL本体的形式化映射方法,给出了映射规则及公理的创建过程.利用现有的模糊概念模型构建模糊OWL DL本体可以有效降低建立模糊本体的复杂性,同时增强了本体的表达能力. 展开更多
关键词 模糊集合 模糊概念模型 模糊uml类图 模糊OWL DL本体
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部