查询词典 Sat.

It is proved that if'sparse NP complete sets under polynomial-time Turing reductions exist'then 'SAT is polynomial-time non-adaptively search reducible to decision', and that if 'P is not equal to NP'then either'SAT is not polynomial-time non-adaptively search reducible to decision'or'SAT is not polynomial-time truth-table reducible to bounded approximable sets', and that if'P is not equal to NP'then'sparse complete sets for NP under polynomial-time disjunctive reductions do not exist'.

因为用现有的证明技术不可能绝对地解决这个假设，本文研究了这个假设与其他关于SAT结构性质的假设之间的关系，证明了如果'NP有多项式时间图灵归约下的稀疏完全集'则'SAT是多项式时间并行地搜索归约为判定'，以及如果假设'P不等于NP'，则要么'SAT不是多项式时间并行地搜索归约为判定'，要么'SAT不能用多项式时间真值表归约归约为有界可近似集'。

First, a novel optical switch with thermal compensating mechanism is proposed, and then a parametric design program is developed for automatically generating the solid model of the switch. The solid model of the switch is exported in ACIS SAT file format to finite element software ANSYS for thermal analysis.

首先，提出一具热补偿机构之新型光开关，并使用参数化绘图程式以自动绘制光开关之实体模型；光开关之实体模型可利用ACIS SAT档案格式输出，接著在有限元素软体ANSYS中汇入此SAT档案，以供对光开关进行热分析。

Here's an example of this phenomenon: Before Mount Holyoke went test-optional, in 2001, its middle 50-percent SAT range (a frequently cited test barometer) was 1170-1360. A few years later, with roughly 70 percent of freshmen submitting scores, the range jumped 60 points on both ends.

举个这种现象的例子来说：在里约克学院实行测试可选制之前的2001年里，50%的报考学生的 SAT 成绩在1170—1360之间波动；几年后，大约70%的新生提交了成绩单， SAT 成绩最高最低分均上升了60分。

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问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

Finally, a new hybrid routing algorithm was proposed by combing the PB-SAT algorithm and Pathfinder.

最后，基于PB-SAT和几何算法的结合，提出了P-PB-SAT新型混合算法。

More generally, the phase transition of 2 3 SAT problem was discussed in this paper.

文章着重讨论了SAT问题的更一般形式，即2－3－SAT问题的相变现象。

First, a SAT solver is used to determine whether the preimage solution has been exhausted. When a preimage solution is generated by the SAT solver, a specific ATPG process is adopted to minimize the sets of assignments to state variables. This in turn reduces the number of all the preimage solutions and accelerates the fixed point iteration process.

SAT用来判断是否已经穷尽所有解；每次SAT枚举出一个前像解后，采用一个专门的ATPG过程减少状态变量上的赋值，从而减少前像解的总个数，加快后面的不动点迭代处理。

This SAT solver solved the problem by searching a satisfiable 2-SAT sub problem.

该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。

Objective To study the causes, diagnosis and treatment of subacute thyroditis SAT���. Methods Clinical data of SAT were analyzed retrospectively.

探讨亚急性甲状腺炎的病因、诊断及治疗方法回顾性总结分析1999～2007年间经治疗的SAT的临床资料。

Rich experience in teaching toefl / sat with effective organizational and planning skillsbachelor's degree or above; passion for educationparticipated in the related examination and obtained high scores,having an in-depth command of toefl/sat test technique enthusiastic, animative, broad range of knowledge strong interpersonal communication, coordination, organizational skills and a high degree of team spirit and responsibility

精通toefl/sat培训，具备组织制定开班计划能力英语本科学历以上；上课激情生动，热爱教育事业参加过相应科目的考试并取得高分，对所应聘考试项目的题型有相当的研究赋有朝气和活力，上课生动活泼，知识面宽广具有很强的人际沟通、协调、组织能力以及高度的团队精神，责任candidate requirements

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失