lemmas
英
美
网络 旅鼠; 引理; 前题
双语例句
- Through the identification of lemmas, inflections of nouns, pronouns, and adjectives, as well as conjugations of verbs, are recognized.
通过确定词元，名词、代词、形容词的语型变化，以及动词词形变化都会被识别出来。 - A search for better returns documents that contain good, better, or well, because all of them are listed as lemmas for better.
搜索better会返回包含good、better或well的文档，因为这些词汇都是better词元。 - The search expansion on lemmas is applied to the search term directly, not recursively.
在词元方面的搜索扩展会直接应用到搜索词汇中，但不会递归作用。 - To retrieve only documents that match the term, but not those that match the lemmas, enclose the term in double quotes.
要查询只与这个词汇相匹配而不与词元相匹配的文档，需要给这个词汇加上双引号。 - However, the keyword search does not include documents containing only words with other lemmas of better, thus documents containing well are not included.
然而，关键字搜索不会只包含better的其他词元的单词，因此包含well的文档不会返回。 - Section two gives the notations, lemmas and discrete schemes of the system of parabolic equations.
第二节给出所研究的具有初边值条件的一维抛物型方程组及其离散格式。 - The presentation was a riot of equations, mathematical lemmas, arching curves and matrices of numbers.
报告中参杂着方程式、数学引理、拱形曲线和一系列矩阵。 - This paper expounds the definition of linear shift register sequence and correlative concepts, as well as lemmas which are essential to the proof of the theorem, and presents content of the theorem.
阐述了线性移位寄存器序列的定义及其相关概念、证明定理所需的引理，给出了定理的内容。 - In the 2.2 section, we discuss the necessarily lemmas and their proofs.
第2.2节，建立了一些技术性引理。 - First, we introduce the definition of Full Hermite interpolation and the Vandermonde matrix, and two lemmas which are most important for solving the problem.
首先介绍了完全Hermite插值问题和有重Vandermonde矩阵的定义，并介绍了两个重要的引理。这两个引理对解决本文的问题是十分重要的。 - In the second chapter, we give the proof of extended lemmas and theorems in details.
第二章详细证明了推广的引理和定理； - The study on lemmas of tolerance optimum design
公差优化设计中几个引理的研究 - Some important lemmas and global convergence theorem for the new method are given and proved as follows.
在建立算法的几个重要引理和全局收敛性定理后分别给出了证明。 - This paper deals with the Hopf bifurcation in the flow field. A new Hopf bifurcation theorem is derived from two lemmas proved here.
本文在流线场中讨论了Hopf分岔问题，在证明两个引理的基础上，导出了新型的Hopf分岔定理。 - Finally we provide some technical lemmas for checking the local inf-sup condition.
在本文的最后，我们给出了一些技巧性引理用于检验局部inf-sup条件。 - It is organized as follows: In Chapter 1, we introduce proximal point algorithms 'framework and current research situation, optimization problems and variational inequalities' background and current research situation, and some basic concepts and lemmas, which are used in this dissertation.
第一章简要介绍了邻近点算法的基本框架和研究现状，最优化问题和变分不等式问题的背景和研究现状，以及本文需要用到的一些基本概念和引理。 - Based on the fractional lower order statistics theory, the deterministic averaging method and two lemmas introduced and proved, this thesis gives an analysis of the convergence property of the DLMP algorithm in theory.
本文基于分数低阶统计量的原理，根据确定性平均方法，结合文中给出并证明的两个引理，对DLMP算法的估计结果的无偏性进行了理论分析和证明。 - The principle of a double standard addition method is strictly demonstrated. Four lemmas and two theorems are given and proved.
本文研究了二次标准加入法原理，证明了四个引理和两个定理。 - Section Two is about some concepts and lemmas involved as follows.
第二部分我们给出了本论文所涉及的基本概念，研究了图的改变与谱矩序列排列之间的关系。 - A combinatorial lemma, stronger than Freund's lemmas, is proved by this algorithm.
利用这算法。证明了比Freund组为引理更强的结果。 - Some definitions, theorems and lemmas which will be used later are presented. ( 3) In chapter 3, the problem of admissibility for singular systems with multiple time-varying delay is studied.
第二章：介绍了广义系统的一些基础知识，以及后面研究工作用到的定义、定理及引理。第三章：针对多时滞广义系统研究了其容许性问题。 - This article will give some important concepts and lemmas. 3.
其次，给出了一些重要的概念和引理。 - Both Ring lemma and Schwarz lemma play very important role in complex analysis, this thesis studies the two lemmas as above.
环引理和Schwarz引理在复分析中占有十分重要的地位，本文对这两个引理进行了研究。 - Then we study the local asymptotic stability of the equilibria in Chapter ⅱ and in Chapter ⅲ, we give three Lemmas and main Theorems of the first model.
在第二章和第三章中，得到了离散时滞模型所有平衡点局部渐近稳定和全局渐近稳定的条件，并给出了3个引理和该模型的主要定理。 - It then provides a model ( including inter-organizational workflow concepts, lemmas and propositions) for data flow specification and analysis of inter-organizational workflow.
然后提供了一种模型来表示和分析跨组织工作流中的数据流（包括跨组织工作流概念，引理和命题）。 - These lemmas simplify our security proof very much.
这些引理大大简化了我们的安全性证明。 - In section § 3.1, some fundamental Lemmas are presented, which will be used in the subsequent sections.
在§3.1中，给出了几个基本引理，它们会在后面的小节中用到。 - By establishing some lemmas, we obtain some sufficient conditions for the oscillation of the solutions of the equations.
第三章讨论了脉冲中立型方程的振动性，通过建立一些引理，得到了方程振动的一些充分条件。 - Further more we give out some new proofs and extension of lemmas and theories of 2-Structures.
并就2-Structures理论中的若干引理和推论给出了新的证明并对定理2.3.27进行了推广。 - The second chapter proposes some based concepts, theories and lemmas to get the main results.
第二章介绍了本文将要用到的一些基本概念，基本理论以及定理证明所必须的引理。