检索结果-内蒙古大学图书馆

长春大学学报 2007年第10期17卷 50-52页

作者：赵剑欧阳丹彤长春大学计算机科学技术学院吉林长春130022 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

基于模型诊断即Model-based Diagnosis(MBD)对整个人工智能领域的研究起着重要推动作用,是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能诊断推理技术,其应用也越来越广泛。而混合系统是当前应用较多的动态系统之一,其故障诊... 详细信息

基于模型诊断即Model-based Diagnosis(MBD)对整个人工智能领域的研究起着重要推动作用,是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能诊断推理技术,其应用也越来越广泛。而混合系统是当前应用较多的动态系统之一,其故障诊断问题是当前研究领域的热门。本文介绍应用MBD技术对混合系统进行诊断的建模方法,介绍混合键和图基本原理,通过混合键和图对混合动态系统建模,为进一步进行MBD故障检测和追踪直至故障隔离和鉴别提供基础模型。

关键词：基于模型诊断MBD 混合键合图混合系统建模故障诊断

来源：评论

学校读者我要写书评

暂无评论

Onto3D——一种基于本体的三维模型检索系统

Onto3D——一种基于本体的三维模型检索系统

引用

第二届中国分类技术及应用学术会议

作者：王新颖王生生吕天阳庞纪明王钲旋吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

由于目前的三维模型检索技术中基于文本的检索方法和墓于内容的检索方法所使用的关键词或形状特征不能包含模型的语义信息，因而检索的结果不能完全满足用户检索的意图.为此实现了一种基于本体的三维模型检索系统Onto3D . Onto3D能够根... 详细信息

由于目前的三维模型检索技术中基于文本的检索方法和墓于内容的检索方法所使用的关键词或形状特征不能包含模型的语义信息，因而检索的结果不能完全满足用户检索的意图.为此实现了一种基于本体的三维模型检索系统Onto3D . Onto3D能够根据用户的检索条件，利用知识库中模型的语义信息进行推理和查询;也可以根据用户反馈信息，从三维模型的底层特征推出高层语义信息.对Princeton Shape Benchmark的实验表明，Onto3D系统在文本和形状检索中都取得了较好的效果。

关键词：本体三维模型检索聚类语义信息知识库

来源：评论

学校读者我要写书评

暂无评论

RCC5与主方位关系结合的定性空间推理

RCC5与主方位关系结合的定性空间推理

引用

2007全国理论计算机科学学术年会

作者：陈娟刘大有张长海谢琦吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述... 详细信息

解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述是近似的,不适于精确推理;因此分别采用主方位模型和RCC5描述方位、拓扑信息.根据定义给出基本RCC5和主方位关系间的相互依赖及异质复合表;讨论了其上约束满足问题,得到一个路径相容算法,并分析了推理复性问题.

关键词：定性空间推理 RCC5描述主方位模型异质复合表路径相容约束满足问题

来源：评论

学校读者我要写书评

暂无评论

区域图像检索中的AdaBoost反馈学习算法

区域图像检索中的AdaBoost反馈学习算法

引用

第二届中国分类技术及应用学术会议

作者：李文辉韩东峰赵伟郭武吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室长春130012 长春工业大学计算机科学与工程学院长春130012

提出了一种基于AdaBoost相关反馈的区域图像检索方法.结合图分割的图像分割算法和多区域匹配方法,利用用户的反馈信息对AdaBoost弱分类器的反复训练,得到一个具有较小错误率的强分类器.将其应用到区域图像检索中从而返回更加精确的查询... 详细信息

提出了一种基于AdaBoost相关反馈的区域图像检索方法.结合图分割的图像分割算法和多区域匹配方法,利用用户的反馈信息对AdaBoost弱分类器的反复训练,得到一个具有较小错误率的强分类器.将其应用到区域图像检索中从而返回更加精确的查询结果.实验表明(图像数据库大小为10000),基于AdaBoost相关反馈的区域图像检索方法有更好的检索查准率和密集度,优于单一区域的图像比较算法和多区域比较算法.

关键词：区域图像检索 AdaBoost学习相关反馈图像分割多区域匹配

来源：评论

学校读者我要写书评

暂无评论

用于移动路径预测的混合Markov模型

引用

通信学报 2006年第12期27卷 61-69页

作者：余雪岗刘衍珩魏达田明吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

分析了移动路径预测的已有方案,指出了各方案存在的问题。针对预测性能相对较好的K阶Markov预测器存在的状态空间膨胀问题,以2阶Markov预测器为例,提出了2步Markov模型,并验证了其在WLAN上的可行性。在此基础上,提出了一个混合多步Marko... 详细信息

分析了移动路径预测的已有方案,指出了各方案存在的问题。针对预测性能相对较好的K阶Markov预测器存在的状态空间膨胀问题,以2阶Markov预测器为例,提出了2步Markov模型,并验证了其在WLAN上的可行性。在此基础上,提出了一个混合多步Markov模型,并利用EM算法估计多个单步Markov模型的混合系数。该混合模型状态空间的复杂度为O(N),而2阶Markov模型为O(N2),其中,N为WLAN中的AP数目;混合模型的存储空间需求为O(N2),而2阶Markov模型为O(N3)。最后通过基于条件熵与误差向量2阶范数的计算分析以及基于实际数据集的实践分析表明,该混合模型能够以比2阶Markov模型小得多的空间代价获得与2阶Markov模型相似的预测精度和普适性,具有较高的实时在线应用价值。

