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

计算机集成制造系统 2005年第2期11卷 206-211页

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

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出... 详细信息

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出了一个时间约束有向图模型,并根据提出的动态角色分配方法,给出了一个基于公钥基础设施技术的条件化基于角色的访问控制方法。最后,给出了工作流实例的引擎驱动算法。实际监测和用户反馈结果表明,采用该工作流管理系统作为框架的应用系统。

关键词：轻量级工作流管理系统时间约束条件化基于角色的访问控制工作流引擎

来源：评论

学校读者我要写书评

暂无评论

智能规划的逻辑编码方式研究

引用

计算机研究与发展 2012年第3期49卷 607-619页

作者：吕帅刘磊魏唯高冰冰吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果... 详细信息

逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果编码、基于多值变元的编码、基于有向二元决策图的编码以及基于约束可满足的编码等,并结合国际规划竞赛和相关论文等的实验结论,说明上述编码方式的有效性和可行性,分析该类编码方式在其他领域的应用前景.最后,提出目前智能规划方法中逻辑编码方式研究所面临的挑战、可能的处理方法,以及与之相关的研究热点与趋势.

关键词：智能规划逻辑编码方式编码公理

来源：评论

学校读者我要写书评

暂无评论

移动Agent系统通信效率的分析与优化

引用

计算机研究与发展 2004年第4期41卷 531-538页

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

通信效率是影响移动Agent系统运行效率的重要因素之一 ,如何提高通信效率仍是一个有待解决的问题提出移动Agent系统通信效率优化模型LCEOM LCEOM具有以下优点 :①全面考虑了影响通信效率的主要因素 ;②能够描述移动Agent的通信任务 ;... 详细信息

通信效率是影响移动Agent系统运行效率的重要因素之一 ,如何提高通信效率仍是一个有待解决的问题提出移动Agent系统通信效率优化模型LCEOM LCEOM具有以下优点 :①全面考虑了影响通信效率的主要因素 ;②能够描述移动Agent的通信任务 ;③能够定量地分析通信开销 ;④能够规划出通信开销最小的通信方案 ;⑤采用压缩和缓冲存储技术进一步提高远程通信的效率实验表明 ,在一定条件下 ,LCEOM模型优于现有方法。

关键词：移动Agent系统移动Agent 通信效率

来源：评论

学校读者我要写书评

暂无评论

环境智能中上下文推理方法研究综述

引用

模式识别与人工智能 2011年第5期24卷 673-679页

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

上下文推理是环境智能研究的核心问题之一,与环境智能系统的觉察、响应及适应能力紧密相关,近年来受到国内外研究者的广泛关注.文中分析介绍上下文推理的主要研究内容、研究方法和研究进展,并探讨目前存在的问题及未来的发展方向.

关键词：环境智能人工智能上下文推理

来源：评论

学校读者我要写书评

暂无评论

移动机器人定位图像匹配的快速局部特征算法

引用

仪器仪表学报 2009年第8期30卷 1714-1719页

作者：刘萍萍赵宏伟臧雪柏王慧吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

利用定位图像的局部特征进行移动机器人导航和定位是近年来该领域的研究热点。针对经典局部特征提取和描述算法实时性不好,提出一种快速局部特征(fast local feature,FLF)的检测子和描述子算法。利用离散尺寸的均值滤波器估算LOG算子构... 详细信息

利用定位图像的局部特征进行移动机器人导航和定位是近年来该领域的研究热点。针对经典局部特征提取和描述算法实时性不好,提出一种快速局部特征(fast local feature,FLF)的检测子和描述子算法。利用离散尺寸的均值滤波器估算LOG算子构建图像尺度空间,建立尺度和旋转不变的检测子。在尺度相关的邻域中利用规格化后的像素强度作为关联信息,建立局部邻域的描述子。模拟实验中,利用优选参数的FLF与经典SIFT算法对比,在识别率相当的条件下,FLF的运行时间是SIFT的1/3。在标准评估图片和移动机器人平台拍摄的定位图片构成的数据集下,FLF的匹配效果好于经典的SIFT和SURF算子。因而FLF是一种适合于实时应用的快速局部特征。

关键词：局部特征图像匹配尺度空间物体识别

来源：评论

学校读者我要写书评

暂无评论

基于Lambert光照模型的图像真伪盲鉴别算法

引用

计算机研究与发展 2011年第7期48卷 1237-1245页

作者：陈海鹏申铉京吕颖达金玉善吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室吉林大学长春1300121

依据Lambert光照模型,提出了基于Lambert光照模型的图像真伪盲鉴别算法.针对无限光源图像和局部光源图像,根据其实际的光强度与计算出的光强度之间的误差函数以及光源对光线的约束函数,分别提出了相应的算法用以计算图像中不同区域的光... 详细信息

