查询词典 fundamental lemma

First, we analyze their limitations in describing temporal and values which are related to arguments. Then,according to the requirements, TEVAF is proposed.We present a complete description of the structure of framework,and the semantics of the framework,and give the fundamental Lemma and some basic results shown by Dung' argumentation framework,which also hold for TEVAF.

首先分析了Dung的辩论框架以及BenchCapon的值辩论框架在时态以及辩论值方面描述的局限性及需求，然后结合这些需求提出了基于时态的扩展值辩论框架，给出了完整的框架结构和语义描述，证明了基于时态的扩展值辩论框架满足Dung提出的标准辩论框架的一些基本定理。

Mathematicians' work in this area in the last three decades was predicated on the principle that the fundamental lemma was indeed accurate and would one day be proved.

高等研究院数论学家彼得·萨纳克表示：给人的感觉是，一些人在河流的对岸工作，等着其他人架好这座桥梁。

Over the past few years, Ngo Bao Chau, a Vietnamese mathematician working at Université Paris-Sud and the Institute for Advanced Study in Princeton, formulated an ingenious proof of the fundamental lemma.

过去5年来，就职于巴黎第十一大学和普林斯顿高等研究院的越南数学家吴宝珠试图用公式表述一项有关基本引理的精巧证法。2009年进行的验证证明了这一证法的正确性，全世界的数学家终于可以松一口气。

Under some moderate conditions, the prior estimate of the solutions of the system is obtained. Making use of constructing Picard iterative sequence, Doob martingale inequality, Gronwall inequality, Borel-Cantelli lemma and some fundamental inequalities, together with the uniform Lipschitz conditions, the existence and uniqueness of the solution for stochastic functional differential equations with infinite delay is derived on the interval t0,∞.

在适当的条件下，得到了随机泛函微分方程的解的先验估计；再结合一致Lipschitz条件，通过构造Picard迭代序列，利用Doob较不等式、Gronwall不等式、Borel-Cantelli引理及一些基本不等式，得到该方程的解在区间[t0，∞]上是存在且唯一的。

Topics covered include: nonlinear ordinary differential equations; planar autonomous systems; fundamental theory: Picard iteration, contraction mapping theorem, and Bellman-Gronwall lemma; stability of equilibria by Lyapunov's first and second methods; feedback linearization; and application to nonlinear circuits and control systems.

课程的主题包括：非线性常微分方程组；二维自治系统；与课程相关的基本理论，如比卡迭代法，压缩映射定理，Bellman-Gronwall引理，平衡点稳定性分析的李雅普诺夫第一种方法和第二种方法，反馈的线性化；以及非线性电路和控制系统的实际应用。

Now what if, to make sense out of the farrago of sensory signals the SAS encounters, the brain must unify some of these fundamental realities into a composite that the mind falsely interprets as a nonreducible thing, and it must analyze some fundamental realities into meaningful, but false,"more" fundamental realities.

现在如果要走出这个意义上的萨斯遇到碘油感觉信号，脑部要统一有些这些根本现实组合成一个虚假的头脑解读为nonreducible事必须剖析一些基本现实意义，而且假"更"基本的现实。

It achieved the expression of fundamental positive sequence voltage and fundamental positive sequence current by using a few calculation of pending test signals multiplies with a cosine function and a sine function. The compensation of the non- fundamental positive sequence ingredients is established on this method.

该方法利用待检测信号与正弦和余弦参考信号的少量乘除法运算，快速获得待检测信号中的基波电压和基波电流表达式，为高效补偿待检测信号中的非基波分量奠定了基础。

By adding an equivalent harmonic impedance in the branch circuit of power grid, this HAPF could force all the harmonic currents flow into passive power filters, which resulting in eliminating harmonic contamination more effective. And using the capacitive feature of PPF in the fundamental frequency, this HAPF could compensate fixed-capacity reactive power without increasing APF's burden. Moreover, in order to decrease APF's cost, the fundamental voltage will largely be endured by capacitor in view of the series resonance circuit tuned at the fundamental frequency, so the APF just bears little harmonic voltages.

其基本工作原理是：有源部分等效于在电网支路中串联了一个谐波阻抗，该谐波阻抗对基波电流不起作用，而对谐波电流产生很大阻碍作用，迫使谐波电流流入无源滤波器，从而达到滤除谐波的目的；同时新型注入式混合有源滤波器还充分利用了无源滤波器的无功补偿功能，在不增加有源部分容量的前提下，可以提供一定容量的无功功率；由于有源部分承受的电网基波电压不大，也没有基波电流流入，因此逆变器容量小，初期投资较小。

In Chapter 2, we recapitulate some fundamental definitions and propositions of topological degrees and some fundamental results about the computation of topological degrees;in Chapter 3, applying relative definitions and propositions of topological degrees, we establish product formulae of topological degrees in product space, in particular, the product formula of fixed point index on product cone, moreover, combining with the fundamental propositions and the computation of fixed point index, we obtain some fixed point theorems on product cone.

为此，在第二章中，我们给出了拓扑度的基本概念和性质以及拓扑度计算方面的基本结果；在第三章中，运用拓扑度的有关知识，我们建立了乘积空间中各类映射的拓扑度的乘积公式，特别是乘积锥上的紧连续映射的不动点指数的乘积公式，进一步，结合不动点指数的基本性质和不动点指数计算方面的基本结果，得到了乘积锥上的若干不动点定理。

Considering thought has its inherent characteristic (I, e, self-organization, freedom, fiction). The fundamental thought activity can be divided into perceptional, imaginal, abstract, illusional, renew, associational and inspirational and so on. All these analyse each fundamental form related to thought unit ("model"and"shape") as well as relationship between each different fundamental forms.

在该方针的指导下，在知识获取过程中提出&双向信息挖掘法&，通过目标分解和证据驱动两个过程，促动知识信息之间连接关系的变化，使领域专家能够全方位、多角度地认识这些信息对研究目标的贡献，便于发现一些隐蔽的或深层次的知识信息，促进内涵静态知识向内涵动态知识的完全转化。

Salt is good, but if the salt becomes flat and tasteless, with what do you season it?

14：33 盐本是好的，盐若失了味，可用什么叫它再咸呢？

He reiterated that the PLA is an army of the people under the leadership of the Communist Party of China.

他重申，人民解放军是在中国共产党领导下的人民军队。