查询词典 fundamental lemma

Based on Wilson\'s lemma on evenly distributed differences, elementary number theory and fundamental theory of finite field, the finite field construction for strict optimal OOCs is proposed and the basic idea of this construction is investigated. The main steps and flow chart of assistance design by computer are obtained.

3基于Wilson均匀分布差引理、初等数论及有限域的基本理论，提出一种严格最佳光正交码的有限域构造法，对该构造法的基本设计思想进行深入的理论分析，得到该构造法计算机辅助设计的主要步骤及流程。

Just because you know a statement and proof of Fundamental Lemma X, you shouldn't take that lemma for granted – can you find alternate proofs?

然而，发现新数学的过程远为凌乱，充满朝着幼稚的、徒劳的或没有意义的方向的追寻。

When it was checked this year and confirmed to be correct, mathematicians around the globe breathed a sigh of relief. 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.

这让全世界的数学家终于松了一口气，因为在过去30年中，数学家在这一领域的工作都是在"基本引理"是正确的并且终将有一天得到证实的基础上进行的。

But he was convinced that one stepping stone that needed confirmation — dubbed the "fundamental lemma"— would be reasonably straightforward.

他认为，证明所谓的"基本引理"将是完成这项任务的一个合理跳板。

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

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引理，平衡点稳定性分析的李雅普诺夫第一种方法和第二种方法，反馈的线性化；以及非线性电路和控制系统的实际应用。

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.

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