查询词典 object

But, by semantic embedding the theorem derivations in object logic usually descends to ones in base logic, which not only requires users know the encoding quite well, but also lower the abstraction level of object logic, and readability and hand-reexecutability of proofs.

但是，语义嵌入方式下目标逻辑定理推导常常向基逻辑下降，这不但要求用户了解编码细节，而且也大大降低了目标逻辑的抽象性以及PVS一向追求的证明可读性和手工可再现性。

Then it is a good idea creates an object to encapsulate in one object all these activities.

然后，它是一个好主意创建一个对象来封装在一个对象中的所有这些活动。

Constructing geometric model of analyzed object is the first step of mesh generation, in this research subject, we mainly analyze the medical encephalon CT picture ,so we select digital instrument to extract border characteristic points from encephalon CT picture and create the analyzed object geometric model.

进行网格剖分首先要建立分析对象的几何模型，鉴于本文的分析对象是医学脑CT扫描图像，为此采用数字化仪从脑CT扫描图像中提取边界特征点，以此形成分析模型的边界轮廓，从而建立分析模型的几何模型。

This means that calling the members of the pointed object is enclosed in Windows critical section and only one thread at a time can use the object.

这意味着对指向对象的成员函数的调用将被封锁在Windows的临界区，一次只能有一个线程可以使用这个对象。

Subsequent invocations of the enumerable object's GetEnumerator, if any, return a copy of the enumerable object.

以后对可枚举对象的GetEnumerator方法的调用，将返回可枚举对象的一个拷贝。

In that type of implementation, the first time an enumerable object's GetEnumerator method is invoked, the enumerable object itself is returned.

这种情况下，当可枚举对象的GetEnumerator方法第一次被调用时，将返回可枚举对象本身。

You may use the on-line New Object Ephemeris Generator to generate ephemerides to enable you to find the object after the first night.

你可以使用在线星历表生成器来计算你发现的目标的以后的位置预报。

If you wish someone else to follow-up your new discovery, you should use the New Object Ephemeris Generator to generate ephemerides to enable your colleague to find the object after the first night.

如果你希望其他人来持续观测你发现的目标，你应该使用"新目标星历表发生器"去产生星历表好让你的合作者在第一晚后去发现它。

Each member initializer must name an accessible field or property of the object being initialized, followed by an equals sign and an expression or an object or collection initializer.

每个成员初始化器必须指出正被初始化的对象的域或属性的名字，后面是等号"="和表达式或者对象或集合的初始化器。

It is the change that virtual technology gives birth to a great influence on the human's cognitive activities. First of all, virtual technology has caused obvious change of cognitive relation between subject and object, which includes the change of interaction between subject and object, digitization of cognitive resonance and scene of cognitive model, etc. secondly, virtual technology has improved the subject's cognitive ability and level: the ability of esthesia of the subject has been strengthened, the change of the cognitive structure and the way to obtain information of the subject has been caused and the regulation and control ability of the subject has been improved by virtual technology.

正是这种转向使得虚拟技术对于人类的认识活动产生了重大影响：首先，虚拟技术导致了主客体之间的认识关系发生明显的变化，主要包括主客体作用的方式的变化、认识中介的数字化以及认知模型的情景化等；虚拟技术提高了主体认识能力和水平：虚拟技术增强了主体的感知能力，引起了主体认识结构的变化，认识主体获取信息的方式发生了变革，提高了主体对认识活动的调控能力，张扬了主体在认识活动中的能动性与创造性；虚拟技术拓展了主体的认识领域，即它扩展了主体的认识空间、丰富了主体的认识来源。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"