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

全国第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）),理论上证明了算法的高效性。

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

来源：评论

学校读者我要写书评

暂无评论

一种大目标去除的图像修复方法

引用

计算机技术与发展 2008年第11期18卷 159-162页

作者：沈玉峰汪继文林胜华安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039 安徽大学计算机科学技术学院安徽合肥230039

提出了一种新的大目标去除的图像修复方法,即先采用结构传播,再采用相关的纹理传播来完成修复工作。该方法要求人为指出少量的曲线来表示缺损结构从已知区域向未知区域的传播情况。然后,在这些曲线周围的已知区域中选择适当的样本块,作... 详细信息

提出了一种新的大目标去除的图像修复方法,即先采用结构传播,再采用相关的纹理传播来完成修复工作。该方法要求人为指出少量的曲线来表示缺损结构从已知区域向未知区域的传播情况。然后,在这些曲线周围的已知区域中选择适当的样本块,作为未知区域内合成这些曲线的目标块。这样,就可以使用这些获得的目标块来完成图像中缺损结构的修复。对于图像中未知区域内的其它部分的修复,可以使用纹理传播来完成。实验结果表明这种方法对于跳跃性结构的修复是非常有效的。

关键词：结构传播图像修复曲线纹理

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

全国第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))，理论上证明了算法的高效性。

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

来源：评论

学校读者我要写书评

暂无评论

基于GIT的信息融合在农业信息中的应用

基于GIT的信息融合在农业信息中的应用

引用

2005年“数字安徽”博士科技论坛

作者：杨为民李龙澍安徽大学智能计算与信号处理教育部重点实验室安徽大学计算机科学与技术学院

地理信息技术(GIT)是以遥感(RS)、地理信息系统(GIS)、全球定位系统(GPS)和网络(Web)等技术为核心的综合性应用技术。而信息融合是利用计算机技术进行信息处理过程。对地理信息技术中的各类信息进行信息融合,结合农业知识库,实现在农副... 详细信息

地理信息技术(GIT)是以遥感(RS)、地理信息系统(GIS)、全球定位系统(GPS)和网络(Web)等技术为核心的综合性应用技术。而信息融合是利用计算机技术进行信息处理过程。对地理信息技术中的各类信息进行信息融合,结合农业知识库,实现在农副业生产全过程中对农作物、土地、土、植保从宏观到微观的实时监测、诊断和处理,达到防治自然灾害的目的。

关键词：信息融合地理信息技术(GIT) 农业信息

来源：评论

学校读者我要写书评

暂无评论

基于粗糙熵和K-均值聚类算法的图像分割

引用

华东理工大学学报（自然科学版） 2007年第2期33卷 255-258页

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

针对基于粗糙熵的图像分割算法不能满足复杂图像的多类目标提取的需要,本文先利用K-均值聚类算法对图像进行区域分割,再利用基于粗糙熵的方法对分割结果进行目标提取,从而达到多阈值分割的目的。通过对遥感图像进行分割处理,证明了改进... 详细信息

针对基于粗糙熵的图像分割算法不能满足复杂图像的多类目标提取的需要,本文先利用K-均值聚类算法对图像进行区域分割,再利用基于粗糙熵的方法对分割结果进行目标提取,从而达到多阈值分割的目的。通过对遥感图像进行分割处理,证明了改进后算法的有效性。

关键词：粗糙熵 K-均值聚类图像分割

来源：评论

学校读者我要写书评

暂无评论

GcChord:基于组和缓存的改进型DHT网络

引用

计算机工程与应用 2007年第29期43卷 132-134,139页

作者：曲广强胡勇王贵竹安徽大学电子科学与技术学院计算智能与信号处理教育部重点实验室合肥230039

在基于DHT技术的对等网络中,一个重要的研究内容是减少逻辑网络和物理网络不匹配所带来的寻路时延过长的问题。文章提出一种利用组来匹配物理网络,利用超级节点缓存查询和地址信息,并且在普通节点收到查询请求时缓存查询源节点地址信息... 详细信息

