查询词典 defined

Axis X of the frame is defined as seam axis, axis Z is defined as bisector of included angle, and axis Z is the axis of weld gun in the simulating environment.

将焊缝特征坐标系的X轴作为焊缝的轴线，将Z轴作为焊缝的中心线，Z轴即为仿真环境下的焊枪的轴线。

2 X User Defined Acceleration Range, 0-XXX-0, Maximum Velocity, Average Velocity, Peak Longitudinal Acceleration, 2 x User Defined Deceleration Range, Time to and Speed at (100m, 200m, 400mm, 1km, 1/8mile, 1/4 mile, 1/2mile, 1mile), BHP, Power Losses. Minimum apex speed.

0-60， 0-100， 2 x用户自定义的加速范围，0-XXX-0，最大速度，平均速度，最大纵向加速度，2 x用户自定义减速度范围，以时间为基准及到100m， 200m， 400mm， 1km， 1/8mile， 1/4 mile， 1/2mile， 1mile时的速度，BHP，功率损失，最小峰值速度。

First, the formal representation of the search environment is established, the multi-UAV is modeled as a controlled system and the predictive model of the system is presented. Considering the uncertainty of the sensor measurement and the environment, a Search Probability Map is defined and the updating method based on Bayes formula is presented. Based on SPM, information gain is defined to measure the search effects and used to be the optimization object in the predictive horizon. By using of GA, the solution of the optimization problem is got and it is taken as the input of the controlled system.

首先，建立搜索环境的规则描述，然后将多个UAV建模为一个控制系统，建立系统的预测模型，考虑到UAV传感器测量的不确定性和环境自身的不确定性，建立搜索概率图描述搜索环境的不确定性，给出了基于Bayes准则的搜索概率图更新方法，继而基于搜索概率图定义信息增益来衡量搜索效果，并将预测周期内的优化目标定为最大化信息增益，采用遗传算法进行求解，得到最优解作为被控系统的输入。

The composite nonsmooth optimization problem is defined as follows:〓where h is a convex function defined on〓and is bounded from below,and〓〓is a mapping from〓to〓and〓are twicecontinuously differentiable function on〓.

复合NDO问题被定义如下：〓这里h是一个定义在〓上的凸函数，并且有下界，〓，〓是一个从〓到〓上的映照。

The left and top corner of the path will be at the center of the bounding box defined by the left and top points as defined by Style .

路径的左侧和顶部角落将在由由风格定义的左侧和顶部点定义的边界框的中心。

After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.

通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。

By taking advantage of a corollary of the Desargues theorem and the corresponging extension of Desarguesian configuration, the concept of stereohomology has been defined in projective geometry and presented based on homogeneous coordinates. Consequently, a series of geometrical transformations, such as central projection, parallel projection, centrosymmetry, translation transformation, reflection, rotation transformation, which can be contained in it or derived from it have also been analytically defined.

利用Desargues定理的一个推论和引申的Desargues图形，给出"空间透射"在射影几何意义下基于齐次坐标表象的解析定义，从而解析定义了可蕴涵其中的中心投影、平行投影、中心对称、平移、反射等几何变换以及可由此衍生出的旋转变换。

Closed group: A group with a pre-defined set of members. Only defined members may participate in a closed group.

闭合群：预定义了一组成员的群，只有定义了的成员才能加入群。

If F is a space of functions defined on a domain Ω and ψ is a function taking Ωinto itself, then the composition operator C〓 induced by ψ is defined by C〓: f〓fοψ,〓f∈F. It is obvious that C〓 is a linear operator.

设F是定义在区域Ω上的一个函数空间，φ：Ω→Ω是Ω到自身的一个映射，则可通过函数的复合定义一个线性算子C〓：f→foφ，〓f∈F，称为由φ诱导的复合算子。

Consistency conditions in the development system are defined as concrete graph properties in first-order logic with equality. Some classes of consistency conditions related to object and relation types, processes, styles and applications are defined.

在考察了各种对象的演化特征之后，我们用图重写规则定义了基本演化规则，包括对象、关系的添加和删除，对象、关系类型的修改，以及一些典型的高级演化规则。

Now he worked in ajoint venture.

现在他在一家合资企业工作。

More troops in Afghanistan won't change any of the foregoing.

更多的在阿富汗的军队也不会改变之前的状况。