查询词典 variable

A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.

许道云 ，董改芳，王健改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。

Then, it is argued that the first of the two clauses of the construction is a correlative clause taking the form of an operator-variable construction (the variable being the wh-word), and that the relativization is realised through Conjoin-α, a default operation of Adjoin-α, which conjoins the operator-variable construction with the head, the wh-word in the second clause (in the form of an E-type pronoun).

然后作者提出，这种自由关系分句结构的第一个分句即是一个以算子-变量结构形式存在的关联分句；该分句通过Conjoin-α操作过程与第二个分句中以指示代词形式出现的wh-词接合，即形成自由关系分句。

The system is constructed by the five important modules including the realizations about the tolerant classes based on tolerant relation in uncompleted information system, self-determining the variable precision value of variable precision rough sets model, influence of variable precision value on rules and coverage and "Gray" region.

主要包括在不完备信息系统下的相容类求解、变精度粗集模型下的变精度值自主式求解以及该模型下的规则和覆盖求解、Gray区域求解等。

By the Utev S.and Peligrad M.inequality of-mixing random variable sequence,we obtain the Hájeck-Rènyi inequality and three series theorem and Chung′s strong law of large numbers for-mixing random variable sequence,which extend and improve the corresponding results of Gan shixin and Wu Qunying,these resuls are consistent with that for independent random variable sequence.

不等式，得到了-混合随机变量序列的Hájeck-Rènyi不等式、三级数定理和Chung型强大数律，改进了甘师信与吴群英等人的结论，达到了与独立时一致的结果。

Starting from symmetry properties of equation and considering the variable coefficient of the equation as a new dependent variable,a new general method to solve variable coefficient equation is proposed.

将非线性方程的变系数看作与实际物理场具有相等地位的新变量，利用普遍的经典李群方法可以求解某些特殊类型的变系数方程，其解由相应的常系数方程的解表示。

Is the address of a variable or a variable in which the address of another variable is stored.

指针是一个变量的地址或者是存储了另一个变量地址的变量。

C variables in the positioning of the compiler things, as long as the definition of beginners variable and the variable scope, Compiler put a fixed address to this variable.

在C中变量的定位是编译器的事情，初学者只要定义变量和变量的作用域，编译器就把把一个固定地址给这个变量。

C# basically has kind of two kinds of data, value kind and cite type, when value kind is delivering variable, those who deliver is the value of data, and cite when the type is delivering variable, the variable address that pass.?

C#主要有两种数据类型，值类型和引用类型，值类型在传递变量的时候，传递的是数据的值，而引用类型在传递变量的时候，传的变量的地址。？

If your library needs to get at an external variable (external to the library, not just to one of the modules within it), you must use the ..got type to get at it. The ..got type, instead of giving you the offset from the GOT base to the variable, gives you the offset from the GOT base to a GOT entry containing the address of the variable. The linker will set up this GOT entry when it builds the library, and the dynamic linker will place the correct address in it at load time.

如果你的库需要得到一个外部变量(对库来说是外部的，并不是对它所在的一个模块)，你必须使用。。got类型得到它。。。got类型，并不给你从GOT基地址到变量的偏移，而给你的是从GOT基地址到一个含有这个变量地址的GOT入口的偏移，连接器会在构建库时设置这个GOT入口，动态连接器会在载入时在这个入口放上正确的地址。

The caller must provide the address of the variable to be set (technically a pointer to the variable), and the called function must declare the parameter to be a pointer and access the variable indirectly through it.

这种情况下，调用者需要向被调用函数提供待设置值的变量的地址(从技术角度看，地址就是指向变量的指针)，而被调用函数则需要将对应的参数声明为指针类型，并通过它间接访问变量。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了