查询词典 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.

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

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。