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

软件学报 2011年第5期22卷 929-937页

作者：李宏博李占山韩文成吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

基于约束的配置模型中会有一些变量之间不存在任何直接或间接的约束关系,这样的变量之间进行约束传播不会互相影响取值.基于配置问题的这一特点,提出了一种等价类划分的思想,用于构造产品模型时的预处理技术,可以有效地将原问题划分为... 详细信息

基于约束的配置模型中会有一些变量之间不存在任何直接或间接的约束关系,这样的变量之间进行约束传播不会互相影响取值.基于配置问题的这一特点,提出了一种等价类划分的思想,用于构造产品模型时的预处理技术,可以有效地将原问题划分为若干子问题,证明了这些子问题可以分别处理.分别采用两种回溯策略对求解效率进行了测试,结果表明能够有效地提高求解效率.最后,等价类划分方法与计算解释的QUICKXPLAIN算法集成计算冲突解释,测试结果表明,经过等价类划分后,同样可以有效地提高计算解释的效率.

关键词：约束满足配置等价类回溯冲突解释

来源：评论

学校读者我要写书评

暂无评论

一种基于MBR的不确定区域间方向关系建模方法

引用

电子学报 2011年第2期39卷 329-335页

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

现实世界中的区域多具有不确定边界,现有基于确定区域的建模方法无法直接处理此类不确定区域间的方向关系.用宽边界表示区域的不确定边界,以区域的最小边界矩形(minimum bounding rectangle,简称MBR)为模型,提出一种基于MBR的不确定区... 详细信息

现实世界中的区域多具有不确定边界,现有基于确定区域的建模方法无法直接处理此类不确定区域间的方向关系.用宽边界表示区域的不确定边界,以区域的最小边界矩形(minimum bounding rectangle,简称MBR)为模型,提出一种基于MBR的不确定区域间方向关系建模方法.利用基于MBR的主方向关系和矩形代数表示不确定区域间方向关系;定义不确定区域间方向关系的相容性复合;并给出一种相容性复合计算方法.

关键词：不确定区域宽边界方向关系最小边界矩形矩形代数相容性复合

来源：评论

学校读者我要写书评

暂无评论

三维直方图重建和降维的Otsu阈值分割算法

引用

电子学报 2011年第5期39卷 1108-1114页

作者：申铉京龙建武陈海鹏魏巍吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

针对三维Otsu阈值分割算法中因区域误分而产生的抗噪性差这一问题,提出了一种三维直方图重建和降维的Otsu阈值分割算法.该方法首先在详细分析三维直方图中噪声点分布的基础上,通过重建三维直方图,减弱了噪声干扰;然后将三维直方图区域... 详细信息

针对三维Otsu阈值分割算法中因区域误分而产生的抗噪性差这一问题,提出了一种三维直方图重建和降维的Otsu阈值分割算法.该方法首先在详细分析三维直方图中噪声点分布的基础上,通过重建三维直方图,减弱了噪声干扰;然后将三维直方图区域划分由八分法改为二分法,使得阈值搜索的空间维度从三维降低到一维,减少了处理时间和存储空间.本文最后给出了算法的分割结果和运行时间,并与三维Otsu方法、二维分解法和二维斜分法进行对比.实验结果表明,本文算法的抗噪性更强,且分割效果更为理想,同时时间复杂度也远低于三维Otsu法.

关键词：图像分割阈值选取 Otsu算法三维Otsu算法

来源：评论

学校读者我要写书评

暂无评论

基于动态值启发式的约束满足求解算法

引用

计算机集成制造系统 2011年第4期17卷 832-837页

作者：王孜文李占山艾阳李宏博吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 吉林大学计算机科学与技术学院吉林长春130012

为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法。该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信息。不但加入了变量启发式,而且在实例化变量时,对所有值的优... 详细信息

为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法。该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信息。不但加入了变量启发式,而且在实例化变量时,对所有值的优先级进行动态的改变,从而实现了动态值启发式。比较了静态值启发式和动态值启发式的效率,分析了该算法的优缺点。通过随机问题标准库用例测试表明,该算法比经典主流算法具有更好的效率优势。

关键词：动态值启发式值排序约束满足问题弧相容技术启发式算法

来源：评论

学校读者我要写书评

暂无评论

求解流水车间调度问题的混合粒子群算法

引用

电子学报 2011年第5期39卷 1087-1093页

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

本文提出了一种混合的元启发式方法HDCPSO用于求解置换流水车间调度问题中的最小化完成时间.该算法将粒子群算法和迭代贪心算法(Iterative Greedy,IG)相结合,利用IG算法中的作业毁坏(Destruction)和构造(Con-struction)操作来对粒子进... 详细信息

本文提出了一种混合的元启发式方法HDCPSO用于求解置换流水车间调度问题中的最小化完成时间.该算法将粒子群算法和迭代贪心算法(Iterative Greedy,IG)相结合,利用IG算法中的作业毁坏(Destruction)和构造(Con-struction)操作来对粒子进行变异,降低群体发生早熟的可能.引入了个体徘徊概念,用来控制个体变异.此外,通过基于插入的邻域搜索来提高个体的局部搜索能力.最后,提出了群体的重新初始化机制来进一步避免早熟收敛的发生.本文算法在不同规模的问题实例上与其他几个具有代表性的算法进行了比较,实验结果表明,无论是在求解质量还是稳定性方面都优于其他算法.

