摘要：DS-CDMA无线通信中的最优多用户检测属于NP完备组合优化问题,启发式方法是求解这类问题的有效方法,通过分析最优多用户检测问题的适应值曲面特征,研究设计了系列低计算复杂度、接近最优多用户检测性能的启发式算法.仿真结果表明,基于演化策略的多用户检测算法能够在中等规模用户数情况下提供与最优多用户检测相当的性能,而快速迭代局域搜索算法能够以较低的计算复杂度得到比其他局域搜索算法更好的解.

摘要：提出了一个求解函数优化问题的高效演化算法,其设计思想由混合选择策略与分类变异策略构成。该算法使用锦标赛选择、轮盘选择相结合的混合选择策略,变异运算分为三类进行:对最好个体实施模式搜索,对适应值排名靠前的三分之一的个体采用柯西变异,而其它个体使用普通变异算子。针对15个测试函数的实验取得了相当好的效果,实验结果表明该算法不仅收敛速度快,而且所求得的解达到或者以相当高的精度逼近最优解。

摘要：针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。