查询词典 propositional variable

Variable Speed Buffing Wheel : Another luxury for the serious clayer.

多速打磨轮：软陶爱好者的另一样奢侈品。

The button1 member variable held a reference to the button in the WPF visual tree, and now it refers to the new object created by the XAML visualizer.

在Button1的成员变量的举行在WPF可视树按钮的引用，现在它是指新的对象的创建XAML的实物。

Actuator is automatic control system, the operation is based on the role of control signal controller is operated by the size of the medium change, you will be charged variable required on maintaining.

执行器是自动控制系统中的操作环节，其作用是根据控制器送来的控制信号改变所操作介质的大小，将被控变量维持在所要求的数值上。

B. Declaration of primitive types such as boolean, byte and so on allocates memory space for the variable.

B。 对原始数据类型例如boolean，byte的变量的声明将为之分配内存空间。

BZZ heavy cantilever crane is scheduled column cantilever crane extension products, the aircraft using the rotary bearing structure with variable cross-section arm, from the kind of up to 2.5-16 meters radius of gyration of 7-12 meters.

BZZ重型悬臂起重机是定柱式悬臂起重机的延伸产品，该机采用了回转支承与变截面臂结构，起种高达2.5-16米，回转半径达7-12米。

Parameter technology and variable technology are two main methods for improving the efficiency of feature-based modeling system. Two methods has been very important in most CAID systems.

参数化技术和变量化技术是提高特征造型系统设计效率的两种主要方法，基于特征的参数化技术和变量化技术已成为当今CAID系统的主要依赖手段。

Tarski constructed strictly the calculus of classes and its metalanguage,then defined some important concepts of the calculus of classes,such as sentential function,free variable, sentence,operation,consequence.

塔斯基严格地构造出了类演算语言，然后又构造出了类演算语言的元语言，并且在元语言中定义出类演算语言的语句函项、自由变元、语句、运算、后承等重要概念。

A new type of variable camshaft timing system on the V8 engine introduces another industry first.

一种新型的可变凸轮轴正时系统的V8引擎引入了另一个行业第一。

Variable cane has double functions of cane and chair.

中文摘要本论文研究结合手杖跟椅子双重功能辅具的可变手杖机构设计。

Let a =∈〓. Then corresponding to 62 equivalence classes in χ for ～, we have 144polynomial elements in one variable in canonical basis, each of them also cor-responds to a region which consists of six independent inequalities.

定理。设a=∈〓。那么与χ关于～的62个等价类对应，在典范基中有144个单变量多项式元素，每个单变量多项式元素也对应一个由六个独立不等式构成的区域。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。