引理

yǐn lǐ
  • lemma
引理引理
引理[yǐn lǐ]
  1. 关于Dn补图色性证明的一个重要引理

    A Main Lemma on the Chromaticity of the Complements of D_n

  2. 一个Quantitative形变引理及其应用

    A Variant of Quantitative Deformation Lemma and Its Applications

  3. 在本文第二部分,我们给出一些符号及引理。

    In section 2 , we give some notations and some lemmas .

  4. 本文首先对鲁棒控制理论的发展和现状进行了综述,简单介绍了系统的范数、H∞控制问题、有界实引理及线性矩阵不等式方法。

    The development and status quo of robust control theory is summarized .

  5. (引理2)设G是有限交换群,S(?)

    ( Lemma 2 ) Let G be a finite Abelian group .

  6. Hp空间-引理的推广

    Spread of Lemma in H_ p Space

  7. 引理设(X,U)是拓扑空间,集S(?)

    Lemma let ( X , U ) be a topological space , then S (?)

  8. SL(2,R)上的覆盖引理及其应用

    Covering Lemma of SL ( 2 , R ) and Its Application

  9. Petri网语言的Pumping引理

    The Pumping Lemma of Petri Net Language

  10. 推广约当引理以及Laplace变换与Fourier变换的对应关系

    The Extended Jordan 's Lemma and the Relation between Laplace Transform and Fourier Transform

  11. 利用此Pumping引理可以证明某些语言是不能由Petri网产生的。

    By the Lemma , this paper proofs some languages not be produced by any Petri net .

  12. 为了计算多状态连续n中取k(G)系统的可靠性,引入4个定理,将满足引理的多状态系统转换为二元状态系统。

    Multi-state consecutive k-out-of-n : G system is converted into a binary system by four lemmas in order to evaluate its reliability .

  13. 拉格朗日反演的q模拟与Bailey引理的注记

    Some Notices on q-Analogue of Lagrange Inversion and Bailey Lemma

  14. 根据有界实引理,研究不确定组合大系统的分散鲁棒H∞控制问题。

    This paper studies decentralized robust H_ ∞ control problem for a class of linear uncertain composite system based on bounded real lemma .

  15. 通过引入一补偿函数f(t),并结合关键性技术引理便捷地对系统的鲁棒稳定性作了详细证明。

    The robust stability of the proposed algorithm is clearly proved by introducing the offset function f ( t ) .

  16. Banach空间中拟线性算子的广义Banach引理

    Generalized Banach lemma for quasi-linear operator in Banach space

  17. 借助Sperner引理与2-进赋值函数证明:对任何正整数n>6,存在边数为n的特殊多边形,并证明猜想对边数为7的几类典型的特殊多边形成立。

    Prove the existence of special n - polygon for any integer n > 6 and that the conjecture holds for polygons with seven sides .

  18. 2-DRoesser模型的有界实引理和鲁棒H∞控制

    Bounded real lemma and robust H _ ∞ control of 2-D Roesser models

  19. 基于有界实引理推导出了存在鲁棒分散H∞状态反馈控制器的参数化定理,即一组矩阵不等式有解。

    Based on the bounded real lemma the parameterization theorem for the existence of a robust decentralized H ∞ state feedback controller is derived .

  20. 在建立一个关于Taylor级数引理的基础上,利用有关对称随机级数的S-可和性及a。

    Based on an important lemma on Taylor series and the achievement on S-sum ability and a.

  21. Pumping引理的Petri网描述&Petri网语言属型的一组判定条件

    Petri net description of pumping lemma ─ a set of conditions for determining the type of a Petri net language

  22. 多复变数Einstein空间中的Schwarz引理

    On the Schwarz lemma in Einstein spaces of several complex variables

  23. Banach代数中对谱半径的Schwarz引理

    Schwarz 's lemma for the spectral radius in complex Banach Algebras

  24. 关于Riemann引理的一般形式及其应用

    About the general form and the application of Riemann lemma

  25. 含时div-curl引理的一个证明

    A proof for the time dependent form of Div-Curl lemma

  26. Alexander子基引理的一个简单证明

    A simple proof for alexander subbase lemma

  27. 主要讨论了时滞SIR传染病模型的一致持久性,给出了其一致持久的定义、引理和一致持久的相关定理及证明过程。

    Focused on permanence of SIR epidemic model , give its definition , durable and some related Lemma theorem and the process of proving .

  28. 基于Delta算子界实引理,给出闭环不确定系统具有H∞范数界的充分条件和状态反馈设计。

    Based on the Delta operator bounded real lemma , sufficient condition with H ∞ norm bound on closed loop uncertain systems and state feedback design are presented .

  29. 复超球上Schwarz引理的推广及应用

    An Improvement of Schwarz 's Lemma on Super-ball and Its Applications

  30. 多复变数函数的Schwarz引理

    Schwarz lemma in the theory of functions of several complex variables