第八章非线性最优化模型精选文档.ppt
《第八章非线性最优化模型精选文档.ppt》由会员分享,可在线阅读,更多相关《第八章非线性最优化模型精选文档.ppt(85页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第八章非线性最优化模型本讲稿第一页,共八十五页非线性最优化问题非线性最优化问题是在目标函数或约束条件中至少有一项是非线性的最优化问题。我们考虑一个目标函数是决策变量的非线性函数的生产问题,以此来开始这一章非线性应用的研究。在第8.2节中,我们建立了一个关于设计有价证券的投资组合来跟踪股票市场指数的非线性应用。在第8.3节中,我们引入了曾获得诺贝尔奖的Markowitz模型,其用于管理风险和回报间的平衡,并由此扩展了投资组合模型的处理。第8.4节提供了在第4章中介绍的线性规划混合模型的一个非线性应用。在第8.5节,我们介绍了一个用于预测新产品销售或采纳的著名且成功的模型。作为对非线性最优化应用在
2、实践中更进一步的说明,实践中的管理科学为Bombardier Flexjet安排航程和全体人员,讨论了Flexjet如何应用非线性最优化来分配飞机和人员。在本章中介绍的计算机解是利用LINGO得到的。然而,Excel规划求解也能用来求解这些问题。本章后的附录描述了如何用LINGO和Excel规划求解来求解非线性规划。本讲稿第二页,共八十五页专栏专栏8-1 实践中的管理科学实践中的管理科学为为Bombardier Flexjet 安排航程和全体人安排航程和全体人员员Bombardier Flexjet 是一家发展迅速的支线飞机行业的领导性公司。Flexjet以每年飞行50小时的限制销售商务喷气飞
3、机的使用权。拥有部分所有权的公司被保证能在24小时以内低至4小时的提前使用飞机。这类使用飞机的公司每月需支付管理费和使用费。为所收取的管理费,Flexjet会为购买使用权的公司提供飞机棚设备、维修以及空勤人员。本讲稿第三页,共八十五页由于支线飞机行业上的灵活性,安排空勤人员和航程的问题甚至比商务航空行业还复杂。最初,Flexjet试图用人工来安排飞行。然而,这项任务很快被证明是不可行的。事实上,不适当的手工安排致使Flexjet供养着多余的商务喷气飞机和空勤人员。多余的商务喷气飞机和空勤人员的成本估计为每飞行时数几百美元。一个利用最优化原理的排程系统变得非常必要了。本讲稿第四页,共八十五页为F
4、lexjet开发的排程系统包括一个大型的非线性最优化模型,该模型整合了Flexjet职工使用的图形用户界面(GUI)。模型包含了基于联邦飞行管理局(FAA)规章、公司制度以及飞机性能特征的“硬性”约束条件,也包含了关于成本权衡的“软性”约束条件。这个模型用来为航程分派飞机和空勤人员。本讲稿第五页,共八十五页最后的模型很大,不能用商用最优化软件模型来直接求解。拥有太多直接求解的变量的模型。常常使用分解法来求解。分解法采用只包含全部变量的一小部分的主要问题来求解。通过子问题确定的解是部分最优解优质的候选者。在Flexjet模型中,子问题是非线性整数规划。非线性的中心是一个二维变量和一个连续变量的乘
5、积,如果一段航程被使用,这个二维变量即为1,这个连续变量用于给飞行时间加上时间窗。子问题使用称为动态规划的技术来优化。本讲稿第六页,共八十五页最优化模型获得了很大成功。模型最初为Flexjet节约了5400万美元,而计划的年节约为2700万美元。节约成本的大部分来自于减少20%的人员和40%的飞机库存。飞机使用率也增加了10%。资料来源:基于Richard Hicks et al.,”Bombardier Flexjet Significantly Improves Its Fractional Aircraft Ownership Operations Interfaces 35,no.(J
6、anuary/February 2005):49-60本讲稿第七页,共八十五页8.1 一个生产应用对Par公司的再思考 通过考虑第2章介绍的Par公司线性规划的扩展,我们来介绍受约束和无约束的非线性最优化问题。我们首先考虑价格和销售数量间关系造成目标函数非线性的情形。接着求解得到无约束非线性规划,并且我们观察到无约束最优解不能满足生产约束条件。把生产约束条件添加到问题中去,我们给出了一个受约束非线性规划的形式和解。在这一部分的最后,我们还讨论了局部和整体的最优化。本讲稿第八页,共八十五页8.1.1 一个无约束问题一个无约束问题让我们考虑修改后的第2章中的Par公司问题。记得Par公司决定制造标
7、准的和豪华的高尔夫包。在为Par公司问题构建线性规划模型时,我们假定它可以销售它所生产的所有标准包和豪华包。但是,依赖于高尔夫包的价格,这个假设可能不成立。价格和需求间常常存在一个相反的关系。随着价格升高,需求数量却下降。令Ps记作Par公司每种标准包的价格,PD记作每种豪华包的价格。假定标准包S的需求和豪华包D的需求由如下式给出:S=2250-15Ps (8-1)D=1500-5PD (8-2)标准包产生的收益是每个标准包价格Ps乘以售出的标准包数目S。如果生产一个标准包的成本是70美元,生产S个标准包的成本是70S。因此生产和销售S个标准包的利润(收益-成本)是 PsS-70S (8-3
8、本讲稿第九页,共八十五页我们求解(8-1)式中的Ps,可以得到标准包的价格是如何用售出的标准包数目来表示的。它是Ps=150-S/15。用150-S/15代替(8-3)式中的Ps,标准包的利润是 PsS-70S=(150-S/15)S-70S=80S-S/15 (8-4)假定生产每种豪华高尔夫包的成本是150美元。用得到式(8-4)相同的逻辑,豪华包的利润是PDD-150D=(300-D/5)D-150D=150D-D/5总利润是标准包利润和豪华包利润之和。因此,总利润可写为 总利润=80S-S/15+150D-D/5本讲稿第十页,共八十五页注意两个线性需求函数,式(8-1)和式(8-2),给
9、出了一个非线性总利润函数式(8-5)。这个函数是二次函数的一个例子,因为非线性项有一个2次幂。用LINGO(见附录8A),我们发现最大化利润函数的S和D的值是S=600和D=375。对应价格是标准包110美元和豪华包225美元。以及利润是52125美元。如果所有的生产约束条件也都被满足了,这些值就是Par公司的最优解。本讲稿第十一页,共八十五页8.1.2 一个受约束问题一个受约束问题 Par公司不能得到无约束问题最优解得出的利润,因为其违反和限制了可行域的约束条件。例如,切割和印染的约束是 7/10S+D630 600个标准包和375个豪华包的生产数量要求7/10*600+1*375=795小
10、时,这超出了630小时的限制165个小时。Par公司原来问题的可行域以及无约束最优解点(600,375)如图81所示。这个无约束最优解(600,375)明显超出了可行域。本讲稿第十二页,共八十五页本讲稿第十三页,共八十五页图81 Par公司的可行域和无约束最优化问题的最优解很明显,Par公司必须解决的最大问题是最大化总利润 80S-1/15S2+150D-1/5D2但是要基于第二章所给出的所有部门劳力小时约束条件的限制。Par公司受约束的非线性最大化问题的完整数学模型如下:Max 80S-1/15S2+150D-1/5D2 s.t.7/10S+D630 切割和印染 1/2S+5/6D600 缝
11、合 S+2/3D708 成型 1/10S+1/4D135 检测与包装 S,D0 本讲稿第十四页,共八十五页 除了非线性目标函数,这个最大化问题与第二章中的Par公司问题完全一样。这个受约束非线性最大化问题的LINGO解如图82所示。本讲稿第十五页,共八十五页图82 非线性Par公司问题的LINGO解 第一行显示找到了一个局部最优解。这个局部最优也是一个整体最优(见下以节)。目标函数的最优值是49 920.55美元。变量部分显示最优解是生产495.716 6个标准包和308.198 4个豪华包。在行部分,读一行对应目标函数,第二行到第五行对应四个生产约束条件。在松弛或剩余列,第二行的0值意味着最
12、优解使用了切割印染部门的全部劳动力时间;但在第三行代第五行的非零值表明了其他部门可用的松弛时间。495.716 6个标准包和308.198 4个豪华包的最优解的图形见图83所示。本讲稿第十六页,共八十五页本讲稿第十七页,共八十五页图83 带有目标函数等位线的Par公司可行域注意最优解不再在可行域的顶端点上了,而在切割印染约束条件线上,7/10S+D=630 但是也不是在切割印染约束条件和成型约束条件的交叉部分形成的端点上,或在有切割印染约束条件和检测包装约束条件的交叉部分形成的端点上。为了理解其中的原因,我们看图83。本讲稿第十八页,共八十五页 在图83中我们看到三个利润等位线。在同一等位向上
13、的每个点都有相同的利润。这些等位线分别代表了45 000美元、49 920.55美元和51 500美元的利润。在原来的第二章描述的Par公司问题中,目标函数是线性的,因此利润等位线是直线。但是,对于有二次目标函数的Par公司问题,其利润等位线是椭圆形的。本讲稿第十九页,共八十五页 因为45 000美元的利润等位线的一部分切入了可行域,我们知道有无限个标准包豪华包组合能产生45 000美元的利润。无限数目的标准包豪华包组合也提供了51 500美元的利润.但是,51 500美元利润等位线上没有点在可行域内。随着等位线从无约束最优解(600,375)向外移,与每个等位线相关联的利润也少了。代表49
14、920.55美元利润的等位线和可行域在一点上相交。这个解提供了最大的可能利润。没有利润大于49 920.55美元的等位线再与可行域相交了。因为等位线是非线性的,有最高利润的等位线可以在任意点上接触可行域边界,而不是只在顶端上。在Par公司例子中,最优解是在切割印染约束条件线上的两个端点之间。非线性最优化问题的最优解也可能位于可行域内部。例如,如果在Par公司问题中约束条件的右侧值全部增加一个足够的量,使可行域扩大,这样图83中最优无约束解点(600,375)将会在可行域的内部。许多线性规划算法(如单纯型法)指通过检查端点,并选择能给出最优解的端点来优化。而Par公司有约束非线性问题的解说明,这
15、种方法在非线性情形下将不再适用,因为最优解一般不是端点解。因此,非线性规划算法比线性规划算法更加复杂,其细节超出了本书的范围。计算机软件如LINGO和Excel规划求解,可以用来求解非线性规划问题,我们在本章附录中将描述如何如使用这些软件包。本讲稿第二十页,共八十五页局部和整体最优 图82中Par公司非线性问题的LINGO解的第一行显示,“找到的局部最优解”。如果没有其他更好目标函数值的可行解可以在邻域里找到,这个可行解就是局部最优的。例如,在受约束Par问题中,局部最优对应局部最大值;如果没有其他有更大目标函数值的可行解在临近域找到,这个点就是局部最大值。相似地,对一个最小化问题,如果没有其
16、他有更小目标函数值的可行解在临近域找到,这个点就是局部最小值。本讲稿第二十一页,共八十五页 非线性最优化问题能有多个局部最优解,这意味着我们需要找到最好的局部最优解。如果没有其他有更好目标函数值的可行点在可行域找到,这个可行域就是整体最优的。在一个最大化问题的例子中,整体最优对应整体最大化。如果在可行域内没有其他点能有严格更大的目标函数值,这个点就是整体最大值。对一个最小化问题,如果在可行域内没有其他可行点能有严格更小的目标函数值,这个点就是整体最小值。很明显,整体最大值也是一个局部最大值,整体最小值也是一个局部最小值。本讲稿第二十二页,共八十五页 有多个局部最优解的非线性问题是很难求解的。但
17、在许多非线性应用中,一个唯一的局部最优解也是也是整体最优解。对这类问题,我们只需要找到一个局部最优解。现在我们将展示这种非线性问题的一些更普遍的类型。考虑函数f(X,Y)=-X2-Y2。这个函数的形状如图8-4所示。一个朝下碗形的函数称作凹函数。这个特殊函数的最大值是0,点(0,0)提供最优值0。点(0,0)是一个局部最大值;但它也是一个整体最大值,因为没有点能有更大的函数值了。换句话说,在没有一个X和Y的值能使目标函数值大于0。凹函数,像f(X,Y)=-X2-Y2 这种的,有一个唯一的局部最大值,这也是一个整体最大值,这也是一个整体最大值。这种非线性问题是相对容易最大化的。本讲稿第二十三页,
18、共八十五页本讲稿第二十四页,共八十五页图8-4 凹函数f(X,Y)=-X2-Y2 Par公司非线性问题的目标函数是凹函数的另一个例子。一般来说,如果在二次方程中的所有二次项都有一个负系数,并且没有交叉乘积项,如xy,那么函数是一个凹二次函数。因此,对于Par公司问题,我们肯定能在图8-2中由LINGO确定的局部最大值就是整体最大值。现在让我们考虑另一类有唯一局部最优值,同时也是整体最优质的函数。考虑函数f(X,Y)=X2+Y2。这个函数的形状如图8-5所示。它是朝上碗形的,称作凸函数。这个特殊函数的最小值是0,点(0,0)提供最小值0。点(0,0)是一个局部最小值和整体最小值,因为再没有一个X
19、和Y的值能使目标函数的值小于0。凸函数,像f(X,Y)=X2+Y2这种的,有唯一的局部最小值,是相对容易最小化的。本讲稿第二十五页,共八十五页本讲稿第二十六页,共八十五页图8-5 凸函数f(X,Y)=X2+Y2 对于一个凹函数,如果我们的计算机软件找到一个局部最大值,我们能肯定它就是整体最大值。相似地,对一个凸函数,如果我们的计算机软件找到一个局部最小值,我们能肯定它就是整体最小值。凹函数和凸函数很好处理,但是,一些非线性函数有多个局部最优值。例如,图8-6显示的下面函数的图像:f(X,Y)=3(1-X)2e-X2-(Y+1)2-10(X/5-X3-Y5)e-X2-Y2-e-X2-(Y+1)2
20、/3 图中的山和谷说明这个函数有多个局部最大值和局部最小值。这些概念将进一步在图8-7中说明,它与图8-6中的函数是相同的,只是从一个不同的角度来看。它表明有两个局部最小值和三个局部最大值。局部最小值之一也是整体最小值,局部最大值之一也是整体最大值。本讲稿第二十七页,共八十五页 从技术立场看,有多个局部最优值的函数给最优化软件提出了一个严峻的挑战;大多数非线性最优化软件方法会碰到“卡壳”,并在一个局部最优解上终止。不幸的是,许多应用可能是非线性的,并且找到一个不是整体最优值的局部最优值会有严重的损失。建立能找到整体最优值的算法正是当前活跃的一个研究领域。然而在线性约束的条件集上最小化凸二次函数
21、的问题是相对容易的,而且对这类问题也没有风险会在不是整体最小值的局部最小值处碰到卡壳。相似地,在线性约束的条件集上最大化凹二次函数的问题也是相对容易求解的,不会在一个不是整体最大值的局部最大值上碰到卡壳。本讲稿第二十八页,共八十五页本讲稿第二十九页,共八十五页图8-7有局部最大值和最小值的函数的另一观察点本讲稿第三十页,共八十五页8.1.4 对偶价格 我们以对对偶价格的简要讨论来结束这一节。在第三章中已介绍了对偶价格的概念。记得对偶价格是约束条件右侧值每增加一单位最优解值的改进。大部分非线性最优化软件(如LINGO)提供了对偶价格信息。非线性模型中对偶价格的解释与线性规划是完全相同的。然而,非
22、线性问题中却不经常报告可允许的增量和减量。这是因为典型的非线性问题中可允许的增量和减量为0。也就是说,如果你改变右侧值,即使是一个很小的量,对偶价格都会改变。本讲稿第三十一页,共八十五页8.2 建立一个指数化证券投资基金建立一个指数化证券投资基金 在5.4节中,我们研究了Hauck金融服务公司的投资组合和资产分配模型。建立了多个线性规划来模拟不同客户对风险的态度。在这一节中我们研究一个重要的相关应用。指数化证券投资基金是公有基金行业中一个相当流行的投资手段。确实,Vanguard 500指数化基金是美国一个最大的公有基金,在2005年,其净资产超过700亿美元。指数化基金是被动的资产管理的一个
23、例子。指数化基金的核心思想是构建一个股票、共有基金或其他有价证券的投资组合,尽可能接近像标准普尔500这样的泛市场指数的绩效。本讲稿第三十二页,共八十五页 表8-1显示了Vanguard4个指数化基金的一年期回报,以及对应市场指数的回报。表中说明了多个有趣的问题。首先,Vanguard对大量类型的投资都有指数化基金。例如,头两个指数化基金是股票基金:标准普尔500指数化基金和MSCI广泛市场基金。MSCI REIT基金是一个在房地产市场上的投资,短基债券(Lehmanl-5)基金是一个在公司债券市场上的投资。其次,注意到即使回报显示基金间有相当大的变化,指数化基金在匹配对应市场指数的回报上依然
24、表现良好。表1-8 4个Vanguard指数化基金的一年期回报Vanguard基金Vanguard基金回报市场指数市场指数回报500指数化基金4.77%标准普尔5004.91%总股票指数5.98%MSCI广泛市场6.08%REIT指数1190%MSCI REIT12.13%短期债券1.13%Lehmanl-5指数1.44%本讲稿第三十三页,共八十五页 为什么指数化基金这么流行呢?指数化基金流行的背后是对金融领域的大量研究,基本上来说,“你不能打败市场”。事实上,大部分共有基金管理者的效绩都不如领导性的市场指数,如标准普尔500。因此,许多投资者都满足于这类投资,其能提供更接近于市场回报的回报。
25、现在,让我们重新看一下Hauck金融服务公司的例子。假定Hauck有大量客户想要拥有共有基金投资组合,这些投资组合作为一个整体,在绩效上能很接近于标准普尔500股票指数。为了能最大化模拟整个标准普尔500指数的绩效,投资组合的每个共有基金应该被投资的比例是多少?表8-2在表5-4(见第五章)的基础上添加了一行,给出了对每个计划方案的标准普尔500的回报。还记得列显示了每个共有基金在这年赚得的实际的回报比例。这5列重新说明了来年最有可能发生的情形。本讲稿第三十四页,共八十五页表8-2 用于未来12个月计划而选择的5个方案的共有基金绩效计划方案共有基金第一年第二年第三年第四年第五年外国股票10.0
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第八 非线性 优化 模型 精选 文档
限制150内