查询词典 muster

The satisfiability of conjunction normal form is a typical NP-complete problem. To study the complexity of SAT problem, a new concept of saturated clause muster has been introduced with using the characteristic of saturated clause muster. The sufficient condition of SAT problem was approved to be a polynomial and has opened out essential distinction of 2SAT and 3SAT problems.

合取范式可满足性问题是典型的NP完全问题，本文引入了一个饱和子句集的新概念，利用饱和子句集的特性，研究了SAT问题的复杂性，证明了SAT问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

That Borg-Muster match was played at night, under the lights, and Muster won 10-7 in the match tiebreaker.

Borg和Muster的比赛是在晚上的灯光球场上进行的，Muster在抢七局中以10比7赢得比赛。

Then select the suitable and anastigmatic set to constitute a physical's four group of optical zoom lenses structure. Making use of the optical software excellent turn to reduce the aberration pass muster specification of requirement.

进而选择合适的透镜组组成一个实际的四群光学变焦结构，利用光学软体优化降低像差成份进而达到规格的需求。

But no one has to muster up courage to enter a less pretentious antique shop .

但是，谁也不需要鼓足勇气才敢进不太做作的古董店。

In order to show the success of the sex education given the students, Basedow had invited all the dignitaries that Germany could muster (Goethe was one of the few to decline the invitation).

为了展示对学生进行性教育的成功，巴斯德邀请了德国所能召集到所有的权贵（歌德是少数拒绝参加者之一

28 Now muster the rest of the troops and besiege the city and capture it.

12：28 现在你要聚集其余的军兵来、安营围攻这城。

Now muster the rest of the troops and besiege the city and capture it. Otherwise I will take the city, and it will be named after me.

现在你要聚集其余的军兵来，安营围攻这城，恐怕我取了这城，人就以我的名叫这城。

Based on the title of this treatise of mine you are, likely, safe in your assumption that I am about to tell you all, using the bestest words my mind can muster, why I stopped using MacOS X and switched over to Linux.

基于我这篇文章的标题你们可能可以放心的假设我要尽我所能的，绞尽脑汁的告诉你们大家，我为什么停用MacOSX而转投Linux。

Apart from the fourth wheel and the doors, it has a 623cc engine that will muster 33 brake horsepower.

除了四门四轮外，它的发动机排量为623cc产生33制动马力。

To attain this target, we must thoroughly carry into effect the spirits of the 16th National Congress of the Communist Party of China and the 3rd, 4th, 5th and 6th Plenary Sessions of the 16th Central Committee of the Communist Party of China, adhere to the Deng Xiaoping theory and the important "three represents" ideology for guidance, fully implement the scientific development view, continuously insist on the improvement of legislative quality as the key, give priority to improving legislation on the socialist market economic system, accelerate legislation on building a harmonious socialist society, and muster strengths to well make and amend those laws serving as the backbone of the socialist legal system with Chinese characteristics, so as to provide strong legal safeguards for the building of a socialist economy, politics, culture and society.

为实现这一目标，必须深入贯彻党的十六大和十六届三中、四中、五中、六中全会精神，坚持以邓小平理论和"三个代表"重要思想为指导，全面落实科学发展观，继续坚持以提高立法质量为重点，着力完善社会主义市场经济体制方面的立法，加快构建社会主义和谐社会方面的立法，集中力量把在中国特色社会主义法律体系中起支架作用的法律制定好、修改好，为社会主义经济建设、政治建设、文化建设和社会建设提供有力的法律保障。2007年的立法计划及相关工作，拟作如下安排。一、集中力量，确保提请审议或通过的法律案22件

Finally it offers the analysis of the fault-tolerance system as well as its test verification.

这样，运行于空间环境中的系统的设计目标就是在保证系统实时性

However, it is still difficult to find out the real reason of the increase of the keratinized gingiva during the orthodontic extrusion whether it is due to the proliferation of the gingival tissue or to its elastic nature, that is because the proliferation of the fibroblasts as well as the connective tissue changes in volume and the intra-fibers spaces were all immeasurable in most of the studies.

然而，仍然难以找到真正的原因增加的角化牙龈在正畸挤压它是否是由于扩散的牙龈组织或其弹性性质，这是因为增殖的成纤维细胞以及作为结缔组织的变化量和内部纤维空格都是不可估量的，大多数的研究。