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

计算机学报 2003年第9期26卷 1165-1170页

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

含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 .但由于扩展后的分枝随着真值数目的增加而呈指数的增加 ,因而影响了机器推理执行的效率 .该文提出了布尔剪枝方法 ,将带符号的公式与集合... 详细信息

含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 .但由于扩展后的分枝随着真值数目的增加而呈指数的增加 ,因而影响了机器推理执行的效率 .该文提出了布尔剪枝方法 ,将带符号的公式与集合的上集 /下集联系起来 ,使含量词的一阶多值逻辑公式的扩展规则大大简化 .进一步 ,通过对布尔剪枝方法的分析 ,建立了一类特殊一阶多值逻辑正则公式的更为简洁的Tableau推理方法 ,该方法使得含量词的一阶多值逻辑Tableau推理类同于经典逻辑Tableau方法 .

关键词：人工智能 Tableau推理效率一阶多值Tableau方法布尔剪枝方法

来源：评论

学校读者我要写书评

暂无评论

近似空间关系代数ASRA及应用

引用

中国图象图形学报（A辑） 2003年第8期8卷 946-950页

作者：王生生刘大有胡鹤王新颖吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012

粗定位模型是一种基于粗集的近似区域表示模型 ,基于定性空间推理理论对其进行了代数形式化 .通过空间关系矩阵和 2 4 9种基本空间关系构造了近似空间关系代数 ASRA;讨论了 ASRA的公理和基本性质 ,研究了ASRA和 RCC5关系映射中存在的不... 详细信息

粗定位模型是一种基于粗集的近似区域表示模型 ,基于定性空间推理理论对其进行了代数形式化 .通过空间关系矩阵和 2 4 9种基本空间关系构造了近似空间关系代数 ASRA;讨论了 ASRA的公理和基本性质 ,研究了ASRA和 RCC5关系映射中存在的不确定性 ;把 ASRA应用于 GIS,提出了基于 ASRA的空间关系判定算法ASRA- RCC.与同类算法相比 ,ASRA- RCC能够同时支持确定和近似区域。

关键词：粗定位模型空间关系矩阵近似空间关系代数 ASRA 不确定性定性空间推理 QSR

来源：评论

学校读者我要写书评

暂无评论

混合维空间遮蔽关系的表示与推理

引用

电子学报 2003年第z1期31卷 2175-2178页

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

从某个视点观察两个三维空间中的对象时 ,一个对象遮住另一个对象的现象被称为空间遮蔽关系 .在空间推理和机器视觉领域 ,它是一种重要的面向观察者的空间关系 .LOS和ROC等现有的遮蔽关系模型都是基于RCC(区域连接演算 )的 ,因而不能支... 详细信息

从某个视点观察两个三维空间中的对象时 ,一个对象遮住另一个对象的现象被称为空间遮蔽关系 .在空间推理和机器视觉领域 ,它是一种重要的面向观察者的空间关系 .LOS和ROC等现有的遮蔽关系模型都是基于RCC(区域连接演算 )的 ,因而不能支持混合维空间对象 .但在 3维GIS等遮蔽关系的应用领域中 ,空间对象的维数是多样的 .为此提出了混合维空间遮蔽关系模型MSO .首先将RCC扩展到混合维得到了MRCC ,然后基于MRCC定义了混合维遮蔽关系。

关键词：空间遮蔽关系定性空间推理计算机视觉

来源：评论

学校读者我要写书评

暂无评论

空间区域拓扑关系分析方法综述

引用

软件学报 2003年第4期14卷 777-782页

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

空间关系形式化模型的发展是空间推理、地理信息系统(geographic information systems,简称GIS)、计算机视觉等领域中的一个非常重要的主题,近年来受到相关领域研究者的极大关注,特别是在空间区域间拓扑关系模型的研究方面取得了很大进... 详细信息

空间关系形式化模型的发展是空间推理、地理信息系统(geographic information systems,简称GIS)、计算机视觉等领域中的一个非常重要的主题,近年来受到相关领域研究者的极大关注,特别是在空间区域间拓扑关系模型的研究方面取得了很大进展.介绍了区域间拓扑关系形式化分析的主要研究内容、研究方法和研究进展,并探讨了目前存在的问题和今后的发展方向.

关键词：空间区域拓扑关系空间数据库地理信息系统空间推理

来源：评论

学校读者我要写书评

暂无评论

基于自由度分析几何约束求解方法中过约束和欠约束的处理

引用

吉林大学学报（理学版） 2003年第1期41卷 59-63页

作者：李文辉穆宝良郝鑫符号计算与知识工程教育部开放实验室吉林大学计算机科学与技术学院长春130012

在自由度分析方法的基础上使用依赖图,解决了约束求解过程中的过约束和欠约束的处理问题.依赖图中保留了求解问题中变量间的依赖信息.当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息,由用户进行处理.

