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

计算机工程与设计 2014年第8期35卷 2778-2784页

作者：莫愿斌马彦追郑巧燕广西民族大学理学院广西南宁530006 广西民族大学广西混杂计算与集成电路设计分析重点实验室广西南宁530006

将贪心策略和变异策略与萤火虫算法相结合,提出一种求解0-1背包问题的贪心萤火虫算法。通过增加贪心策略和变异策略,在一定程度上能使萤火虫跳出局部极值,提高算法的性能。通过对多个实例的仿真,将该算法与其它算法如贪心遗传算法、贪... 详细信息

将贪心策略和变异策略与萤火虫算法相结合,提出一种求解0-1背包问题的贪心萤火虫算法。通过增加贪心策略和变异策略,在一定程度上能使萤火虫跳出局部极值,提高算法的性能。通过对多个实例的仿真,将该算法与其它算法如贪心遗传算法、贪心微粒群算法进行对比,对比结果表明,该算法在求解0-1背包问题上具有更强约束处理能力和快速收敛效果。

关键词：萤火虫算法贪心策略变异策略背包问题局部极值

来源：评论

学校读者我要写书评

暂无评论

自适应改进和声模式搜索算法

引用

小型微型计算机系统 2014年第1期35卷 189-192页

作者：曲良东何登旭黄勇广西民族大学信息科学与工程学院南宁530006 广西混杂计算与集成电路设计分析重点实验室南宁530006 广西民族大学理学院南宁530006

由于基本和声搜索算法存在不足,本文提出一种自适应改进和声模式搜索算法(AIHPS).在新算法中加入变异策略对和声微调进行改进,来增强算法的鲁棒性;适时执行模式搜索来增加和声搜索的方向性,来加快搜索;利用自适应参数HMCR、PAR和BW调节... 详细信息

由于基本和声搜索算法存在不足,本文提出一种自适应改进和声模式搜索算法(AIHPS).在新算法中加入变异策略对和声微调进行改进,来增强算法的鲁棒性;适时执行模式搜索来增加和声搜索的方向性,来加快搜索;利用自适应参数HMCR、PAR和BW调节全局和局部搜索.利用6个标准的优化算法测试函数对AIHPS算法进行测试,并与HS、IHS和GHS等多个算法进行实验对比,实验结果表明新算法具有跳出局部最优和较强的精确寻优能力.

关键词：和声搜索算法模式搜索算法局部优化全局优化自适应

来源：评论

学校读者我要写书评

暂无评论

基于局部特征的分数阶微分图像增强方法

引用

计算机工程与应用 2014年第3期50卷 160-164页

作者：吴瑞芳宣士斌荆奇广西民族大学信息科学与工程学院南宁530006 广西混杂计算与集成电路设计分析重点实验室南宁530006

一般情况下分数阶微分模板一经确定,再用其进行滤波时并不随图像的局部信息而变化,它不具有灵活性。针对分数阶微分模板滤波的这种局限性,提出了一种基于局部特征的分数阶微分图像增强的方法。在3×3对称分数阶微分模板的基础上找... 详细信息

一般情况下分数阶微分模板一经确定,再用其进行滤波时并不随图像的局部信息而变化,它不具有灵活性。针对分数阶微分模板滤波的这种局限性,提出了一种基于局部特征的分数阶微分图像增强的方法。在3×3对称分数阶微分模板的基础上找出与拉普拉斯模板的关系,从而得到加权的拉普拉斯模板表示的分数阶微分模板;根据图像的局部均值与标准差的关系对加权的拉普拉斯模板进一步改进,得到基于局部特征的分数阶微分图像增强的方法,它使分数阶图像增强模板能够根据局部特征灵活地进行滤波。将其与其他的图像增强算法比较,实验证明基于局部特征的分数阶微分图像增强算法能获得更好效果。

关键词：分数阶微分图像增强拉普拉斯模板均值标准差

来源：评论

学校读者我要写书评

暂无评论

结合Riss的基于Lazy框架的SMT求解技术

引用

信息通信 2015年第3期28卷 8-8页

作者：连召洋广西民族大学广西民族大学广西混杂计算与集成电路设计分析重点实验室广西南宁530006

SMT涉及很多相关的理论,并且可以描述很多SAT不能描述的问题。因此,对SMT求解器的研究有非常重要的意义。文章提出了另一种求解SMT问题的方法。首先,编译SMT公式并转换为命题变量的合取范式;然后借鉴了在2014SAT竞赛中的Riss求解算法,... 详细信息

SMT涉及很多相关的理论,并且可以描述很多SAT不能描述的问题。因此,对SMT求解器的研究有非常重要的意义。文章提出了另一种求解SMT问题的方法。首先,编译SMT公式并转换为命题变量的合取范式;然后借鉴了在2014SAT竞赛中的Riss求解算法,得到一个的可满足的一组赋值;最后把得当前解与理论求解器进行交互并且验证与在特定理论背景下的可满足性。由于在SMT的求解的过程中结合了先进的Riss求解算法,因此在求解某些SMT问题的时候效果比较好。

关键词： Riss SMT SAT Lazy 格局配置

来源：评论

学校读者我要写书评

暂无评论

应用于灰度图像分割的基于流体静力学原理活动轮廓模型

引用

图学学报 2014年第3期35卷 350-357页

作者：黄文钧方丽菁广西民族大学信息科学与工程学院广西南宁530006 广西混杂计算与集成电路设计分析重点实验室广西南宁530006 广西民族大学理学院广西南宁530006

