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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

用于移动路径预测的混合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著名的路径一致算法的修改),并且采用两个队列实现了该算法,采用这种结构可以实现并行计算·在该算法中,基于以上两个交互表的交互操作被嵌入到算法里面来保证整个约束满足问题的一致性·算法的计算复杂性证明是多项式的·

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

来源：评论

学校读者我要写书评

暂无评论

一种基于语义tableau的数据库修正方法

引用

计算机科学 2006年第6期33卷 109-111页

作者：刘全凌兴宏张宏斌孙吉贵苏州大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学符号计算与知识工程教育部重点实验室

tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。在tableau基础上,提出新的tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正。这样可以采用逻辑程序的方法,... 详细信息

tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。在tableau基础上,提出新的tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正。这样可以采用逻辑程序的方法,对数据库进行修正,解决了传统修正方法丢失信息、出现新的不相容等问题。

关键词： tableau 完整性约束数据库修正

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

含序信息的粗集方法研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于移动代理的自主拍卖模型

引用

计算机研究与发展 2006年第z1期43卷 234-239页

作者：黄晶刘大有杨博李丽娜杨焕吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模... 详细信息

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模、拍卖大厅查询、交易对象定位、拍卖过程同步和出价策略等.基于移动Agent和博奕理论,提出了一种自主拍卖模型.该模型支持一次价格密封标价拍卖和双边拍卖两种拍卖机制.模型中的Agent接受拍卖任务后能够自动搜寻拍卖大厅、自主参与拍卖过程并向其所有者返回拍卖结果.

关键词：电子商务移动Agent 一次价格密封标价拍卖双边拍卖

来源：评论

学校读者我要写书评

暂无评论

一种基于多Agent系统的饲料配方优化算法

引用

计算机研究与发展 2006年第z1期43卷 451-456页

作者：姜丽刘大有杨博贾海洋金弟白岩吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 　　　　

针对饲料配方问题的特殊性和复杂性,结合多Agent系统的特点,提出了基于多Agent系统的饲料配方优化算法,算法采用多Agent协商的方式对原料变量的取值进行多阶段调整.对于有最优解的问题,算法能够逼近最优解;对于没有最优解的问题,算法能... 详细信息

针对饲料配方问题的特殊性和复杂性,结合多Agent系统的特点,提出了基于多Agent系统的饲料配方优化算法,算法采用多Agent协商的方式对原料变量的取值进行多阶段调整.对于有最优解的问题,算法能够逼近最优解;对于没有最优解的问题,算法能够发现并忽略不可满足或相互冲突的约束,一方面避免了人为设定的不足,另一方面所得到的解优于传统目标规划方法得到的解.

关键词：多Agent系统饲料配方优化算法多Agent协商

来源：评论

学校读者我要写书评

暂无评论

一种用描述逻辑刻画多代理系统规约的方法

引用

计算机研究与发展 2006年第z1期43卷 34-40页

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

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑... 详细信息

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性.

关键词：多代理系统描述逻辑知识表示

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：