[工学]第六章-现代最优化方法.ppt
《[工学]第六章-现代最优化方法.ppt》由会员分享,可在线阅读,更多相关《[工学]第六章-现代最优化方法.ppt(93页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、 现代优化算法包括随机试验法、禁忌搜索算法、模拟退火算现代优化算法包括随机试验法、禁忌搜索算法、模拟退火算法、遗传算法、神经网络算法和拉格朗日松弛算法等,这些算法涉法、遗传算法、神经网络算法和拉格朗日松弛算法等,这些算法涉及生物进化、人工智能、数学和物理科学、神经系统和统计力学等及生物进化、人工智能、数学和物理科学、神经系统和统计力学等概念。都是以一定的直观基础而构造的算法,通常称之为启发式算概念。都是以一定的直观基础而构造的算法,通常称之为启发式算法。法。 启发式算法的兴起与计算启发式算法的兴起与计算复杂性理论复杂性理论的形成有密切的联系。的形成有密切的联系。 1. 对目标函数和约束函数不必
2、附加可解析性条件,对于目标函对目标函数和约束函数不必附加可解析性条件,对于目标函数而言甚至可以不要求有显示表达式;数而言甚至可以不要求有显示表达式; 2. 对于约束变量可以去离散值或特殊整数如对于约束变量可以去离散值或特殊整数如0和和1等;等; 3. 在通常情况下,这些算法能够求解全局最优解。在通常情况下,这些算法能够求解全局最优解。第一节第一节 随随 机机 试试 验验 法法 一、基本思想一、基本思想 用随机的方法产生试验点,再从试验点中选出满足约束条件的用随机的方法产生试验点,再从试验点中选出满足约束条件的点,进而求出最优点的一种方法。点,进而求出最优点的一种方法。二、二、 随机试验法随机试
3、验法 成立的最优解成立的最优解x*设问题设问题( )( )min. .0,1,2,.,ifstgim=xx首先用随机方法产生试验点首先用随机方法产生试验点 ,然后从中找出满足约束条件,然后从中找出满足约束条件的点的点 , ,求出使得求出使得( )( )minpp*kkff=xx kxpkx一、基本思想一、基本思想 禁忌搜索法禁忌搜索法(Tabu search)是一种人工智能方法,是局部邻域是一种人工智能方法,是局部邻域搜索算法的推广,是人工智能在组合优化中的一个成功应用。搜索算法的推广,是人工智能在组合优化中的一个成功应用。 其基本思想是:标记已经得到的局部最优解,并在进一步的其基本思想是:标
4、记已经得到的局部最优解,并在进一步的迭代中避开这些局部最优解。所谓的禁忌就是禁止重复前面的工迭代中避开这些局部最优解。所谓的禁忌就是禁止重复前面的工作,为了避开局部邻域搜索陷入局部最优,禁忌搜索算法设计了作,为了避开局部邻域搜索陷入局部最优,禁忌搜索算法设计了一种一种禁忌表禁忌表,记录已达到过的局部最优点。在下一次的搜索中,记录已达到过的局部最优点。在下一次的搜索中,就利用禁忌表中的信息,不再或者有选择地搜索这些点,以此跳就利用禁忌表中的信息,不再或者有选择地搜索这些点,以此跳出局部最优点。出局部最优点。第二节第二节 禁禁 忌忌 搜搜 索索 法法 1. 1. 算法的提出算法的提出 模拟退火算法
5、最早的思想由模拟退火算法最早的思想由Metropolis等(等(1953)提出,)提出,1983年年Kirkpatrick等将其应用于组合优化。等将其应用于组合优化。2. 算法的目的算法的目的 解决解决NP复杂性问题;复杂性问题; 克服优化过程陷入局部极小;克服优化过程陷入局部极小; 克服初值依赖性。克服初值依赖性。一、物理退火过程一、物理退火过程第三节第三节 模模 拟拟 退退 火火 算算 法法 3.3.物理退火过程物理退火过程 什么是退火什么是退火? ? 退火是指将固体加热到足够高的温度,使分子呈随机排列状态,退火是指将固体加热到足够高的温度,使分子呈随机排列状态,然后逐步降温使之冷却,最后
6、分子以低能状态排列,固体达到某然后逐步降温使之冷却,最后分子以低能状态排列,固体达到某种稳定状态。种稳定状态。 第三节第三节 模模 拟拟 退退 火火 算算 法法 物理退火过程物理退火过程 加温过程加温过程增强粒子的热运动,消除系统原先可能增强粒子的热运动,消除系统原先可能存在的非均匀态;存在的非均匀态; 等温过程等温过程对于与环境换热而温度不变的封闭系统,对于与环境换热而温度不变的封闭系统,系统状态的自发变化总是朝自由能减少的方向进行,当系统状态的自发变化总是朝自由能减少的方向进行,当自由能达到最小时,系统达到平衡态;自由能达到最小时,系统达到平衡态; 冷却过程冷却过程使粒子热运动减弱并渐趋有
7、序,系统能使粒子热运动减弱并渐趋有序,系统能量逐渐下降,从而得到低能的晶体结构。量逐渐下降,从而得到低能的晶体结构。第三节第三节 模模 拟拟 退退 火火 算算 法法 4. 4. 数学表述数学表述 在温度在温度T,分子停留在状态,分子停留在状态r满足满足Boltzmann概率分布概率分布DsBBBTksETZTZkrrEETkrETZrEEP)(exp)()(Boltzmann0)()(exp)(1)(子:为概率分布的标准化因常数。为的能量,表示状态机变量,表示分子能量的一个随第三节第三节 模模 拟拟 退退 火火 算算 法法 在同一个温度在同一个温度T,选定两个能量,选定两个能量E1E2, 在同
8、一个温度,分子停留在能量小的状态的概率比停留在同一个温度,分子停留在能量小的状态的概率比停留在能量大的状态的概率要大。在能量大的状态的概率要大。TkEETkETZEEPEEPBB12121exp1exp)(10第三节第三节 模模 拟拟 退退 火火 算算 法法 若若|D|为状态空间为状态空间D中状态的个数,中状态的个数,D0是具有最低能量的状态集合:是具有最低能量的状态集合: 当温度很高时,每个状态概率基本相同,接近平均值当温度很高时,每个状态概率基本相同,接近平均值1/|D|; 状态空间存在超过两个不同能量时,具有最低能量状态的概率超状态空间存在超过两个不同能量时,具有最低能量状态的概率超出平
9、均值出平均值1/|D| ; 当温度趋于当温度趋于0时,分子停留在最低能量状态的概率趋于时,分子停留在最低能量状态的概率趋于1。能量最低状态能量最低状态 非能量最低状态非能量最低状态第三节第三节 模模 拟拟 退退 火火 算算 法法 Metropolis准则准则(1953)以概率接受新状态以概率接受新状态 固体在恒定温度下达到热平衡的过程可以用固体在恒定温度下达到热平衡的过程可以用Monte Carlo方法方法(计计算机随机模拟方法算机随机模拟方法)加以模拟,虽然该方法简单,但必须大量采加以模拟,虽然该方法简单,但必须大量采样才能得到比较精确的结果,计算量很大。样才能得到比较精确的结果,计算量很大
10、。01-(Ej-Ei)/kTp第三节第三节 模模 拟拟 退退 火火 算算 法法 若在温度若在温度T,当前状态,当前状态i 新状态新状态j 若若Ej=randrom0,1 s=sj; Until 抽样稳定准则满足;抽样稳定准则满足; 退温退温tk+1=update(tk)并令并令k=k+1; Until 算法终止准则满足;算法终止准则满足; 输出算法搜索结果。输出算法搜索结果。第三节第三节 模模 拟拟 退退 火火 算算 法法 7. 影响优化结果的主要因素分析影响优化结果的主要因素分析 给定初温给定初温t=t0,随机产生初始状态,随机产生初始状态s=s0,令,令k=0; Repeat Repeat
11、 产生新状态产生新状态sj=Genete(s); if min1,exp-(C(sj)-C(s)/tk=randrom0,1 s=sj; Until 抽样稳定准则满足;抽样稳定准则满足; 退温退温tk+1=update(tk)并令并令k=k+1; Until 算法终止准则满足;算法终止准则满足; 输出算法搜索结果。输出算法搜索结果。函数函数1函数函数2函数函数3准则准则1准则准则2初始温度初始温度第三节第三节 模模 拟拟 退退 火火 算算 法法 二、二、 模拟退火算法的马氏链描述模拟退火算法的马氏链描述 1.马氏链定义马氏链定义 ) 1()(Pr) 1(,) 1 (,)0()(Pr )( )(
12、,1021inXjnXinXiXiXjnXZnkXkkXss,满足称为马尔可夫链,若随机序列时刻状态变量的取值。为间,为所有状态构成的解空令第三节第三节 模模 拟拟 退退 火火 算算 法法 一步转移概率:一步转移概率: n步转移概率:步转移概率: 若解空间有限,称马尔可夫链为有限状态;若解空间有限,称马尔可夫链为有限状态; 若若 ,称马尔可夫链为时齐的。,称马尔可夫链为时齐的。) 1()(Pr) 1(,inXjnXnpji) 1()(,npnpZnjiji)0()(Pr)(,iXjnXpnji第三节第三节 模模 拟拟 退退 火火 算算 法法 模拟退火算法对应了一个马尔可夫链模拟退火算法对应了一
13、个马尔可夫链 模拟退火算法:模拟退火算法:新状态接受概率仅依赖于新状态和当前新状态接受概率仅依赖于新状态和当前状态,并由温度加以控制。状态,并由温度加以控制。 若固定每一温度,算法均计算马氏链的变化直至平稳分若固定每一温度,算法均计算马氏链的变化直至平稳分布,然后下降温度,则称为布,然后下降温度,则称为时齐算法时齐算法; 若无需各温度下算法均达到平稳分布,但温度需按一定若无需各温度下算法均达到平稳分布,但温度需按一定速率下降,则称为速率下降,则称为非时齐算法非时齐算法。第三节第三节 模模 拟拟 退退 火火 算算 法法 二、模拟退火算法关键参数和操作的设计二、模拟退火算法关键参数和操作的设计1.
14、 状态产生函数状态产生函数p原则原则 产生的候选解应遍布全部解空间产生的候选解应遍布全部解空间p方法方法 在当前状态的邻域结构内以一定概率方式(均匀分布、在当前状态的邻域结构内以一定概率方式(均匀分布、正态分布、指数分布等)产生正态分布、指数分布等)产生第三节第三节 模模 拟拟 退退 火火 算算 法法 2. 状态接受函数状态接受函数原则原则 (1)在固定温度下,接受使目标函数下降的候选解的概率在固定温度下,接受使目标函数下降的候选解的概率要大于使目标函数上升的候选解概率;要大于使目标函数上升的候选解概率; (2)随温度的下降,接受使目标函数上升的解的概率要逐随温度的下降,接受使目标函数上升的解
15、的概率要逐渐减小;渐减小; (3)当温度趋于零时,只能接受目标函数下降的解。当温度趋于零时,只能接受目标函数下降的解。方法方法具体形式对算法影响不大,具体形式对算法影响不大, 一般采用一般采用min1,exp(-C/t)第三节第三节 模模 拟拟 退退 火火 算算 法法 3. 初温初温p收敛性分析收敛性分析 通过理论分析可以得到初温的解析式,但解决实际问题通过理论分析可以得到初温的解析式,但解决实际问题时难以得到精确的参数;时难以得到精确的参数; 初温应充分大;初温应充分大;p实验表明实验表明 初温越大,获得高质量解的机率越大,但花费较多的计初温越大,获得高质量解的机率越大,但花费较多的计算时间
16、;算时间;第三节第三节 模模 拟拟 退退 火火 算算 法法 p方法方法 (1) 均匀抽样一组状态,以各状态目标值得方差为初温;均匀抽样一组状态,以各状态目标值得方差为初温; (2) 随机产生一组状态,确定两两状态间的最大目标值随机产生一组状态,确定两两状态间的最大目标值差,根据差值,利用一定的函数确定初温;差,根据差值,利用一定的函数确定初温; (3) 利用经验公式。利用经验公式。第三节第三节 模模 拟拟 退退 火火 算算 法法 4 温度更新函数温度更新函数p时齐算法的温度下降函数时齐算法的温度下降函数 (1) ,越接近越接近1温度下降越慢,且其大温度下降越慢,且其大小可以不断变化;小可以不断
17、变化; (2) ,其中,其中t0为起始温度,为起始温度,K为算法温度下降的总次数。为算法温度下降的总次数。10 , 0 ,1kttkk0tKkKtk第三节第三节 模模 拟拟 退退 火火 算算 法法 p非时齐模拟退火算法非时齐模拟退火算法 每个温度下只产生一个或少量候选解每个温度下只产生一个或少量候选解p时齐算法时齐算法常用的常用的Metropolis抽样稳定准则抽样稳定准则 (1)检验目标函数的均值是否稳定;)检验目标函数的均值是否稳定; (2)连续若干步的目标值变化较小;)连续若干步的目标值变化较小; (3)按一定的步数抽样。)按一定的步数抽样。5 内循环终止准则内循环终止准则第三节第三节
18、模模 拟拟 退退 火火 算算 法法 p常用方法常用方法 (1)设置终止温度的阈值;)设置终止温度的阈值; (2)设置外循环迭代次数;)设置外循环迭代次数; (3)算法搜索到的最优值连续若干步保持不变;)算法搜索到的最优值连续若干步保持不变; (4)概率分析方法。)概率分析方法。6 外循环终止准则外循环终止准则第三节第三节 模模 拟拟 退退 火火 算算 法法 p模拟退火算法的优点模拟退火算法的优点 质量高;质量高; 初值鲁棒性强;初值鲁棒性强; 简单、通用、易实现。简单、通用、易实现。p模拟退火算法的缺点模拟退火算法的缺点 由于要求较高的初始温度、较慢的降温速率、较低的终止温度,由于要求较高的初
19、始温度、较慢的降温速率、较低的终止温度,以及各温度下足够多次的抽样,因此优化过程较长。以及各温度下足够多次的抽样,因此优化过程较长。三、三、 模拟退火算法的优缺点模拟退火算法的优缺点第三节第三节 模模 拟拟 退退 火火 算算 法法 p换热器模型换热器模型 两级管壳式换热器组成的换热器系统,数学模型高度非线性,其目两级管壳式换热器组成的换热器系统,数学模型高度非线性,其目标函数通常是多峰标函数通常是多峰(谷谷)的,具有很多局部最优解。的,具有很多局部最优解。四、模拟退火算法的应用四、模拟退火算法的应用第三节第三节 模模 拟拟 退退 火火 算算 法法 p优化目标优化目标 以换热器系统的总费用年值最
20、小作为优化设计的目标。以换热器系统的总费用年值最小作为优化设计的目标。 其中,其中,f1 (X)是两级换热器的初始投资,是两级换热器的初始投资, f2 (X)是两级换热器年维护是两级换热器年维护费费(包括除垢、保养、维修等包括除垢、保养、维修等), f3 (X)是冷却水资源费以及管程压是冷却水资源费以及管程压降能耗费,降能耗费, f4 (X)是壳程压降能耗费。是壳程压降能耗费。)()()(1)1 ()1 ()()(min4321XfXfXfiiiXfXfnn第三节第三节 模模 拟拟 退退 火火 算算 法法 p优化目标优化目标 经过分析,优化问题的独立变量共经过分析,优化问题的独立变量共12个,
21、分别是一级换热器工质出个,分别是一级换热器工质出口温度口温度t2、冷却水流量、冷却水流量G1、两个换热器的管内径、两个换热器的管内径d1,d2和管间距和管间距S1,S2、折流板间距、折流板间距B1,B2、折流板开口角、折流板开口角1,2、单管长度、单管长度L1,L2。),()(min212121212112LLBBSSddGtfXf第三节第三节 模模 拟拟 退退 火火 算算 法法 p应用模拟退火算法解决优化设计应用模拟退火算法解决优化设计 状态表示状态表示12个变量的实数表示;个变量的实数表示; 初始温度初始温度100; 结束温度结束温度0.001; 状态产生函数状态产生函数 ,为扰动幅度参数
22、,为扰动幅度参数,为随为随机扰动变量,随机扰动可服从柯西、高斯、均匀分布。机扰动变量,随机扰动可服从柯西、高斯、均匀分布。 降温因子降温因子0.98; 马氏链长度马氏链长度1200。)() 1(kxkx第三节第三节 模模 拟拟 退退 火火 算算 法法 p优化结果优化结果 优化目标值优化目标值 0.25565E06 独立变量取值独立变量取值t2G1Kg/sd1mmS1mmB1m1弧度64.419415.9716615.5716334.097160.924361.93421L1md2mmS2mmB2m2弧度L2m5.9423416.7793527.740120.729532.199285.7831
23、4第三节第三节 模模 拟拟 退退 火火 算算 法法 一、遗传算法简介一、遗传算法简介第四节第四节 遗遗 传传 算算 法法 早在早在50年代年代,一些生物学家开始研究运用数字计算机模拟生物的一些生物学家开始研究运用数字计算机模拟生物的自然遗传与自然进化过程自然遗传与自然进化过程;1963年,德国柏林技术大学的年,德国柏林技术大学的I. Rechenberg和和H. P. Schwefel,做,做风洞实验时,产生了进化策略的初步思想;风洞实验时,产生了进化策略的初步思想;60年代,年代, L. J. Fogel在设计有限态自动机时提出进化规划的思想。在设计有限态自动机时提出进化规划的思想。1966
24、年年Fogel等出版了等出版了基于模拟进化的人工智能基于模拟进化的人工智能,系统阐述,系统阐述了进化规划的思想。了进化规划的思想。 60年代中期,年代中期,美国美国Michigan大学的大学的J. H. Holland教授教授提出提出借鉴生借鉴生物自然遗传的基本原理物自然遗传的基本原理用于自然和人工系统的自适应行为研究和用于自然和人工系统的自适应行为研究和串编码技术;串编码技术;1967年,他的学生年,他的学生J. D. Bagley在博士论文中首次提出在博士论文中首次提出“遗传算法遗传算法(Genetic Algorithms)”一词一词;1975年,年,Holland出版了著名的出版了著名
25、的“Adaptation in Natural and Artificial Systems”,标志遗传算法的诞生。,标志遗传算法的诞生。第四节第四节 遗遗 传传 算算 法法 70年代初,年代初,Holland提出了提出了“模式定理模式定理”(Schema Theorem),一),一般认为是般认为是“遗传算法的基本定理遗传算法的基本定理”,从而奠定了遗传算法研究的理,从而奠定了遗传算法研究的理论基础;论基础;1985年,在美国召开了第一届遗传算法国际会议,并且成立了国际年,在美国召开了第一届遗传算法国际会议,并且成立了国际遗传算法学会遗传算法学会(ISGA,International Soci
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 工学 第六 现代 优化 方法
限制150内