在LINGO中的逻辑符号[精选].doc

在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这些运算符的优先级由高到低为：高 #not##eq# #ne# #gt# #ge# #lt# #le#低 #and# #or#例4.2 逻辑运算符示例2 #gt# 3 #and# 4 #gt# 2，其结果为假（0）。 4.1.3 关系运算符在LINGO中，关系运算符主要是被用在模型中，来指定一个表达式的左边是否等于、小于等于、或者大于等于右边，形成模型的一个约束条件。关系运算符与逻辑运算符#eq#、#le#、#ge#截然不同，前者是模型中该关系运算符所指定关系的为真描述，而后者仅仅判断一个该关系是否被满足：满足为真，不满足为假。LINGO有三种关系运算符：“=”、“=”和“=”。LINGO中还能用“”表示小于等11于关系，“”表示大于等于关系。LINGO并不支持严格小于和严格大于关系运算符。然而，如果需要严格小于和严格大于关系，比如让A严格小于B：AB，那么可以把它变成如下的小于等于表达式：A+ε=B，这里ε是一个小的正数，它的值依赖于模型中A小于B多少才算不等。下面给出以上三类操作符的优先级：高 #not# ﹣（取反）＾﹡ ／﹢﹣#eq# #ne# #gt# #ge# #lt# #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) 如果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.5 变量界定函数变量界定函数实现对变量取值范围的附加限制，共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的约束。 4.6 集操作函数LINGO提供了几个函数帮助处理集。1．@in(set_name,primitive_index_1 [,primitive_index_2,…])如果元素在指定集中，返回1；否则返回0。2．@index([set_name,] primitive_set_element)该函数返回在集set_name中原始集成员primitive_set_element的索引。如果set_name被忽略，那么LINGO将返回与primitive_set_element匹配的第一个原始集成员的索引。如果找不到，则产生一个错误。3．@wrap(index,limit)该函数返回j=index-k*limit，其中k是一个整数，取适当值保证j落在区间[1，limit]内。该函数相当于index模limit再加1。该函数在循环、多阶段计划编制中特别有用。4．@size(set_name)该函数返回集set_name的成员个数。在模型中明确给出集大小时最好使用该函数。它的使用使模型更加数据中立，集大小改变时也更易维护。 4.7 集循环函数集循环函数遍历整个集进行操作。其语法为@function