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

吉林大学学报（工学版） 2009年第5期39卷 1297-1302页

作者：叶育鑫欧阳丹彤领吉张永刚吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 爱尔兰国立大学数字化企业研究所

在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,... 详细信息

在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。

关键词：人工智能知识工程语义Web 推理方法本体规则

来源：评论

学校读者我要写书评

暂无评论

部分可观察强规划中约减观察变量的研究

引用

软件学报 2009年第2期20卷 290-304页

作者：周俊萍殷明浩谷文祥孙吉贵东北师范大学计算机学院吉林长春130117 吉林大学计算机科学与技术学院吉林长春130012 吉林大学教育部符号计算与知识工程重点实验室吉林长春130012

给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量,在此基础上逐步增加必要的观察变量,从而最终得到一个必要的观察变量集合.在添加必要的观察变量过程中,该方法不要求得到所有变量的相关信息,从而具有更好的通用性.根... 详细信息

给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量,在此基础上逐步增加必要的观察变量,从而最终得到一个必要的观察变量集合.在添加必要的观察变量过程中,该方法不要求得到所有变量的相关信息,从而具有更好的通用性.根据是否存在单个观察变量能够区分域中任意两个状态的问题,分别给出了两种约减观察变量方法:当存在一个观察变量可以区分规划域中任意两个状态时,算法可以得到一个最小的观察变量集合;当不存在这样一个观察变量时,算法可以得到一个尽可能小的观察变量集合,但不能保证该集合最小.

关键词：强规划部分可观察规划部分可观察强规划约减观察变量不确定规划

来源：评论

学校读者我要写书评

暂无评论

基于可信网络的修复建模与实现

引用

计算机研究与发展 2009年第S1期46卷 328-331页

作者：梅芳刘衍珩王健朱建启吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

基于可信网络,提出一种新的、可行性强的可信修复网络模型,详细说明该模型提供的功能和工作流程,着重阐明可信修复网络的通信机制和认证方法.仿真实验表明,该框架在保证网络系统安全性和可信性的同时,实现了为不满足可信网络安全策略的... 详细信息

基于可信网络,提出一种新的、可行性强的可信修复网络模型,详细说明该模型提供的功能和工作流程,着重阐明可信修复网络的通信机制和认证方法.仿真实验表明,该框架在保证网络系统安全性和可信性的同时,实现了为不满足可信网络安全策略的终端用户提供及时可靠的修复服务.

关键词：可信网络修复网络可信接入可信属性

来源：评论

学校读者我要写书评

暂无评论

一种基于图形处理器的压缩单纯形方法

引用

电子学报 2009年第11期37卷 2574-2578页

作者：白洪涛欧阳丹彤何丽莉姜珊珊吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 理光软件研究所(北京)有限公司北京100044

针对GPU通用计算环境CTM纹理资源的限制,研究了一种适于CTM的单纯形方法.依据单纯形方法每次变换最多只增加一列非单位元向量和矩阵求逆运算的特征,给出GPU上系数矩阵、基逆矩阵等的压缩存储策略及在该策略下求解基逆矩阵、单纯形乘子... 详细信息

针对GPU通用计算环境CTM纹理资源的限制,研究了一种适于CTM的单纯形方法.依据单纯形方法每次变换最多只增加一列非单位元向量和矩阵求逆运算的特征,给出GPU上系数矩阵、基逆矩阵等的压缩存储策略及在该策略下求解基逆矩阵、单纯形乘子和检验数等步骤新的计算规则.CPU主要进行迭代控制;而计算密集类任务皆由GPU完成.理论分析证明该方法比标准方法在时空复杂度上提高了一个数量级.数值实验表明该方法不仅扩大了可求解问题的规模,且在获得正确优化结果的前提下,效率比CPU版本有数百倍的提高,甚至数倍领先于MATLABR2007a.

关键词：单纯形方法图形处理器㈣纹理像素程序

来源：评论

学校读者我要写书评

暂无评论

空间数据挖掘技术的研究现状与发展趋势

引用

计算机应用研究 2009年第7期26卷 2401-2403页

作者：王新华米飞冯英春赵玮吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

简要介绍了空间数据挖掘技术的产生背景和发展现状,对空间数据挖掘的体系结构和系统原型进行了概述,总结了空间数据挖掘近年来的研究方法及面临的主要问题,并对下一步的发展方向进行了展望。

关键词：空间数据挖掘数据挖掘空间数据库体系结构

来源：评论

学校读者我要写书评

暂无评论

传统Item-Based协同过滤推荐算法改进

引用

计算机研究与发展 2009年第S2期46卷 769-774页

作者：李雪左万利赫枫龄王英吉林大学计算机科学与技术学院长春130012 吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

传统item-based协同过滤算法根据项目之间的相似性来选取最近邻居.然而,现存的几种相似性度量方法都存在相应的弊端,因此只根据相似性无法找到准确可靠的最近邻.根据对两项目共同评分的用户个数,建立项目近邻等级,提出了结合项目近邻等... 详细信息

