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

计算机科学 2004年第S2期31卷 254-256页

作者：欧阳丹彤欧阳继红程晓春李志荣樊雪吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 Department of Computer Science The University of ReadingRG6 6AYReadingEngland 吉林大学商学院长春130012

1引言基于模型诊断是为了克服传统诊断方法的严重缺陷而兴起的一项新型智能推理技术,被AI专家誉为诊断理论和技术上的革命[1].在IJCAI-99上,Console和Dressler[2]指出:基于模型诊断对整个AI领域的研究起着重要推动作用.Struss[3]称基于... 详细信息

1引言基于模型诊断是为了克服传统诊断方法的严重缺陷而兴起的一项新型智能推理技术,被AI专家誉为诊断理论和技术上的革命[1].在IJCAI-99上,Console和Dressler[2]指出:基于模型诊断对整个AI领域的研究起着重要推动作用.Struss[3]称基于模型诊断是对AI的一个重要挑战和检验.

关键词：分层基于模型诊断理论诊断方法严重缺陷推理技术专家智能革命

来源：评论

学校读者我要写书评

暂无评论

大规模线性优化求解系统的设计与实现

引用

吉林大学学报（信息科学版） 2004年第3期22卷 256-262页

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

从建立实用系统出发,以解决实际中各类大规模线性优化问题为目标,研究了大规模线性优化求解技术,设计实现了用于大规模线性规划、整数规划及运输模型的线性优化求解系统LOSS(LinearOptimizationSolvingSystem),并结合具体应用实例做了... 详细信息

从建立实用系统出发,以解决实际中各类大规模线性优化问题为目标,研究了大规模线性优化求解技术,设计实现了用于大规模线性规划、整数规划及运输模型的线性优化求解系统LOSS(LinearOptimizationSolvingSystem),并结合具体应用实例做了模拟实验研究。大规模测试数据样例实验结果证明,该系统在求解线性优化类问题时,效果优良,并具有灵活性、友好性、可移植性、可扩充性和可重用性等特点。

关键词：线性优化求解系统线性规划整数规划运输模型

来源：评论

学校读者我要写书评

暂无评论

多粒度时空数据库

多粒度时空数据库

引用

第二十一届中国数据库学术会议

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

近年来时空信息研究快速发展起来,已成为相关领域的热点.粒度理论是解决不确定性和多粒度等问题的关键,虽然空间粒度和时态粒度的研究取得了一些进展,但还未提出完善的时空粒度理论.给出了一种新的时空粒度表不方法,它支持多粒度和不确... 详细信息

近年来时空信息研究快速发展起来,已成为相关领域的热点.粒度理论是解决不确定性和多粒度等问题的关键,虽然空间粒度和时态粒度的研究取得了一些进展,但还未提出完善的时空粒度理论.给出了一种新的时空粒度表不方法,它支持多粒度和不确定性,可应用于时空数据库.讨论了基于时空粒度的近似区域的表示和操作方法,提供了不同粒度间的转换方法.这些理论和方法应用到国家"八六三"高技术研究发展计划项目IDPIAIS的子课题土壤时空数据库ASTD中,成功解决了多粒度数据处理、可变精度查询和时空不确定性等关键问题.该时空粒度理论还可以应用于时空数据挖掘、时空CSP、时空逻辑等其他领域.

关键词：时空粒度不确定性时空数据模型地理信息系统

来源：评论

学校读者我要写书评

暂无评论

工作流系统中一个基于加权角色的RBAC访问控制模型

工作流系统中一个基于加权角色的RBAC访问控制模型

引用

中国科协第2届优秀博士生学术年会

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

传统的RBAC访问控制模型已经不能表达复杂的工作流安全访问控制约束.基于传统的RBAC模型,提出了一个新的基于加权角色的RBAC访问控制模型RMBWR.定义了基于角色层次结构的等价关系和基于该关系的等价类,在此基础上提出了一个角色加权策略... 详细信息

传统的RBAC访问控制模型已经不能表达复杂的工作流安全访问控制约束.基于传统的RBAC模型,提出了一个新的基于加权角色的RBAC访问控制模型RMBWR.定义了基于角色层次结构的等价关系和基于该关系的等价类,在此基础上提出了一个角色加权策略,并且针对多个用户协同执行任务的序约束问题,给出了基于加权角色综合的序约束算法.该模型能够表达复杂的工作流安全访问控制约束,降低了工作流引擎由于任务分解而造成的负荷。

关键词：工作流引擎 RBAC模型角色继承加权角色访问控制

来源：评论

学校读者我要写书评

暂无评论

分层的基于模型诊断方法

分层的基于模型诊断方法

引用

第四届中国Rough集与软计算学术研讨会

作者：欧阳丹彤欧阳继红程晓春李志荣樊雪吉林大学计算机科学与技术学院(长春) 吉林大学符号计算与知识工程教育部重点实验室(长春) Department of Computer Science The University of ReadingRG6 6AYReading(England) 吉林大学商学院(长春)

本文给出了分层描述方法,并研究了不同抽象层间诊断的关系.证明了分层诊断的正确性:一个抽象层的诊断在其细化层有相应的诊断.指出了分层诊断的完备性不成立:一个细化层的诊断在其抽象层可能没有相应的诊断.分层诊断的不完备性说明了虽... 详细信息

本文给出了分层描述方法,并研究了不同抽象层间诊断的关系.证明了分层诊断的正确性:一个抽象层的诊断在其细化层有相应的诊断.指出了分层诊断的完备性不成立:一个细化层的诊断在其抽象层可能没有相应的诊断.分层诊断的不完备性说明了虽然分层描述、分层诊断提高了计算效率,但代价是可能导致丢失真正的诊断解.

关键词：模型理论模型诊断分层描述计算机数学

来源：评论

学校读者我要写书评

暂无评论

集成多方面信息的定性空间推理及应用

引用

软件学报 2003年第11期14卷 1857-1862页

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

以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表示方法,并研究了它们之间的依赖性.提出... 详细信息

以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表示方法,并研究了它们之间的依赖性.提出了集成这3方面信息的约束满足问题求解算法TriRSAT.在时空GIS中,把定性时空表示用于约束关系库,把TriRSAT算法用于时空数据一致性检查和时空查询.应用结果显示,该理论和方法能有效地集成处理多方面时空信息,在时空数据库、机器人导航等领域有着广泛的应用前景.

关键词：定性空间推理约束满足问题时空GIS

来源：评论

学校读者我要写书评

暂无评论

近似空间关系代数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

来源：评论

学校读者我要写书评

暂无评论

提高一阶多值逻辑Tableau推理效率的布尔剪枝方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

电子学报 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)、计算机视觉等领域中的一个非常重要的主题,近年来受到相关领域研究者的极大关注,特别是在空间区域间拓扑关系模型的研究方面取得了很大进展.介绍了区域间拓扑关系形式化分析的主要研究内容、研究方法和研究进展,并探讨了目前存在的问题和今后的发展方向.

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：