新用软件编程求解规划问题.ppt

sets: product/A B/; machine/M N/; week/1..2/; allowed(product,machine,week):x; endsets LINGO生成了三个父集的所有组合共八组作为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) 例 sets: !学生集：性别属性sex，1表示男性，0表示女性；年龄属性age. ; students/John,Jill,Rose,Mike/:sex,age; !男学生和女学生的联系集：友好程度属性friend，[0，1]之间的数。 ; linkmf(students,students)|sex(&1) #eq# 1 #and# sex(&2) #eq# 0: friend; !男学生和女学生的友好程度大于0.5的集; linkmf2(linkmf) | friend(&1,&2) #ge# 0.5 : x; endsets data: sex,age = 1 16 0 14 0 17 0 13; friend = 0.3 0.5 0.6; enddata 用竖线（|）来标记一个成员资格过滤器的开始。#eq#是逻辑运算符，用来判断是否“相等”，可参考§4. &1可看作派生集的第1个原始父集的索引，它取遍该原始父集的所有成员；&2可看作派生集的第2 个原始父集的索引，它取遍该原始父集的所有成员；&3，&4，……，以此类推。 集合 派生集合 基本集合 稀疏集合 稠密集合 元素列表法 元素过滤法 直接列举法 隐式列举法 Lingo软件——集合 setname [/member_list/] [: attribute_list]; setname(parent_set_list) [/member_list/][: attribute_list]; Lingo软件——数据段与初始段 数据段：输入集成员和数据，提供了模型相对静止部分和数据分离的可能性。 object_list = value_list; 对象列＝数值列； 初始段：为决策变量设置初始值。 在初始部分输入的值仅被 LINGO 求解器当作初始点来用，并且仅仅对非线性模型有用。和数据部分指定变量的值不同，LINGO求解器可以自由改变初始部分初始化的变量的值。 以“init:”开始，以“endinit”结束。初始部分的初始声明规则和数据部分的数据声明规则相同。 sets: set1/A,B,C/: X,Y; endsets data: X,Y=1 4 2 5 3 6; enddata data: X=1,2,3; Y=4,5,6; enddata 和数据部分指定变量的值不同，LINGO求解器可以自由改变初始部分初始化的变量的值。 例 init: X, Y = 0, .1; endinit Y=@log(X); X^2+Y^2<=1; 优先级 运算符 最高 #NOT# —（负号） ^ * / + —（减法） #EQ# #NE# #GT# #GE# #LT# #LE# #AND# #OR# 最低 <(=) = >(=) 三类运算符： 算术运算符 逻辑运算符 关系运算符 Lingo软件——运算符与优先级 主要用于集循环函数的条件表达式中 形成模型的一个约束条件，指定一个表达式的左边是否等于、小于等于、或者大于等于右边。 针对数值进行操作 #not#　 否定该操作数的逻辑值，＃no