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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

用适应度-距离选择机制遗传算法识别油气层

引用

吉林大学学报（信息科学版） 2004年第5期22卷 462-466页

作者：高有才时小虎梁艳春大庆师范学院初等教育系黑龙江大庆163712 吉林大学计算机科学与技术学院国家教育部符号计算与知识工程重点实验室吉林长春130012

为提高遗传算法种群的多样性,在选择父辈串的时候通过综合考虑适应度值与彼此之间的海明距离确定选择机制,提出了基于适应度-距离(FD:Fitness-Distance)选择机制的遗传算法(GA:GeneticAlgorithm)。将该遗传算法与人工神经网络(ANN:Artif... 详细信息

为提高遗传算法种群的多样性,在选择父辈串的时候通过综合考虑适应度值与彼此之间的海明距离确定选择机制,提出了基于适应度-距离(FD:Fitness-Distance)选择机制的遗传算法(GA:GeneticAlgorithm)。将该遗传算法与人工神经网络(ANN:ArtificialNeuralNetwork)技术相结合,应用于油气层的识别问题中。通过对实际样本的验证,获得了较好的效果,达到了快速识别油气层的目的,对两个实例的训练精度分别比标准遗传算法提高了22.6%和10.5%

关键词：油气层人工神经网络遗传算法适应度-距离选择机制

来源：评论

学校读者我要写书评

暂无评论

分层的基于模型诊断方法

分层的基于模型诊断方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

隐式二次曲面拼接的构造理论与递推算法

隐式二次曲面拼接的构造理论与递推算法

引用

第五届中国计算机图形学大会

作者：厉玉蓉雷娜张树功冯果忱山东工商学院信息与电子工程(烟台) 吉林大学计算机科学与技术学院(长春) 吉林大学数学研究所教育部《符号计算与知识工程》重点实验室(长春)

本文给出了利用两个或三个二次隐式曲面的GC拼接曲面递推构造n个二次曲面的n+1次GC拼接曲面的理论依据及算法,而且,GC拼接曲面的存在条件可以用二次曲面的几何参数来描述,且易于检验,从而计算量大幅度减少.最后,我们列举了一些例子.

本文给出了利用两个或三个二次隐式曲面的GC<'1>拼接曲面递推构造n个二次曲面的n+1次GC<'1>拼接曲面的理论依据及算法,而且,GC<'1>拼接曲面的存在条件可以用二次曲面的几何参数来描述,且易于检验,从而计算量大幅度减少.最后,我们列举了一些例子.

关键词：控制曲面曲面拼接磨光因子二次曲面

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机学报 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系统约束图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：