查询词典 decade

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定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Each employee have been there more than a decade of experience training instructors Strict induction.

每位员工都经过有十年以上工作经验的指导员严格培训上岗。

The Texas blast was the worst US industrial accident in more than a decade.

得克萨斯城炼油厂爆炸是逾10年来美国发生的最严重工业事故。

Today he is as widely respected by rollerbladers for his artist creations and design as he was more than a decade ago when he invented a groundbreaking persona for inline skating.

今天他是作为广受尊敬，由rollerbladers为他的艺术家的创作与设计，因为他是10多年前，当他发明了具有开创性的人物，为滑冰。

The role of IT worker has evolved over the past decade. Initially, the job was insular.

角色的IT工作者在不断变化，在过去十年初期阶段，该工作是狭隘的。

It is the first time in a decade that the intake has been reduced.

这是10年来的第一次。澳大利亚的失业率上星期升至5.2%。

Cavadas said the patient will need to learn to eat and speak intelligibly again after more than a decade of not being able to, but he saw himself in a mirror and was so happy he smiled.

Cavadas说，因为病人十多年没有吃东西和说话了，所以还须重新学习。但是他看到了镜中的自己，开心得笑了。

In our opinion, the 1986 Act was the most important economic event affecting the insurance industry over the past decade. The 1987 Bill further reduced the intercorporate dividends-received credit from 80% to 70%, effective January 1, 1988, except for cases in which the taxpayer owns at least 20% of an investee.

就我们个人的看法，1986年的法案是近十多年来保险业界最重要的经济事件，1987年的新法案进一步将企业间股利可扣抵的比率由80%减为70%，除非被投资公司有超过20%的股权是由一般投资人所拥有。

The method was fully developed by Terre Armee Internationale based on a decade of research on model scale and full-scale structures, supplemented by numerical modeling.

该方法由TERRE ARMEE国际创立，建立在数十年的比例模型和实体结构的研究基础上，并进行了数值模拟。

The effort, called Interphone, is a decade-long study involving 13 countries.

该项目被称为Interphone，是一项涉及十三个国家为期十年的研究。

I'm not an actor. I'm a professor of paleontology.

我不是演员，我是古生物学教授

Spider Network Web site that is a very image of the name.

网络蜘蛛即Web Spider，是一个非常形象的名字。