查询词典 boolean algebra

Reducing expressions to conjunctive normal form provides a ready method of determining the equivalence of two Boolean expressions.

把表达式化简为合取范式提供了一种判定两个布尔表达式等价的简便方法。

A logical expression of the form a1︿a2︿…︿an where︿is the AND operation. A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1︿a2︿…︿an，其中︿是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的"合取范式"。

A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1∧a2∧…∧an，其中∧是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的"合取范式"。

In order to improve the limitations of GRASP, this paper proposed a new hybrid algorithm, which could resolve the problem of mixed constraints of pseudo-Boolean and conjunctive normal from.

为了改善GRASP的局限性，提出了一种能解决含有伪布尔和合取范式混合约束问题的新的混合算法。

But if you know it's a differentiationproblem, or a convex optimization problem, or a boolean logicproblem, then you at least know where to start looking forthe solution.

但如果你知道这是个变异的问题，或者是一个凸优化问题，或者一个布尔的逻辑问题，然后你起码能知道从哪着手开始寻找解决方案。

In chapter 6 and 7, having discussed the description method of the shape of bube-bent part and it's CSG data structure, a 3-D shape description method of using boolean operation by cyclinder and torus primitives is proposed.

第六章和第七章分别探讨了管材弯曲件三维描述方法及其CSG数据结构，提出了采用圆柱体素与圆环体素，通过适当布尔运算来描述其三维形状，并实施区间CSG扫描线和光线跟踪算法，在微机上实现了管材弯曲件三维浓淡图形的生成。

This is a major difference between Boolean sum operator and Tensor product operator.

这是实际设计部门乐意接受的，也是张量积方法所不具备的。1

With the generation of channel chip with cylindrical or conical difference between the Boolean operator to be, the user as long as the basic parameters can be input.

孔道的生成借助集成块与圆柱或者圆锥之间的布尔差运算得到，使用者只要输入基本参数就能得到。

The index of convergence for Boolean matrix A is the same as the index of convergence for the associated digraph D of A.

本论文对布尔矩阵和可约布尔矩阵的幂敛指数的上确界和指数集两个方面中的一系列问题进行了研究。

In Extended Duration Calculus, discrete state variables can only be Boolean, terms can only be combined by relational operators to become formulas.

在扩展的延时演算中，离散状态变量只能是布尔类型，项只有通过关系操作符的连接才能成为公式。

The statistical analysis of this large set of mutations has led us to propose a diagnostic strategy that should help with the molecular work-up of optic neuropathies.

这一大系列基因突变的统计学分析引导我们提出一个诊断策略，可以帮助我们对视神经病变进行分子学的诊断检查。

The results show that the pipe grouting changes the mechanical parameters of surrounding rocks to achieve the security of engineering objectives by reinforcing surrounding rocks and bolcking the water.

研究表明：小导管注浆一方面改变了围岩的力学参数，另一方面利用浆液的固结特性可以实现堵水和加固围岩的工程目标，使隧道在开挖过程中的安全得到保障。