归纳

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算法的上述不足。

In this framework for rule induction,the authors particularly focus on the experiments with the WHISK algorithm for generating patterns.Experimental results show that the system performs well on both single-slot and multi-slot extraction tasks.

在用于抽取规则归纳的框架下，还重点对用于生成抽取模式的WHISK学习算法进行了实验对比分析，结果表明系统对于单槽和多槽数据都具有不错的归纳学习能力。

This is the process of inductive reasoning, which moves from particular observation to general conclusions.

这就是归纳推理的步骤，从个体的观察归纳出结论。

Jevons's foundation to the probabilistic inductive logic, until the system of modern probabilistic inductive logic which Carnap represents.

内容摘要：概率归纳逻辑的发展历程，从中揭示其兴起的原因，并分析现代归纳逻辑发展的一些新趋势。

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.

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

The second part is the key of this paper. The author focuses on making an induction of expressive skills, cognitive process and beauty appreciation changes on color language in western painting in different periods, from primitive society to the ancient Greece, from Middle Ages to Renaissance, from the 17~ and 19~ century to the 20~ century. At the same time, the author makes a comparison between the typical works of typical artists and analyses the typical color language and its expressive approach. In addition, the author brushes the evolution relationship contained in color, such as symbolism, decoration, mitation, abstract and expressiveness of language, with the purpose of displaying the main features of color language in different periods and discovering the evolution relationship , its necessity and sequence.

其次，本文重点归纳总结了西方美术史各阶段，包括原始社会、古希腊到中世纪、文艺复兴、十七至十九世纪直至二十世纪绘画色彩语言的表现技巧和认知过程及审美嬗变，在此基础上纵向比较了以上各阶段典型画家的典型作品中的色彩语言和表现方法，并对西方绘画中具有象征性、装饰性、模仿性、抽象性和表现性的色彩语言及其演进关系也进行了纵向逻辑梳理，从而归纳出各个时期绘画色彩语言的基本特点及其历史演进的必然性和秩序性。

According to gathering plentiful relative datum of of Xuer section of Yazihe structure and seismic、 well logging、 surveys、 core ect during the exploitation and exploration,the research starts with analise of slice data、 core observation and core specimens,then combines with coordination、 analyse、 concluding and the former research result.The article recognizes the tectonic feature of Xuer section of Yazihe structure and it"s tectonic evolution,analyzes the distributing feature of oik、 gas、 water、 their dominated factor、 the pressure feature of gas reservoir and especially the conservative condition of Xuer gas reservoir.At the same time,the article acquaintances the depositional feature and sedimentary environment and discusses the main genesis typeof reservoir sandstone.By analyzing the physical feature and physical relation of reservoir rock, the article first classifies and evaluates the reservoir rock simply ,then concludes it"s feature of reservoir and permeability. According to detailed core observation and fracture explanation in well logging ,the article uses single well fracture indentifying and evaluation to confirm the section where the fracture growths,putting emphases on the method to get parameter of fracture,such as fracture width and fracture porosity.Finally,combining with the principal curvature for tectonics deformation the article predicts the plane fracture of reservoir and weave the general evaluation map of crack fracture growth.

本文主要是通过大量、全面地收集鸭子河构造须二储层及气藏在油气勘探和开发过程中取得的地震、录井、测试、岩心及开采等方面的相关资料，从薄片资料、现场岩心观察和岩心样品分析资料入手，通过室内整理、分析、归纳，并结合前人的研究成果，认识鸭子河构造须二段的构造特征并分析构造的演化，浅析其油、气、水的分布特征及控制因素，气藏压力特征、重点分析须二气藏的保存条件；了解储层的沉积特征和沉积环境，从多方面讨论储层砂体的主要成因类型；分析储层的物性特征及物性间关系，并对储集岩进行简单的分类评价，归纳其储渗特征；通过详细岩心观察和测井裂缝解释，进行单井裂缝识别与评价，来确定裂缝发育层段，重点放在裂缝参数的求取，如裂缝宽度、裂缝孔隙度等，并结合构造曲率法进行储层平面裂缝的预测，编制裂缝发育综合评价图。

This thesis adopts a positivism method to classify and analyze the cases in connection with the administrative litigation plaintiff's qualification for disclosing the true attitudes and skills exercised by judges in reviewing such cases. And try to give a whole view of the recognition of this kind of disputes, try to find the common element and the regular trend, try to make the issue in concrete by classifying, all this make the different cases have more lively characters.

本文不拟在理论层面多做论述，而是采用案例归纳分析的方法，通过整理、归纳、分析法官对"行政诉讼原告资格争议"的司法审查标准和判决处理，试图对行政诉讼原告资格的认定做一个梳理，力图找出其中共同的因素和规律性的趋势，并通过分类使其具体化，极大地强化了不同个案的针对性。

The main jobs of this paper are as followed: 1 The reuse of the frame design technology for aircraft assembly fixtures is researched. a frame line part library is built with the templet driven technology, the reuse of the frame line part come true by the tools for instantiation and instance modification. The design resources are effectively used, some repeating work is cut. 2 Two methods to obtain the assembly feature are proposed: the straight way by the Enumeration method and the indirect way by project features to the assembly plane. All of the assembly features of the frame and the adjustable bearings are obtained by these two methods which makes the frame automatic assembly technology for aircraft assembly fixtures come true. 3 The frame automatic assembly technology aircraft assembly fixtures based on assembly features is researched. A binary tree assembly model is used to express the assembly information of the frame for aircraft assembly fixtures, the automatic assembly between the frame, the aircraft and the adjustable bearing is completed within the three steps: distribute, obtain and evaluate assembly feature. Finally, the efficiency of the frame assembly design is proved. 4The frame interpart modeling technology for aircraft assembly fixtures is researched, the intersection methods are concluded and the arithmetic of the single-cut, double-cut and inter-cut intersection is proposed, the interpart fast modeling of the frame design for aircraft assembly fixture come true. 5Based on the researches mentioned before, a sub-system of frame fast design for aircraft assembly fixture is developed on CATIA. The sub-system is used to design the aircraft assembly fixtures in a large aeronautics corporation and make a good- effect.

论文的主要工作如下： 1研究了飞机装配型架骨架设计重用技术，在总结归纳骨架线框结构类型的基础上，应用模板驱动的方法建立了骨架线框库，通过骨架线框零件的实例化和离线编辑实现骨架线框的重用，有效利用设计资源，减少重复劳动； 2提出穷举几何对象的装配特征直接获取方法，遍历零件模型的几何对象，从中捕捉所需装配特征，该方法简捷、高效；提出向装配面投影的装配特征间接获取方法，该方法在现有特征基础上生成装配特征，解决了部分装配特征难以直接获取的问题； 3研究了基于装配特征的飞机装配型架骨架自动装配技术，采用一种二叉树装配模型表达骨架的装配关系，并通过装配特征的分配、获取和赋值三个步骤，实现了骨架分别与飞机产品和可调支承的自动装配，避免了繁琐的人工交互操作，提高了骨架设计的效率和规范化程度； 4研究了飞机装配型架骨架零件间建模技术，在总结归纳骨架元件相贯处理方式的基础上，提出了骨架元件单剪切相贯、双剪切相贯和互剪切相贯的实现算法，简化了骨架相贯处理的过程； 5基于以上研究，在CATIA平台上开发了飞机装配型架骨架快速设计子系统，并应用于某大型航空企业的装配型架设计，提高了设计效率和设计质量。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。