传统item-based协同过滤算法根据项目之间的相似性来选取最近邻居.然而,现存的几种相似性度量方法都存在相应的弊端,因此只根据相似性无法找到准确可靠的最近邻.根据对两项目共同评分的用户个数,建立项目近邻等级,提出了结合项目近邻等级与相似性求取最近邻的新方法.另外,对于系统中新加入的项目,因为其上评分信息的匮乏,求得的最近邻往往是不准确的.为此,提出了聚合最近邻和'集体评分'两种改进方法.在MovieLens数据集上的实验结果表明,将上述改进应用于传统itembased协同过滤算法,推荐质量有明显的提高.

关键词： itern-based 协同过滤推荐系统 k最近邻项目近邻等级

来源：评论

学校读者我要写书评

暂无评论

面向多层次知识表达的贝叶斯分类模型研究

引用

计算机科学 2009年第3期36卷 119-122页

作者：王利民李雄飞徐沛娟吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出多模式贝叶斯分类算法,由变量值之间的条件独立和条件相关性推断因果关系,根据每个完整随机样本而非整个样本空间构造子模式。结合局部计算近似推理进行概率密度和条件概率分布估计,在此基础上采用后离散化策略自动确定连续变量边... 详细信息

提出多模式贝叶斯分类算法,由变量值之间的条件独立和条件相关性推断因果关系,根据每个完整随机样本而非整个样本空间构造子模式。结合局部计算近似推理进行概率密度和条件概率分布估计,在此基础上采用后离散化策略自动确定连续变量边界。在UCI机器学习数据集上的实验结果证明了该算法的合理性和有效性。

关键词：贝叶斯网络多模式后离散化策略局部计算

来源：评论

学校读者我要写书评

暂无评论

基于有向图的约束求解新算法

引用

工程图学学报 2009年第3期30卷 22-27页

作者：易荣庆李谊李文辉袁华王铎吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

针对一般几何约束系统欠约束状态下约束分解的多样性,通过对剩余自由度的分析,提出了几何元素优先级的概念,给出了约束有向图生成算法,实现了对约束系统的优化分解。本算法在AutoCAD 2000提供的二次开发接口ObjectARX上成功实现,运行结... 详细信息

针对一般几何约束系统欠约束状态下约束分解的多样性,通过对剩余自由度的分析,提出了几何元素优先级的概念,给出了约束有向图生成算法,实现了对约束系统的优化分解。本算法在AutoCAD 2000提供的二次开发接口ObjectARX上成功实现,运行结果表明具有良好的约束求解效率。对于欠约束系统的分解结果可以最大限度满足用户的需求。

关键词：计算机应用几何约束几何约束求解图分解

来源：评论

学校读者我要写书评

暂无评论

工作流中一个基于加权角色的权限代理模型

引用

吉林大学学报（工学版） 2009年第4期39卷 1057-1063页

作者：张健孙吉贵李妮娅胡成全钱云吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 北华大学电气信息工程学院吉林省吉林市132021

针对工作流环境下现有各种权限代理模型存在的不足,提出了一个基于加权角色的工作流权限代理模型。该模型通过给角色加权,并在工作流任务中引入变量,支持条件化部分权限代理;通过引入角色代理树,支持多步权限代理,并给出了权限代理的一... 详细信息

针对工作流环境下现有各种权限代理模型存在的不足,提出了一个基于加权角色的工作流权限代理模型。该模型通过给角色加权,并在工作流任务中引入变量,支持条件化部分权限代理;通过引入角色代理树,支持多步权限代理,并给出了权限代理的一致性判定方法。基于该模型,给出了相应的权限代理算法和撤销算法。最后通过一个应用实例,详细演示了该权限代理模型的工作过程和角色代理树的构造。

关键词：计算机应用工作流访问控制权限代理加权角色角色代理树

来源：评论

学校读者我要写书评

暂无评论

一种基于局部特征的鲁棒的盲数字水印算法

引用

计算机研究与发展 2009年第S1期46卷 83-87页

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

提出了一种基于图像局部特征与图像几何正则性的鲁棒数字水印算法.采取的主要方法有:1)利用图像中的局部最稳定特征点生成具有几何不变性的局部特征区域;2)在局部特征分块中快速寻找最佳几何流方向,近似最佳逼近效果;3)设计了一种正交... 详细信息

提出了一种基于图像局部特征与图像几何正则性的鲁棒数字水印算法.采取的主要方法有:1)利用图像中的局部最稳定特征点生成具有几何不变性的局部特征区域;2)在局部特征分块中快速寻找最佳几何流方向,近似最佳逼近效果;3)设计了一种正交向量盲提取水印.实验结果表明该算法能获得很高的图像质量,且具有较强的抗攻击能力.

关键词：数字水印特征点几何流正交向量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：