排序方式: 共有112条查询结果,搜索用时 953 毫秒
21.
针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。 相似文献
22.
介绍一种求解TSP的混合遗传算法,该算法结合了基于邻域的LK算法和采用Inver-Over算子的遗传算法,并在算法中增加一些控制策略,加快算法的收敛速度,又保证群体的多样性。实验表明该算法是有效的。 相似文献
23.
一种基于输运理论的多目标演化算法 总被引:3,自引:1,他引:2
提出了一种根据输运理论中的粒子输运方程、相空间能量定律和熵增法则构造的一种能够准确、高效地求解多目标优化问题的多目标演化算法(MOPEA).由于该算法使用了粒子系统从非平衡达到平衡的理论来定义求解多目标问题的Rank函数和Niche适应值函数,使得种群中的所有个体都有机会参与演化操作,以达到快速、均匀地求出多目标优化问题的Pareto最优解.数据实验显示,利用该算法求解多目标优化问题不仅能够使算法快速地收敛到全局Pareto前沿,同时由于该算法要求所有的粒子都要参与杂交和变异等演化操作,从而避免问题早熟现象的出现,并通过与传统演化算法的性能指标分析比较说明,使用该算法求解多目标优化问题具有明显的优越性. 相似文献
24.
提出了一种新的基于多层染色体基因表达式程序设计的混合遗传进化算法:M-GEP-GA。 该算法在基因表达式程序设计的基础上引入了多层染色体,并采用与遗传算法相嵌套的二级演化方法。利用染色体构建的层次调用模型对个体进行表达,用基因表达式程序设计方法优化模型结构,遗传算法优化模型参数。通过对三组数据测试,与用单基因GEP、多基因GEP的结果进行对比,实验表明改进的算法具有更强的寻优能力和更高的稳定性。 相似文献
25.
26.
提出了一种新的预测气溶胶光学厚度AOT的优化融合模型,它把基于全局数据的径向基函数神经网络与基于局部区域数据的前向神经网络相结合,并通过优化权重组合,使得预测误差最小化。利用该模型对多角度成像光谱辐射仪MISR所采集的2002年7~9月份的数据进行AOT预测实验。结果显示:对美国陆地上空的大多数轨道,优化融合模型预测准确率明显高于全局模型和局部模型,其总体预测均方差比后二者分别减少了12.9%~24.5%和3.3%~10.5%.这表明优化融合模型是一种更为准确的摩间数据预测方法。 相似文献
27.
28.
29.
30.