在基于DHT技术的对等网络中,一个重要的研究内容是减少逻辑网络和物理网络不匹配所带来的寻路时延过长的问题。文章提出一种利用组来匹配物理网络,利用超级节点缓存查询和地址信息,并且在普通节点收到查询请求时缓存查询源节点地址信息的路由算法GcChord(Group Cache based Chord)。仿真结果表明,GcChord的路由性能优于Chord系统,并且节点重复(有一定倾向)查询越多,其平均物理、逻辑跳数越少。

关键词：对等网络组拓扑匹配缓存 Chord系统

来源：评论

学校读者我要写书评

暂无评论

冗余数据约简的研究与设计

引用

计算机工程 2007年第5期33卷 62-64页

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

***于1982年提出的Rough集理论有效地分析了不确定、不精确、不一致等各种不完备信息,其优点是无需任何关于数据的初始的或附加的信息,如统计学中的概率分布。该文介绍了Rough集的基本理论在数据约简中的应用。在分析基于信息系统的粗... 详细信息

***于1982年提出的Rough集理论有效地分析了不确定、不精确、不一致等各种不完备信息,其优点是无需任何关于数据的初始的或附加的信息,如统计学中的概率分布。该文介绍了Rough集的基本理论在数据约简中的应用。在分析基于信息系统的粗糙集理论的基础上,描述了一种基于核与重要度的约简算法,从降低约简算法计算复杂度角度出发,修改了属性约简算法,计算了算法修改前后的复杂度。实验结果表明,修改后的算法在降低时间复杂度的同时得出了次优属性集的约简。

关键词：粗集理论约筒算法重要度

来源：评论

学校读者我要写书评

暂无评论

改进的决策树生成算法及其在RoboCop中的应用

引用

计算机工程与应用 2007年第2期43卷 57-59页

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

基于粗糙集理论,提出了一种新的决策树构造算法。详细分析了该算法的优点。通过实验证明它比传统的ID3算法在效率和精度上都有很大提高。把该算法用在RoboCup仿真球队中,以射门为例,进一步证明了该算法的有效性。

关键词：粗糙集核属性分明矩阵决策树 RoboCup

来源：评论

学校读者我要写书评

暂无评论

粗糙集方法在RoboCup仿真球队中的应用

引用

计算机工程 2007年第24期33卷 215-216,219页

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

基于粗糙集的决策分析方法,对RoboCup仿真球队中Agent的行为执行效果进行评测,并且在当前行为的执行效果不理想的情况下,通过适当的调节可控属性值来选择有助于此行为的辅助行为。使得Agent能够根据当前场上的状态,更有效地决定下一步... 详细信息

基于粗糙集的决策分析方法,对RoboCup仿真球队中Agent的行为执行效果进行评测,并且在当前行为的执行效果不理想的情况下,通过适当的调节可控属性值来选择有助于此行为的辅助行为。使得Agent能够根据当前场上的状态,更有效地决定下一步的行动。并以射门为例,通过实验证明了该方法的有效性。

关键词：粗糙集机器人足球行为评测行为选择

来源：评论

学校读者我要写书评

暂无评论

一种基于小波-Contourlet变换的多聚焦图像融合算法

引用

电子学报 2007年第2期35卷 320-322页

作者：梁栋李瑶沈敏高清维鲍文霞安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039 安徽大学电子科学与技术学院安徽合肥230039

利用小波-Contourlet变换良好的多尺度性和多方向性特征,提出一种基于小波-Contourlet变换的多聚焦图像融合算法,引入Cycle Spinning来有效地消除由于小波-Contourlet变换缺乏平移不变性而产生的图像失真.实验结果表明,与其他基于多分... 详细信息

利用小波-Contourlet变换良好的多尺度性和多方向性特征,提出一种基于小波-Contourlet变换的多聚焦图像融合算法,引入Cycle Spinning来有效地消除由于小波-Contourlet变换缺乏平移不变性而产生的图像失真.实验结果表明,与其他基于多分辨率分析的多聚焦图像融合算法相比,该算法显著减小了融合图像的RMSE值,提高了融合图像的视觉效果.

关键词：小波-Contourlet变换 Cycle Spinning 图像融合

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：