查询词典 Stokes theorem

According to the idea and theorem, this paper describes the algorithm of creating charts for two-dimensional Riemannian manifolds and presents the definitions of transition and blend functions.

按照算法思路和存在定理，详细描述了二维黎曼流形上创建坐标卡的算法，并给出流形上转换函数和混合函数的定义方法。

Include Roue Theorem.

包括罗尔定理。

In Chapter 2, starting from a generalization of Hensel's Lemma to non-commutative case, we introduce the Brauer characters and the generalized decomposition numbers, and construct a kind of maximal semisimple algebras; then, similarly to Puig's methods, we prove Brauer's Second Main Theorem over arbitrary fields; applying it to blocks with nilpotent coefficient extensions, a formula on characters of such blocks is given; the formula of characters of nilpotent blocks is just an easy consequence of the fomula.

在第二章中，我们将Hensel的引理推广到非交换的情况，以此为起点，定义了Brauer特征标和广义分解数，构造了一类极大的半单的代数，类似于Puig的方法，给出了任意域上Brauer的第二主要定理；作为该定理的应用，我们给出了具有幂零系数扩张的块的特征标公式，幂零块的特征标公式只是它的一个简单的推论。

Discover a theorem about the Simson line and five points of a circle.

圆上五点，其任四条辛姆森线会共点，可依次找出五点，这五点会共圆。

Another category under which men view themselves and one another, in order that, so formed, they may produce empirical society, may be formulated in the seemingly trivial theorem:－Each element of a group is not a societary part, but beyond that something else.

，这样的描述与第一项方式并相左，而是社会的包围本身所涉及的并不包含由它所包围的一些本质。它彷佛可以从个方面观察或生存：一方面，是从内在主体的起点开始；而另一方面，本没有变化的生存会向著被爱的人的方向靠近，处於它彻底无疑吸纳的它的归宿的范畴下。

In this paper, the descriptive semantics of class diagrams, interaction diagrams and state machine diagrams are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models.

本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。

Chapter 2 is the relative theory of stochastical analyse: including martingale, Brown Motion, Ito formula, Girsanov theorem, Markov process and Lipschitz condition etc.

第二章随机分析的有关理论：介绍鞅论、布朗运动、It公式、Girsanov定理、Markov过程与随机微分方程的Lipschitz条件等基本概念。

In this paper,making use of hyperplane method,we improve the proof of the separation theorem;On the other hand,we use a new method of moving neighborhood to simplify the proof for the continuity of a subconvex function defined on a convex in a normed linear space.

在巴拿赫空间理论中，Hahn-Banach泛函延拓定理作为泛函分析三大基本定理之一，分隔性定理是Hahn-Banach定理的重要应用，本文利用&超平面&的方法，改进了一个分隔性定理的证明；另外，本文利用邻域的&平移&方法，给出了定义在赋范线性空间内的凸集上的次凸泛函连续性的简捷证明。

By using the Krasnoselskii fixed point theorem, an existence result of two positive solutions is obtained under suplinear condition and sublinear condition.

讨论一类四阶非线性微分方程组Dirichlet边值问题正解的存在性，利用Krasnoselskii不动点定理得到这类边值问题在超线性和次线性条件下至少存在两个正解。

The relevant theory of industrial structure gradual progress matchs --, carat gram theorem and Hoffman are theorematic, announced economic progress and structure are fluctuant " standard form ".

产业结构演进的相关理论配第———克拉克定理和霍夫曼定理，揭示了经济发展和结构变动的&标准形式&。

The Porsche Owner: But it's my car!

可，这是我的车呀。

LOX_83}{Oh, another bunch of wackos.

{LOX_83}{呃，又一群怪人。