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

计算机技术与发展 2008年第1期18卷 84-86页

作者：马勇李龙澍李学俊安徽大学计算机科学与技术学院安徽合肥230039 安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039

模拟机器人足球比赛(Robot World Cup,RoboCup)作为多Agent系统的一个理想的实验平台,已经成为人工智能的研究热点。为了解决传统进攻策略中进攻重点难以确定的问题,基于动态目标驱动模型,深入研究了中路进攻策略,提出了动态评估传球时... 详细信息

模拟机器人足球比赛(Robot World Cup,RoboCup)作为多Agent系统的一个理想的实验平台,已经成为人工智能的研究热点。为了解决传统进攻策略中进攻重点难以确定的问题,基于动态目标驱动模型,深入研究了中路进攻策略,提出了动态评估传球时机的评价函数,经过RobCup实验平台的仿真测试分析,表明在比赛环境多变的情况下,该策略仍能提高进攻效率。

关键词：动态目标驱动智能体机器人足球比赛进攻策略

来源：评论

学校读者我要写书评

暂无评论

超大规模数字系统控制器的验证实现

引用

计算机技术与发展 2008年第10期18卷 170-172,176页

作者：卢英李炜张义超郭星安徽大学计算机科学与技术学院安徽合肥230039 安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039

数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状... 详细信息

