查询词典 leibniz theorem

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 ".

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

Definition, formulary, theorematic go against definition, formulary, theorem is being applied directly in be being used in maths to solve a problem is a kind of commonner method, but its are converse application often is ignored.

定义、公式、定理的逆用在数学解题中直接运用定义、公式、定理是一种比较常见的方法，但其逆向应用往往被忽视。

Imparting the process develops through learning the history to physics in the process of physics knowledge make an on-the-spot investigation, announce the historical rule that physics happening, development and evolution and its corresponding epistemological and methodology change, the basic trend that develops to physics and its position in science and technology and action put forward scientific specification, conduce to a student understanding the mankind to know the basic rule that produces progress to nature, understanding physicist is known and discover theorematic, mensurable basic method, thereby " with Shi Weijian ", be experienced better and use these theorem, law.

在传授物理学知识的过程中通过对物理学历史发展过程的考察，揭示物理学发生、发展和演化及其相应的熟悉论和方法论变革的历史规律，并对物理学发展的基本趋向和它在科学技术中的地位和功能提出科学的说明，有助于学生了解人类对自然界熟悉发生发展的基本规律，了解物理学家熟悉和发现定理、定律的基本方法，从而&以史为鉴&，更好地心得和运用这些定理、定律。

The inner reorganization energy and the exothermicity of the reaction are then determined. Closed shell HF SCF calculations have been carried out for the systems Tryptophy1-Tyrosine and Tyrosyl-Tryptophan for different values of R, and the Koopmans^,theorem is invoked to estimate the energy level splitting A.From the obtained A~m~i~n, the values of electron transfer matrix element V~D~A are determined to be 0.96kJ. mol^-^1 and 0.87kJ.mol^-^1 for Tryptophyl-Tyrosine and Tyrosyl- Tryptophan, respectively.

对色氨酰酪氨酸和酪氨酰色氨酸体系进行闭壳层HF自洽场计算，按Koopmans定理计算体系分子轨道分裂能值A，在R约为0处发现了A的极小值，从而获得色氨酰酪氨酸及酪氨酰色氨酸体系分子内电子转移的电子转移矩阵元V~D~A分别为0.96kJ.mol^-^1和0.87kJ.mol^-^1。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。