依据Lambert光照模型,提出了基于Lambert光照模型的图像真伪盲鉴别算法.针对无限光源图像和局部光源图像,根据其实际的光强度与计算出的光强度之间的误差函数以及光源对光线的约束函数,分别提出了相应的算法用以计算图像中不同区域的光源方向,并根据这些不同区域的光源方向是否一致判定图像是否被篡改,从而对图像真伪进行盲鉴别.实验结果及分析表明,针对这2种图像各自提出的光源方向计算方法,能够准确地计算出图像中不同区域的光源方向,从而有效地鉴别出图像的真伪.

关键词： Lambert光照模型无限光源图像局部光源图像光源方向图像真伪盲鉴别

来源：评论

学校读者我要写书评

暂无评论

一种半球面方位关系表示模型

引用

模式识别与人工智能 2012年第1期25卷 11-15页

作者：欧阳继红刘玉峰吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出一种表达半球面方位关系的模型——最小边界扇区模型(MBS),将半球面上区域自上而下正投影到底面,且根据参考对象在底面的投影位置,将投影面划分为12个原子区域.根据研究区域占原子区域的个数等信息来刻画区域间方位关系,不但可表达... 详细信息

提出一种表达半球面方位关系的模型——最小边界扇区模型(MBS),将半球面上区域自上而下正投影到底面,且根据参考对象在底面的投影位置,将投影面划分为12个原子区域.根据研究区域占原子区域的个数等信息来刻画区域间方位关系,不但可表达出左右等方位关系,还可通过区域上点到中心的距离关系定性表达半球面上区域的高度关系等信息.给出MBS模型中可能存在的1932种情形.为进一步研究MBS模型下的推理及复合表的构造,给出此模型下的关系矩阵表示方法,通过此关系矩阵亦可方便推知原半球面上区域间的方位关系.

关键词：方位关系半球面最小边界扇区

来源：评论

学校读者我要写书评

暂无评论

定性空间推理中区域连接演算的多维扩展

引用

计算机研究与发展 2004年第11期41卷 1954-1958页

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

区域连接演算 (RCC)是定性空间推理 (QSR)的基础理论之一但RCC理论只支持区域 ,不能处理包括点、线和区域在内的空间多维对象 ,这阻碍了RCC应用的发展扩展了区域概念 ,将点和线对象视为特殊的区域提出了能直接用RCC理论描述空间多... 详细信息

区域连接演算 (RCC)是定性空间推理 (QSR)的基础理论之一但RCC理论只支持区域 ,不能处理包括点、线和区域在内的空间多维对象 ,这阻碍了RCC应用的发展扩展了区域概念 ,将点和线对象视为特殊的区域提出了能直接用RCC理论描述空间多维对象拓扑关系的MRCC理论在保留RCC公理的前提下 ,MRCC增加了 2条新公理 ,并由此推导出了 36种MRCC基本关系进而讨论了基于概念邻域图和复合表的推理 MRCC拓展了RCC理论的适用范围。

关键词：区域连接演算定性空间推理空间多维对象

来源：评论

学校读者我要写书评

暂无评论

基于密度峰值的重叠社区发现算法

引用

吉林大学学报（工学版） 2017年第1期47卷 242-248页

作者：时小虎冯国香李牧李瑛吴春国吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学珠海学院计算机科学与技术系广东珠海519041 吉林大学珠海学院符号计算与知识工程教育部重点实验室珠海分实验室广东珠海519041

根据基于快速搜索和发现密度峰值的聚类方法的思想,提出了基于密度峰值的重叠社区发现算法。首先定义新的距离矩阵算法,克服了邻接矩阵元素为整数的缺陷。然后用概率形式刻画每个节点属于不同类别的可能性,从而实现了重叠社区的划分。... 详细信息

根据基于快速搜索和发现密度峰值的聚类方法的思想,提出了基于密度峰值的重叠社区发现算法。首先定义新的距离矩阵算法,克服了邻接矩阵元素为整数的缺陷。然后用概率形式刻画每个节点属于不同类别的可能性,从而实现了重叠社区的划分。基于真实网络的实验结果验证了本文算法的可行性和有效性。

关键词：计算机应用复杂网络社区发现重叠社区小世界特性模块度

来源：评论

学校读者我要写书评

暂无评论

一种基于大顶堆的SPIHT改进算法

引用

吉林大学学报（工学版） 2016年第3期46卷 865-869页

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

多级树集合(SPIHT)算法在多次排序扫描过程中需要进行大量重要性测试,由此导致算法的压缩编码效率显著降低。为提高SPIHT算法的压缩效率,本文利用大顶堆方法,提出了一种SPIHT改进算法。改进算法优化了SPIHT中的重要性测试,并将函数时间... 详细信息

多级树集合(SPIHT)算法在多次排序扫描过程中需要进行大量重要性测试,由此导致算法的压缩编码效率显著降低。为提高SPIHT算法的压缩效率,本文利用大顶堆方法,提出了一种SPIHT改进算法。改进算法优化了SPIHT中的重要性测试,并将函数时间复杂度从O(logn)降为O(1)。实验结果表明本文方法在进行多次小波变换时效果尤为显著,使得SPIHT编码时间趋于一个常数,压缩效率比未改进前提升数倍。

关键词：计算机系统结构多级树集合算法小波变换大顶堆

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：