查询词典 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.

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

But he was convinced that one stepping stone that needed confirmation — dubbed the "fundamental lemma"— would be reasonably straightforward. He, his collaborators and his students were able to prove special cases of this fundamental theorem.

朗兰兹知道证明支撑自己构想的假设需要几代人的努力，但证明所有这些首先需要一个垫脚石，它被称作"基本引理"。

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，∞]上是存在且唯一的。

From the solution and generalized It Lemma,the optimal financing and dividends policy is derived.

利用解的性质和推广的It^o公式，构造出了最优的再融资及分红策略。

Lower glume separated by an internode; upper lemma glabrous at the apex.

一节间分开的更低的颖片；在先端无毛的上面外稃。

This is an intuitionistic methods, and using it can prove Mountain Pass lemma.

这是一种较为直观的方法，用它可以证明山路引理。

Secondly, the concept of column space, cyclic invariant subspace and generalized cyclic invariant subspace were introduced.And some basic properties, such as separation lemma, were presented.

其次，引入列空间、循环不变子空间和广义循环不变子空间等基本几何概念，给出一些有关概念的基本性质，特别是分离引理。

By the delta matrix inverse lemma, the delta operator recursive least squares algorithm is derived, and convergence about DRLS is also proved.

基于Delta算子矩阵求逆引理，导出Delta算子最小二乘估计的递推算法，证明了DRLS的收敛性。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。