查询词典 sat

ATPG is widely used in testing, and in terms of branch-and-bound searching, it is equivalent to a SAT solver. ATPG has two attractive features: It uses structural information of the circuit in decision making, and it handles X states more easily than a SAT solver. This report focus on fast ATPG engine specifically applied to PreImage computing in Unbounded Model Checking.

自动测试激励生成是测试领域的概念，它本身的求解过程是一个等同于可满足性问题的分支限界搜索，它的优点在于可以很好的利用电路的结构信息进行启发式搜索，同时可以灵活的处理不确定位。

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过程减少状态变量上的赋值，从而减少前像解的总个数，加快后面的不动点迭代处理。

I sat in the chair and my cat sat on the rug.

我坐在椅子上，我的猫坐在地毯上。

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

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

As they sat in a buffet restaurant looking over the broad St Lawrence River, a young man sat down with them.

当他们坐在一家自助餐厅里眺望广阔的圣劳伦斯河时，一个年轻人坐在了她们身边。

As they sat in a café looking over the broad St Lawrence River,a young man sat down with them.??

当她们坐在咖啡馆里眺望广阔的圣劳伦斯河时，一个年轻人坐在她们的身边。？？

On Thursday evening, on a cold winter morning, on the afternoon of April 8, on the night of his return5. As they sat in a buffet restaurant looking over the broad St. Lawrence River, a young man sat down with them.

wide 和 broad 都是"广阔"的意思，常可换用，但说 wide 时，着重于一边到另一边的距离，而说 broad 时着重于幅面的宽广，可修饰背、肩、胸，心胸等的宽阔，还有"开朗"之意。

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

She sat beside her sister, as unlike her in looks, with her dark hair and heavily lidded eyes, as she was in bearing and demeanor; where Narcissa sat rigid and impassive, Bellatrix leaned toward Voldemort, for mere words could not demonstrate her longing for closeness.

她坐在她妹妹旁边，十分不相像，她的深色头发和沉重的耷拉着的眼角，似乎在克制着承受着什么，纳西莎冷漠僵直地坐着，贝拉里丝则倾向伏地魔，似乎仅仅语言不能显示她对亲近的热切。

But GST= 0.156, Nm=1. 588. As a result, the foundation of Youyongchi Avicennia marina population was the result of the migration of hypocotyles and human factors.

这项工作可以为海岸防护林中新引进种类的判定以及为研究种群建立者效应方法的确定提供科学依据。

The two-dimensional CDRC-ADI-FDTD update equations for collision unmagnetized plasma are induced. The unconditional stability of the CDRC-ADI-FDTD formulation for collision unmagnetized plasma is obtained by the examples.

推导了碰撞非磁化等离子体中的二维CDRC-ADI-FDTD迭代公式，并用算例验证了碰撞非磁化等离子体CDRC-ADI-FDTD算法也是无条件稳定的。