关键词：路径预测 Markov预测器状态空间膨胀混合 EM算法

来源：评论

学校读者我要写书评

暂无评论

基于结合空间拓扑和方向关系信息的空间推理

引用

计算机研究与发展 2006年第2期43卷 253-259页

作者：孙海滨李文辉吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

结合了定性空间推理中著名的区域连接演算(region connection calculus,RCC)和基于区域的方向关系演算(cardinal direction calculus,CDC),并且给出两个演算在两个方向上的交互表,即RCC8-To-CDC和CDC-To-RCC8·给出了结合RCC8和CDC知识的约束满足问题的路径一致算法(path consis-tency algorithm)(该算法是对Allen著名的路径一致算法的修改),并且采用两个队列实现了该算法,采用这种结构可以实现并行计算·在该算法中,基于以上两个交互表的交互操作被嵌入到算法里面来保证整个约束满足问题的一致性·算法的计算复杂性证明是多项式的·

关键词：定性空间推理约束满足问题路径一致算法计算复杂性

来源：评论

学校读者我要写书评

暂无评论

一种不确定区域间的方向关系模型

引用

吉林大学学报（理学版） 2006年第5期44卷 748-753页

作者：谢琦刘大有虞强源陈娟吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012

基于区间值及其运算性质给出了不确定区域间方向关系的表示及推理方法.该方法不同于基于经典模糊集及其截集的方向关系模型,利用区间值方向关系矩阵分析不确定区域间方向关系的隶属程度,将不确定区域间的方向关系划分为不确定区域与不... 详细信息

基于区间值及其运算性质给出了不确定区域间方向关系的表示及推理方法.该方法不同于基于经典模糊集及其截集的方向关系模型,利用区间值方向关系矩阵分析不确定区域间方向关系的隶属程度,将不确定区域间的方向关系划分为不确定区域与不确定区域间的方向关系、不确定区域与分明区域间的方向关系、分明区域与不确定区域间的方向关系、分明区域与分明区域的方向关系4种类型.将分明区域作为不确定区域的特例统一处理.

关键词：方向关系不确定区域空间推理

来源：评论

学校读者我要写书评

暂无评论

含序信息的粗集方法研究

引用

计算机科学 2006年第11期33卷 157-161,163页

作者：孙成敏刘大有孙舒杨吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012

经典粗集理论给出了不可识别、上近似、下近似、简式和核等概念,其核心思想是运用条件属性集导致的知识粒子来近似决策属性集导致的知识粒子,进而推导出规则。这些知识粒子的实质是根据存在于属性值间的等价关系得到的,而事实上可能存... 详细信息

经典粗集理论给出了不可识别、上近似、下近似、简式和核等概念,其核心思想是运用条件属性集导致的知识粒子来近似决策属性集导致的知识粒子,进而推导出规则。这些知识粒子的实质是根据存在于属性值间的等价关系得到的,而事实上可能存在某些属性,其属性值内部存在序关系,与其它某属性间存在语义关系,这样的属性称为标准。本文所研究的粗集方法,考虑标准所携带的这些信息,推导出含有序信息的规则,并探讨使推导的规则更加完全和一致。本文给出了含序粗集方法(CORS)的定义、数据分析以及规则生成方法,并提出了一种更加合理的质量近似公式以及生成规则的四条原则。

关键词：标准优先序有序决策表支配关系含序粗集方法

来源：评论

学校读者我要写书评

暂无评论

一种自动化软件设计改进方法

引用

软件学报 2006年第4期17卷 703-712页

作者：冯铁张家晨王洪媛金淳兆吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

面向对象的软件设计改进是增强系统的可扩展性、使之适应可能的需求变化的一种有效手段.提出一种基于CBR(casebasedreasoning)和微体系结构反模式的设计改进方法.该方法形式化地定义了在微体系结构层中不灵活的设计结构和相应的重构方... 详细信息

面向对象的软件设计改进是增强系统的可扩展性、使之适应可能的需求变化的一种有效手段.提出一种基于CBR(casebasedreasoning)和微体系结构反模式的设计改进方法.该方法形式化地定义了在微体系结构层中不灵活的设计结构和相应的重构方案的描述方法,研究了它们在事例库中的组织和索引机制.根据基于事例的推理技术的4R过程,提出了类图、顺序图、质量要素和语义约束的相似性度量方法,描述了在给定设计中识别反模式及其实例,并在此基础上,用高质量的设计方案进行替代的几种算法.以该方法为依据,进一步介绍了设计改进支撑系统——CBDIT(CBRbaseddesignimprovingtool)的体系结构的设计.

关键词：事例推理设计模式反模式软件演化重构

来源：评论

学校读者我要写书评

暂无评论

基于抽象-验证-细化范例的软件模型检测

引用

计算机科学 2006年第12期33卷 255-260页

作者：刘吉锋孙吉贵吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验... 详细信息

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验证-细化范例的软件模型检测。

关键词：模型检测软件模型检测谓词抽象反例驱动的细化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：