查询词典 given

In this paper, a decision method as well as the proof for existence of vector-valued rational interpolants are given, and the expression of the rational interpolants' numerator and denominator are given.

这里利用标量有理插值函数插值存在性的思想，引入Newton基函数，给出并证明了向量值有理插值存在性的一种判别方法。

We show that there is a polynomial over the rational number field Q corresponding to a given porpositional formula in a given many-valued logic.

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应。

By the iterative functional equation we usually mean an equation containing at leastan n-th iterate〓of an unknown function.A relatively general form of it is〓(1)where〓is a given integer,J is a connected closed subset of the real number axis R,G is a given〓function from〓to R,and f is an unknown function to be solved.

迭代函数方程通常是指含有未知的函数并含有它的至少2次迭代的方程，它的一个比较广泛的形式是〓，对任〓，（1）其中〓是个给定的整数，J是实数轴R的一个连通闭子集，G是个给定从〓到R的〓映射，f是个未知而待求的函数。

It is a backward-chaining reasoner enhanced with Euler path detection and will tell you whether a given set of facts and rules supports a given conclusion.

它是一个后向链接推理器，支持欧拉路径检测，可以告诉你给定的一套事实和规则是否支持给定的结论。

Motors wound for a given voltage at 50HZ can also be used for other voltage,Recalculation factors for current and torque are given

50Hz时给定电压的电机绕组也能连接到其他值的电压上。

The formula to transform the measured coordinates into rectangular coordinates and generate a correct 3D image is given in this chapter. Finally, the simulation results are given.Chapter 8 is the summary of the dissertation.

测量得到的目标三维坐标并不是在直角坐标系下得到的，文中给出了正确重构目标三维图像所需要坐标转换的公式。

First introduced the lattice-value information systems knowledge, and to partial order for the basis has been a new relationship: advantage, given the reduction and the core, the concept of simplifying the classification of features, it is also given on the approximation, and the approximate reduction of matrix determined theorem and the concept of identification, the final adoption of specific reduction of examples to illustrate this method is effective.

首先介绍了格值信息系统的相关知识，并以偏序关系为基础得到了一种新的关系：优势关系，给出了约简和核心，简化了概念的分类特征，也给出了上近似、下近似及约简的判定定理和辨识矩阵的概念，最后通过具体的例子说明这种约简方法是有效的。

The paper given accurate computer formula and variation curve about suspension point motion (displacement velocity acceleration) and the torque variation law of reductor shaft .given two conclusion: one is the factor affected motor power is the law of suspension point torque ,the other is the factor affect torque fluctuation is the difference between the effective radius of hind heaven sheave and the theory's.

指出影响电机功率的因素是悬点扭矩的变化规律和扭矩波动的大小。其原因是后天轮轮廓曲线有效半径与理论值差异所致。

Therefore we are not afraid to call God our Father, not so much because he has created us, which we have in common with the reprobate, as because he has given unto us his only Son to be our brother, and given us grace to acknowledge and embrace him as our only Mediator.

因此我们并不害怕，呼吁上帝，我们的父亲，而不是那么多，因为他创造了我们，我们有一点是共同与reprobate ，因为他给了给我们的，他唯一的儿子是我们的兄弟，并给我们的恩典承认拥抱他，因为我们唯一的调停者。

The class of distribution of decreasing variance residual life an that of decreasing percentile residual life are investigated,some their characters are also given,and their characteristic result is given when the general moments of residual life function are taken as their basis.

阐述了递减方差剩余寿命分布与平衡分布的平均剩余寿命函数的密切联系；研究了递减方差剩余寿命分布类及递减百分位数剩余寿命分布类，并且给出了它们的一些特征；给出了以剩余寿命函数的一般矩为基础的特征结果。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。