期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
智能世界的建模与诊断
被引量：
3
1
作者
王楠
欧阳丹彤
孙善武
《计算机研究与发展》
EI
CSCD
北大核心
2013年第9期1954-1962,共9页
统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的...
统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).
展开更多
关键词
可区分的KRA模型
基于模型的诊断
智能世界
抽象
自动推理
在线阅读
下载PDF
职称材料
题名
智能世界的建模与诊断
被引量：
3
1
作者
王楠
欧阳丹彤
孙善武
机构
吉林财经大学管理科学与信息工程学院
物流产业经济与智能物流吉林省重点实验室(吉林财经大学)
符号计算与知识工程教育部重点实验室(吉林大学)
吉林大学通信与工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第9期1954-1962,共9页
基金
国家自然科学基金项目(61272208
61133011
+8 种基金
60973089
61003101
61170092)
吉林省科技发展计划基金项目(20100173)
吉林省教育厅"十二五"科学技术研究基金项目(2011467
2012190
2011463)
符号计算与知识工程教育部重点实验室开放项目(93K172012K09)
国家留学基金项目(201208220141)
文摘
统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).
关键词
可区分的KRA模型
基于模型的诊断
智能世界
抽象
自动推理
Keywords
distinguishable knowledge re{ormuiation and abstraction model
model
-based diagnosis
intelligent world
abstraction
automated reasoning
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
智能世界的建模与诊断
王楠
欧阳丹彤
孙善武
《计算机研究与发展》
EI
CSCD
北大核心
2013
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
