智能世界的建模与诊断

作     者：王楠 欧阳丹彤 孙善武 Wang Nan;Ouyang Dantong;Sun Shanwu

作者机构：吉林财经大学管理科学与信息工程学院长春130117 物流产业经济与智能物流吉林省重点实验室(吉林财经大学)长春130117 符号计算与知识工程教育部重点实验室(吉林大学)长春130012 吉林大学通信与工程学院长春130012 

基　　金：国家自然科学基金项目(61272208 61133011 60973089 61003101 61170092) 吉林省科技发展计划基金项目(20100173) 吉林省教育厅"十二五"科学技术研究基金项目(2011467 2012190 2011463) 符号计算与知识工程教育部重点实验室开放项目(93K172012K09) 国家留学基金项目(201208220141) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2013年第50卷第9期

页      码：1954-1962页

摘      要：统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).

主 题 词：可区分的KRA模型 基于模型的诊断 智能世界 抽象 自动推理 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 081203[081203] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203340904...