归纳的

The main contents are listed as follows: Analyse and research of the data mining technique. the dissertation summarizes,analyses and studies the current status of the data mining technique in our native country and overseas widely and roundly research . The definiens and orientation of the data mining is reviewed in brief first.

对数据挖掘技术的国内外研究现状进行了广泛而全面地归纳、分析和研究，对数据挖掘的定义及定位进行了简要的回顾，在数据挖掘基本概念的基础上，对数据挖掘常使用的技术和研究的对象进行了详细地分类、归纳和总结。

The dissertationsummarizes,analyses and studies the current status of the data mining technique inour native country and overseas widely and roundly and then summarizes anddiscusses its developmental trends and hot research fields. The definiens andorientation of the data mining is reviewed in brief first. Based on the basic conceptsof data mining,this dissertation classifies and summarizes the objects of data miningand the common techniques in detail.

对数据挖掘技术的国内外研究现状进行了广泛而全面地归纳、分析和研究，对数据挖掘技术的未来发展趋势和热点研究领域进行了总结和探讨，对数据挖掘的定义及定位进行了简要的回顾，在数据挖掘基本概念的基础上，对数据挖掘常使用的技术和研究的对象进行了详细地分类、归纳和总结。

In this thesis, we define the notions of μ-semirings, A-semirings,*-μ-semirings and *-λ-semirings which extend the notions of inductive *-semirings. we also study the basic properties of these semirings and discuss the interrelation between them. Also, we discuss whether these semirings are closed for the construction of formal power series via a fixed point-theoretical viewpoint.

本文给出了归纳术*-半环及弱归纳*-半环概念的推广，即μ-半环、λ-半环、*-μ-半环以及*-λ-半环的定义；研究了这些半环的一些基本性质以及它们之间的相互关系；同时结合形式幂级数及不动点理论，讨论了这些半环关于形式幂级数构造的封闭性问题。

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

This paper presents a novel decision tree induction method,which is purely driven by the data used,and can overcome the drawbacks mentioned above.

提出一种新的基于粗糙集技术的决策树归纳算法，它是一种完全数据驱动的归纳算法，可以克服ID3算法的上述不足。

When infants lack of knowledge about objects, they will reason based on objects' perceptional similarity; when they are endowed with knowledge related to objects, they will reason by using the two clues.

对于幼儿来讲，归纳推理是其早期概念形成和发展的基本条件。目前心理学领域有关幼儿的归纳推理研究已经产生了丰硕的成果。

Upon such synthetic, that is, ampliative principles, all our a priori speculative knowledge must ultimately rest; analytic judgments are very important, and indeed necessary, but only for obtaining that clearness in the concepts which is requisite for such a sure and wide synthesis as will lead to a genuinely new addition to all previous knowledge.

我们预测性质的知识就是建立在这种归纳性的，拓展性的原理之中。分析只能带来概念的明确，但是归纳却能带来新的知识。

As a result, when in , subset of MA, obtained by imposing constraints on MA, AL is intensional because =L is equivalent with ≡.

在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAsynIF，此时逻辑等价与结构同余关系是等价的，即AL在MAsynIF中是内涵的。

1The main heat dissipation way of bulb is the pressure air from blower.(2)The design of Air Guide could improve the efficiency of bulb heat dissipation greatly.

经由热流实验与模拟分析的结果，我们可以归纳大致归纳以下几个结论：（1）灯芯的主要散热途径是藉由鼓风扇提供的强制气流，将热气带出。

Marxism deems that though induction is not an inexorable inference and the authenticity of its prem...

马克思主义认为，归纳虽然不是一种必然性的推理，它的前提的真实不能保证它的结论必然真实，但这并不等于说，归纳推理就是一种毫无根据的推理。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。