查询词典 integral calculus

This software carried out the calculation of the integral calculus of Bernhard Riema with draw the function sketch of the Bernhard Riema integral calculus function and together the function that two calculation and integral calculus zone diagrams of the heavy integral calculuses of a function draw.

本软件将实现黎曼积分的计算与绘制黎曼积分函数的函数图形、齐次函数的二重积分的计算与积分区间图的绘制的功能。

The calcalus learns is a mathematic branch connected closely with scientific application.Infinitesimal is an important componant in the theoretical system and has an outstanding effect on the forming of the basis and conception of the theory. infinitesimal ; calculus ; the calculus learns ; differential calculus ; integral calculus

引 言微积分学是建立在实数、函数和极限理论基础上，研究函数微分、积分以及有关概念与应用的数学分支。17世纪精密科学的飞速发展，天文学、力学、光学、工业技术要求数学彻底革新，导致了无穷小概念的问世，促使费马增量理论开创微分学的先河，同时奠定了柯西的极限理论。

this article discusses the integral theorem of mean the promoted question, mainly has two aspects: On the one hand in analyzes in the teaching material under the first integral theorem of mean condition, had proven lies between the value spot to have to be possible to obtain in the open-interval, further discusses this knot promotes to the generalized Riemann integral, and further proved the conclusion also establishes to the promoted first integral theorem of mean; Promotes on the one hand in addition the integral theorem of mean to in the curve and the curved surface, and has proven the curvilinear integral theorem of mean and the surface integral theorem of mean.

本文讨论积分中值定理的推广问题，主要有二个方面：一方面在分析教材中第一积分中值定理的条件下，证明了介值点必可在开区间内取得，进一步将这个结论推广到广义Riemann积分，并进一步证明结论对推广的第一积分中值定理也成立；另一方面，将积分中值定理推广到曲线和曲面中，并证明了曲线积分中值定理和曲面积分中值定理。

Then the boundary element integral equation of interior and exterior form is deduced in detail, also the form with corner coefficient. The significance for numerical calculation and principle of the singular integral is analyzed, and a non-isoparametric transformation method is presented to calculate weak singular integral and Cauchy integral, the method presented provides us a very simple way to computer the two kinds of singular integral of Helmholtz boundary integral equation, and it is easy to program in computer. After the difficulty of the calculation for multi-frequency of Helmholtz boundary element is explained, a method named SECHIEF (Series Expansion Combined Helmholtz Integral Equation Formulation), which is focused on the computational efficiency, is presented.

对结构声辐射的边界积分方程的内部形式与外部形式进行了详细的推导，给出了角点系数的计算方法与边界积分方程的形式，在此基础上，分析了奇异积分产生的原理及其对数值计算的重要性，提出了一种计算奇异积分的非等参(来源：Ae8a8BC论文网www.abclunwen.com)单元的变换方法，该方法给Helmholtz 声学边界积分方程中的弱奇异积分与Cauchy 奇异积分的计算以及编程提供了极大便利。

Indefinite integral concept,, indefinite integral nature of the basic integral formula, the indefinite integral proofs, indefinite integral substitution integration, integration by parts, the indefinite integral rational function integral.

不定积分概念，，不定积分性质，基本积分公式，不定积分证明方法，不定积分换元积分法，分部积分法，不定积分有理函数积分。

Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.

运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Prolonged markedly the time of sleep in mice with the hypnotic effect induced by phenobarbital sodium, while SWNH (50 mg/kg), the natural calculus bovis (100 mg/kg), and the artificial calculus bovis (100 mg/kg) did not. SWNH (500, 1,000, 2,000 mg/kg), the natural calculus bovis (1,000 mg/kg), and the artificial calculus bovis (1,000 mg/kg) i.g.

生物牛黄中间体100mg/kg体重、150mg/kg体重腹腔注射给药，可使苯巴比妥钠引起的小鼠睡眠时间明显延长；生物牛黄中间体50mg/kg体重、天然牛黄100mg/kg体重和人工牛黄100mg/kg体重对睡眠时间的延长无明显影响。

During the study of incidence calculus theory, we firstly clarified original incidence calculus and the probabilistic reasoning mechanism on it. We then introduced the improvement of generalized incidence calculus theory proposed by Liu~[18], which establishes incidence calculus theory on Lukasiewiczs three valued logic.

本文首先阐述了原始的发生率计算理论及其上的概率推理机制，然后引入Liu对该理论的改进，以Lukasiewicz三值逻辑为基础，并提出了这个扩展的理论与证据理论之间的等价关系。

This curriculum primary coverage includes: Function and limit, a circular function derivative and differential, theorem of mean and derivative application, indefinite integral, definite integral, definite integral application, space analytic geometry and vector algebra, function of many variables differential method and application, multiple integral, curvilinear integral and surface integral, infinite series, differential equation.

该课程的主要内容有：函数与极限，一元函数的导数与微分，中值定理与导数的应用，不定积分，定积分，定积分的应用，空间解析几何和向量代数，多元函数微分法及其应用，重积分，曲线积分与曲面积分，无穷级数，微分方程。

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.

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