查询词典 conjunctive normal form

On the extensive background of the development of normal education system of the world, this thesis makes an objective and all-sided analysis of the present situation of normal education of our country and furthermore profoundly approaches the future of the development of the normal education of our country, and confirmatively claims that the normal education of our country will surely blaze a new trail and form our own features in the process of reformation in combination with the practical situation of our country and in accordance with the universal developmental principles of normal education of all countries.

本文以世界师范教育制度发展为广阔背景，全面客观地分析了我国师范教育的现状，并依循各国师范教育共同的发展规律，结合我国实际，深入探讨了我国师范教育发展的未来的走向，肯定地认为我国的师范教育必将在改革发展中走出新的路子，形成自己的特色。

. Finally, let us consider formulae that are a conjunction of clauses - this is the conjunctive normal 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问题的解，但

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

That snake Alaric named Archbishop...

庇护。。。那个毒如蛇蝎的Alaric被命名为大教主。。。

You have done lots of magical things to be amazed at.

你做了很多神奇的事物感到惊讶。