饱和函数sat通常被用来表示“饱和”或“限制”，即变量x被限制在 [0,1]区间内。