查询词典 integral calculus

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.

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

Calculus of variations is a field of mathematics that deals with functionals , as opposed to ordinary calculus which deals with functions .

变分法是处理函数的函数的数学领域，和处理数的函数的普通微积分相对。

Family of Swiss mathematicians and scientists, includingJakob or Jacques (1654-1705), an important theorist of ordinary calculus and the calculus of variations.

伯努利：瑞士数学家和科学家家族，包括雅各或雅克（1654-1705年），是关于一般微积分和变分微分的重要理论家。

These rules reflect some inherent feature of self and nonself, and they are the basic detection criterion of GECISM.

这些规则反映了"自我"和"非我"的内在特征，是GECISM进行"非我"检测的判据。

Until today, the media from China and the outside world still uses the term "Post 89". Regardless to whether it is for commercial gimmick or convenience, everybody still remember "Post 89", a term which carries a strong Cantonese accent.

时至今日，国内外艺术媒体还是在沿用&后八九&这个称谓，不管当初是为了商业噱头还是容易上口好记，反正大家现在是记住了&后八九&这个广东口音很重的词。