查询词典 define

By definition, all attributes of a class that are function objects define corresponding methods of its instances.

按照定义，类中所有的函数对象属性决定了它的对应实例中的方法。

Like any other class, a base class has data and function members that define its interface and implementation.

像任意其他类一样，基类也有定义其接口和实现的数据和函数成员。

Please Define, an eloquent, clear-eyed account of her generation's often noncommittal dating scene.

请确定。一篇逻辑性强条理清楚的记述了她的时代经常的随性的约会。

Cleary define objectives specify an end goal for the organization.

明确定义的目标指定了组织的最终目的。

You should also remember that I was constantly reminding you to define the points of each polygon in a clockwise direction.

您应该还记得，我不断提醒您，确定每个点的多边形在顺时针方向。

If you define its indeces in a clockwise direction, the side you are looking at will be invisible and the opposite side will be visible.

如果你以顺时针方向确定索引，你正在看的那一面将要是不可见的而它的另一面是可见的。

When you define a triangle, you are basically defining the points in either a clockwise or counter-clockwise direction (depending on which side of the triangle you're on, of course).

当你定义一个三角形，你基本上确定了它的点，要么以顺时针或逆时针方向(取决于你看到的三角形的哪一方)。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

In Section 5, we define the closure operator of poset matroid 〓 on 〓.

第5节定义了偏序集拟阵的闭包算子。

The collection of nearly autonomous provinces which define Afghanistan coalesce in opposition to outside attempts to impose central rule.

由阿富汗近乎独立的各省组成的联盟一起抵制外界成立的中央政府。

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。