归纳假设

According to Lemaitre's damage evolution law and the assumption of this paper that the cyclic loading maximum tensile stress has the most contribution to the cyclic damage and assume that the stress is the maximum stress .The material parameters S which are expressed in exponential form and generalize the variation in the process of cyclic loading is exponential experience equation which provide the expectation of cyclic damage of 63Sn/37Pb material and lead it into the calculation of damaged incremental form and assume that damage keeps constant during the same cycle. The results match the experimental data. It proves that the Endochronic plasticity theorem adopt the calculation of damage environment.

根据Lemaitre损伤演化律及本文假设循环负载下拉应力在最大值附近对循环损伤的贡献最大，文中应力对各循环之损伤而言假设应力为最大拉应力，将材料参数S以指数型式表示，归纳出疲劳损伤在循环负载过程中的变化为指数型经验式，提供63Sn/37Pb材料在循环负载作用时损伤情况的预测，并引入含损伤增量式内涵时间之计算中，假设同一循环的损伤为定值，其计算结果与实验数据吻合，说明内涵时间塑性理论亦适用於损伤环境下的计算。

Based on a lot of empirical analysis, the author summerizes that the historical premises of mergers in the United States include of the development of modern-enterprise、the technical innovation、the expansile demand and the development of capital market, surveys the developments and characters of mergers in the United States. From Marx's capital concentration theory to the arguments between structure school and conduct school, from the theories of economists at the present age abroad to the achievements of the learned men in China. the author surveys the theorical developments of merger. Making a clear definition of the concept and premises of self-organizational merger on the hypothesis that enterprise is a kind of self-organization, futhermore, the author constructs the theoretical frame of self-organizational merger.

主要内容有：在对大量实证材料分析的基础上，归纳出美国企业兼并的历史前提是现代企业形成与发展、技术上的创新、市场需求的扩大和资本市场的发展，阐释了美国企业兼并的历程与特点；从马克思的资本集中理论，到结构主义与行为主义的争论与分歧，从当代经济学家们的若干理论，到中国学者对企业兼并的认识，跟踪考察了企业兼并理论的起源与发展；从企业是自组织系统的假设出发，界定了企业自组织兼并的内涵，提出了企业自组织兼并存在的条件体系，构建了市场结构、企业自组织兼并行为、产业绩效、政府调控的企业自组织兼并理论的SCPG分析框架，分析了企业自组织兼并理论的贡献。

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

Teachers reflect immediately on their teaching activities,paying attention to their teaching ideas which have been concealed in the behaviors or experiences,naming explicitly the information which only manifests in behavioral operations or practical experiences with metaphor,analogy,hypothesis, induction,etc.,and abstracting sequences of action as conception description or induction in words. All of these make possible both the teaching behavior explanation and tacit teaching idea exchanging.

教师可通过对自己的教育教学行为进行即时反思，对隐含于行为和经验之中的个人教育观念加以关注，借助隐喻、类比、假设、归纳等手段，用显性概念来命名本来只是体现在行为操作或实践经验中的信息，将不可言传的动作序列抽象为语言上的概念描述，既使教师对自己教学行为的解释成为可能，也使教师与他人就隐性个人教育观念进行交流成为可能。

Instead, a simulation generates data that can be analyzed inductively.

模拟时会利用这些假设生成一系列可以进行归纳分析的数据。

A large number of document read, recapitulative summarize; Supposing he key point of technological ability, market ability and organizational ability, through making investigation and researching datum to support the validity of supposition; then sum up the evaluation index on outsourcing decision-making.

大量的文献阅读，概括性的总结影响资源外包决策的主要因素；假设技术能力，市场能力，组织能力是关键所在，并借助对不同行业不同外包类型企业的调研数据，对假设开展效度检验，信度检验，实证性的支持所得结论；最终归纳得到影响资源外包决策的评价指标。

Yang's interference is chronically thought as the interference of energy and so on, this book comprehensively investigates relative experiments, integrates issues, clarifies thought, make conclusions, and never bring forward self hypothesis and construct model in addition to surprise the scientific circle, so the success of this book attributes to the senior physicists, it is their sweat experiments which settle the basis of this book.

Yang 的干涉被习惯性说成是能量的干涉等等，本书就是全面考察相关实验，梳理问题，理清思路，归纳总结，并没有提出自己的假设和另造模型去惊讶科学界，因此本书的成就归功于前辈物理学家们，是他们的辛勤实验奠定了本书的基础。

Therefore, it has the important scientific research value in studying the relationship between the changing of the parameters (including the temperature, the humidity, the grain radius and so on) and the electricity and radioactivity of the medium. Applied the count statistics and the numeral value analysis, the paper analyzes, concludes and contrasts the data sufficiently through the experimentation, and acquires the following results that the resistivity and the polarizability both have the negative relationship with the temperature variety of medium from 0℃ to 200 ℃. The parallactic poalarizability is consistent with the temperature variety in the plan as well as the section, but their trends are exactly opposite. Power supply voltage has no considerable influence to the resistivity and polarizability by using duality variance analysis, however, the detecting depth and the plan position influence them greatly. Different AB/2 interval that increases by degree does not influence variance and the average value of the resistivity and the polarizability remarkably. By using the least double multiplication, the relationship of temperature-time-the influence radius of the fire source is carried up by the mathematic drawing up. After discussing their correl ation, I educe the influence radius of the fire source and carry out the 'trend analysis and forecast to the spacial changing of the temperature and the parallactic polarizability in the end.

本文通过试验并应用数理统计和数值分析等相关理论对所得到的试验数据进行了分析、归纳和对比，得出了介质温度变化在0-200℃内视电阻率和视极化率与温度均表现为负相关性；视极化率与温度在剖面和平面上的变化形态具有很好的一致性，但变化趋势相反；由二元方差分析可得供电电压对视电阻率和视极化率无显著影响，但探测深度和平面位置对视电阻率和视极化率有显著影响；通过假设检验可证不同AB／2递增间隔，对视电阻率和视极化率的方差和平均数影响都无显著性差异；应用最小二乘法对温度——时间——火源影响半径之间的关系进行了数学拟合，讨论了它们之间的相互关系，得出了火源影响的有效半径，太原理工大学硕士研究生学位论文并对温度和视极化率的空间变化作了趋势分析和预测。

The first-part of this paper evaluates the main stability theories concerned and concludes the conceptualization steps and essentials covering the various methods. Different disturbed-measure functions are studied in terms of their formulations and characteristics. Both Lyapunov functions and TEFs can be constructed only in a heuristic way of case-by-case. Ignoring changes in the disturbed-measure function's value after clearing the fault, Lyapunov functions and TEFs are applicable to neither nonautonomous one-machine infinite-bus systems nor any multimachine systems. Moreover, TEFs cannot guarantee the sign of errors because they don't satisfy the conditions for Lyapunov functions.

作为第1篇，文中归纳出这3种方法的共同分析步骤和要素，并比较各种受扰程度函数，指出：李雅普诺夫函数和TEF的建立都必须从具体模型出发并只能依靠启发的方式，它们没有考虑受扰程度函数的值在故障清除后的变化，因此既不适用于复杂模型的单机系统，也不适用于任何多机系统；又由于这2种方法都基于很强的假设，故分析的误差可能非常大，而TEF法更是由于不满足李雅普诺夫函数的条件而可能得到冒进的结果。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。