It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
Using separation theorem of convex set and the time terminal value function equation, we obtain the determining method of optimal terminal time as well as the Maximum principle.
由凸集分离定理及终端时间阈值函数方程，我们获得了最大值原理及最优控制时间的确定方法。
After analyzing several theory models of inductive reasoning, we use the Bayes Theorem to prove the premise probability principle, and integrate this theory with human mental process.
在分析多个理论模型的基础上，采用贝叶斯定理证明了前提概率原则，并将此原则与人类心理过程相结合，将归纳推理分解为连续进行的三步过程。
A unified definition for damping torque coefficient of synchronous machines is proposed in this paper according to the principle of synthetic damping coefficients deduced from the Lyapunov Theorem.
根据由李亚普诺夫定理导出的综合阻尼系数的原理，统一定义了同步发电机的动态阻尼力矩系数和动态同步力矩系数。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
Under the new principle we provide the theorem of the existence of local Nash network and the theorem of the architecture of local Nash network and its dynamic formation process.
在新的规则之下，分别给出了局部纳什网的存在性、结构特性及其动态生成进程的定理。
Using CBL technique, the theorem of momentum with changing force is tested. The experimental principle and procedure are introduced.
利用CBL技术在变力作用下验证了动量定理，并介绍了实验原理及实验步骤。
By using nonlinear alternative fixed_point theorem, a existence principle of positive solutions to this problem are established.
进行了研究，利用非线性二择一不动点定理建立了问题正解的一个存在性原则。
This paper discusses a principal problem in grey mathematical theory, that is grey set and its operation, and proves the decomposition theorem, representation theorem and extension principle.
讨论灰色数学理论的一个基本问题，即灰色集合以及它的有关运算，灰集的分解定理、表现定理和扩张原理。
This paper points out that on certain condition the reciprocal theorem is equivalent to the superposition principle of displacements.
本文指出，在一定的条件下，功的互等定理等价于位移叠加原理。
This paper uses several methods of complex functions theorey to prove fundamental theorem of algebra by argument principle, maximum modulus principle and minimum modulus principle.
从复变函数理论出发，利用辐角原理、最大模原理、最小模原理给出代数学基本定理的几种新的证明方法。
A new measuring instrument of rotational inertia has been devised by the fixed - axis rotation principle and parallel axis theorem of compound pendulum.
利用复摆定轴转动原理和刚体平行轴定理设计的一种新型转动惯量测定仪。
A power-like equation, a Virial-like theorem, an integral variational principle and a differential variational principle for the system are deduced by using the time-integral identity.
给出系统的时间积分等式，并由此等式导出类能量方程、类维里定理、一个积分变分原理和一个微分变分原理。
The resolution principle is known to be a basic tool for theorem proving.
归结原理是定理机器证明中的一种基本技术。
The harmonic drive gear pair which are manufactured on the principle of "Converted Engagement Reappearance" can conform to the Willis theorem.
按上述原理设计加工出的谐波传动齿轮副能够符合齿廓啮合基本定理。
A comparison principle for nonlinear degenerate elliptic equation is derived, and a existence theorem of the coupled weak quasi-solutions of BVP for nonlinear degenerate elliptic systems is given.
建立非线往退缩椭圆型方程的比较原理并给出方程组边值问题耦合弱拟解的存在性定理。
Using the virtual work principle, this paper proved the reciprocal theorem of work of thin plates with small deflections, and obtained the formula of the natural frequency of square plates.
从虚功原理出发，证明了薄板小挠度弯曲问题的功的互等定理，并由此推出了求解矩形薄板自然频率的公式。
In this paper, the existence theorem of midpoint chord of quadratic curve, as well as its proof, is given via methods of projective geometry and polarity principle.
文章利用射影几何方法及配极原理给出二次曲线中点弦存在性定理的证明。
Tthe principle of quantum superposition and quantum non-cloning theorem have been introduced.
介绍了量子态叠加原理和量子不可克隆定理。
Based on Archimedes theorem and lever balance principle, we can calculate the buoyancy's variety of the balance objects. This variable just equals to the weight of the measured object.
浮力天平的测量是利用阿基米德定理，计算出配重物体受到的浮力，再通过杠杆平衡的原理得出配重物体浮力的变化即被测量物体的重量。
The experiment of "Newtons Cradle" is introduced and its principle is studied with the generalized theorem of dynamics.
本文介绍“牛顿碰撞球”的有关实验，并用动力学普遍定理分析它的机理。
F-memory characteristics of S-rough sets, F-memory theorem of S-rough sets and the knowledge loss principle of F-memory chain are presented.
利用这些概念，提出S粗集的f记忆特性，S -粗集的F -记忆定理，F -记忆链上知识丢失原理。
The principle for resolving ambiguity in dual baseline system is analyzed by using theorem of remainder and the concept of imaginary array is presented.
对双基线系统余数定理解模糊原理作了分析，提出了虚拟阵元概念，清晰地解释了基线长度之比为互质数之比的多基线系统的相位解模糊能力。
Maximum plastic work principle is an important theorem for analyzing plastic deformation which is a foundation to calculate deformation force with energy method.
最大塑性功原理又称第二塑性变分原理，在致密体塑性变形分析中是运用能量法进行变形力能计算的基础。
This paper gives the concept of-memory of S-rough sets and its-memory structure, puts forward-memory chain theorem, -memory loop theorem and the knowledge complementary principle of F-memory chain.
本文给出S-粗集的-F-记忆概念，S-粗集的-F-记忆结构，提出-F-记忆链定理，-F-记忆环定理和-F-记忆链上知识补充原理。
This article explicitly expressed converse theorem of the inverse function differential principle, Based on this theorem, the author proposed one kind of integration, then gave some examples.
本文明确表达了反函数微分法则的逆定理，基于此定理提出一种积分法，并举例说明了其运用方法。
The minimum modulus principle is proved by using the preserving field theorem, and the span of minimum modulus point is discussed.
从复变函数理论出发，利用辐角原理、最大模原理、最小模原理给出代数学基本定理的几种新的证明方法。
Methods the maximum principle, monotone method, bifurcation theory, the perturbation theorem for linear operators and the stability theorem for bifurcation solutions were used.
方法运用极值原理、上下解方法、分歧理论、线性算子的扰动理论和分歧解的稳定性理论进行研究。
The little probability event principle is an important and basic theorem in probability which has practical applicable meaning and is often used in daily life.
小概率事件原理是概率论中的一个基本又具有实用意义的原理，在这一原理分析的基础上通过几个实例介绍了其在几个方面的应用。
The little probability event principle is an important and basic theorem in probability which has practical applicable meaning and is often used in daily life.
小概率事件原理是概率论中的一个基本又具有实用意义的原理，在这一原理分析的基础上通过几个实例介绍了其在几个方面的应用。
应用推荐