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

软件学报 2009年第1期20卷 54-66页

作者：杨博刘大有 LIU Jiming 金弟马海宾吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 香港浸会大学计算机科学系香港

网络簇结构是复杂网络最普遍和最重要的拓扑属性之一,具有同簇节点相互连接密集、异簇节点相互连接稀疏的特点.揭示网络簇结构的复杂网络聚类方法对分析复杂网络拓扑结构、理解其功能、发现其隐含模式、预测其行为都具有十分重要的理论... 详细信息

网络簇结构是复杂网络最普遍和最重要的拓扑属性之一,具有同簇节点相互连接密集、异簇节点相互连接稀疏的特点.揭示网络簇结构的复杂网络聚类方法对分析复杂网络拓扑结构、理解其功能、发现其隐含模式、预测其行为都具有十分重要的理论意义,在社会网、生物网和万维网中具有广泛应用.综述了复杂网络聚类方法的研究背景、研究意义、国内外研究现状以及目前所面临的主要问题,试图为这个新兴的研究方向勾画出一个较为全面和清晰的概貌,为复杂网络分析、数据挖掘、智能Web、生物信息学等相关领域的研究者提供有益的参考.

关键词：复杂网络网络聚类网络簇结构

来源：评论

学校读者我要写书评

暂无评论

多值传播的相容性技术

引用

自动化学报 2009年第10期35卷 1296-1301页

作者：朱兴军张永刚李莹张长胜吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 东北大学信息科学与技术学院沈阳110004

相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合... 详细信息

相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合,得到多值传播算法SAC-MP,并证明其完备性和正确性.通过对随机问题、N皇后、鸽巢问题及基准用例的测试表明,算法SAC-MP的执行效率是已有算法SAC-SDS和SAC-3的2～3倍.

关键词：约束满足问题相容性技术多值传播 Singleton弧相容

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

免疫遗传算法学习贝叶斯网等价类

引用

吉林大学学报（理学版） 2009年第1期47卷 48-56页

作者：贾海洋刘大有陈娟关淞元刘欣吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对遗传算法学习贝叶斯网存在的问题,提出一种基于骨架搜索的免疫遗传算法学习贝叶斯网等价类,该方法综合了基于约束和打分搜索的方法,可以在遗传过程中避免产生非法结构,并从骨架空间映射到等价类空间进行搜索.实验数据表明,免疫算子... 详细信息

针对遗传算法学习贝叶斯网存在的问题,提出一种基于骨架搜索的免疫遗传算法学习贝叶斯网等价类,该方法综合了基于约束和打分搜索的方法,可以在遗传过程中避免产生非法结构,并从骨架空间映射到等价类空间进行搜索.实验数据表明,免疫算子的使用可有效缩小搜索空间规模,加快收敛速度,提高执行效率.

关键词：贝叶斯网结构学习马尔科夫等价免疫遗传算法条件独立测试

来源：评论

学校读者我要写书评

暂无评论

本体与规则整合的推理方法研究及设计

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于列存储数据库的压缩态数据访问算法

引用

吉林大学学报（理学版） 2009年第5期47卷 1013-1019页

作者：黄鹏李占山张永刚鞠奇吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

基于列存储数据库数据访问的特点,对主流整数压缩格式进行改进,提出了3种整数压缩算法及相应的压缩态数据访问算法.实验结果表明,不解压而直接访问压缩态数据非常高效,从而为数据的压缩态运算提供了有力支持.

关键词：列存储数据库数据压缩压缩态数据访问压缩态SQL运算

来源：评论

学校读者我要写书评

暂无评论

命题编码中公理的组合与设计

引用

计算机科学 2009年第10期36卷 202-208页

作者：江鸿刘大有吕帅蔡敦波史晶晶吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码... 详细信息

近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码方式,并对国际规划竞赛中选用的标准后勤域与积木世界域的问题样例予以测试,分析不同编码方式的编码规模与求解效率,验证了基于Graphplan编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态这两种极端方式的求解效率和编码规模。实验结果表明,在后勤域的某些问题上基于状态的编码方式比基于动作的编码方式有效得多。上述的改进策略表明,可根据问题域的特性等来考虑该问题最适宜哪些公理组合的编码方式,而不固定使用某种特定的编码方式。

关键词：智能规划基于可满足性的规划 Graphplan 公理

来源：评论

学校读者我要写书评

暂无评论

XTR^＋公钥体制中核心算法的改进

引用

吉林大学学报（理学版） 2009年第1期47卷 5-8页

作者：丁秀欢付治国张树功吉林大学数学研究所、符号计算与知识工程教育部重点实验室长春130012

在XTR+公钥体制中提出无矩阵的核心算法,显著提高了核心算法的运算效率,从而提高了应用XTR+公钥体制的可证明IND-CCA2安全的密码系统、可证明安全的数字签名、可证明安全的盲签名协议和零知识证明协议的运算效率.

关键词： XTR+公钥体制迹函数 LFSR序列 Lucas序列

来源：评论

学校读者我要写书评

暂无评论

一种新的基于扩展规则的定理证明算法

引用

计算机研究与发展 2009年第1期46卷 9-14页

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

基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提... 详细信息

基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提出了一种新的基于扩展规则的定理证明算法NER,将判定子句集可满足性问题转化为一系列文字集合的包含问题,而非计数问题.实验结果表明,算法NER的执行效率较原有扩展规则算法IER和基于归结的有向归结算法DR有明显提高,有些问题可以提高两个数量级.

关键词：定理机器证明命题逻辑扩展规则可满足性问题归结

来源：评论

学校读者我要写书评

暂无评论

基于服务元组链的Web服务组合方法

引用

吉林大学学报（理学版） 2009年第1期47卷 57-62页

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

提出一种描述Web服务的关系模型,通过引入空服务和服务元组的概念,采用基于服务元组链的Web服务组合方法,解决了基于服务链的Web服务组合方法只能处理顺序关系的组合问题,应用该方法既能处理顺序关系的组合问题,又能处理多个后继服务或... 详细信息

提出一种描述Web服务的关系模型,通过引入空服务和服务元组的概念,采用基于服务元组链的Web服务组合方法,解决了基于服务链的Web服务组合方法只能处理顺序关系的组合问题,应用该方法既能处理顺序关系的组合问题,又能处理多个后继服务或前驱服务都需要被组合的并发关系组合问题.

关键词： Web服务服务元组服务元组链 Web服务组合

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：