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

计算机科学 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) 几何规划

来源：评论

学校读者我要写书评

暂无评论

线性半代数变迁系统的近似互模拟等价

引用

吉林大学学报（工学版） 2013年第4期43卷 1052-1058页

作者：邓辉吴尽昭北京交通大学计算机与信息技术学院北京100044 广西民族大学广西混杂计算与集成电路设计分析重点实验室南宁530006

针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在... 详细信息

针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在工程应用中大多数实验所得数据仅为给定误差范围内的近似值,精确的系统等价关系缺乏容错性及灵活性。为获得更恰当的系统关系,利用奇异值分解对系统进行近似处理,建立了系统的近似互模拟等价概念及计算方法。通过符号与数值混合计算,实现误差可计算及可控制。最终选取近似等价系统代替原复杂系统。并发通信程序中的实例分析表明,该方法在简化软件程序设计中具有合理性及有效性。

关键词：计算机软件近似互模拟线性半代数变迁系统特征列奇异值分解并发通信程序

来源：评论

学校读者我要写书评

暂无评论

一种基于Lévy飞行轨迹的蝙蝠算法

引用

模式识别与人工智能 2013年第9期26卷 829-837页

作者：谢健周永权陈欢广西民族大学信息科学与工程学院南宁530006 广西民族大学广西混杂计算与集成电路设计与分析重点实验室南宁530006

针对新型元启发式蝙蝠算法存在收敛速度慢、求解精度低的现象,文中提出一种基于Lévy飞行轨迹的蝙蝠算法.该算法具有易跳出局部最优,收敛速度快且求解精度高等特点.通过对12个典型的测试函数进行仿真实验,结果表明该算法是有效、可... 详细信息

针对新型元启发式蝙蝠算法存在收敛速度慢、求解精度低的现象,文中提出一种基于Lévy飞行轨迹的蝙蝠算法.该算法具有易跳出局部最优,收敛速度快且求解精度高等特点.通过对12个典型的测试函数进行仿真实验,结果表明该算法是有效、可行的,且在求解高维空间问题中也表现出优越的逼近性能.

关键词：蝙蝠算法 Lévy飞行函数优化

来源：评论

学校读者我要写书评

暂无评论

基于Predator-Prey行为的萤火虫优化算法

引用

计算机与应用化学 2013年第6期30卷 671-676页

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

针对基本萤火虫优化(GSO)算法在求解函数全局最优值时,存在着易陷入局部最优、收敛速度慢和求解精度低等问题,提出了1种基于生物捕食-被捕食(Predator-Prey)行为的双种群GSO算法(GSOPP)。该算法通过引入种群间的追逐与逃跑以及变异等策... 详细信息

针对基本萤火虫优化(GSO)算法在求解函数全局最优值时,存在着易陷入局部最优、收敛速度慢和求解精度低等问题,提出了1种基于生物捕食-被捕食(Predator-Prey)行为的双种群GSO算法(GSOPP)。该算法通过引入种群间的追逐与逃跑以及变异等策略加快了收敛速度,且能获得精度更高的解。最后,通过对8个标准测试函数进行测试,结果表明,改进后的GSOPP算法比基本GSO算法有更优的性能。

关键词：萤火虫算法(GSO) 捕食-被捕食行为变异策略

来源：评论

学校读者我要写书评

暂无评论

一种群模式全局搜索算法

引用

模式识别与人工智能 2013年第6期26卷 592-597页

作者：曲良东何登旭吴尽昭广西民族大学信息科学与工程学院南宁530006 广西民族大学广西混杂计算与集成电路设计分析重点实验室南宁530006 北京交通大学计算机与信息技术学院北京100044

由于模式搜索算法易陷入局部极值且效率低.受群智能算法的启发,结合模式搜索算法,提出一种全局优化算法——群模式全局搜索算法.该算法引入群智能的思想,包含4个操作:模式探测、模式移动、模式学习、模式扩散,具有较强的局部-全局搜索能... 详细信息

