在lingo中的逻辑符号

《在lingo中的逻辑符号》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、在LINGO中，逻辑运算符主要用于集循环函数的条件表达式中，来控制在函数中哪些集成员被包含，哪些被排斥。在创建稀疏集时用在成员资格过滤器中。LINGO具有９种逻辑运算符：#not#否定该操作数的逻辑值，＃not＃是一个一元运算符#eq#若两个运算数相等，则为true；否则为flase#ne#若两个运算符不相等，则为true；否则为flase#gt#若左边的运算符严格大于右边的运算符，则为true；否则为flase#ge#若左边的运算符大于或等于右边的运算符，则为true；否则为flase#lt#若左边的运算符严格小于右边的运算符，则为tr

2、ue；否则为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中，关系运算符主要是被用在模型中，来指定一个表达式的左边是否等于、小于等于、或者大于等于

3、右边，形成模型的一个约束条件。关系运算符与逻辑运算符#eq#、#le#、#ge#截然不同，前者是模型中该关系运算符所指定关系的为真描述，而后者仅仅判断一个该关系是否被满足：满足为真，不满足为假。LINGO有三种关系运算符：“=”、“<=”和“>=”。LINGO中还能用“<”表示小于等11于关系，“>”表示大于等于关系。LINGO并不支持严格小于和严格大于关系运算符。然而，如果需要严格小于和严格大于关系，比如让A严格小于B：A

4、等。下面给出以上三类操作符的优先级：高#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)如果x<0返回-1；否则，返回1@floor(x)返回x的整数部分。当x>=0时，返回不超过x的最

5、大整数；当x<0时，返回不低于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

6、用于设定一个变量的上下界,它也可以取消默认下界为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匹配的第一个原始

7、集成员的索引。如果找不到，则产生一个错误。3．@wrap(index,limit)该函数返回j=index-k*limit，其中k是一个整数，取适当值保证j落在区间[1，limit]内。该函数相当于index模limit再加1。该函数在循环、多阶段计划编制中特别有用。4．@size(set_name)该函数返回集set_name的成员个数。在模型中明确给出集大小时最好使用该函数。它的使用使模型更加数据中立，集大小改变时也更易维护。4.7集循环函数集循环函数遍历整个集进行操作。其语法为@function(setname[(set_index

8、_list)[

9、conditional_qualifier]]:expression_list);@function相应于下面罗列的四个集循环函数之一；setname是要遍历的集；set_in