归纳法
- 名induction;inductive method
-
其中借鉴了现有的已被广泛使用的包装器归纳法的思想和DOM树方法。
Here the Wrapper induction and DOM tree methods are utilized which had been used widely in previous researches .
-
多级全混流串联模型E(t)函数的数学归纳法推导对二甲苯氧化反应器连续全混流模型
The Use of Mathematical Induction to Deduce E ( t ) Function of the Mould of CSTR of Multi-degree Series Connection . Cstr Model for p-Xylene Oxidation Reactor
-
模糊规则归纳法及GDP主要影响因素分析
Fuzzy Rule Induction and the Analysis of Some Critical Factors Affecting the Increase of GDP
-
用数学归纳法证明带Lagrange余项的Taylor中值定理
Proving the Taylor Formula with Remainder of Lagrange by Mathematical Induction
-
推理规则实现演绎法、归纳法、Prolog样式的统一或其他人工智能(artificialintelligence,AI)样式的规则。
Inference rules implement forward inferencing , backward chaining , Prolog-style unification or other artificial intelligence ( AI ) - style rules .
-
首先利用向量Lyapunov函数法和数学归纳法,得到了该系统群指数稳定的充分条件以及指数收敛率。
Firstly , some sufficient conditions for exponential stability of the system are obtained by applying vector Lyapunov function method and mathematical induction method .
-
基于该误码率表达式,采用逐步二次归纳法研究了分布MIMO的最佳信道传播时延;
Base on the theoretical BER expression , we adopt a sequential quadratic programming method to investigate the optimum channel propagation delays in distributed MIMO systems .
-
通过分析多面形非圆型面的结构特征,建立了各特征参数之间的关系式,采用数学归纳法导出了任意n面形非圆型面的设计定理。
Though analyzing the structure characteristics of arbitrary n-polygon non-circular sections , the mathematical formulas among the characteristic parameters were set up , and the theorem for designing this kind of sections was deduced by mathematical induction method .
-
文献〔1〕建立了Г-环M的QN-根.本文通过其它途径给出了该根另外二个等价性定义:(1)可用超限归纳法构造出QN-根;
The QN-radical of gamma ring M had been established in ( 1 ) .
-
用Hall定理结合归纳法计算了p元有序格上的Mbius函数,并由此讨论了分布模式数的Muius反演公式。
We calcuate Mobius function on the ordered lattice of p elements by inductive method and Hall theorem . Then , we discuss inverse M bius formula of the distributive pattern numbers .
-
介绍了一种以基于RS码的TA码为元素,通过归纳法构建IPP码的编码方案。
In this paper , an explicit construction method for IPP codes is presented by recursion , and the TA codes are based on RS codes as the ingredients .
-
三种方法中,Laue方程法和直观晶面图形归纳法是文献上所未见过的。
Both Laue equation method and crystal plane figure method have not been found in the published papers .
-
并产生了一些比较有影响的验证方法,如Ban逻辑方法、GSP方法、串空间模型方法、Paulson归纳法、Petri网方法等。
There have been many effective methods , such as Ban logic , CSP , strand spaces , Paulson 's inductive set of rules , and Petri nets methods , etc.
-
应用动态规划向后归纳法和贝叶斯方法,研究了一类特殊单臂Bandit报酬过程的最优决策问题。
The optimal decision problem of a special one-armed Bandit reward process was investigated by using dynamic programming backward induction and the Bayesian approach .
-
提出一种扩展一阶B型Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例。
In this paper , an expansive first-order B-type Cooper transformation pattern is presented . Its correctness is proved by the structural induction , and an example is given .
-
以连续归纳法为工具,讨论了含Dini导数的函数的增减性。
In this paper , the continuous induction is used to discuss the monotonicity for functions with Dini derivatives .
-
采用对管外流体温度进行加权平均的方法,应用Laplace变换和归纳法,对任意n排单程叉流翅片管束式换热器的换热和温度分布进行了分析。
Using the method of weighted mean value of outside fluid temperature along with the Laplace transformation and recursive procedure , an analysis of the heat transfer and temperature fields of one pass finned tube bundle cross-flow heat exchanger has been carried out .
-
方法:比较归纳法和推论法确定生命质量评价领域的优缺点,以及Delphi(专家询问法)、AHP(层次分析法)、因子分析方法等赋予生命质量评价领域权重值的优缺点。
Methods : We compared the strengths and weaknesses of induction and deduction approaches in identifying domains ( subscales ) and of Delphi consultancy , Analytic Hierarchy Process , and Factor Analysis in generating weights for the domains ( subscales ) .
-
同时,本文还分析了ACRP的时间复杂度和空间复杂度,并通过数学归纳法对ACRP的收敛性进行了证明。
Meantime , we analyze time and space complexity of ACRP , and prove the ACRP convergence by mathematical .
-
结合目前三种主要的案例索引技术:最近相邻法(Nearest-neighbor)、归纳法和知识索引法,提出了改进最近相邻法的案例索引技术;
Integrating the current three kinds of main case index technology ( nearest - neighbor index , inductive index , knowledge index ), we present a modified form of the nearest - neighbor function which has capabilities in addition to those of inductive and knowledge index functions .
-
该算法根据碰撞时的特点,跳跃式前后搜寻,识别N个标签,共需要问询2N-1次。用数学归纳法进行了证明。
By analyzing the features of tag collision , this paper brings forward an algorithm using jumping method . Using this algorithm , it only needs 2N-1 queries to identify N tags , and this can be proved by mathematical induction .
-
依据积分估值对Cauchy型积分F(z)在z平面上简单逐段光滑曲线C外任一区域D内的解析进行了证明,其方法是利用数学归纳法。
In terms of the assessment value of integration , a proof of the analysis of Cauchy integration F ( z ) in the arbitrary area D that is out of the simple field by field smooth curve C on the plane z is given by applying the mathematical induction .
-
上述结果中的有关唯一不动点归纳法的研究具有重要的理论意义,验证工具PiM具有明确的应用价值,而对AB协议的验证及R。
The results about the unique fixpoint induction are of theoretical significance . The proof assistant PiM is of importance from the application point of view . Moreover , the verification of the AB protocol and the discovery of an error in R.
-
本文给出了多连域内Cauchy积分定理的两种新证法,一是以双连域内Cauchy积分定理为基础,并用数学归纳法加以证明;
In this paper , two kinds of new proof of Cauchy 's integral theorem in complex con - nected domain are given . The first one is based on the Cauchy 's integral theorem in doubly connected domain , and proved with mathematical induction .
-
我们主要运用归纳法和线性规划的方法来研究给定顶点数和悬挂点数的化学树的最小广义Randic指标值。
We study the minimum general Randic index for chemical trees with a given order and number of pendent vertices . The main techniques we use are induction and linear programming .
-
采用数学归纳法证明在多圆柱域中Schwarz积分公式,证明方法新颖,并在此基础上讨论在多圆柱域中Neumann边值问题的解。
In this article , a method of Mathematical inducing has been given to prove Schwarz integral formula on several cylinder domain and the way is novel . Meanwhile , the solution of Neumann boundary value problem on several cylinder domain has been discussed .
-
排除归纳法是一种重要的归纳方法;
Eliminative Induction ( EI ) is an important inductive method ;
-
理工科学生掌握数学归纳法状况的调查及分析
Science and Engineering Students ' Condition of Mastering the Mathematical Induction
-
研究方法包括列举法、对比法和归纳法。
The research methods adopted include enumeration , contrast and induction .
-
在外语教学过程中,归纳法和推演法都应有各自的位置,都很有效,都有各自的优缺点。归纳法不应是唯一的选择。
Are both induction and deduction effective in foreign language teaching ?