《在LINGO中的逻辑符号》由会员分享,可在线阅读,更多相关《在LINGO中的逻辑符号(5页珍藏版)》请在金锄头文库上搜索。
1、在 LINGO 中,逻辑运算符主要用于集循环函数的条件表达式中,来控制在函数中哪些集成员被包含,哪些被排斥。在创建稀疏集时用在成员资格过滤器中。LINGO 具有种逻辑运算符:#not# 否定该操作数的逻辑值,not是一个一元运算符#eq# 若两个运算数相等,则为true;否则为 flase#ne# 若两个运算符不相等,则为true;否则为 flase#gt# 若左边的运算符严格大于右边的运算符,则为true;否则为 flase#ge# 若左边的运算符大于或等于右边的运算符,则为true;否则为 flase#lt# 若左边的运算符严格小于右边的运算符,则为true;否则为 flase#le# 若
2、左边的运算符小于或等于右边的运算符,则为true;否则为 flase#and# 仅当两个参数都为 true 时,结果为 true;否则为 flase#or# 仅当两个参数都为 false 时,结果为 false;否则为 true这些运算符的优先级由高到低为:高 #not#eq# #ne# #gt# #ge# #lt# #le#低 #and# #or#例 4.2 逻辑运算符示例2 #gt# 3 #and# 4 #gt# 2,其结果为假(0)。4.1.3 关系运算符在 LINGO 中,关系运算符主要是被用在模型中,来指定一个表达式的左边是否等于、小于等于、 或者大于等于右边, 形成模型的一个约束条
3、件。 关系运算符与逻辑运算符#eq#、 #le#、#ge#截然不同,前者是模型中该关系运算符所指定关系的为真描述,而后者仅仅判断一个该关系是否被满足:满足为真,不满足为假。LINGO 有三种关系运算符:“=”、“=”。LINGO 中还能用“”表示大于等于关系。LINGO 并不支持严格小于和严格大于关系运算符。然而,如果需要严格小于和严格大于关系,比如让A 严格小于 B:AB,那么可以把它变成如下的小于等于表达式:A+=B,这里 是一个小的正数,它的值依赖于模型中A 小于 B 多少才算不等。下面给出以上三类操作符的优先级:高 #not# (取反) #eq# #ne# #gt# #ge# #lt#
4、 #le#and# #or#低 =4.2 数学函数LINGO 提供了大量的标准数学函数: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 时,返回不超过 x 的最大整数;当 x0 时,返回不低于 x 的最大整数。smax(x1,x2,xn) 返回 x1,x2,xn 中的最大值smin(x1,x2,xn) 返回 x1,x2,xn 中的最小值4.5
5、变量界定函数变量界定函数实现对变量取值范围的附加限制,共4 种:bin(x) 限制 x 为 0 或 1bnd(L,x,U) 限制 LxUfree(x) 取消对变量 x 的默认下界为 0 的限制,即 x 可以取任意实数gin(x) 限制 x 为整数在默认情况下,LINGO 规定变量是非负的,也就是说下界为0,上界为+。free 取消了默认的下界为 0 的限制,使变量也可以取负值。bnd 用于设定一个变量的上下界,它也可以取消默认下界为 0 的约束。4.6 集操作函数LINGO 提供了几个函数帮助处理集。1in(set_name,primitive_index_1 ,primitive_index
6、_2,)如果元素在指定集中,返回1;否则返回 0。2index(set_name, primitive_set_element)该函数返回在集 set_name 中原始集成员 primitive_set_element的索引。如果 set_name被忽略,那么 LINGO 将返回与 primitive_set_element匹配的第一个原始集成员的索引。 如果找不到,则产生一个错误。3wrap(index,limit)该函数返回 j=index-k*limit,其中 k 是一个整数,取适当值保证j 落在区间1,limit内。该函数相当于 index 模 limit 再加 1。该函数在循环、多阶
7、段计划编制中特别有用。4size(set_name)该函数返回集 set_name 的成员个数。在模型中明确给出集大小时最好使用该函数。 它的使用使模型更加数据中立,集大小改变时也更易维护。4.7 集循环函数集循环函数遍历整个集进行操作。其语法为function(setname(set_index_list)|conditional_qualifier:expression_list);function 相应于下面罗列的四个集循环函数之一; setname 是要遍历的集; set_ index_list是集索引列表;conditional_qualifier 是用来限制集循环函数的范围,当集循
8、环函数遍历集的每个成员时,LINGO 都要对 conditional_qualifier进行评价,若结果为真,则对该成员执行function 操作,否则跳过,继续执行下一次循环。expression_list 是被应用到每个集成员的表达式列表,当用的是for 函数时,expression_list 可以包含多个表达式,其间用逗号隔开。这些表达式将被作为约束加到模型中。当使用其余的三个集循环函数时,expression_list 只能有一个表达式。如果省略set_index_list,那么在 expression_list 中引用的所有属性的类型都是setname 集。1for该函数用来产生对集
9、成员的约束。基于建模语言的标量需要显式输入每个约束,不过for函数允许只输入一个约束,然后LINGO 自动产生每个集成员的约束。2sum该函数返回遍历指定的集成员的一个表达式的和。3min 和max返回指定的集成员的一个表达式的最小值或最大值。4.8 输入和输出函数输入和输出函数可以把模型和外部数据比如文本文件、数据库和电子表格等连接起来。1file 函数该函数用从外部文件中输入数据, 可以放在模型中任何地方。 该函数的语法格式为file()。这里是文件名,可以采用相对路径和绝对路径两种表示方式。file 函数对同一文件的两种表示方式的处理和对两个不同的文件处理是一样的, 这一点必须注意。 把
10、记录结束标记 ()之间的数据文件部分称为记录。 如果数据文件中没有记录结束标记, 那么整个文件被看作单个记录。注意到除了记录结束标记外,模型的文本和数据同它们直接放在模型里是一样的。我们来看一下在数据文件中的记录结束标记连同模型中file 函数调用是如何工作的。当在模型中第一次调用file 函数时,LINGO 打开数据文件,然后读取第一个记录;第二次调用file 函数时,LINGO 读取第二个记录等等。文件的最后一条记录可以没有记录结束标记,当遇到文件结束标记时,LINGO 会读取最后一条记录,然后关闭文件。如果最后一条记录也有记录结束标记,那么直到LINGO 求解完当前模型后才关闭该文件。如
11、果多个文件保持打开状态, 可能就会导致一些问题, 因为这会使同时打开的文件总数超过允许同时打开文件的上限 16。当使用file 函数时, 可把记录的内容 (除了一些记录结束标记外) 看作是替代模型中file()位置的文本。这也就是说,一条记录可以是声明的一部分,整个声明,或一系列声明。在数据文件中注释被忽略。注意在LINGO 中不允许嵌套调用file 函数。2text 函数该函数被用在数据部分用来把解输出至文本文件中。 它可以输出集成员和集属性值。 其语法为text()这里是文件名,可以采用相对路径和绝对路径两种表示方式。 如果忽略,那么数据就被输出到标准输出设备(大多数情形都是屏幕)。 te
12、xt 函数仅能出现在模型数据部分的一条语句的左边, 右边是集名 (用来输出该集的所有成员名) 或集属性名 (用来输出该集属性的值) 。我们把用接口函数产生输出的数据声明称为输出操作。 输出操作仅当求解器求解完模型后才执行,执行次序取决于其在模型中出现的先后。3ole 函数OLE 是从 EXCEL 中引入或输出数据的接口函数,它是基于传输的 OLE 技术。OLE 传输直接在内存中传输数据,并不借助于中间文件。当使用OLE 时,LINGO 先装载 EXCEL,再通知 EXCEL 装载指定的电子数据表,最后从电子数据表中获得Ranges。为了使用OLE函数,必须有 EXCEL5 及其以上版本。OLE
13、 函数可在数据部分和初始部分引入数据。OLE 可以同时读集成员和集属性,集成员最好用文本格式,集属性最好用数值格式。原始集每个集成员需要一个单元(cell),而对于 n 元的派生集每个集成员需要n 个单元,这里第一行的 n 个单元对应派生集的第一个集成员,第二行的n 个单元对应派生集的第二个集成员,依此类推。OLE 只能读一维或二维的 Ranges(在单个的 EXCEL 工作表(sheet)中),但不能读间断19的或三维的 Ranges。Ranges 是自左而右、自上而下来读。为了在 EXCEL 中定义 Ranges 名: 按鼠标左键拖曳选择 Range, 释放鼠标按钮, 选择“插入|名称|定
14、义”, 输入希望的名字, 点击“确定”按钮。我们在模型的数据部分用如下代码从EXECL 中引入数据:这一等价描述使得变量名和Ranges 不同亦可。4ranged(variable_or_row_name)为了保持最优基不变,变量的费用系数或约束行的右端项允许减少的量。5rangeu(variable_or_row_name)为了保持最优基不变,变量的费用系数或约束行的右端项允许增加的量。6status()返回 LINGO 求解模型结束后的状态:0 Global Optimum(全局最优)1 Infeasible(不可行)2 Unbounded(无界)3 Undetermined(不确定)4
15、Feasible(可行)5 Infeasible or Unbounded(通常需要关闭“预处理”选项后重新求解模型,以确定模型究竟是不可行还是无界)6 Local Optimum(局部最优)7 Locally Infeasible(局部不可行,尽管可行解可能存在,但是LINGO 并没有找到一个)8 Cutoff(目标函数的截断值被达到)9 Numeric Error(求解器因在某约束中遇到无定义的算术运算而停止)通常,如果返回值不是0、4 或 6 时,那么解将不可信,几乎不能用。该函数仅被用在模型的数据部分来输出数据。7dualdual(variable_or_row_name)返回变量的判别数(检验数)或约束行的对偶(影子)价格(dual prices)。