搜索
1LINGO软件使用及应用案例LINGO是用来求解线性和非线性优化问题的简易工具。LINGO内置了一种建立最优化模型的语言，可以简便地表达大规模问题，利用LINGO高效的求解器可快速求解并分析结果。1LINGO简介当你在windows下开始运行LINGO系统时，会得到类似下面的一个窗口：外层是主框架窗口，包含了所有菜单命令和工具条，其它所有的窗口将被包含在主窗口之下。在主窗口内的标题为LINGOModel–LINGO1的窗口是LINGO的默认模型窗口，建立的模型都都要在该窗口内编码实现。下面举两个例子。例一个简单例子：在模型窗口中输入如下代码：model:min=2*x1+3*x2;x1+x2=350;x1=100;2*x1+x2=600;end然后点击工具条上的按钮即可。2编号LINDOLINGO1以MAX或者MIN开始以Model:开始2St或者s.t.Max=或者Min=3每个语句结束不用―；‖每个语句结束必须加―；‖4右端不能有符号右端可以有符号5乘号可以省略乘号*不可以省略6不能有括号可以有括号7非负变量可以省略非负变量可以省略8用end结束，end后不加分号用end结束,end后不加分号90，1变量int@bin(x)整数变量gin@gin(x)2LINGO软件包使用2.1模型的集部分集部分是LINGO模型的一个可选部分。在LINGO模型中使用集之前，必须在集部分事先定义。集部分以关键字―sets:‖开始，以―endsets‖结束。一个模型可以没有集部分，或有一个简单的集部分，或有多个集部分。一个集部分可以放置于模型的任何地方，但是一个集及其属性在模型约束中被引用之前必须定义了它们。对实际问题建模的时候，总会遇到一群或多群相联系的对象，比如工厂、消费者群体、交通工具和雇工等等。LINGO允许把这些相联系的对象聚合成集（sets）。一旦把对象聚合成集，就可以利用集来最大限度的发挥LINGO建模语言的优势。集是LINGO建模语言的基础，是程序设计最强有力的基本构件。借助于集，能够用一个单一的、长的、简明的复合公式表示一系列相似的约束，从而可以快速方便地表达规模较大的模型。2.1.1什么是集集是一群相联系的对象，这些对象也称为集的成员。一个集可能是一系列产品、卡车或雇3员。每个集成员可能有一个或多个与之有关联的特征，我们把这些特征称为属性。属性值可以预先给定，也可以是未知的，有待于LINGO求解。例如，产品集中的每个产品可以有一个价格属性；卡车集中的每辆卡车可以有一个牵引力属性；雇员集中的每位雇员可以有一个薪水属性，也可以有一个生日属性等等。LINGO有两种类型的集：原始集(primitiveset)和派生集(derivedset)。一个原始集是由一些最基本的对象组成的。一个派生集是用一个或多个其它集来定义的，也就是说，它的成员来自于其它已存在的集。2.1.2原始集为了定义一个原始集，必须详细声明：·集的名字·可选，集的成员·可选，集成员的属性定义一个原始集，用下面的语法：setname[/member_list/][:attribute_list];注意：用―[]‖表示该部分内容可选。下同，不再赘述。2.1.3派生集为了定义一个派生集，必须详细声明：·集的名字·父集的名字·可选，集成员·可选，集成员的属性可用下面的语法定义一个派生集：setname(parent_set_list)[/member_list/][:attribute_list];setname是集的名字。parent_set_list是已定义的集的列表，多个时必须用逗号隔开。如果没有指定成员列表，那么LINGO会自动创建父集成员的所有组合作为派生集的成员。派生集的父集既可以是原始集，也可以是其它的派生集。例sets: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)4成员列表被忽略时，派生集成员由父集成员所有的组合构成，这样的派生集成为稠密集。如果限制派生集的成员，使它成为父集成员所有组合构成的**的一个子集，这样的派生集成为稀疏集。同原始集一样，派生集成员的声明也可以放在数据部分。一个派生集的成员列表有两种方式生成：①显式罗列；②设置成员资格过滤器。当采用方式①时，必须显式罗列出所有要包含在派生集中的成员，并且罗列的每个成员必须属于稠密集。使用前面的例子，显式罗列派生集的成员：allowed(product,machine,week)/AM1,AN2,BN1/;2.2模型的数据部分数据部分提供了模型相对静止部分和数据分离的可能性。显然，这对模型的维护和维数的缩放非常便利。数据部分以关键字―data:‖开始，以关键字―enddata‖结束。其语法如下：object_list=value_list;对象列（object_list）包含要指定值的属性名、要设置集成员的集名，用逗号或空格隔开。一个对象列中至多有一个集名，而属性名可以有任意多。如果对象列中有多个属性名，那么它们的类型必须一致。如果对象列中有一个集名，那么对象列中所有的属性的类型就是这个集。数值列（value_list）包含要分配给对象列中的对象的值，用逗号或空格隔开。注意属性值的个数必须等于集成员的个数。看下面的例子。例sets: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）实现同样的功能。例sets: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个对象，……，以此类推。模型的所有数据——属性值和集成员——被单独放在数据部分，这可能是最规范的数据输5入方式。2.3模型的控制部分LINGO有9种类型的函数：1．基本运算符：包括算术运算符、逻辑运算符和关系运算符2．数学函数：三角函数和常规的数学函数3．金融函数：LINGO提供的两种金融函数4．概率函数：LINGO提供了大量概率相关的函数5．变量界定函数：这类函数用来定义变量的取值范围6．集操作函数：这类函数为对集的操作提供帮助7．集循环函数：遍历集的元素，执行一定的操作的函数8．数据输入输出函数：这类函数允许模型和外部数据源相联系，进行数据的输入输出9．辅助函数：各种杂类函数2.3.1基本运算符算术运算符算术运算符是针对数值进行操作的。LINGO提供了5种二元运算符：＾乘方＊乘／除＋加－减逻辑运算符在LINGO中，逻辑运算符主要用于集循环函数的条件表达式中，来控制在函数中哪些集成员被包含，哪些被排斥。在创建稀疏集时用在成员资格过滤器中。LINGO具有９种逻辑运算符：#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关系运算符LINGO有三种关系运算符：―=‖、―=‖和―=‖。LINGO中还能用―‖表示小于等于关系―‖表示大于等于关系。LINGO并不支持严格小于和严格大于关系运算符。然而，如果需要严格小于和严格大于关系，比如让A严格小于B：AB，那么可以把它变成如下的小于等于表达式：A+ε=B，这里ε是一个小的正数，它的值依赖于模型中A小于B多少才算不等。2.3.2数学函数⑴标准数学函数LINGO提供了大量的标准数学函数：@abs(x)返回x的绝对值6@sin(x)返回x的正弦值，x采用弧度制@cos(x)返回x的余弦值@tan(x)返回x的正切值@exp(x)返回常数e的x次方@log(x)返回x的自然对数@lgm(x)返回x的gamma函数的自然对数@sign(x)如果x0返回-1；否则，返回1@floor(x)返回x的整数部分。当x=0时，返回不超过x的最大整数；当x0时，返回不低于x的最大整数。@smax(x1,x2,…,xn)返回x1，x2，…，xn中的最大值@smin(x1,x2,…,xn)返回x1，x2，…，xn中的最小值⑵变量界定函数变量界定函数实现对变量取值范围的附加限制，共4种：@bin(x)限制x为0或1@bnd(L,x,U)限制L≤x≤U@free(x)取消对变量x的默认下界为0的限制，即x可以取任意实数@gin(x)限制x为整数在默认情况下，LINGO规定变量是非负的，也就是说下界为0，上界为+∞。@free取消了默认的下界为0的限制，使变量也可以取负值。@bnd用于设定一个变量的上下界,它也可以取消默认下界为0的约束。⑶集循环函数集循环函数遍历整个集进行操作。其语法为@function(setname[(set_index_list)[|conditional_qualifier]]:expression_list);@function相应于下面罗列的四个集循环函数之一；setname是要遍历的集；set_index_list是集索引列表；conditional_qualifier是用来限制集循环函数的范围，当集循环函数遍历集的每个成员时，LINGO都要对conditional_qualifier进行评价，若结果为真，则对该成员执行@function操作，否则跳过，继续执行下一次循环。expression_list是被应用到每个集成员的表达式列表，当用的是@for函数时，expression_list可以包含多个表达式，其间用逗号隔开。这些表达式将被作为约束加到模型中。当使用其余的三个集循环函数时，expression_list只能有一个表达式。如果省略set_index_list，那么在expression_list中引用的所有属性的类型都是setname集。1．@for该函数用来产生对集成员的约束。基于建模语言的标量需要显式输入每个约束，不过@for函数允许只输入一个约束，然后LINGO自动产生每个集成员的约束。2．@sum该函数返回遍历指定的集成员的一个表达式的和。3．@min和@max返回指定的集成员的一个表达式的最小值或最大值。7⑷输入和输出函数输入和输出函数可以把模型和外部数据比如文本文件、数据库和电子表格等连接起来。@file函数该函数用从外部文件中输入数据，可以放在模型中任何地方。该函数的语法格式为@file(’filename’)。这里filename是文件名，可以采用相对路径和绝对路径两种表示方式。@file函数对同一文件的两种表示方式的处理和对两个不同的文件处理是一样的，这一点必须注意。为了使数据和我们的模型完全分开，我们把它们移到外部的文本文件中。修改模型代码以便于用@file函数把数据从文本文件中拖到模型中来。@text函数该函数被用在数据部分用来把解输出至文本文件中。它可以输出集成员和集属性