查询词典 propositional function

The automatic meter readingsystem should have the functions: the data acquisition function, the set up parameters, the control to system, the advanced charge system and the protectionfunction; Below latter should realize the function: The data acquisition, the electric quantity initialization function, opening machine and closing machine function and power failure protection function.

计量方式选择多用户自动远传抄表系统和单项智能电表远传抄表系统，多用户自动远传抄表系统应具有如下功能：数据采集、参数设置、系统控制功能、系统预付费功能和保护功能；单项智能电表远传抄表系统应实现以下功能：数据采集、电量预置功能，开关机功能和掉电保护功能。

Radial basis function coupled with a polynomial basis function was used as a trail function, and a Heaviside function was used as a test function of the weighted residual method.

这种无网格方法采用径向基函数耦合多项式基函数来近似试函数，采用Heaviside函数作为加权残值法中的权函数。

Among numerous propositional logic systems, Lukasiewicz、Godel、Product and L~* have obviously merits, which are exist triangle norm * in [0, 1] withthe semantic implication operator→construct adjoint pairs.

del、Product与L~*这四种有着明显的优点，即存在[0，1]上的三角模*与它们赋值格[0，1]上的语义蕴涵算子→构成伴随对。

In spite of is a propositional phrase used as an adverbial of concession.

同我们以前的计划一样，我们将把这一计划进行到。

Then, to decide whether a propositional formula can be deduced from a finite set of such formulas,we only need to decide whether the polynomial vanishes on an algebraic variety which is related to this formula set.

从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数簇上消失。

An I -theory places substantive constraints on propositional attitude ascriptions. Beliefs, for instance, are ascribable only to creatures possessing a language, only to creatures capable of describing their own beliefs in a language translatable into our own.

一个I理论对命题态度的归给进行了"实质约束"，例如：信念，我们只能归给拥有语言的生物，只能归给能够（在那种可译为我们自己语言的语言中）描述它们自己的信念。

There is a wrong opinion that a state of thing corresponds to the atomic proposition in the propositional logic.

学界有种观点认为，基本事态对应着命题逻辑的原子命题，这种观点是错误的。

Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.

在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。

To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.

强调二进制的性质这一问题，这是经常被称为布尔或命题满足。

Later, based on the same idea, Li Jun gave the theory of truth degrees of formulas in many-valued Lukasiewicz propositional logic and canonical sequence logic system.

随后李骏基于相同思想给出了Lukasiewicz多值命题逻辑与标准序列逻辑系统中公式的真度理论。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。