查询词典 conjunctive

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

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

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

Determining the capabilities of technologically systems as well as new conjunctive therapies will also be beneficial in the future.

确定技术系统的能力和新的联合疗法将来会从中受益。

The conjunctive relation of units that expresses the ''.

具有连接关系的单位表示意思的转折。

With does not have the conjunctive force of and.

With 不具有 and 的连接作用。

My virtue or my plague, be it either which--She\'s so conjunctive to my life and soul.

不管这是我的好处或是我的致命的弱点，我的生命和灵魂是这样跟她连结在一起。

Music nursing was the conjunctive product of music, psychology and nursing.

音乐护理是音乐、心理学、护理学结合的产物。

Let us say that M is the conjunctive proposition expressed by my utterance of Moore's sentence.

让我们称M是这个Moore语句所表达的关联命题。

He got into race cars, while my father liked go-karts more, so I didn't really pay attention to what Diego was doing, as I was just racing karts.

叔叔开的是跑车，而我父亲更喜欢越野卡丁车，所以我并不太关注Diego在做什么，我仅仅在跑我的卡丁车而已。

She is at present gone to look for the best nectar and ambrosia to regale me this evening.

她今晚为款待我，现在又去准备美酒佳肴去了。