1 / 28
文档名称:

lingo软件使用教程.pdf

格式:pdf   大小:2,687KB   页数:28页
下载后只包含 1 个 PDF 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

lingo软件使用教程.pdf

上传人:1781111**** 2024/5/11 文件大小:2.62 MB

下载得到文件列表

lingo软件使用教程.pdf

相关文档

文档介绍

文档介绍:该【lingo软件使用教程 】是由【1781111****】上传分享,文档一共【28】页,该文档可以免费在线阅读,需要了解更多关于【lingo软件使用教程 】的内容,可以使用淘豆网的站内搜索功能,选择自己适合的文档,以下文字是截取该文章内的部分文字,如需要获得完整电子版,请下载此文档到您的设备,方便您编辑和打印。:..lingo软件使用教程一般来说,一个优化模型将由以下三部分组成:(ObjectiveFunction):要达到的目标。(Decisionvariables):每组决策变量的值代表一种方案。在优化模型中需要确定决策变量的最优值,优化的目标就是找到决策变量的最优值使得目标函数取得最优。(Constraints):对于决策变量的一些约束,它限定决策变量可以取的值。在写数学模型时,一般第一行是目标函数,接下来是约束条件,再接着是一些非负限制等。在模型窗口输入如下代码:Max=2*x1+3*x2;X1+2*x2<=8;4*x1<16;4*x2<12;注意:;,lingo中<=代替;为了方便可以用<代替小于等于,用>代替大于等于。,增加程序的可读性。注释以一个!(叹号必须在英文状态下输入,它会自动变为绿色)开始,以;(分号)结束。。变量名必须以字母(A-Z)开头,后面的字符可以是字母、数字、下划线。变量名不能超过32个字符。Lingo程序的一些规则:“MAX=”或者“MIN=”开始表示求目标函数的最大或者最小值。“*”连接,中间可以有空格。,但必须以字母开始,不超过32个字符。“;”表示结束。表达式可以写在多行上,但是表达式中间不能用分号。“小于等于”符号,在Lingo采用“<=”来表示“小于等于”,用“>=”表示“大于等于”。小于等于也可以用更简单的“<”表示,大于等于用“>”表示。集合段:在我们已经得到的程序里有一些量没有定义,如WAREHOUSES(I),DEMAND(J),LINKS(I,J)。这些量将在Lingo中的集合段定义。集合段以SETS:表示开始,以ENDSETS表示结束。如果一个集合的元素都已经定义过,就可以用一些循环函数(如***@for).注:。Lingo中没有数组的概念,只有定义在集合上的属性的概念。2集合的定义语法:set_name[/set_member/:][attribute_list];集合的名称在左边,右边是这个集合上的属性,他们之间用冒号“:”分割开,最后由分号表示结束。如果在同一个集合上有多个属性时,不同的属性之间用逗号“,”隔开,如本例的cost和volume属性。如果要特别列出集合的元素时,在集合的名称后把元素写在两条斜线之间,如本例中的仓库可以写为WAREHOUSES/WH1,WH2,WH3,WH4,WH5,WH6/:CAPACITY;:..也可以写为WAREHOUSES/WH1..WH6/:CAPACITY;Lingo会自动生成需要的集合元素。数据段:数据段以DATA:开始,以ENDDATA表示数据段结束。注意:在给类似link这样的集合赋值时,外边的指标先增加。注::表示模型开始,以end表示模型结束。,以分号表示注释结束。注释可以写在多行,一般显示为绿色。,可以在菜单中选择solution,在属性或行名称下拉框中选择volume,在勾选Nonzeros复选框。。产销单位运价如下表。model:!6发点8收点运输问题;sets:warehouses/wh1..wh6/:capacity;vendors/v1..v8/:demand;links(warehouses,vendors):cost,volume;endsets!目标函数;min=***@sum(links:cost*volume);!需求约束;***@for(vendors(J):***@sum(warehouses(I):volume(I,J))=demand(J));!产量约束;***@for(warehouses(I):***@sum(vendors(J):volume(I,J))<=capacity(I));!这里是数据;data:capacity=605551434152;:..demand=3537223241324338;cost=626742954953858252197433767392712395726555228143;enddataendLINGO中的集对实际问题建模的时候,总会遇到一群或多群相联系的对象,比如工厂、消费者群体、交通工具和雇工等等。LINGO允许把这些相联系的对象聚合成集(sets)。一旦把对象聚合成集,就可以利用集来最大限度的发挥LINGO建模语言的优势。现在我们将深入介绍如何创建集,并用数据初始化集的属性。学完本节后,你对基于建模技术的集如何引入模型会有一个基本的理解。,是程序设计最强有力的基本构件。借助于集,能够用一个单一的、长的、简明的复合公式表示一系列相似的约束,从而可以快速方便地表达规模较大的模型。,这些对象也称为集的成员。一个集可能是一系列产品、卡车或雇员。每个集成员可能有一个或多个与之有关联的特征,我们把这些特征称为属性。属性值可以预先给定,也可以是未知的,有待于LINGO求解。例如,产品集中的每个产品可以有一个价格属性;卡车集中的每辆卡车可以有一个牵引力属性;雇员集中的每位雇员可以有一个薪水属性,也可以有一个生日属性等等。LINGO有两种类型的集:原始集(primitiveset)和派生集(derivedset)。一个原始集是由一些最基本的对象组成的。一个派生集是用一个或多个其它集来定义的,:..也就是说,它的成员来自于其它已存在的集。。在LINGO模型中使用集之前,必须在集部分事先定义。集部分以关键字“sets:”开始,以“endsets”结束。一个模型可以没有集部分,或有一个简单的集部分,或有多个集部分。一个集部分可以放置于模型的任何地方,但是一个集及其属性在模型约束中被引用之前必须定义了它们。,必须详细声明:·集的名字·可选,集的成员·可选,集成员的属性定义一个原始集,用下面的语法:setname[/member_list/][:attribute_list];注意:用“[]”表示该部分内容可选。下同,不再赘述。Setname是你选择的来标记集的名字,最好具有较强的可读性。集名字必须严格符合标准命名规则:以拉丁字母或下划线(_)为首字符,其后由拉丁字母(A—Z)、下划线、阿拉伯数字(0,1,?,9)组成的总长度不超过32个字符的字符串,且不区分大小写。注意:该命名规则同样适用于集成员名和属性名等的命名。Member_list是集成员列表。如果集成员放在集定义中,那么对它们可采取显式罗列和隐式罗列两种方式。如果集成员不放在集定义中,那么可以在随后的数据部分定义它们。①当显式罗列成员时,必须为每个成员输入一个不同的名字,中间用空格或逗号搁开,允许混合使用。,它具有成员John、Jill、Rose和Mike,属性有sex和age:sets:students/John,Jill,Rose,Mike/:sex,age;endsets:..②当隐式罗列成员时,不必罗列出每个集成员。可采用如下语法:setname/member1..memberN/[:attribute_list];这里的member1是集的第一个成员名,memberN是集的最末一个成员名。LINGO将自动产生中间的所有成员名。LINGO也接受一些特定的首成员名和末成员名,用于创建一些特殊的集。列表如下:②集成员不放在集定义中,而在随后的数据部分来定义。!集部分;sets:students:sex,age;endsets!数据部分;data:students,sex,age=John116Jill014Rose017Mike113;enddata注意:开头用感叹号(!),末尾用分号(;)表示注释,可跨多行。在集部分只定义了一个集students,并未指定成员。在数据部分罗列了集成员John、Jill、Rose和Mike,并对属性sex和age分别给出了值。集成员无论用何种字符标记,它的索引都是从1开始连续计数。在attribute_list可以指定一个或多个集成员的属性,属性之间必须用逗号隔开。可以把集、集成员和集属性同C语言中的结构体作个类比。如下图:集←→结构体集成员←→结构体的域集属性←→结构体实例LINGO内置的建模语言是一种描述性语言,用它可以描述现实世界中的一些问题,然后再借助于LINGO求解器求解。因此,集属性的值一旦在模型中被:..确定,就不可能再更改。在LINGO中,只有在初始部分中给出的集属性值在以后的求解中可更改。这与前面并不矛盾,初始部分是LINGO求解器的需要,并不是描述问题所必须的。:product/AB/;machine/MN/;week/1..2/;allowed(product,machine,week):x;endsetsLINGO生成了三个父集的所有组合共八组作为allowed集的成员。列表如下:编号成员1(A,M,1)2(A,M,2)3(A,N,1)4(A,N,2)5(B,M,1)6(B,M,2)7(B,N,1)8(B,N,2)成员列表被忽略时,派生集成员由父集成员所有的组合构成,这样的派生集成为稠密集。如果限制派生集的成员,使它成为父集成员所有组合构成的集合的一个子集,这样的派生集成为稀疏集。同原始集一样,派生集成员的声明也可以放在数据部分。一个派生集的成员列表有两种方式生成:①显式罗列;②设置成员资格过滤器。当采用方式①时,必须显式罗列出所有要包含在派生集中的成员,并且罗列的每个成员必须属于稠密集。使用前面的例子,显式罗列派生集的成员:allowed(product,machine,week)/AM1,AN2,BN1/;:..如果需要生成一个大的、稀疏的集,那么显式罗列就很讨厌。幸运地是许多稀疏集的成员都满足一些条件以和非成员相区分。我们可以把这些逻辑条件看作过滤器,在LINGO生成派生集的成员时把使逻辑条件为假的成员从稠密集中过滤掉。、:!学生集:性别属性sex,1表示男性,0表示女性;,Jill,Rose,Mike/:sex,age;!男学生和女学生的联系集:友好程度属性friend,[0,1]之间的数。linkmf(students,students)|sex(&1)#eq#1#and#sex(&2)#eq#0:friend;!;linkmf2(linkmf)|friend(&1,&2)#ge#:x;endsetsdata:sex,age=1**********;friend=;enddata用竖线(|)来标记一个成员资格过滤器的开始。#eq#是逻辑运算符,用来判断是否“相等”,可参考§4.&1可看作派生集的第1个原始父集的索引,它取遍该原始父集的所有成员;&2可看作派生集的第2个原始父集的索引,它取遍该原始父集的所有成员;&3,&4,??,以此类推。注意如果派生集B的父集是另外的派生集A,那么上面所说的原始父集是集A向前回溯到最终的原始集,其顺序保持不变,并且派生集A的过滤器对派生集B仍然有效。因此,派生集的索引个数是最终原始父集的个数,索引的取值是从原始父集到当前派生集所作限制的总和。总的来说,LINGO可识别的集只有两种类型:原始集和派生集。:..在一个模型中,原始集是基本的对象,不能再被拆分成更小的组分。原始集可以由显式罗列和隐式罗列两种方式来定义。当用显式罗列方式时,需在集成员列表中逐个输入每个成员。当用隐式罗列方式时,只需在集成员列表中输入首成员和末成员,而中间的成员由LINGO产生。另一方面,派生集是由其它的集来创建。这些集被称为该派生集的父集(原始集或其它的派生集)。一个派生集既可以是稀疏的,也可以是稠密的。稠密集包含了父集成员的所有组合(有时也称为父集的笛卡尔乘积)。稀疏集仅包含了父集的笛卡尔乘积的一个子集,可通过显式罗列和成员资格过滤器这两种方式来定义。显式罗列方法就是逐个罗列稀疏集的成员。成员资格过滤器方法通过使用稀疏集成员必须满足的逻辑条件从稠密集成员中过滤出稀疏集的成员。不同集类型的关系见下图。§3模型的数据部分和初始部分在处理模型的数据时,需要为集指派一些成员并且在LINGO求解模型之前为集的某些属性指定值。为此,LINGO为用户提供了两个可选部分:输入集成员和数据的数据部分(DataSection)和为决策变量设置初始值的初始部分(InitSection)。。显然,这对模型的维护和维数的缩放非常便利。:..数据部分以关键字“data:”开始,以关键字“enddata”结束。在这里,可以指定集成员、集的属性。其语法如下:object_list=value_list;对象列(object_list)包含要指定值的属性名、要设置集成员的集名,用逗号或空格隔开。一个对象列中至多有一个集名,而属性名可以有任意多。如果对象列中有多个属性名,那么它们的类型必须一致。如果对象列中有一个集名,那么对象列中所有的属性的类型就是这个集。数值列(value_list)包含要分配给对象列中的对象的值,用逗号或空格隔开。注意属性值的个数必须等于集成员的个数。看下面的例子。:set1/A,B,C/:X,Y;endsetsdata:X=1,2,3;Y=4,5,6;enddata在集set1中定义了两个属性X和Y。X的三个值是1、2和3,Y的三个值是4、5和6。也可采用如下例子中的复合数据声明(datastatement)实现同样的功能。:set1/A,B,C/:X,Y;endsetsdata:X,Y=142536;enddata:..X被指定了1、4和2三个值,因为它们是数值列中前三个,而正确的答案是1、2和3。假设对象列有n个对象,LINGO在为对象指定值时,首先在n个对象的第1个索引处依次分配数值列中的前n个对象,然后在n个对象的第2个索引处依次分配数值列中紧接着的n个对象,??,以此类推。模型的所有数据——属性值和集成员——被单独放在数据部分,这可能是最规范的数据输入方式。(scalarvariables)。当一个标量变量在数据部分确定时,称之为参数。看一例,%作为一个参数,就可以象下面一样输入一个利率作为参数。:interest_rate=.085;enddata也可以同时指定多个参数。:interest_rate,inflation_rate=.;,对于模型中的某些数据并不是定值。譬如模型中有一个通货膨胀率的参数,我们想在2%至6%范围内,对不同的值求解模型,来观察模型的结果对通货膨胀的依赖有多么敏感。我们把这种情况称为实时数据处理(whatifanalysis)。LINGO有一个特征可方便地做到这件事。在本该放数的地方输入一个问号(?)。:interest_rate,inflation_rate=.085?;enddata:..LINGO都会提示为参数inflation_rate输入一个值。在WINDOWS操作系统下,将会接收到一个类似下面的对话框:直接输入一个值再点击OK按钮,LINGO就会把输入的值指定给inflation_rate,然后继续求解模型。除了参数之外,也可以实时输入集的属性值,但不允许实时输入集成员名。。看下面的例子。:days/MO,TU,WE,TH,FR,SA,SU/:needs;endsetsdata:needs=20;enddataLINGO将用20指定days集的所有成员的needs属性。对于多个属性的情形,见下例。:days/MO,TU,WE,TH,FR,SA,SU/:needs,cost;endsetsdata:needscost=20100;。在初始部分中,可以输入初始声明(initializationstatement),和数据部分中的数据声明相同。对实际问题的建模时,初始部分并不起到描述模型的作用,在初始部分输入的值仅被LINGO求解器当作初始点来用,并且仅仅对非线性模型有用。和数据部分指定变量的值不同,LINGO求解器可以自:..一个初始部分以“init:”开始,以“endinit”结束。初始部分的初始声明规则和数据部分的数据声明规则相同。也就是说,我们可以在声明的左边同时初始化多个集属性,可以把集属性初始化为一个值,可以用问号实现实时数据处理,还可以用逗号指定未知数值。:X,Y=0,.1;endinitY=***@log(X);X^2+Y^2<=1;好的初始点会减少模型的求解时间。在这一节中,我们仅带大家接触了一些基本的数据输入和初始化概念,不过现在你应该可以轻松的为自己的模型加入原始数据和初始部分啦。函数有了前几节的基础知识,再加上本节的内容,你就能够借助于LINGO建立并求解复杂的优化模型了。LINGO有9种类型的函数::包括算术运算符、::::::遍历集的元素,:这类函数允许模型和外部数据源相联系,:,甚至可以不认为它们是一类函数。事实上,在LINGO中它们是非常重要的。。LINGO提供了5种二元运算符:^乘方﹡乘/除﹢加﹣减LINGO唯一的一元算术运算符是取反函数“﹣”。这些运算符的优先级由高到底为:高﹣(取反)^﹡/低﹢﹣运算符的运算次序为从左到右按优先级高低来执行。运算的次序可以用圆括号“()”来改变。。2﹣5/3,(2﹢4)/5等等。,逻辑运算符主要用于集循环函数的条件表达式中,来控制在函数中哪些集成员被包含,哪些被排斥。在创建稀疏集时用在成员资格过滤器中。LINGO具有9种逻辑运算符:#not#否定该操作数的逻辑值,:..not#是一个一元运算符#eq#若两个运算数相等,则为true;否则为flase#ne#若两个运算符不相等,则为true;否则为flase#gt#若左边的运算符严格大于右边的运算符,则为true;否则为flase#ge#若左边的运算符大于或等于右边的运算符,则为true;否则为flase#lt#若左边的运算符严格小于右边的运算符,则为true;否则为flase#le#若左边的运算符小于或等于右边的运算符,则为true;否则为flase#and#仅当两个参数都为true时,结果为true;否则为flase#or#仅当两个参数都为false时,结果为false;否则为true这些运算符的优先级由高到低为:高#not##eq##ne##gt##ge##lt##le#低#and##or##gt#3#and#4#gt#2,其结果为假(0)。关系运算符在LINGO中,关系运算符主要是被用在模型中,来指定一个表达式的左边是否等于、小于等于、或者大于等于右边,形成模型的一个约束条件。关系运算符与逻辑运算符#eq#、#le#、#ge#截然不同,前者是模型中该关系运算符所指定关系的为真描述,而后者仅仅判断一个该关系是否被满足:满足为真,不满足为假。LINGO有三种关系运算符:“=”、“<=”和“>=”。LINGO中还能用“<”表示小于等于关系,“>”表示大于等于关系。LINGO并不支持严格小于和严格大于关系运算符。然而,如果需要严格小于和严格大于关系,比如让A严格小于B:A<B,那么可以把它变成如下的小于等于表达式:A+ε<=B,这里ε是一个小的正数,它的值依赖于模型中A小于B多少才算不等。下面给出以上三类操作符的优先级:高#not#﹣(取反)^﹡/﹢﹣#eq##ne##gt##ge##lt##le##and##or#低<==>=:***@abs(x)返回x的绝对值***@sin(x)返回x的正弦值,x采用弧度制***@cos(x)返回x的余弦值***@tan(x)返回x的正切值***@exp(x)返回常数e的x次方***@log(x)返回x的自然对数***@lgm(x)返回x的gamma函数的自然对数:..***@sign(x)x<0返回-1;否则,返回******@floor(x)返回x的整数部分。当x>=0时,返回不超过x的最大整数;当x<0时,返回不低于x的最小整数。***@smax(x1,x2,?,xn)返回x1,x2,?,xn中的最大值***@smin(x1,x2,?,xn)返回x1,x2,?,(2),floor(-).***@pbn(p,n,x)二项分布的累积分布函数。当n和(或)x不是整数时,用线性插值法进行计算。2.***@pcx(n,x)自由度为n的χ2分布的累积分布函数。3.***@peb(a,x)当到达负荷为a,服务系统有x个服务器且允许无穷排队时的Erlang繁忙概率。4.***@pel(a,x)当到达负荷为a,服务系统有x个服务器且不允许排队时的Erlang繁忙概率。5.***@pfd(n,d,x)自由度为n和d的F分布的累积分布函数。6.***@pfs(a,x,c)当负荷上限为a,顾客数为c,平行服务器数量为x时,有限源的Poisson服务系统的等待或返修顾客数的期望值。a是顾客数乘以平均服务时间,再除以平均返修时间。当c和(或)x不是整数时,采用线性插值进行计算。7.***@phg(pop,g,n,x)超几何(Hypergeometric)分布的累积分布函数。pop表示产品总数,g是正品数。从所有产品中任意取出n(n≤pop)件。pop,g,n和x都可以是非整数,这时采用线性插值进行计算。8.***@ppl(a,x)Poisson分布的线性损失函数,即返回max(0,z-x)的期望值,其中随机变量z服从均值为a的Poisson分布。9.***@pps(a,x)均值为a的Poisson分布的累积分布函数。当x不是整数时,采用线性插值进行计算。10.***@psl(x)单位正态线性损失函数,即返回max(0,z-x)的期望值,其中随机变量z服从标准正态分布。11.***@psn(x)标准正态分布的累积分布函数。12.***@ptd(n,x)自由度为n的t分布的累积分布函数。13.***@qrand(seed):一次可以生成很多产生服从(0,1)区间的拟随机数。***@qrand只允许在模型的数据部分使用,它将用拟随机数填满集属性。通常,声明一个m×n的二维表,m表示运行实验的次数,n表示每次实验所需的随机数的个数。在行内,随机数是独立分布的;在行间,随机数是非常均匀的。这些随机数是用“分层取样”的方法产生的。:data:M=4;N=2;seed=1234567;enddatasets::..rows/1..M/;cols/1..N/;table(rows,cols):x;endsetsdata:X=***@qrand(seed);enddataendLINGO将用系统时间构造种子。14.***@rand(seed):一次只生成一个返回0和1间的伪随机数,依赖于指定的种子。典型用法是U(I+1)=***@rand(U(I))。注意如果seed不变,那么产生的随机数也不变。***@rand产生15个标准正态分布的随机数和自由度为2的t分布的随机数。model:!产生一列正态分布和t分布的随机数;sets:series/1..15/:u,znorm,zt;endsets!第一个均匀分布随机数是任意的;u(1)=***@rand(.1234);!产生其余的均匀分布的随机数;***@for(series(I)|I#GT#1:u(I)=***@rand(u(I-1)));***@for(series(I):!正态分布随机数;***@psn(znorm(I))=u(I);!和自由度为2的t分布随机数;***@ptd(2,zt(I))=u(I);!ZNORM和ZT可以是负数;***@free(znorm(I));***@free(zt(I)););,共4种:***@bin(x)限制x为0或******@bnd(L,x,U)限制L≤x≤******@free(x)取消对变量x的默认下界为0的限制,即x可以取任意实数***@gin(x)限制x为整数在默认情况下,LINGO规定变量是非负的,也就是说下界为0,上界为+∞。***@free取消了默认的下界为0的限制,使变量也可以取负值。***@bnd用于设定一个变量的上下界,它也可以取消默认下界为0的约束。(FileMenu):..(New)从文件菜单中选用“新建”命令、单击“新建”按钮或直接按F2键可以创建一个新的“Model”窗口。在这个新的“Model”窗口中能够输入所要求解的模型。(Open)从文件菜单中选用“打开”命令、单击“打开”按钮或直接按F3键可以打开一个已经存在的文本文件。这个文件可能是一个Model文件。(Save)从文件菜单中选用“保存”命令、单击“保存”按钮或直接按F4键用来保存当前活动窗口(最前台的窗口)中的模型结果、命令序列等保存为文件。...(SaveAs...)从文件菜单中选用“另存为...”命令或按F5键可以将当前活动窗口中的内容保存为文本文件,其文件名为你在“另存为...”对话框中输入的文件名。利用这种方法你可以将任何窗口的内容如模型、求解结果或命令保存为文件。(Close)在文件菜单中选用“关闭”(Close)命令或按F6键将关闭当前活动窗口。如果这个窗口是新建窗口或已经改变了当前文件的内容,LINGO系统将会提示是否想要保存改变后的内容。(Print)在文件菜单中选用“打印”(Print)命令、单击“打印”按钮或直接按F7键可以将当前活动窗口中的内容发送到打印机。(PrintSetup...)在文件菜单中选用“打印设置...”命令或直接按F8键可以将文件输出到指定的打印机。(PrintPreview)在文件菜单中选用“打印预览...”命令或直接按Shift+F8键可以进行打印预览。(LogOutput...)从文件菜单中选用“LogOutput...”命令或按F9键打开一个对话框,用于生成一个日志文件,它存储接下来在“命令窗口”中输入的所有命令。(mands..