补函数

There is important realism meaning in-depth researching for arithmetic of logic function complement set .

逻辑函数的求补在逻辑综合中最为常见，求补算法的优劣直接关系到逻辑优化算法的时效，在逻辑优化算法中由于会频繁调用逻辑函数求补运算过程[1~3]，因此逻辑函数的求补是逻辑优化算法的基础。

Two definitions of dual function and complementary function are given from the viewpoint of one-to-one mapping of the truth table.

从真值表映象的观点定义了补函数和对偶函数，并由此验证了一系列重要的规则、公式和推论，列举了其在几个方面的应用。

Based on a delay-dependent bounded real lemma, the condition under which a decentralized robust H(subscript ∞) output feedback controller exists is derived and it is available to be attributed to a solution to the problem of nonlinear matrix inequality which can be expressed in terms of a homotopy function properly selected. Then, with the homotopic iteration method and the Schur complement lemma introduced, the solution can be converted into an iterative solution to the linear matrix inequality.

基于一个时滞依赖有界实引理，将系统鲁棒分散H动态输出反馈控制器的解归结为一个非线性矩阵不等式的求解问题；选取适当的同伦函数来表示该非线性矩阵不等式，采用同伦迭代算法及Schur补引理，将求解非线性矩阵不等式转化为线性矩阵不等式的迭代求解问题。

Sets as its aim to obtain an integral representation of the holomorphic functions on the analytic subvariety of strict pseudoconvex polyhedron in space C n.

通过在Cn空间中强拟凸多面体域的复补维数为m（1≤m＜n）的子流形上构造积分核，得到该复子流上的全纯函数的积分表示公式。

Thus,the principle and methods for widening the ranges oftime and space for applying water production function of rice and principle and methods fordrawing the isogram of WSI based on the isogram of ET0 and the soil map have beenestablished.

通过参照作物需水量及其频率以及不同地区土壤有效含水量为媒介，建立了对水分敏感指标在不同水文年份和不同地区进行预报的数学模型，据此提出了水稻水分生产函数在时、空两方面插补、延长、移用与扩展的理论与方法。

To reduce the conservatism in the estimation, the Schur complements of the matrixes are applied to transform the problem of selecting a suitable quadratic Lyapunov function into a simple convex optimization problem with linear matrix inequality constraints.

同时为了减少保守性，利用矩阵的Schur补性质，将如何选取该二次型Lyapunov函数的问题转化为标准的LMI凸优化问题。

In view of the principle of pointbypoint comparison method, the foundation deciding whether the middle point interpolation is the control step error of NC system has been advanced, the math mould of inserting and compensation method established and the function that judges error by interpolating method has been improved.

基于逐点比较法原理，提出中点插补算法作为数控系统控制步进的偏差判别依据，建立了插补算法的数学模型，对插补算法偏差判别函数进行了改进和完善。实例分析结果表明，中点插补算法使插补精度由原来的小于等于一个脉冲当量提高到小于等于 0 。5个脉冲当量，插补点大幅度地下降，系统的响应速度加快和插补精度提高

Address the characteristics of non-uniform speed transmission, position function control and transmission ratio function control were presented to realize electronic gearbox. The differences between position function curve interpolation and general NC interpolation were analyzed. Considering the effect of uncontrollable continuous principal motion, interpolation slope and position function precompensation interpolation were presented. The relationship among interpolation, servo dynamic response and transmission precision was studied. The coordinate linkage relationship and electronic gearbox scheme in noncirclar gear hobbing were studied.

对电子齿轮箱实现非匀速比传动进行了研究，提出了位置函数控制与传动比函数控制两种非匀速比传动关系的实现方法；对位置函数控制方式，分析了位置函数曲线的插补与普通数控插补方法的区别，提出了插补斜率的概念与位置函数曲线的预补偿插补方法；对非匀速比电子齿轮箱传动精度进行研究，得出了插补精度、伺服系统动态性能指标与传动精度之间的关系；研究了非圆滚齿加工坐标联动的非匀速比传动关系，列出了多种可以满足要求的电子齿轮箱传动方案。4。

As sophisticated calculation of the transformation is hard to implement in each sampling time of NC machining,the coordinated motion of NC coordinate axes is expressed as quintic parametric spline function s,which use the rotation angle of the work gear as the parameter,and the re.

由于在数控加工每个插补周期中难以实现这种涉及大量运算的运动转换，因此将数控坐标轴的展成运动表示为以工件齿轮转角为参数的五次参数样条函数，保证了插补的实时性和精确性。

Besides, our discussion in G. Padmanabhan and Prem Vrat dissertation, based on the second stock model with complete backlogging, the demand rate is the linear function which uses stock as variable, and stock can be completely or partially backlogging.

此外，在Padmanabhan 和 Vrat[9]的论文中，根据第二种存货模式，在允许缺货下完全补货的情形，其需求是以存货为变数之线性函数，而缺货是可以完全或部分回补。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