标号的

The high alnico, developed by ourselves, is of superior performance and can replace the American products in the same class.

我公司独创开发的特高镍路合金，性能优越同类产品，完全代替美国同类标号产品，特别实用与大型搅拌设备使用。

In chapter three, we prove that there exist solutions to the Ky Fan variation inequality, as the set-valued mappings are defined on spheres in infinite dimensional Banach spaces or odd dimensional Euclidean spaces, following from these theorems, we obtain some fixed point theorems for set-valued mappings defined on a sphere. When G is an approximate compact convex subset of E, or G is a almost quasi-convex set-valued mapping, we prove that there exist solutions to and type generalized Ky Fan variation inequality, following these theorems, we prove several best approximation theorems and coincidence theorems involving two set-valued mappings and two different spaces. In chapter four, we first present a new Simplicial algorithm for computing the Leray - Schauder fixed points, the algorithm can solve the set-valued nonlinear complementarily problem. We give a condition to guarantee the computation proceeding in a bounded region. We present integer-labeling algorithms for computing fixed points of some set-valued mappings, the best approximation points and solutions to a kind of set-valued variation inequalities.

第四章给出了计算定义在非凸集上的非自映射的Leray-Schauder不动点的算法，而现有的不动点算法都是计算凸集的上半连续集值自映射的不动点；给出了保证计算有界的一个充分条件，我们的条件大大弱于Mdrrill条件，我们的算法也可用来计算Eaves不动点；给出了集值非线性互补问题存在解的一个充分条件，此时可利用Leray-Schauder不动点算法来求解；向量标号算法以往是计算集值映射不动点的唯一有效算法，我们给出用整数标号算法计算一类集值映射的Kakutani 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

A label consisting of a coded name showing a unit of data, for example, a file name.

由编码名组成的一种标号，表示一个数据元，例如一个文件名。

In order to fix this, I have increased the number of buttons to 120 and now there is a 1-1 mapping of default ID to button #.

为了修复这个问题，我把按钮数量增加到了120个，现在默认ID与按钮标号是一一对应的了。

Labeling is an important problem in Graph theory.

标号问题是图论中比较重要的研究内容之一。

The study on graph labeling is one of the most active subjects in graph theory.

中文摘要：图标号研究是图论中比较活跃的领域之一。

GTSM is constructed based on the theories of LOTOS and grey system, using BLP model and Clark-Wilson model as its framework, and using dynamic grey structured labeled transition system as its core.

以Bell-LaPadula模型和Clark-Willson模型作为主要框架，基于LOTOS时序理论和灰色系统理论，构造了以动态灰色结构标号转换系统DGTS为核心的灰色时序安全策略模型GTSM。

But return to have no more complete 3D plotting system at presentThis paper is focused on the research and building-up of a 3D military plotting system and main contents are as fol...

但当前还没有比较完整的三维军队标号系统。

ZV-type concrete repair adhesive is designed for high-grade concrete surface repair patch developed for high-strength polymer solution.

ZV型混凝土修补胶是专为高标号混凝土结构表面修补而研制的高强聚合物修补液。

Monte Carlo is a method that approximately solves mathematic or physical problems by statistical sampling theory. When comes to Bayesian classification, it firstly gets the conditional probability distribution of the unlabelled classes based on the known prior probability. Then, it uses some kind of sampler to get the stochastic data that satisfy the distribution as noted just before one by one. At last, it can obtain the posterior probability distibution of each unlabelled classes by analysing these stochastic data.

蒙特卡罗是一种采用统计抽样理论近似求解数学或物理问题的方法，它在用于解决贝叶斯分类时，首先根据已知的先验概率获得各个类标号未知类的条件概率分布，然后利用某种抽样器，分别得到满足这些条件分布的随机数据，最后统计这些随机数据，就可以得到各个类标号未知类的后验概率分布。

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

屈膝跪下。。。下跪祈祷