关键词：自由度分析几何约束求解方法过约束欠约束 CAD系统约束图

来源：评论

学校读者我要写书评

暂无评论

一种基于移动Agent的双向CORBA系统体系结构及其实现

引用

小型微型计算机系统 2003年第3期24卷 327-330页

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

CORBA技术和移动 Agent技术都是目前国内外研发的热点 .将以上两种流行技术融合 ,使 CORBA中的对象(服务器方以及客户方 )具有移动 Agent的特点是本文的设计思想 .基于以上思想 ,本文给出了一种基于移动 Agent的双向 CORBA系统体系结构... 详细信息

CORBA技术和移动 Agent技术都是目前国内外研发的热点 .将以上两种流行技术融合 ,使 CORBA中的对象(服务器方以及客户方 )具有移动 Agent的特点是本文的设计思想 .基于以上思想 ,本文给出了一种基于移动 Agent的双向 CORBA系统体系结构及其原型系统 (称之为 agent CORBA) ,并重点解决了在 CORBA服务器方对象移动的情况下对象命名服务的透明性问题 .文本最后给出了一个基于该体系结构的简单应用实例。

关键词：移动Agent 双向CORBA系统体系结构对象移动透明性应用程序计算机网络

来源：评论

学校读者我要写书评

暂无评论

非二元约束满足问题求解

引用

计算机学报 2003年第12期26卷 1746-1752页

作者：孙吉贵景沈艳吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 复旦大学智能信息处理开放实验室上海200433

在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约... 详细信息

在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .

关键词：非二元约束满足问题对偶图法隐藏变量法启发式搜索算法

来源：评论

学校读者我要写书评

暂无评论

改进的Elman模型与递归反传控制神经网络

引用

软件学报 2003年第6期14卷 1110-1119页

作者：时小虎梁艳春徐旭吉林大学计算机科学与技术学院国家教育部符号计算与知识工程重点实验室吉林长春130012 吉林大学数学学院吉林长春130012

在Elman网络的基础上提出了两种改进网络:输出-输入反馈Elman网络和输出-隐层反馈Elman网络模型,并以前者作为误差反传的通道,建立了递归反向传播控制神经网络模型.在Lyapunov稳定性意义下分别给出了改进网络的稳定性证明,得到了保证网... 详细信息

在Elman网络的基础上提出了两种改进网络:输出-输入反馈Elman网络和输出-隐层反馈Elman网络模型,并以前者作为误差反传的通道,建立了递归反向传播控制神经网络模型.在Lyapunov稳定性意义下分别给出了改进网络的稳定性证明,得到了保证网络稳定收敛的最佳自适应学习速率.分别用Elman网络及其改进网络对超声马达进行了模拟.利用改进的Elman网络模型,除了可以较好地模拟马达速度以外,还得到了一些有意义的结果,据此可以根据现场数据采样的情况,选用不同的网络模型.模拟实验结果表明,递归反向传播控制神经网络对多种形式的超声马达参考速度都有很好的控制效果.

关键词：递归反传控制神经网络反馈李雅普诺夫稳定性改进超声马达

来源：评论

学校读者我要写书评

暂无评论

一种模型不完备条件下的诊断方法

引用

广西师范大学学报（自然科学版） 2003年第A01期21卷 79-82页

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

基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,... 详细信息

基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,在此基础上提出了一种针对模型不完备条件下的诊断方法,使得经典的诊断方法对于模型的依赖程度有所降低,从而解决了模型不完备给诊断问题所带来的困难.最后将这种方法和模型完备时的诊断效果做了比较.

关键词：基于模型的诊断不完备模型诊断方法

来源：评论

学校读者我要写书评

暂无评论

一种不确定区域间的拓扑关系模型

引用

广西师范大学学报（自然科学版） 2003年第1期21卷 56-61页

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

空间区域间拓扑关系模型的发展是空间推理、地理信息系统(GIS)和计算机视觉等领域一个非常重要的主题,在实际应用中人们对不确定区域间的拓扑关系模型不断提出更高的要求,近年来受到相关领域研究者的极大关注.在分析已有模型的基础上给... 详细信息

空间区域间拓扑关系模型的发展是空间推理、地理信息系统(GIS)和计算机视觉等领域一个非常重要的主题,在实际应用中人们对不确定区域间的拓扑关系模型不断提出更高的要求,近年来受到相关领域研究者的极大关注.在分析已有模型的基础上给出了一种不确定区域间的拓扑关系模型,该模型具有较高的认知合理性,将分明区域作为不确定区域的特例来统一处理,推断过程简便直观,可以基于已知事实给出所有可能的拓扑关系供用户选择.

关键词：拓扑关系模型地理信息系统计算机视觉空间关系不确定区域空间推理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：