查询词典 calculus of finite differences

Five years later, Boole published Treatise on Differential Equations, followed by Treaties on the Calculus of Finite Differences.

五年后， Boole 在微分方程上出版了论文，在限定差别的微积分方面由条约跟随

For raising the precision of solving infiltration in unsaturated soil, by reviewing advantage, and disadvages of existing methods, based on the transformation of Richards equation, a finite calculus of differences by advancing front self-adaptive grid for solving infiltration in unsaturated soil is built.

为提高非饱和土壤渗透求解的精度，综合考察现存方法的优缺点，通过理论研究，基于Richards方程变换，建立了非饱和土壤渗透求解的向前探索自适应网格有限差分法。

With the publication of the Dai Wei Ji Shi Ji, a translation of Loomis' textbook Elements of Analytical Geometry and of the Differential and Integral Calculus (1851), in 1859, the differential and integral calculus was introduced into China.

19世纪后期是中国数学由传统向近现代转化的一个重要时期，微积分是近代数学乃至大部分自然科学的最基础的理论，这个理论是从1859年出版的译著《代微积拾级》中介绍到中国来的。

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.

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

It's not quite as simple as that.

并没有那么容易。

It debuted in 1992 in Japan and the United Kingdom, and 1993 in the United States.

它首次亮相于1992年在日本和英国，在美国1993年。