有奖纠错
| 划词

This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.

提出一种无界模的前像计算方法,方法有效结合ATPGSAT,充分利用各自的优点.

评价该例句:好评差评指正

用户正在搜索


Calido, caliduct, calidus, caliectasis, caliectomy, Calif, Calif., califate, California, California poppy,

相似单词


3G, 401(K), a,

声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

《基督山伯爵》精选版

The rest of the group seated themselves as they chose, with much noise and good-natured shoving.

其他客人吵吵落座,彼此友好推推搡搡。

评价该例句:好评差评指正
明日传奇 第02季 S02

You trapped each of us in our own personal hell.

你让我们痛苦活着。

评价该例句:好评差评指正
纽约杂志(视频版)

You see, what happened is both my eyes worked perfectly individually.

你看,发生的事情是我的双眼完美工作。

评价该例句:好评差评指正
CNN 听力 2014年10月合集

At least give states, specifically detail their power to treat the sick involuntarily, at least four states mean business.

至少赋予州, 可以细化权力不治疗病人, 至少四个州将其视作商机。

评价该例句:好评差评指正
艰难时世(下)

They sprang back, and fell upon their knees, each hiding her face upon the other's neck.

她们后一跃,跪倒在把脸埋在对方的脖子上。

评价该例句:好评差评指正
超级大国的兴衰

As the former European powers lost their imperial holdings, both of the superpowers added eagerly to their spheres of influence.

由于之前的欧洲大国都失去了的帝国势力,这两个超级大国也就在急切增长的影响势力。

评价该例句:好评差评指正
经济学人-科技

Dr Julius did the pioneering work on temperature. He and Dr Patapoutian, acting independently, then advanced this work. After that, Dr Patapoutian moved on to look at mechanical stimulation.

朱利叶斯博在温度方面做了开创性的工作。他和帕塔博蒂安博独立推进了这项工作。 在那之后,帕塔博蒂安博继续研究机械刺激方面的内容。

评价该例句:好评差评指正
最后的莫希干人(上)

Hawkeye and the Mohicans conversed earnestly together in Delaware for a few moments, when each quietly took his post, in order to execute the plan they had speedily devised.

鹰眼和莫希干人在特拉华州认真交谈了一会儿,然后安静就职,以执行他们迅速制定的计划。

评价该例句:好评差评指正
Aerial America 《俯瞰美国》

Built in 1842 by freed people of color, it opened its doors to blacks and whites, who each raced to buy pews in a church for their own communities.

它由获得由的有色人种于 1842 年建造,黑人和白人敞开大门,他们争先恐后在教堂里为己的社区购买长椅。

评价该例句:好评差评指正
双语版 TED-Ed 演讲精选

He was also certain that while one factor could trigger two different effects, and two factors could each independently lead to the same effect, no effect is caused by two factors in conjunction.

他十分肯定一个因素会引发两个不同的结果,并且两个因素可以独立引起同一个结果,没有一个结果是由两个因素共同引起的。

评价该例句:好评差评指正

用户正在搜索


caligo, Caligoida, Caligula, caligusiasis, calina, Calinago, caline, calioben, caliology, caliomycin,

相似单词


3G, 401(K), a,
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接