提纲引言引言引言引言决策变量软件总体结构:所有类型候选集:A\AE\AC\AU目标子集:用于(完整)形式化开发的类集目标函数:系统可靠度形式化开发的类的可靠度:1非形式化开发的类的可靠度目标函数:系统可靠度形式化开发的类的可靠度:1非形式化开发的类的可靠度类结构的复合目标函数:系统可靠度形式化开发的类的可靠度:1非形式化开发的类的可靠度类结构的复合目标函数:系统可靠度形式化开发的类的可靠度:1非形式化开发的类的可靠度类结构的复合目标函数:系统可靠度形式化开发的类的可靠度:1非形式化开发的类的可靠度类结构的复合约束条件总工作量约束总费用约束基本WWO算法:基于浅水波理论的启发式算法Newton(1687):深水波的频率与波长的平方根成反比Laplace运动方程(1776)Kelland运动方程(1844)基本WWO算法:基于浅水波理论的启发式算法第一代浅水波模型(1960s)第二代浅水波模型(1970s)第三代浅水波模型(1980s-1990s)基本WWO算法:基于浅水波理论的启发式算法第一代浅水波模型(1960s)第二代浅水波模型(1970s)第三代浅水波模型(1980s-1990s)基本WWO算法:基于浅水波理论的启发式算法解空间海床解波浪解的适应度波的能量(高度)基本WWO算法:基于浅水波理论的启发式算法Propagation(传播)基本WWO算法:基于浅水波理论的启发式算法Propagation(传播)Refraction(折射)基本WWO算法:基于浅水波理论的启发式算法Propagation(传播)Refraction(折射)Break(碎浪)基本WWO算法:基于浅水波理论的启发式算法Propagation(传播):平衡全局探索与局部开发Refraction(折射):避免陷入局部最优,提高种群多样性Break(碎浪):强化局部搜索CSBSE2015,Nanjing,ChinaPropagation(传播):平衡全局探索与局部开发邻域:10Propagation(传播):平衡全局探索与局部开发邻域:10波长为λ:执行λ步邻域操作Propagation(传播):平衡全局探索与局部开发邻域:10波长为λ:执行λ步邻域操作选取n/λ个λ步邻域解中的最优一个Propagation(传播):平衡全局探索与局部开发Refraction(折射):避免陷入局部最优,提高种群多样性X向当前最优解X*学习Propagation(传播):平衡全局探索与局部开发Refraction(折射):避免陷入局部最优,提高种群多样性Break(碎浪):强化局部搜索在X*的所有一步和二步邻域解中进行搜索Propagation(传播):平衡全局探索与局部开发Refraction(折射):避免陷入局部最优,提高种群多样性Break(碎浪):强化局部搜索约束处理计算实验计算实验计算实验结论与展望结论与展望THANKS