查询词典 propositional variable

C# continues to be a strong typed language, but the type of the query variable is inferred by the compiler: at compile time, the compiler finds out its type and generates the Intermediate Language for the variable type.

仍然是一个强类型语言，但查询的变量的类型是由编译器在编译时推断：，编译器发现了它的类型和生成变量类型的中间语言。

This model consists of three components, which areinput variables (controllability of waiting causations, stability of waiting causations andrichness of filled time), intermediate variable and output variable.

该模型由三部分组成，包括初始变量(等待原因的可控性、稳定性以及时间的充实性)、中间变量(消费者因等待而产生的消极情绪)和输出变量。

And the last and final line starts that the variable X is an internal variable and is not to be used by other function (this the lack of the GLOBAL keyword).

倒数第2行的变量 x 是一个内部变量，不能被其他函数使用（没有带全局属性的关键字 GLOBAL ）。

The procreation behavior of Chinese farmers ; social structure ; internal variable ; external variable

农民生育行为；社会结构；内生变量；外生变量

Secondly, we analyzed the interaction between business cycle and finance cycle. The former is the latter's external variable, and the latter is the formers internal variable.

其次，分析财务周期与经济周期之间的关系——互为作用与反作用关系，并且后者是前者的外生变量；财务周期与企业生命周期之间的关系——后者是前者的内生变量，并且具有互为作用与反作用关系。

But Bremner didnt take model as an independent variable, but an irrelative variable.

并且Bremner的评分标准也过于简单、粗略。

Adopting generalized Jordan block and algebra equivalence transform method, all of the transfer functions at different load points can be transformed to state-space description with time variable. The steady robustness of three different mode of control systems were researched by mathematic analysis. It shows that: for the high order inertia controlled object with the characteristic of nonlinear and time-variable that described by the set of transfer functions, the Luenberger function observer established according to its any algebra equivalence state-space description, if some conditions can be met, there would be a matrix of T with n′n satisfied the Sylvester matrix equation TA- FT=GC.

采用广义约当块及代数等价变换方法，可将分段的传递函数描述转换为变参数的状态空间描述，对3种典型控制系统的稳定鲁棒性所进行的理论研究表明，对同一组传递函数描述的具有非线性和时变特性的高阶惯性受控对象，依据其任一代数等价的状态空间描述所构建的Luenberger函数观测器，在满足一定的条件时，存在n′n解阵T满足Sylvester矩阵方程TA- FT=GC。

A theorem has been put forward and proved, which reveals the general and practical significance of converting high variable logical function into low variable logical function and of using small Karnaugh map for simplification.

通过本文，进一步丰富和完善了数字系统的设计工具——布尔代数的理论和实践

To assign a value to a variable, the variable name must be on the left of the assignment operator.

指派一个值到一个变量时，变量名称必须在左边的转让经营者。

Lemme create DLL which can export whole class with method and variable and global variable with global procedure.

创建一个DLL，它可以导出整个类的方法和变量，以及全局过程中的全局变量。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。