查询词典 quinoid form

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

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

The problem remains NP-complete even if all expressions are written in conjunctive normal form with 3 variables per clause (3-CNF), yielding the 3SAT problem.

问题依然存在NP完全问题，即使所有的表现形式是书面的合取范式与3个变量为第（ 3合），收益率的3SAT问题。

This method uses quantified conjunctive normal form formulas to represent the unknown constraints in the circuit under verification, and needs no modification of the circuit structure so that it saves the computational resources significantly.

该方法使用量化的合取范式来表示电路中出现的未知约束，并且不需要修改电路结构，有效地节省了计算资源。此外，通过使用随机并行模拟增强了可满足性算法的错误检测能力。

Conjunctive Normal Form Satisfiability: SAT solvers returns an assignment to the variables of a propositional formula that satisfies it if such an assignments exists.

合取范式可满足：周六解题的转让收益的变量的命题公式，满足，如果存在这样的任务。

The basic theory of the algorithm for test pattern generation using satisfiability is explored, including represent method of SAT-ATPG, search algorithm and analyses of achievement techniques. We describe how to represent circuits and fault detection problem as Conjunctive Normal Form . We improve an effient search algorithm suited to ATPG based on basic satisfiability algorithm.

本文研究了组合逻辑电路测试向量自动生成的可满足性方法，主要进行了可满足性的测试生成原理、实现算法、性能提高和测试向量的最大压缩等方面的研究，改进了一种有效的测试生成搜索算法SAT-ATPG，提出了隐含多路敏化的故障效应单路定向传播方法SOPCA、控制输入跟踪算法CIT和测试衍生算法TD，取得了较显著的效果。

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的布尔表达式的"合取范式"。

satisfiability problem ; restrictive formula ; conjunctive normal form ; BPSO algorithm ; hill-climbing method

其中，基于局部搜索的完全算法保证能够求得SAT问题的解，但是当问题的规模较大时往往效率很低，不实用；而不完全算法虽然不能完全保证求得SAT问题的解，但

But, if thou wear this form through mere passing conjuration , then resume thy former aspect!

但若你这形象只是来自转瞬即逝的魔法，那就恢复你的本来面目吧

The apples began to form upon the trees, acorns and bright polished conkers littered the ground we collected blackberries glowing in the hedgerows, and wild hips and haws.

我们在树篱间心满意足地捡拾着黑莓，当然还有蔷薇果和山楂果。

A communication network in the form of an ISDN is used to provide a selectively connectable second communication path (P2) between the BTS and the BSC so as to augment the bandwith available for the signals during periods of peak demand.

利用ISDN形式的通信网络来提供BTS与BSC之间的可以有选择地连接的第二通信路径（P2），以便在高峰需求时段中增大信号可利用的带宽。

Finally, the Knight strung a line between two of the monoliths and tied the horses up there.

最后，骑士们在两颗巨石之间拉了一条绳子，将他们的座骑绑在上面。

T7zN/hyS0 The island lies south by east from here.

那个岛位于此地的正南偏东方向。