基于高效约束解决算法的浮点数生成器设计

为了对微处理器中浮点运算单元FPU(floating-point unit)进行高效的功能验证,对浮点运算的边界情况进行了研究,引入了对中间结果(intermediate result)的约束解决算法(constriant solved arithmetic).与传统的对浮点运算单元的功能验证相比,基于该约束算法的浮点数生成器,拓宽了浮点边界情况的可选范围,有效提高了验证效率.实验结果表明,集成该浮点数生成器的UVM验证平台,能够在12小时的测试时间内,对一个浮点运算子模块(floating-point subunit)达到超过99%的覆盖率.

一种以优秀个体记忆位置为导向的改进乌鸦搜索算法

为了克服乌鸦搜索算法搜索能力弱、易陷入局部最优之不足,提出新的以优秀个体记忆位置为导向的改进乌鸦搜索算法(EICSA):基于个体贮藏食物量之多少,种群中多数个体划归为普通个体、少数贮藏食物量较多的个体划归为优秀个体.优秀个体只在其贮藏食物的巢穴附近开展局部搜索活动.多数普通个体以优秀个体贮藏食物之巢穴为导向,在算法前期以较大步长进行全局探索,保持了种群的多样性;算法后期则以较短步长进行局部开发,使算法的全局探索能力和局部开发能力均得到了增强.通过12个基准函数和3个工程应用问题的数值实验,结果表明EICSA的全局优化能力得到了明显提高,在函数和工程应用问题优化中具有较快的全局收敛速度、较好的优化精度和稳定性.

蚁群算法在解决空中交通飞行冲突中的应用

本文主要研究了蚁群算法在解决空中交通冲突问题中的应用。首先对空中交通冲突解决问题的研究背景以及研究现状进行了系统的概述,随后建立了相关的数学模型,将空中交通飞行冲突问题转化为有约束的非线性整数规划问题,并设计了基于蚁群算法的求解思路。最后的仿真计算证明该方法在较短时间内能提供多种不同的有效的冲突解决方案。

IP／DWDM光Internet中的一种智能多约束波长分配算法

为了使波长分配更加符合网络实际配置的要求,综合考虑了包括成本、功率和网络性能等在内的多种实际约束.但与此同时,问题的复杂性也随之增大,需要采用分层解决方案.由于每一层需要解决的问题都是 NP完全的,因此采用遗传算法和启发式算法相结合的方法进行求解.此外,设计并实现了一个仿真软件.仿真研究表明,该算法可以较好地解决IP/DWDM光I nternet中的多约束波长分配问题, 不仅能够得到在上述约束条件下的优化配置,而且能够尽最大可能满足用户的连接请求.

基于人性化冲突解决算法设计模型

如何合理安排好补考学生的时间、减少监考人员的场次、最佳利用考场资源等项研究,具有很好的实用价值。事实上补考的复杂度、繁琐度不低于正式考试。文章提出一种新的基于人性化的安排补考算法。通过分析实际补考安排过程中的关键因素,对补考资源进行合理抽象,同时提出避免冲突的约束条件降低算法复杂度,建立一种基于人性化的优化排补考算法模型。

混合遗传算法在柔性系统动态调度中的应用研究

本文研究了柔性制造系统实时生产环境下的动态调度问题 .提出了基于动态数据库技术的动态调度系统的框架结构 .动态数据库中存储着问题的数据结构 ,包含工件相关类与机器相关类信息 .动态数据库能够随着生产的进行及时进行更新 .扰动发生后 ,遗传算法根据动态数据库所提供的更新后的调度任务数据 ,快速产生新的优化调度方案 .通过在遗传算法中嵌入约束解决机制确保遗传算法适应约束的能力 ,从而提高算法的收敛速度与精度 .

一种求解车间作业调度问题的混合邻域结构搜索算法

车间作业调度问题是优化组合中一个著名的难题,问题的目标是在满足约束条件的前提下,使调度的加工周期尽可能小。文章中提出了利用新的混合邻城结构进行搜索来求解车间作业调度问题。对于算法关键的邻域构造问题以及跳坑策略给出了提高算法优度的解决方案。采用43个不同规模和难度的国际标准算例做为本算法的测试实验集,39个算例找到了最优解,其中包括著名的难例FT10。与当前国外学者提出的一种先进算法进行了比较,算法的优度高于被比较的先进算法。

改进蚁群算法在飞行冲突求解问题中的应用

改进的蚁群算法可以用于空中交通飞行冲突问题的求解。对空中交通飞行冲突问题的研究背景以及研究现状进行系统概述,简要介绍了人工势场法和蚁群算法。建立了相关的数学模型,将空中交通飞行冲突问题转化为有约束的非线性整数规划问题,并且把人工势场法和蚁群算法相结合,设计了将人工势场法的规划结果作为蚁群优化算法先验知识的求解思路。最后的仿真计算表明了该方法能加快蚁群算法的收敛速度,在短时间内提供理想的冲突解决方案。

一种支持QOS约束面向语义的web服务发现机制

传统的服务发现技术是建立在语法描述的基础上,主要采用的服务发现机制是WSDL和UDDI规范相结合的解决方案,这些发现方法查准率极其低下,不能很好的满足用户需要。为此,提出了一种支持QOS约束的面向语义的web服务发现机制,给出了web服务发现框架与服务发现算法,从而提高查准率。

关联挖掘在耕地流失原因分析上的应用研究

在传统算法的基础上,针对耕地流失原因分析时关心的规则后件只包含一个主要因素的特点,提出了改进的基于约束的频繁谓词集和关联规则生成算法,从而大大减少谓词集元素和无趣规则的数量,为该类问题提供了一个有效解决方法。实验证明该方法具有较好的有效性。

求解约束优化问题的文化算法研究

文化算法,它是一种从进化种群中获取问题解决的知识(即信念),并将其明确地用到指导搜索的过程中。下面,本文就以多层信念空间为基础,提出了一种文化算法,该算法是通过将多层信念空间进行对比,择优选取后,将提取出的知识用到计算性能的进化中,以便能解决约束优化的问题,最后并应用实例来证明该算法的可选性。