查询词典 leibniz theorem

The second theorem disposes of the other two problems.

第二条定理使另两个问题得出结论。

An that refutes or disproves a hypothesis , proposition , or theorem .

反例证对某种假设，命题或定理进行反驳或推翻的

An example that refutes or disproves a hypothesis , proposition , or theorem .

反例证对某种假设，命题或定理进行反驳或推翻的例子来源：词友

Considering simulations with different time management mechanism can interoperate each other in HLA mode, HLA federation running in real time have been analyzed and studied, the strategy and corresponding theorem coordinating federates to run in real time by timing federate are put forward.

针对HLA模式下，可支持具有不同时间管理机制的仿真互操作的特点，分析研究了HLA模式联邦的实时运行，提出了通过定时成员协调联邦各成员实时运行的策略及相应定理； 4。

The standard four-color theorem defines borders in a way that hews to common sense and excludes bizarre cases such as Hudson's.

标准四色定理中所用到的边界定义方式与常识相同，排除了哈德逊地图这类诡异的情况。

Thischapter proposes three concepts,i.e.,kernelled quasidifferential,star-kerneland star-differential,and establishes their operational properties.A sufficiencytheorem and a sufficiency and necessity theorem for a quasi-kernel being a ker-nelled quasidifferential are proven.Both the existence of star-kernel for a qua-sidifferentiable function and the existence of star-differential for a directionallydifferentiable function are established.The relationships between sub-and su-per derivatives and Penot differentials are discussed as well.

这一章我们引入了三个概念，即核拟微分，星核与星微分并建立了它们的运算性质；证明了拟核为核拟微分的一个充分条件定理及一个充分与必要条件定理；建立了拟可微函数星核的存在性及方向可微函数星微分的存在性并讨论了Penot微分与上、下导数的关系。

This paper has four parts. Induction gives the origin of problem and some definitions and some lemmas and the conditions for the later theorem.

全文共分四部分，引言介绍了问题的提出、一些定义、引理、以及后面定理所需要的条件。

G. You's theorem and the theory of normally hyperbolic invariant manifolds.

本文第二章简要地介绍了低维不变环面的类型和共振不变环面以及它们的各种保存性结果。

The philosophizing system of Generalized Tellegen′s theorem is further perfected.

进一步完善了广义Tellegen定理的理论体系。

By using the elastic results and the theory of viscoelasticity, the complex field is predigested by the correspondence theorem.

开创性的建立了研究粘弹性双材料夹杂问题的方法并且经过计算得到了相应的准确结果，从而揭示了决定这一特殊力学问题的一些因素和关系。

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数据流的质量检测。