查询词典 rippling

Years, as the ring 30 closely linked水纹, emotions and my life one step at which geotaxis rippling, wavering.

30年，一如30道环环紧密相扣的水纹，我的情感与生活一步一趋地在其间荡漾、摇摆。

Spring felt the time stop on the Cheng 's glabella,the happiness is rippling slowly.

春天觉得时光停留在北城的眉间，幸福缓缓荡漾。

"Can't even drive," he muttered under his breath, his mustache rippling indignant ly, but fortunately neither Dedalus nor Hestia seemed to hear him.

"开车都不会，"他小声嘀咕着，他的胡子气愤地抖动，但幸运的是，德达洛和海斯佳似乎都没有听到。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

But more powerful than these intra-area effects, there's the rippling effect due to the interrelatedness of all areas.

但比这些内部效应更强有力的是由所有方面相关起来所产生的连锁反应。

"Tell him," he spoke, gently blowing into the shell of her ear and sending rippling thrill through her body in tingling and licentiously erotic arousal.

" / "告诉他，他说，逐渐地进入她的耳朵贝壳之内吹而且送在兴奋方面经过她的身体使震颤起涟漪和随便性爱的觉醒。

Profusion of color, in verdant luxuriance, in dulcetwarbling, in pervading perfume, in rippling undulation, in

重组法也叫做综合法，在准确地领会、把握了原文的基础上，打破原文的结构，用译者自己的话恰如其分地表达出原文的信息、含义和精神风貌。

The lake is luxuriantly green, breeze, rippling, a layer of driving a layer to distance.

湖水碧绿碧绿的，微风吹来，碧波荡漾，一层赶着一层涌向远方。

Careful and meticulous clinical observation is essential to determine whether there is myotonia, myokymia, or rippling movements.

仔细精确的临床观察对于明确患者是否有肌强直、肌纤维颤搐、波纹起伏状肌肉收缩来说，是必不可少的。

And all of that activity is rippling throughout the economy.

所有这些经济活力在经济上激起了强烈的反响。

A historical region of southwest France between the Pyrenees and the Garonne River. The duchy of Aquitaine was joined with France after the marriage of Eleanor of Aquitaine to King Louis VII in1137, but its possession was disputed after her subsequent marriage to Henry II of England.

阿基坦法国西南部一个历史地区，位于比利牛斯山和加隆河之间，在1137年阿基坦的埃莉诺与国王路易斯七世结婚之后阿基坦公国加入法国，但当她再嫁英国亨利二世后，其归属权便受到争议

There are moments when I look at the smiling , happy faces of my expectant staff and wonder how they will cope when confronted by an outraged housemaster along with an unrepentant and recalcitrant bleached blond teenager in 18 years ' time .

有时候，我看着那些满怀期待的员工微笑，幸福的脸，想着当他们遇到一位愤怒的宿舍管理员和一位不知悔改，叛逆，而且将头发染成白色的18岁少年时，他们会如何处理。