数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状态机的STG(状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否。实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。

关键词：超大规模数字系统电子设计自动化模拟验证形式验证状态转换图

来源：评论

学校读者我要写书评

暂无评论

基于概念格和关联规则Web个人化系统

引用

计算机技术与发展 2008年第2期18卷 139-142,158页

作者：张涛周爱武谢荣传安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039 安徽大学计算机科学与技术学院安徽合肥230039

最近的一些研究提出将Web使用日志的挖掘技术应用于Web个人化系统中,用于克服传统个人化技术(如CF技术、基于内容的过滤技术)中存在的问题,如处理大数据量的能力较差,依赖于用户主观的登记信息,产生的用户描述是静态的,不能获取对象之... 详细信息

最近的一些研究提出将Web使用日志的挖掘技术应用于Web个人化系统中,用于克服传统个人化技术(如CF技术、基于内容的过滤技术)中存在的问题,如处理大数据量的能力较差,依赖于用户主观的登记信息,产生的用户描述是静态的,不能获取对象之间丰富的语义联系等。但是基于Web使用日志挖掘的个人化技术不能适用于用户的使用信息获取困难或者站点内容经常变化的情况。更有效的办法是将站点的内容特征和使用特征结合到一个Web挖掘结构中去,以备推荐引擎统一使用。提出了一个基于关联规则挖掘的个人化系统,它使用概念格作为存储频繁页面集的数据结构,并介绍了如何利用概念格实时地为当前活动用户产生推荐集。

关键词： Web使用日志挖掘推荐集概念格

来源：评论

学校读者我要写书评

暂无评论

基于Q学习的Agent智能防守策略研究与应用

引用

计算机技术与发展 2008年第12期18卷 106-108,112页

作者：马勇李龙澍李学俊安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039 安徽大学计算机科学与技术学院安徽合肥230039

模拟机器人足球比赛(Robot World Cup,RoboCup)作为多Agent系统的一个通用的实验平台,通过它可以来评价各种理论、算法和框架等,已经成为人工智能的研究热点。针对RoboCup仿真中的守门员防守问题,基于Q学习算法,描述了在特定场景中应用... 详细信息

模拟机器人足球比赛(Robot World Cup,RoboCup)作为多Agent系统的一个通用的实验平台,通过它可以来评价各种理论、算法和框架等,已经成为人工智能的研究热点。针对RoboCup仿真中的守门员防守问题,基于Q学习算法,描述了在特定场景中应用Q学习训练守门员的方法和过程。在RobCup中验证了该算法,实现了守门员防守策略的优化。

关键词： Q学习智能体机器人足球比赛防守策略

来源：评论

学校读者我要写书评

暂无评论

音节切分歧义方法研究

引用

计算机技术与发展 2008年第8期18卷 35-38页

作者：刘政怡吴建国刘慧婷安徽大学计算机科学与技术学院安徽合肥230039 安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039

音节切分是整句拼音转换的基础,由于拼音的特殊性,存在歧义切分的可能。如果采用最少分词算法只能得到一种切分结果,不能保证整句拼音转换的正确性。提出一种音节切分算法,通过插入音素节点不断构造合法音节节点,进而生成状态空间,遍历... 详细信息

音节切分是整句拼音转换的基础,由于拼音的特殊性,存在歧义切分的可能。如果采用最少分词算法只能得到一种切分结果,不能保证整句拼音转换的正确性。提出一种音节切分算法,通过插入音素节点不断构造合法音节节点,进而生成状态空间,遍历算法遍历状态空间可获得所有的切分可能,而当用户进行删除操作时,只需删除部分相关节点。整个状态空间随用户的操作进行局部调整,分布均匀。该算法有利于存在歧义切分问题的整句拼音转换,可从保留下来的所有切分可能中选出一个全局最优的语句候选,保证整句转换的正确性。

关键词：音节切分切分算法切分歧义整句输入状态空间

来源：评论

学校读者我要写书评

暂无评论

一种新的基于snake模型的水平集图像分割方法

引用

计算机技术与发展 2008年第12期18卷 130-133页

作者：王志豪汪继文安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039 安徽大学计算机科学与技术学院安徽合肥230039

介绍了一种新的变分函数来替代传统水平集方法中的符号距离函数,因而可以完全忽略重复初始化符号距离函数的步骤,提高了计算效率。用一个能量函数来表示基于snake模型水平集函数的变化情况。其中能量函数主要由内部能量和外部能量表示... 详细信息

介绍了一种新的变分函数来替代传统水平集方法中的符号距离函数,因而可以完全忽略重复初始化符号距离函数的步骤,提高了计算效率。用一个能量函数来表示基于snake模型水平集函数的变化情况。其中能量函数主要由内部能量和外部能量表示。利用内部能量描述曲线的张力和平滑性;外部能量则基于图像数据,并在图像的目标边界形成极小值。同时最小化内部和外部能量,产生内力和外力:内力控制曲线演化的方向,并保持曲线不被过度弯曲;外力则吸引曲线到达目标边缘。

关键词：水平集符号距离函数 snake模型外力内力

来源：评论

学校读者我要写书评

暂无评论

关联规则挖掘中的隐私保护研究

引用

计算机技术与发展 2008年第10期18卷 13-15,19页

作者：张瑞郑诚陈娟娟安徽大学计算机科学与技术学院安徽合肥230039 安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039

数据挖掘中的关联规则反映一个事件和其他事件之间依赖或相互关联的知识。随着大量数据不停地收集和存储积累,人们希望从中发现感兴趣的数据关联关系,从而帮助他们进行决策。随着信息技术的发展,数据挖掘在一些深层次的应用中发挥了积... 详细信息

数据挖掘中的关联规则反映一个事件和其他事件之间依赖或相互关联的知识。随着大量数据不停地收集和存储积累,人们希望从中发现感兴趣的数据关联关系,从而帮助他们进行决策。随着信息技术的发展,数据挖掘在一些深层次的应用中发挥了积极的作用。但与此同时,也带来隐私保护方面的问题。隐私保护是当前数据挖掘领域中一个十分重要的研究问题,其目标是要在不精确访问真实原始数据的条件下,得到准确的模型和分析结果。为了提高对隐私数据的保护程度和挖掘结果的准确性,提出一种有效的隐私保护关联规则挖掘方法。针对关联规则挖掘中需预先给出最小支持度和最小置信度这一条件,提出了一种简单的事务数据库中事务的处理方法,即隐藏那些包含敏感项目的关联规则的方法,以对相关事务作处理,达到隐藏包含敏感项目的关联规则的目的。理论分析和实验结果均表明,基于事务处理的隐私保护关联规则挖掘方法具有很好的隐私性、简单性和适用性。

关键词：隐私保护联规则敏感项目

来源：评论

学校读者我要写书评

暂无评论

基于GPRS无线通信的自动抄表系统

引用

计算机技术与发展 2008年第10期18卷 173-176页

作者：李炜卢英张义超林胜华安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039 安徽大学计算机科学与技术学院安徽合肥230039

针对目前人工抄表存在的种种缺陷,提出了一种结合GPRS技术、LPC2294高效微处理器和μC/OS-II嵌入式实时系统,采用目前流行的嵌入式代码组件化技术研制出一种低功耗、高性能、强实时、构件化的无线自动抄表系统方案。在硬件方面主要介绍... 详细信息

针对目前人工抄表存在的种种缺陷,提出了一种结合GPRS技术、LPC2294高效微处理器和μC/OS-II嵌入式实时系统,采用目前流行的嵌入式代码组件化技术研制出一种低功耗、高性能、强实时、构件化的无线自动抄表系统方案。在硬件方面主要介绍了GPRS数据通讯技术和CS5460A计量芯片的应用;软件方面主要讲述基于μC/OS-II操作系统组件化移植方法和WINDOWS系统COM组件服务技术。由于具备了低功耗、速度快、数据吞吐量大等优点,本系统具有良好的市场前景。

关键词： LPC2294 μC/OC-II 通用分组无线业务组件源代码组件对象模型

来源：评论

学校读者我要写书评

暂无评论

使用遗传算法改进R_时刻表算法

引用

计算机技术与发展 2008年第3期18卷 74-77页

作者：钱付兰程家兴安徽大学计算机科学与技术学院安徽合肥230039 安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039

给出了对于多成分R_时间表的解决办法。利用集合的性质把它看成是几个单成分时间关系约束的并集,采用算法I将多成分分解成单成分。使用遗传算法把问题的多成分的时间关系作为染色体的基因位,问题的所有的多成分的时间关系就构成了算法... 详细信息

给出了对于多成分R_时间表的解决办法。利用集合的性质把它看成是几个单成分时间关系约束的并集,采用算法I将多成分分解成单成分。使用遗传算法把问题的多成分的时间关系作为染色体的基因位,问题的所有的多成分的时间关系就构成了算法的染色体,以求解关系矩阵中求到的相容子集的个数作为染色体的适应度。算法的终止条件是根据关系矩阵求得的相容子集数等于事件的个数,利用算法II使用遗传算法求解多成分时间规划问题。对实际的问题进行了讨论,使用该算法在有穷次迭代后可得到可行解。

关键词：遗传算法 R_时刻表多成分时间关系时间规划

来源：评论

学校读者我要写书评

暂无评论

基于完全确定有限状态机的控制器综合的验证

基于完全确定有限状态机的控制器综合的验证

引用

全国第19届计算机技术与应用学术会议(CACIS·2008)

作者：李炜刘政怡吴建国安徽大学计算机科学与技术学院安徽合肥 230039 安徽大学计算智能与信号处理教育部重点实验室安徽合肥 230039 安徽大学计算智能与信号处理教育部重点实验室安徽合肥 230039 安徽大学软件学院安徽合肥 230039

控制器综合从较高的抽象层次开始，使用硬件描述语言，采用综合优化工具进行，因此验证综合过程的正确性至关重要。本文采用图同构的方法对控制器综合前的完全确定有限状态机STG_org和从综合后结构实现逆向提取的完全确定有限状态机STG_... 详细信息

控制器综合从较高的抽象层次开始，使用硬件描述语言，采用综合优化工具进行，因此验证综合过程的正确性至关重要。本文采用图同构的方法对控制器综合前的完全确定有限状态机STG_org和从综合后结构实现逆向提取的完全确定有限状态机STG_ext进行等价性证明，从而验证综合过程的正确性;为进一步降低算法时间复杂度，利用综合过程状态化简的信息，提出带综合信息指导的验证算法，将时间复杂度从O(B2/A·t1(n)+A·t2(m,n))降低到D(B·t1(n)+A·t2(m，n))，理论上证明了算法的高效性。

关键词：完全确定有限状态机控制器综合形式验证时间复杂度状态转换图硬件描述语言

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：