查询词典 sat

With such commodiousness of situation, these two learned persons sat themselves down, each in his own domain, yet familiarly passing from one apartment to the other, and bestowing a mutual and not incurious inspection into one another's business.

天接受了人们在公开场合、在家中以及私下的许多祈祷，才安排了这一切，以达到恢复年轻牧师健康的目的。但是，我们现在必须说明的是，后来另外一部分居民开始对丁梅斯代尔先

It is not easy to prepare for this component of the SAT.

它是不容易的准备，这部分的SAT考试。

They all looked a merry, even a happy party, as they sat round the table; Sir Andrew Ffoulkes and Lord Antony Dewhurst, two typical good-looking, well-born and well-bred Englishmen of that year of grace 1792, and the aristocratic French Comtesse with her two children, who had just escaped from such dire perils, and found a safe retreat at last on the shores of protecting England.

他们看起来欢快甚至开怀地打成一片，当他们围坐在桌边时；安德鲁。福克斯先生和安东尼。都河斯特老爷两人尤其体面，在讲究优雅的一七九二年他们是出身好，有教养的英国人；法兰西伯爵夫人与其两个孩子，最终逃离险境安全地撤退到保护国英国的海岸线之内。

I sat down several yards from our gate, as far away as I could get in the short concourse.

我坐在离登机口几码处，在狭小的候机厅里离他足够远的地方。

But two of the youngest soon grew tired, and both returned to town; two little girls sat down, and twined garlands, so they did not go either; and when the others reached the willow-tree, where the confectioner was, they said, Now we are there!

不过他们之中有两个最小的孩子马上就感到腻烦了，所以他们两个人就回到城里去了。另外还有两个小女孩子坐下来扎花环，也不愿意去。

Then he sat up, pushing the body from him, and gazed at it, and then around him, confusedly.

这是一个西部的老式的坟地，座落在离村子大约一英里的半山上。

In 1820 Sir William Congreve was elected MP for Plymouth (for which constituency he sat until his death), and in the following year, at the coronation of George IV.

威廉爵士在1820年当选为国会议员康格里夫的普利茅斯（这些选区他坐在直到他的死亡），并在一年后，在乔治四世加冕。

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，取得了较显著的效果。

We had said the constituent assembly even when we sat for the talks the first time.

当我们第一次座下来谈判的时候，我们就提到了立宪会议。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。