由于模式搜索算法易陷入局部极值且效率低.受群智能算法的启发,结合模式搜索算法,提出一种全局优化算法——群模式全局搜索算法.该算法引入群智能的思想,包含4个操作:模式探测、模式移动、模式学习、模式扩散,具有较强的局部-全局搜索能力,且收敛速度快、稳定性好.对benchmark函数集进行仿真并与其它多个算法对比,实验结果证实该算法的有效性.

关键词：群模式搜索算法局部优化全局优化群智能

来源：评论

学校读者我要写书评

暂无评论

自适应改进和声—单纯形进化算法研究

引用

计算机应用研究 2013年第3期30卷 676-678页

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

针对和声搜索算法的不足,提出了一种自适应改进和声—单纯形进化算法(AIHSEA)。通过在新算法中加入变异策略对和声微调进行改进来增强算法的鲁棒性;适时执行单纯形算子增加群体搜索的方向性来加快搜索;采用自适应参数HMCR、PAR和BW调节... 详细信息

针对和声搜索算法的不足,提出了一种自适应改进和声—单纯形进化算法(AIHSEA)。通过在新算法中加入变异策略对和声微调进行改进来增强算法的鲁棒性;适时执行单纯形算子增加群体搜索的方向性来加快搜索;采用自适应参数HMCR、PAR和BW调节全局和局部搜索。采用六个标准的优化算法测试函数对AIHSEA进行测试,并与HS、IHS和GHS算法进行对比,仿真结果表明AIHSEA算法具有较强的精确寻优和跳出局部最优的能力。

关键词：和声搜索算法单纯形法局部优化全局优化自适应

来源：评论

学校读者我要写书评

暂无评论

基于侧抑制原理的局部分数阶微分图像增强

引用

计算机工程与设计 2013年第8期34卷 2826-2833页

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

针对目前分数阶微分在图像增强应用中没有充分根据图像区域特征体现侧抑制的方向性,提出从图像灰度变化的8个方向出发,即x轴的正负方向,y轴的正负方向,主对角线的正负方向,次对角线的正负方向,检测出灰度变化的主要方向,然后根据检测结... 详细信息

针对目前分数阶微分在图像增强应用中没有充分根据图像区域特征体现侧抑制的方向性,提出从图像灰度变化的8个方向出发,即x轴的正负方向,y轴的正负方向,主对角线的正负方向,次对角线的正负方向,检测出灰度变化的主要方向,然后根据检测结果设计不同的非对称的分数阶滤波器对图像进行滤波。这样结合了图像本身的特征信息,能够达到更好的图像增强效果。仿真实验结果表明,改进后的分数阶微分滤波器对增强图像纹理细节具有很好的效果。

关键词：分数阶微分侧抑制原理图像增强分数阶滤波器图像梯度

来源：评论

学校读者我要写书评

暂无评论

一种自适应步长布谷鸟搜索算法

引用

计算机工程与应用 2013年第10期49卷 68-71页

作者：郑洪清周永权广西民族大学信息科学与工程学院南宁530006 广西混杂计算与集成电路设计分析重点实验室南宁530006

针对布谷鸟搜索算法(CS)后期收敛速度慢、计算精度不高等不足,提出了一种自适应步长调整布谷鸟搜索算法,加快布谷鸟搜索算法的搜索速度,提高其计算精度。通过8个标准测试函数测试的结果表明,改进后的自适应步长布谷鸟搜索算法具有较快... 详细信息

针对布谷鸟搜索算法(CS)后期收敛速度慢、计算精度不高等不足,提出了一种自适应步长调整布谷鸟搜索算法,加快布谷鸟搜索算法的搜索速度,提高其计算精度。通过8个标准测试函数测试的结果表明,改进后的自适应步长布谷鸟搜索算法具有较快的收敛速度和较高的寻优精度。

关键词：布谷鸟搜索算法自适应步长标准测试函数

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2014年全国开放式分布与并行计算学术年会

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

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

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

关键词：网络通信安全协议形式化验证理论密钥分配中心协议 Spin模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：