逻辑表达式

与在c及c++中不同，不可将一个非布尔值当作布尔值在逻辑表达式中使用。

You can 't use a non-boolean as if it were a boolean in a logical expression as you can in C and C + + .

断言（Predicate）：修改控制流的逻辑表达式，可以有条件地跟踪数据。

Predicate : Logical expression that modifies the control flow to conditionally trace the data .

用在数学或者逻辑表达式里代表一个可变量的符号（如x或者y）。

A symbol ( like x or y ) that is used in mathematical or logical expressions to represent a variable quantity .

可满足性问题（SAT）研究如何判定一个任意给定的逻辑表达式是否存在可满足真值指派。

We study satisfiability problem to decide that whether there exists a truth assignment which can satisfy a given logical expression .

本文最后给出了比较两条产生式规则前件所使用的化任意逻辑表达式为标准型的LISP函数。

Lastly , the paper shows a LISP function to turn any logical expression into a standard form .

作者提出了一个引入逻辑表达式约束的EIP混合整数非线性规划模型，求解结果可为EIP的规划和管理提供决策参考。

A mixed integer nonlinear programming model with logical proposition constraints was developed for EIP .

ID3学习简单的逻辑表达式能力较差。

The other is bad at learning simple logic expressions .

本文首先介绍VoiceXML与语法的关系，然后描述了语音识别原理，并推导出常用的Nuance语法形式逻辑表达式。

The paper introduces the relationship between VoiceXML and Grammar at first , then describes the principle of ASR , and deduces the common formal logic of Nuance speech grammar .

根据变迁触发和标识变化的基本规则，PN的库所和变迁能够表示为由输入、输出、操作和条件组成的逻辑表达式，该表达式可以方便地转化为PLC的LAD程序。

According to the rules of transition firing and marking processing , the places and transitions of PN can be formulated with logical expressions composed of inputs , outputs , operations and conditions . These expressions can be easily converted into the PLC LAD program .

编码器真值表与逻辑表达式的关系探讨

Discuss the relation between encoder truth table and logical expression

在这里，我们只是创建一个不同的逻辑表达式。

Here , it is leveraged to build a discriminating logical expression .

防误闭锁检查子模块使用逻辑表达式实现防误操作；

Misoperation-prevention module uses logic expression to realize misoperation prevention .

逻辑表达式的位轴对称化简法

A bit - symmetrical method for logic expression minimization

如前面所述，表达式节点还支持简单的算术和逻辑表达式。

As mentioned , expression nodes also support simple arithmetic and logical expressions .

基于算符优先算法的逻辑表达式合法性判断

Prioritized Operators Algorithm Based Logic Expression Validity Judgement

用卡诺图法化简逻辑表达式可以得到最佳简化式。

The optimum simplified expression can be obtained by the method of Carnot diagram .

决策表的逻辑表达式分析

Analysis of Logical Expression of Decision List

因此，一个逻辑表达式的所有部分都有可能不进行求值。

As a result , all the parts of a logical expression might not be evaluated .

实际上，策略表达式只是使用一个尖括号格式的逻辑表达式，断言是子句。

Policy expressions really are just logic expressions using a pointy-bracket format , with assertions as clauses .

该方法将知识表示为逻辑表达式，推理机使用表达式解析的方法推理知识。

This method represents knowledge with the logic expression , then reasoning engine works with expression parsing .

根据这一方法，可以利用八变量的各维化简表解决多于8个变量的逻辑表达式的化简问题。

Using this method the simplification of various AND-OR logic expressions with variables more than eight can be carried out .

模型中考虑了电厂间相互关联，从而得到含有逻辑表达式的非线性整数规划模型。

The interrelation between the stations is included by the model which is a nonlinear integer programming with logical expression .

然而，尽管可能世界语义学能让我们更直观地理解模态逻辑表达式，但是依然衍生出许多问题。

However , though the Possible World Semantics makes us understanding of modal expressions more intuitively , many problems emerge still .

模板是由一组依存关系特征的集合所组成的，一个依存关系特征由一个依存关系逻辑表达式表达，这样的模板具有简单直观的特点。

The template , as a set of dependency characteristics in the form of logic expression , is simple and direct .

这些值约束条件是对布尔值进行计算的逻辑表达式，并且可以与逻辑操作符&和组合使用。

These value constraints are logical expressions that evaluate to boolean values , and may be combined with logical & and | | operators .

其信息综合分析单元采用带自定义符号元素和语法规则的逻辑表达式实现，用特定的表达式解析器进行解析，完成对启动信号的综合分析与判断。

The information processing units are implemented with logic expressions with user defined symbols and semantic rules to accomplish analysis and measure of initiating signals .

通过对编码器真值表的特点分析，利用卡诺图最小项合并规则得出了直接书写逻辑表达式的具体方法。

Through to the encoder truth table characteristic analysis , has obtained the direct writing logical expression concrete method using the Karnaugh map most minor term merge rule .

成组数据（数据矩阵或数据块）检索以及按次关键字的逻辑表达式检索。

, primary keys retrieval of dispersed points , group data ( data matrix or pieces of data set ) retrieval , and logical expression retrieval with Secondary keys .

该设计法仅需对气缸工作程序式的区间进行直接地观察和分析，即可快速求出气控信号逻辑表达式。

This design method can rapidly determine the logical equations of pneumatic control signals by directly perceiving and analyzing in the sections of cylinder ′ s working sequence equation .

分别分析了++、&运算符、函数参数的运算次序、逻辑表达式、赋值表达式的副作用。

And the side effects produced by + + or & operation symbol , the orders of operation in function parameters , logical expression , bind expression are analyzed .