查询词典 differential calculus

The course content includes ordinary differential equation, linear algebra, vector calculus, Fourier analysis and partial differencial equation partial differential equation, with the aim to train students in establishing an exact perception to the meaning of theory, calculation and experimentation.

课程内容有常微分方程，线性代数，向量微积分，Fourier 分析及偏微分方程式等章节，训练同学在理论，计算及实验间建立正确的认知及意义。

In this paper,by the means of the properties of the differential calculous,the authors had obtained the proofs of the generalizations of the two basic inequalities;and the apply of the differential calculus in the proofs of inequalities.

本文主要介绍高等数学知识———微积分的一些基本性质在证明不等式中的应用，利用微分法证明了中学最重要的两个基本不等式的推广形式和一道奥赛

The objective of this investigation was to compare the pharmacodynamics of Sheng Wu Niu Huang with those of the natural calculus bovis and the artificial calculus bovis from the acute toxity, antipyretic effect, hypnotic effect, anticonvulsive effect, anti-inflammatory effect, antiviral effect and the influence on the hemorheology.

运用比较药理学方法将生物牛黄中间体与天然牛黄、人工牛黄从急性毒性试验、解热作用试验、催眠作用试验、抗惊厥作用试验、抗炎作用试验、抗病毒作用试验以及对血液流变学影响等方面进行了药效学比较研究。

Taylor Formula is a very important content of mathematics analysis ,it can focally embody the soul of " approximation" of calculus. And is extensively applied in most aspects of calculus.

泰勒公式是数学分析中非常重要的内容，集中体现了微积分"逼近法"的精髓，在微积分的各个方面都有重要的应用。

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。

And studied the method of application of network calculus to resource reservation.Based on network calculus,derived the effective bandwidth constrained by end-to-end delay and equivalent capacity for a given buffer size.Analyzed network performances such as maximum delay and queueing buffer length,gave the arrival curve and service curve.

深入研究了网络演算在网络资源预留中的应用方法，推导出了基于端到端时延约束的有效带宽和基于缓冲区长度约束的等效容量计算公式，分析了给定到达曲线和服务曲线条件下网络性能的计算方法。

Consequently in the beginning of tooth stone calculus formation, use mouth cavity to sweep a method or brush teeth method, all very easy clearance tooth stone calculus, after waiting until calcify not easy clearance.

因此在牙结石形成之初，使用口腔清洁法或刷牙法，都很容易清除牙结石，等到钙化之后就不易清除了。

Tarski's definition of truth of the calculus of classes is: x is true if and only if x is a sentence of the calculus of classes and every infinite sequence of classes satisfies x .

塔斯基得到的真概念定义是：x是类演算语言的任一语句，x为真当且仅当每一个类的无穷序列都满足x。

After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.

通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。

Tarski constructed strictly the calculus of classes and its metalanguage,then defined some important concepts of the calculus of classes,such as sentential function,free variable, sentence,operation,consequence.

塔斯基严格地构造出了类演算语言，然后又构造出了类演算语言的元语言，并且在元语言中定义出类演算语言的语句函项、自由变元、语句、运算、后承等重要概念。

A major factor in deviation from optimal performance of the activated sludge secondary clarifier is the presence of density currents,resulting from the density difference and temperature difference.

异重流的形成是影响活性污泥系统二沉池水力学性能的主要因素，形成异重流的主要原因包括沉淀池内不均匀的污泥分布和温度分布。

You always nip it in the bud.

你总是有办法解决的。