提出一种新的活动轮廓模型,应用于灰度图像分割。此模型建立在流体静力学理论之上,运用流体静力学理论直接驱动连续曲线,逼近被包围的目标。该模型能够分割多重目标、能够分割嵌套的目标、能够有效地控制过分割现象。

关键词：灰度图像分割活动轮廓流体静力学

来源：评论

学校读者我要写书评

暂无评论

一种协作的萤火虫算法在聚类问题上的应用

引用

化工自动化及仪表 2014年第3期41卷 238-242页

作者：莫愿斌马彦追郑巧燕广西民族大学南宁530006 广西混杂计算与集成电路设计分析重点实验室南宁530006

将协作搜索机制引入到萤火虫算法中,通过协作搜索机制在一定程度上能使萤火虫跳出局部极值,从而提高算法的寻优性能。通过对多个UCI数据集的仿真实验,并与其他算法,如K-均值算法、人工蜂群算法和粒子群算法进行对比。实验结果表明:基于... 详细信息

将协作搜索机制引入到萤火虫算法中,通过协作搜索机制在一定程度上能使萤火虫跳出局部极值,从而提高算法的寻优性能。通过对多个UCI数据集的仿真实验,并与其他算法,如K-均值算法、人工蜂群算法和粒子群算法进行对比。实验结果表明:基于协作的萤火虫聚类算法在聚类分析方面较这些算法具有更好的效果。

关键词：聚类分析萤火虫算法协作搜索萤火虫编码 UCI机器学习库

来源：评论

学校读者我要写书评

暂无评论

Hilbert空间上广义逆的极限表示

引用

兰州理工大学学报 2014年第5期40卷 145-149页

作者：刘晓冀黄甫靳宏伟广西民族大学理学院广西南宁530006 广西混杂计算与集成电路设计分析重点实验室广西南宁530006 湖南大学数学与计量经济学院湖南长沙410082

利用算子A和B在Hilbert空间X和Y上的空间分解,给出具有limλ→0B(λI+AY)-1和limλ→0B(A+λI)-1形式的极限存在的充分必要条件,并且得到两类极限的相关极限值.同时,对两类极限的相关性质进行进一步的探讨.

关键词： Moore-Penrose逆群逆极限算子

来源：评论

学校读者我要写书评

暂无评论

基于Spin的安全协议形式化验证技术

引用

计算机应用 2014年第A2期34卷 85-90页

作者：冉俊轶吴尽昭中国科学院成都计算机应用研究所成都610041 中国科学院大学北京100049 广西混杂计算与集成电路设计分析重点实验室(广西民族大学) 南宁530000 北京交通大学计算机与信息技术学院北京100044

针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,验证发现其不满足线性时序逻辑(LTL)公式描述的安全性,得到了原协议的安全漏洞。针对该漏洞,提出了一种协... 详细信息

针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,验证发现其不满足线性时序逻辑(LTL)公式描述的安全性,得到了原协议的安全漏洞。针对该漏洞,提出了一种协议改进方案,并针对改进后的协议,给出新的Promela语义模型的建模方法。改进的入侵者模型建模方法比起原方法:模型检测过程中的存储状态数减少,使模型复杂度降低约40%;迁移状态数减少,使验证效率提升约44%。

关键词：安全协议形式化验证 Spin模型检测 Promela语义模型 LTL公式密钥分配中心协议

来源：评论

学校读者我要写书评

暂无评论

改进的萤火虫优化算法求解Van Genuchten方程参数

引用

计算机科学 2013年第11A期40卷 131-135,139页

作者：莫愿斌刘付永马彦追广西民族大学南宁530006 广西混杂计算与集成电路设计分析重点实验室南宁530006

Van Genuchten方程是应用最广泛的土壤水分特征曲线方程,该方程的关键是4个参数的取值。为了精确地求解这些参数,引入萤火虫算法进行求解,提出了一种基于生物寄生行为的人工萤火虫优化算法(GSOPB)。该算法将萤火虫群分为寄生群和宿主群... 详细信息

Van Genuchten方程是应用最广泛的土壤水分特征曲线方程,该方程的关键是4个参数的取值。为了精确地求解这些参数,引入萤火虫算法进行求解,提出了一种基于生物寄生行为的人工萤火虫优化算法(GSOPB)。该算法将萤火虫群分为寄生群和宿主群两个种群,两种群间隔一定的迭代次数相互交换部分萤火虫;淘汰宿主群中适应度较差的一半萤火虫,以体现"优胜劣汰"的生物进化法则。标准测试函数的仿真结果表明了GSOPB算法的有效性;对Van Genuchten方程参数的优化结果表明,GSOPB算法的求解精度优于其他方法,可以作为求解Van方程参数的新方法。

关键词：人工萤火虫算法寄生行为土壤水分特征曲线 Van Genuchten方程

来源：评论

学校读者我要写书评

暂无评论

基于几何规划的布尔可满足问题求解方法

引用

计算机工程与科学 2013年第9期35卷 122-126页

作者：何安平吴尽昭梁艺熊玲芳吴昊广西民族大学混杂计算与集成电路设计分析重点实验室广西南宁530006

布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义。将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法。经实验验证,这种算法对布尔可满足... 详细信息

布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义。将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法。经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值。

关键词：布尔可满足性拟物拟人算法(Solar) 几何规划

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：