查询词典 theorems

Synthesis using known facts (known conditions, important inequation, or has proved inequalities as basis, using inequalities) and relevant theorems of nature, the logical reasoning, the final step out to prove the inequality, its characteristic and the idea is "from" from "guide, known as" to "see", gradually introduced conclusion.

综合法利用已知事实(已知条件、重要不等式或已证明的不等式)作为基础，借助不等式的性质和有关定理，经过逐步的逻辑推理，最后推出所要证明的不等式，其特点和思路是"由因导果"，从"已知"看"需知"，逐步推出"结论"。

Ablish two decision theorems of relative compactness for unbounded function groups in an infinite interval.

sect；2.3我们建立了判定无穷区间上抽象无界连续函数组和抽象无界可微函数组相对紧性的充分必要条件，并对无穷区间上抽象二阶微分方程两点边值问题无界解的存在性做了研究。

In this paper, we will introduce the weighted modulus of smoothness and the weighted K-functional to discuss the direct and the converse theorems, the local saturation results on the simultaneous approximation on an infinite interval with Jacobi-weight by the integral operator, the lin...

本文利用带权光滑模与带权K--泛函讨论定义在无穷区间上的积分型算子Gamma算子线性组合对空间L_∞(0，∞)中函数的带Jacobi权同时逼近的正逆定理以及局部饱和结果，还讨论了Gamma算子的强逆不等式。

For the analysis properties of infinite matrix,first,it establishes the automatic conti-nuity theorems on the sequence spaces with 0-GHP or WGHP,and the automaticboundedness theorem on the sequence spaces with 0-GHP.

在无穷矩阵的分析性质方面，建立了具有0-GHP或具有WGHP的矢值序列空间上无穷矩阵算子的自连续性定理，以及具有0-GHP矢值序列空间上无穷矩阵算子的自有界性定理。

According to classical interpolatory theory, two generalized sampling theorems are proposed and two interpolation formula which have stable and highly accurate recovery results are put forward.

根据经典的插值理论提出并证明了二个广义采样定理，在该定理中给出了具有稳定的、高精度恢复结果的采样和内插方式。

The theorems, formulas and principles in plane geometry reveal the intrinsic relations and basic laws of geometrical concepts.

平面几何的定理、公式、法则反映了几何概念的内在联系，揭示了它们之间的基本规律。

In chapter 3,we study several kinds of fractional differentiabli-ties,and prove the inverse function theorems and Whitney extendedtheorems concerned to them.

第三章研究几种分数可微性，并证明了与它们相关的反函数定理以及Whitney扩张定理

In our thesis, contents are organized as following In Chapter 1 we present our topic's internal and overseas research situations, theoretical and practical significance, and introduce the research object and contents, and the main contributions of this dissertation. Chapter 2 reviews the development of the stability results for nonlinear systems and some relevant recent results, which include Lyapunov and LaSalle-Yoshizawa theorems for nonlinear systems, and stochastic edition for stochastic nonlinear systems. Sontag's formula for systems affine in control is presented in the frame of CLF. The concepts of disturbance attenuation and the inverse optimality are also explained in this Chapter. In chapter 3 we present the solvable theorem of inverse optimal gain assignment problem, design the inverse optimal controller and the inverse optimal tracking controller for strict-feedback nonlinear continuous systems with unknown time-varing bounded disturbances and constant unknown parameters using an adaptive backstepping algorithm, which are nonlinear, continuous and are easier to realize. These designs are fully systematic and the algorithm can be directly coded in symbolic software. The results of simulation show the effectiveness of the control algorithms.

论文的结构如下：在第1章中，给出了本文研究课题的研究现状、理论意义和实际应用，并介绍了本文的研究对象、研究内容以及主要贡献；在第2章中，针对确定性非线性系统和随机非线性系统，分别介绍了Lyapunov定理、LaSalle-Yoshizawa定理及其随机版本；对仿射系统，在控制Lyapunov函数框架下，给出了Sontag公式；同时给出了非线性系统扰动抑制和逆最优控制问题的基本概念；在第3章中，针对具有未知时变有界扰动和未知定常参数的一类不确定非线性系统，给出并证明了逆最优增益配置可解定理，使用自适应Backstepping算法和均值定理，系统地设计了自适应逆最优控制器和逆最优跟踪器，这种设计方法可同时获得逆最优控制策略和自适应律，简单明了，仿真结果表明该控制算法的有效性，并给出了性能估计。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

The irreducibility and unitarizability Theorems in section 1. 2. 4 are useful for our study.

其中§l.2.4节的不可约性定理和酉性定理对我们的研究很有帮助。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了