查询词典 complele induction

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.

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

A widely used strategy, which computes the lower and upper of all decision classes, was introduced in the algorithm. Thus, the task of rule induction from inconsistent data is reduced to rule induction from consistent data.

实验表明它能获取较少的规则，规则较为简单，且规则是自然按照强度由大到小排列，便于分类决策；另外，从对Monks数据集的实验可以看出所获得的规则有较好的预测分类能力。

Based on matrix analysis of motor and general theory of alternating current machines,3-phases induction synchronous motor is substituted for symmetrical 2-phases motor with even gas,then the equation for instantaneous torque of induction synchronous motor step motion is obtained.

文中采用了电机的矩阵分析方法，根据交流电机统一理论，将三相感应式同步电机用等效的具有均匀气隙的两相电机来代替，得出了感应式同步电机步进运动的瞬时转矩表达式。

The impact of parallel operation of wind turbines on power flow is analyzed, in which the squirrel cage induction motors are used as the constant speed wind turbine and the double fed induction motors are used as variable speed wind turbine.

分析了以鼠笼感应电机作为发电机的定速风电机组和以双馈感应电机作为发电机的变速风电机组并网运行对系统潮流的影响，并对不同控制模式下使用双馈感应电机的变速风电机组的电压和无功控制特性进行了比较。

This paper develops an full digital induction motor vector control platform based on DSP which is related to the subject of Natural Science Fund of Hunan Province "The Research on the System of High Peformance Intelligentized Induction Motor Variable Frequency Speed Regulating", and presents the software and hardware design scheme.

本论文结合湖南省自然科学基金项目"高性能智能化感应电机变频调速系统研究"，开发出基于DSP的全数字感应电机控制实验平台，并给出了该系统的软硬件设计方案。

Based on the former works by our group, the variable induction devices including swirl and tumble variable devices were developed and the variable induction and twice injection were combined to optimize the lean burn combustion and improve fuel consumption and emissions in this thesis.

本文在课题组前面研究工作的基础上，设计了可变涡流与可变滚流两种滑动式可变进气结构，并将可变进气与二次喷油结合起来优化稀薄燃烧过程，改进发动机经济性与排放性能。

Sensitization test at the maximal dosage was performed according to "Biological evaluation of medical devices-Part 10: Tests for irritation and delayed-type hypersensitivity", including intracutaneous induction, local induction, and provocation.

根据《GB-T 16886.10-2005 医疗器械生物学评价第10部分刺激与迟发型超敏反应试验》最大剂量致敏试验步骤进行皮内诱导、局部诱导和激发。

Results At the 7th day after osteoblastic induction, ALP was strongly positive, and at the 10th day, mineralized nodules stained with chinalizarin were jacinth. At the 21th day after adipogenic induction, the adipocytes were stained with oil red O.

结果 BMSCs在成骨诱导液中7d 碱性磷酸酶呈强阳性，10d 矿化结节染色呈橘红色；在成脂诱导液中，21d 油红O染色呈阳性。

Melting adopted from German Junker 5-ton double furnace double electric supply medium frequency induction furnace, 15-ton double furnace double electric supply medium frequency induction holding furnace, 2sets of 8-ton per hour water cold continuously melting cupola .

熔化采用德国容克公司5吨双炉体双供电中频感应熔炼炉，15吨双炉体双供电中频感应保温炉，两台8吨/小时水冷连续熔化冲天炉；混砂采用德国爱立许砂处理系统，处理能力每小时可达160吨；制芯采用德国兰佩F40数控热芯盒射芯机、F40数控冷芯盒射芯机，适应各种缸盖、缸体、飞轮、排气歧管等制芯。

The Porsche Owner: But it's my car!

可，这是我的车呀。

LOX_83}{Oh, another bunch of wackos.

{LOX_83}{呃，又一群怪人。