函数符号

It is shown that under the supervision of the monitoring functions, the switching of control signal will stop after a finite number of switching and the tracking error will converge to a residual set that can be made arbitrarily small by choosing some design parameters sufficiently small.

进而证明，当被控对象相对阶大于1、高频增益符号未知时，在监控函数的监测下，相关控制信号经至多有限次切换后将停止切换，跟踪误差将收敛到一个残集内，且该残集可通过减小某些设计参数而变得任意小。

If we get symbolic network function, it is easy to seek frequency characteristic than to solve network equation on each sampling point.

如果我们能得到网络的符号网络函数，再利用它来求幅频特性等，将比对每一采样点都解一次网络方程要快得多。

The logical function was expressed in terms of cubic notation andthe logical operation was carried out cubically through intersection,compatibility and sharp product.

采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判断和校正，进而实现了计算机辅助逻辑综合，得到了最优的逻辑设计结果，并将此应用于计算机辅助气动系统设计中取得了良好的效果

Based on the model, closed-form expressions for cumulative distribution function of the output signal-to-interference plus noise ratio and symbol error rate of MIMO MRC systems with equal-power and unequal-power CCI are derived respectively.

在此基础上，分别推导出具有相等功率和互不相等功率的共信道干扰下系统输出信干噪比的累积分布函数和误符号率的闭合表达式。

Lastly,we present an algorithm to isolate real roots of a univariate spline, i.e., computing asequence of disjoint intervals such that each of them contains exactly one real root of agiven spline function, which is primarily based on the use of Descartes\' rule of signs withits B-spline coefficients and de Casteljau algorithm of B?

最后，基于B-样条系数的Descartes符号准则和Bézier曲线的de Casteljau算法，我们给出了一元样条实根分离算法，也就是计算出一列不相交区间，使得每个区间恰好只包含此样条函数的一个实根。

Lastly,we present an algorithm to isolate real roots of a univariate spline, i.e., computing asequence of disjoint intervals such that each of them contains exactly one real root of agiven spline function, which is primarily based on the use of Descartes rule of signs withits B-spline coefficients and de Casteljau algorithm of Bzier curve.

最后，基于B-样条系数的Descartes符号准则和Bézier曲线的de Casteljau算法，我们给出了一元样条实根分离算法，也就是计算出一列不相交区间，使得每个区间恰好只包含此样条函数的一个实根。

A new signed distance function initial method for image segmentation model based on level set approach is proposed.

对基于水平集的图像分割模型提出了一种新的初始化符号距离函数的方法。

Finally, taking these dates and using it as the functions of genetic program, and using the standard arithmetic operation as the terminals of GP. The object in this algorithm is the chiller consumption energy. Through the option of GP which contains 'crossover'、 'reproduce' and 'mutation' to iterant compute the population is composed of functions and the terminals of GP. Finally, we would find the consumption energy model of chiller.

利用此三参数作为基因规划法之终点端，再利用数学符号作为基因规划法之函数端，以实际之冰水主机耗电量作为目标，利用基因规划法之运算子作迭代运算，最终可得到足以说明此三参数与冰水主机耗电量之关系函数，即为冰水主机耗电模型。

The adaptive fuzzy sliding mode soft switch controller is designed by using the replacement of sgn function by tanh function, which realizes the soft switch control and reduces chatting.

利用双曲正切函数代替符号函数，设计了自适应模糊滑模软切换控制器，实现了软切换连续控制，削弱了抖动现象。

The integration uncertain border value is estimated by fuzzy inference and the soft switch control is accomplished by tanh function replacing sgn.

根据模糊推理估计集成不确定边界，利用双曲正切函数代替符号函数实现软切换连续控制。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。