genetic algorithm formalization crossover operator high order logic HOL4;
机译:具有形式化交叉算子的生物启发遗传算法在机器人中的应用
机译:Coq中的遗传算法:交叉算子的推广和形式化
机译:Coq中的遗传算法:交叉算子的推广和形式化
机译:一种新型交叉运算符,旨在利用两个交叉运算符的协同作用,用于实际编码遗传算法
机译:改进的交叉算子,用于使用遗传算法进行蛋白质折叠模拟。
机译:基于子群体的遗传算法的变异算子对多机器人任务分配问题的性能影响
机译:用于机器人应用的形式化交叉算子的生物启发遗传算法