查询词典 differential calculus

This thesis improves Extended Duration Calculus so that discrete state variables can be arbitrary types and any Boolean typed terms can be seen as formulas.

本文改进了扩展的延时演算，使得离散状态变量可以是任意类型，并将任何布尔类型的项作为公式，增加了灵活性和表达性。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

I only heard about the model and estimation method taught by the professor, but the usage of model and the derivation of calculus seem like just double Dutch to me.

这部影片中，我知道了信任是爱情逻辑中的唯一原由，这是我对爱情的其中一种理解，是一块爱情的方巾使Nash的mind into reality，这是一种魔力。

In this paper, a semilinear elliptic equation with critical Sobolev-Hardy exponents is studied, the existence of nontrival solutions for which is proved by the linking theorem in variational calculus.

该文研究了一类带有Sobolev-Hardy临界指数的半线性椭圆方程，运用变分理论中的环绕定理证明了方程非平凡解的存在性。

The development of calculus was based on not very strict but practical thought instead of Euclid s strict thought.

微积分是在不很严格、讲究实用的基础上，而不是在欧几里得严密思想的基础上发展起来的。

Real Number System, Euclidean Space and Metric Spaces, Sequences in R and R^n, Differentiability on R and Rn, Integration on R and Rn, Infinite Series of Functions, Fourier Series, Fundamental Theorems of Vector Calculus, Inverse Function Theorem, Implicit Function Theorem and its Applications.

课程内容：实数系，Euclidean空间与距离空间，函数数列，函数级数，连续函数，可微分函数，可积分函数，反函数，隐函数定理及其应用，向量微积分基本定理，富氏级数。

At the time of dealing with the fourth problem, we try calculus of variation of spending, move route transform into a line issue of the victory, Utilize Euler formula , ask and publish time running orbit after a little while most , confirm right route most, It's a pity that we can't get a satisfactory answer in a short time.

得到如下结果：在水流速度不变的情况下，年第一名的游速为，与方向与X轴成，如竞渡者以行进，则与X轴成，用时分秒，竞渡者若与对岸垂直游不可能达到终点；在不同区段内水流速度不变的情况下，竞渡者以折线前进，用时约为；在同一区段内水流速度变化情况下，竞渡者以曲线前进，用时约为。

His brother Johann or Jean (1667-1748) developed integral and exponential calculus.

其兄弟 约翰或让（1667-1748年）发展了整数和指数微积分。

This is not expressible as a first-order predicate calculus property.

这就是一个一阶谓词演算不可表述的属性。

Paramodulation is an important and a practical inference rule to deal with equality relation in mechanical theorem proving. The paramodulation rule is extended to the fuzzy predicate calculus and the resolution-and paramodulation-based approximate reasoning is discussed.

为了在模糊逻辑中集成相似性关系并考虑其近似推理，把相似性关系看成是一种模糊相等关系，提出了一种带有相似性关系的模糊逻辑，给出了带有相似性关系的模糊逻辑的语法及语义结构。

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