查询词典 algebraic calculus

In the four section, from the interpolationdimension of an algebraic curve and an algebraic surface,using theoryand method of algebraic geometry, we get some interpolation of analgebraic curve and an algebraic surface, and we prove the reasonableof the interpolation dimension of an algebraic curve and an algebraicsurface.

第四章我们从沿代数曲线曲面空间的插值维数出发，利用代数几何理论与方法，给出了代数曲线曲面上的基本插值结构，并证明了我们长期应用的其上的插值维数公式的合理性。

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.

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

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世纪精密科学的飞速发展，天文学、力学、光学、工业技术要求数学彻底革新，导致了无穷小概念的问世，促使费马增量理论开创微分学的先河，同时奠定了柯西的极限理论。

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三值逻辑为基础，并提出了这个扩展的理论与证据理论之间的等价关系。

The paper applies algebraic geometry, computational geometry, approximation theory to study the following problems: the Nother type theory and the Riemann-Roch type theory of the piecewise algebraic curve; the number of real intersection points of piecewise algebraic curves; the real piecewise algebraic variety and the B-net resultant of polynomials.

本文应用代数几何，计算几何，函数逼近论等学科的基本理论，分别就分片代数曲线的Nother型与Riemann-Roch型定理；分片代数曲线的实交点数；实分片代数簇以及多项式的B-网结式进行研究。

Representation Theory and Higher Algebraic K-Theory is the first book to present higher algebraic K-theory of orders and group rings as well as characterize higher algebraic K-theory as Mackey functors that lead to equivariant higher algebraic K-theory and their relative generalizations.

代表理论和更高的代数学的K 理论是第一个书提出订货和组戒指的更高的代数学的K 理论，好和导致equivariant更高的代数学的K 理论和他们的有关的概括的麦基functors一样表现更高的代数学的K 的特性理论。

Algebraic K-theory is an important branch of algebra which has deep relationships with other branches of mathematics such as algebraic number theory, algebraic geometry and algebraic topology.

代数K-理论是代数学的一个重要分支，它与数学中代数数论，代数几何和代数拓扑等其它分支有深刻的联系。

The non-uniform algebraic codebook is determined by the non-uniform statistical properties of the algebraic codebook, and the part-searching-area is determined by the periodicity of the algebraic codebook excitation vector, which makes up the insufficient numbers of signed pulses in algebraic codebook at low bit rate.

非均匀代数码书由代数码书的脉冲非均匀统计特性确定，部分搜索域代数码书则由代数码书矢量的周期性确定，该方法有效地弥补了低比特率情况下代数码书中脉冲数不足的缺点。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。