查询词典 Boolean value

In recent years, there are many different contributions to research on extraction of Boolean unsatisfiable subformulae, due to the increasing importance in numerous practical applications. The existing algorithms are introduced and compared according to their types. Then we present our recent research works to derive unsatisfiable subformulae.

针对近年来出现的许多求解布尔不可满足子式的研究工作，根据算法的类型归类比较，对各种求解方法进行了概述评论，并简要介绍了在该领域所做的一些研究工作。

In datapath extraction, we build the environments for all datapath units by making assignments to the Boolean interface variables and some word variables. Binary CSP modeling then translates the RTL datapath satisfiability problem to a binary CSP description, which in turn will be sent to a binary CSP engine and solved by conflict-directed backjumping search strategy. The answer will be either a witness of satisfiable instance or a unsatisfiable decision.

数据通路提取通过对接口布尔变量和某些字变量赋值，为各个数据通路器件建立环境；二元CSP建模则根据该环境和各个数据通路器件的功能，将数据通路的可满足性问题转化为二元CSP描述；该二元CSP问题的描述被送入到二元CSP引擎，并采用冲突引导的回跳搜索策略进行求解，获得有解的例证或无解的判定。

Then, with an exemplification of the hierarchical versions of the design of turbine blades, the expressions in Boolean matrices of versional architectural information, attributes and attribute relationship between versions were given.

以涡轮叶片设计的多级版本为例，给出了设计过程中版本结构信息、版本属性及版本关系属性信息的布尔矩阵表达方法。

Since the structure and functioning of Boolean circuits is the most transparent and tractable among all computation models, they play very important role in theoretical investigations.

由于结构和运作的布尔电路是最透明和听话的计算模型中，他们发挥非常重要的作用，理论的调查。

Even for something as simple as negating a boolean, you have to write custom code and reference it in your XAML file.

即使是这样简单的事否定一个布尔值，您必须在您的XAML文件定义代码和参考。

A Boolean representing whether the results are paginated.

一个布尔型来标示结果是否分页显示。

Is_paginated'' : A Boolean representing whether the results are paginated.

is_paginated'' ：一个布尔型来标示结果是否分页显示。

In Object Pascal, Boolean expressions cannot be equated with integers or reals.

在 Object Pascal 中，布尔表达式不能等同于整数或实数的。

Boolean Toggles the display of the current count of posts in each category.

boolean 显示每个类别中当前文章的数目。

A dangerous signal recognition logic based on Boolean algebra with fuzzy shell and re- vised Gaines-Rescher implication operator is established,and the semantic properties of this logic are investigated,some interesting results are obtained.

建立了一种基于带Fuzzy壳Boole代数和修正的Gaines-Rescher 蕴涵算子的险象识别逻辑，并对这种逻辑进行了语义方面的研究，获得若干结果。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。