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

计算机技术与发展 2008年第7期18卷 109-111,115页

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

提升(Boost)学习算法中,可以划分为多数提升和Adaboost两类。Adaboost是目前比较流行的分类方法,目前在多媒体和计算机视觉领域得到了广泛的应用。文中介绍了Adaboost方法的原理与方法,通过在提升过程中对训练集中部分样本的标记,提出... 详细信息

提升(Boost)学习算法中,可以划分为多数提升和Adaboost两类。Adaboost是目前比较流行的分类方法,目前在多媒体和计算机视觉领域得到了广泛的应用。文中介绍了Adaboost方法的原理与方法,通过在提升过程中对训练集中部分样本的标记,提出了一种新的Adaboost算法的训练方法,并且用实验数据对该方法进行验证。该方法通过对前一轮提升后权值较小的那部分样本作标记,增加了后一轮提升抽样的有效容量,从而使算法中的分类器能够更快速地关注那些很难分类的样本。

关键词： Adaboost算法提升抽样有效容量

来源：评论

学校读者我要写书评

暂无评论

利用共用本体构造本体映射

引用

计算机技术与发展 2008年第10期18卷 20-22,26页

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

一些代理机语言使得代理机能够理解代理机之间传递的信息的内容和潜在含义。交互中用到的信息载体是本体,由于本体是多种多样的,而且不同的本体对于同一个事物的描述是不一样的,这就阻碍了代理机之间的交互,这个问题被称作交互问题。文... 详细信息

一些代理机语言使得代理机能够理解代理机之间传递的信息的内容和潜在含义。交互中用到的信息载体是本体,由于本体是多种多样的,而且不同的本体对于同一个事物的描述是不一样的,这就阻碍了代理机之间的交互,这个问题被称作交互问题。文中提出共用本体的概念,建立通用的本体体系,首先建立本体与通用本体之间的映射,然后构建两个或两个以上异构本体之间的映射。实验表明,此方法不仅能够解决结构异构问题,也能解决语义异构问题。

关键词：本体本体映射结构异构语义异构交互问题共用本体

来源：评论

学校读者我要写书评

暂无评论

音节切分歧义方法研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于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年第10期18卷 170-172,176页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于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）学术会议

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

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

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

关键词：完全确定有限状态机控制器综合形式验证等价性时间复杂度状态转换图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：