lingo数学符号

longde

数学函数
+ h  a7 _8 t" j8 ]7 f: CLINGO提供了大量的标准数学函数：
@abs(x)             返回x的绝对值
  x) ^6 ~, W1 x- k@sin(x)             返回x的正弦值，x采用弧度制
@cos(x)             返回x的余弦值
@tan(x)             返回x的正切值
@exp(x)             返回常数e的x次方
@log(x)             返回x的自然对数
5 s) B7 L( H9 [5 N/ f1 b@lgm(x)             返回x的gamma函数的自然对数
@sign(x)            如果x<0返回-1；否则，返回1
@floor(x)           返回x的整数部分。当x>=0时，返回不超过x的最大整数；                               当x<0时，返回不低于x的最大整数。
0 i6 }; h1 N6 T; }# F7 u4 _@smax(x1,x2,…,xn)  返回x1，x2，…，xn中的最大值
# A: a$ S  E3 o, A@smin(x1,x2,…,xn)  返回x1，x2，…，xn中的最小值
@fpa(I,n)
0 }- E7 g  g, M" K3 ~. Y% ?' W返回如下情形的净现值：单位时段利率为I，连续n个时段支付，每个时段支付单位费用。若每个时段支付x单位的费用，则净现值可用x乘以@fpa(I,n)算得。@fpa的计算公式为.
& L) E2 X) N, z: k/ J+ O+ E净现值就是在一定时期内为了获得一定收益在该时期初所支付的实际费用。
& r: O' A! c, Q* K
# p) Y1 J7 v8 H* M6 K/ k 概率函数
1．@pbn(p,n,x)
3 \$ g. C" i- r0 Z: m7 L二项分布的累积分布函数。当n和（或）x不是整数时，用线性插值法进行计算。
; `4 U5 h# g3 _5 m2．@pcx(n,x)
自由度为n的χ2分布的累积分布函数。
' U; H, I9 P7 w+ K& h& s9 x! y3．@peb(a,x)
4 o1 p2 I: b. Y. X/ ]4 w' [当到达负荷为a，服务系统有x个服务器且允许无穷排队时的Erlang繁忙概率。
4．@pel(a,x)
当到达负荷为a，服务系统有x个服务器且不允许排队时的Erlang繁忙概率。
2 W2 A4 G9 P: j5．@pfd(n,d,x)
3 G# e. i9 {, I; `9 Y" _; ?6 {自由度为n和d的F分布的累积分布函数。
6．@pfs(a,x,c)
当负荷上限为a，顾客数为c，平行服务器数量为x时，有限源的Poisson服务系统的等待或返修顾客数的期望值。a是顾客数乘以平均服务时间，再除以平均返修时间。当c和（或）x不是整数时，采用线性插值进行计算。