关键词：粒子群算法车间调度迭代贪心算法个体徘徊重新初始化

来源：评论

学校读者我要写书评

暂无评论

粗糙集与支持向量机在肝炎诊断中的应用

引用

吉林大学学报（工学版） 2011年第1期41卷 160-164页

作者：王刚刘元宁陈慧灵董浩朱晓冬吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出了一种基于粗糙集与支持向量机(SVM)的肝炎诊断方法。利用粗糙集对原始特征进行约减,得到多个特征子集,然后采用组选择算法进行二次约减,根据约减后的特征子集生成新的数据集,使用SVM对新的数据集进行训练和预测。采用UCI机器学习... 详细信息

提出了一种基于粗糙集与支持向量机(SVM)的肝炎诊断方法。利用粗糙集对原始特征进行约减,得到多个特征子集,然后采用组选择算法进行二次约减,根据约减后的特征子集生成新的数据集,使用SVM对新的数据集进行训练和预测。采用UCI机器学习公共数据集,试验结果与数据分析表明,与SVM、神经网络(NN)、决策树所预测的结果对比,本文方法具有较高的准确率,可以较准确地诊断数据是否呈阳性。

关键词：人工智能粗糙集支持向量机肝炎诊断特征选择神经网络

来源：评论

学校读者我要写书评

暂无评论

基于AC-4的动态值启发式约束满足问题求解算法

引用

吉林大学学报（工学版） 2011年第5期41卷 1378-1382页

作者：李占山王孜文艾阳李宏博吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计... 详细信息

通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计数器的值,实现了动态值启发式。实验结果表明,MAC-DMSV算法比MAC和BT+MPAC算法具有更高的求解效率。

关键词：人工智能动态值排序约束满足问题

来源：评论

学校读者我要写书评

暂无评论

基于数字签名方式的图像鉴别方法

引用

吉林大学学报（工学版） 2011年第3期41卷 734-738页

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

提出了一种有效且稳健的基于数字签名方式的图像鉴别方法。该方法对图像预处理后,提取图像块均值的前五位作为被鉴别图像区别于其他图像的特征信息,并把图像进行分区处理,对区域内提取的图像块的特征信息扩展后进行RS差错控制编码,将编... 详细信息

提出了一种有效且稳健的基于数字签名方式的图像鉴别方法。该方法对图像预处理后,提取图像块均值的前五位作为被鉴别图像区别于其他图像的特征信息,并把图像进行分区处理,对区域内提取的图像块的特征信息扩展后进行RS差错控制编码,将编码后的RS校验位随机置乱后作为数字签名,然后与公开图像一起发送出去。实验结果表明:此图像鉴别方法可以有效地鉴别图像内容的真伪并对篡改区域进行定位。

关键词：图像鉴别 RS编译码篡改检测篡改区域定位

来源：评论

学校读者我要写书评

暂无评论

基于改进的单纯形和微分进化的混合优化算法

引用

吉林大学学报（工学版） 2011年第2期41卷 430-434页

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

在对微分进化算法DE进行分析的基础上,结合单纯形算法(NM),提出了一种基于DE和NM的混合算法DE-NM,该算法充分利用DE算法的全局搜索能力和NM算法的局部搜索能力,使得种群既保持了个体的多样性,同时也加快了收敛速度。通过与其他一些优化... 详细信息

在对微分进化算法DE进行分析的基础上,结合单纯形算法(NM),提出了一种基于DE和NM的混合算法DE-NM,该算法充分利用DE算法的全局搜索能力和NM算法的局部搜索能力,使得种群既保持了个体的多样性,同时也加快了收敛速度。通过与其他一些优化算法对比表明,DE-NM混合算法是求解优化问题的一种有效算法。

关键词：人工智能全局优化混合优化算法微分进化算法单纯形算法

来源：评论

学校读者我要写书评

暂无评论

结合约束满足消除误判的等价性验证方法

引用

吉林大学学报（工学版） 2011年第5期41卷 1374-1377页

作者：张立明曾海林赵剑欧阳丹彤何丽莉吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

通过对集成电路等价性验证方法中消除误判方法的研究,给出一种结合约束满足消除误判的方法。提出消除误判约束关系的概念,当等价性验证可能存在误判现象时,调用约束求解器对消除误判约束关系进行求解,进而消除误判。本方法不用借助其他... 详细信息

通过对集成电路等价性验证方法中消除误判方法的研究,给出一种结合约束满足消除误判的方法。提出消除误判约束关系的概念,当等价性验证可能存在误判现象时,调用约束求解器对消除误判约束关系进行求解,进而消除误判。本方法不用借助其他辅助的数据结构、相应约束关系或启发式策略,极大地降低了等价性验证的复杂度。本方法还适用于不同抽象层次间等价性验证方法中误判的消除,可以消除系统级模型和寄存器传输级等价性验证方法中存在的误判。

关键词：人工智能集成电路等价性验证割集

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：