查询词典 calculus

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临界指数的半线性椭圆方程，运用变分理论中的环绕定理证明了方程非平凡解的存在性。

In this paper, a new method used to deal with the motion ability is studied deeply based on Routh-Hurwitz Criterion. The advantage of this kind of analysis method consists in the fact that after establishing the equation in differential calculus for the motion system, there is no need to know a root of the equation, if you know the root signs, you can judge the zero solution stability of the system.

本文利用劳斯－赫尔维茨判据(Routh-Hurwitz Criterion)对机械系统中离心转速调节器的运动德定性进行了分析，这种分析方法的优点就在于：建立系统运动微分方程的特征方程后，不必求解特征方程的根，只需知道根的符号就可判断系统的零解稳定性。

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空间与距离空间，函数数列，函数级数，连续函数，可微分函数，可积分函数，反函数，隐函数定理及其应用，向量微积分基本定理，富氏级数。

The traffic momentum differential equation and Euler's equation for the ramp junction is founded by means of differential calculus in this paper,the traffic momentum differential coupled equation is solved by characteristic curve method,two groups of characteristic curves and corresponding related equation in high speedstates and low speedstates are presented.

采用特征线法对运动微分方程组进行分析求解，在高速低密度区和低速高密度区分别得到了两组特征线和对应的特征关系式。

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.

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

With the discussion of extreme value problem of the multiple-valued function,and the popularizing of extreme value theory of the two-value function,This paper obtains differentiation rule about the extreme value of the multiple-value function,and illustrates the apllication of the theory with the example,providing proper guidance for the teaching of calculus.

文章讨论了多元函数的极值问题，并将二元函数的极值判定定理加以推广，得到关于多元函数极值的判定法则，并举例说明其应用，这对微积分的教学有一定的指导意义。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。