查询词典 boolean algebra

The sequential Cireut model with fuzzy border is set up on the bases of Boolean defferetial and fuzzy border set.

在布尔微分及乏晰边沿集合两个基础上，建立了乏晰边沿的时序电路模型。

B. Declaration of primitive types such as boolean, byte and so on allocates memory space for the variable.

B。 对原始数据类型例如boolean，byte的变量的声明将为之分配内存空间。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

FILE.closed Return a Boolean value indicating whether the file has been closed.

返回布尔值指示该文件是否已经关闭。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

However, these methods can return any value, so if the comparison operator is used in a Boolean context (e.g., in the condition of an if statement), Python will call bool on the value to determine if the result is true or false.

但是这些方法也可以返回任何值，所以如果比较运算发生在布尔上下文中（例如 if 语句中的条件测试），Python会在返回值上调用函数 bool 确定返回值的真值。

Graph theory and topology was researched to establish graphic interpreter, boolean multiplication ⊙ of a matrix is inferred and defined, and simple sub-graphs are disconnected from complex graph by the multiplication ⊙; parameterization of graph is realized through a sequence of sub-graph entities linked by constraints.

研究了图形翻译器的图论和拓扑学理论基础，推出并定义了矩阵布尔乘运算〓，使用矩阵运算〓将复杂的图形拆分成一系列简单子图；以约束关联的子图实体序列实现图形的参数化。

The value of a conditional expression is defined as follows: If the effective boolean value of the test expression is true, the value of the then-expression is returned.

一个条件表达式的值定义如下：如果测试表达式的有效布尔值为true，则返回then表达式的值。

The suite of the if clause, expr_true_suite, will be executed only if the above conditional expression results in a Boolean true value.

74用于判断结果真假的条件表达式，以及当表达式为真或者非零时执行的代码块。

TESTSET Boolean test, with conditional jump and assignment

布尔测试，带条件跳转和赋值

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。