查询词典 infinitesimal calculus

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

Chapter 1 gives the background,current research process of relatedproblems and summarizes this thesis\'s work.In chapter 2,we study the Brownian motion with holding and jumping on the boundary.We use the resolvent method to obtain the infinitesimal generator because the domain of the infinitesimal generator is essentially the same as the range of the resolvent.Knowledge of this range and of the differential operator determines uniquely the infinitesimal generator.Since the semigroup generated by the DHJ is not strongly continuous,to use the nice property of strongly continuous semigroup in analytic theory,in chapter 3 we show that the dual is strongly continuous and derive ergodicity through spectral radius formulas and finally obtain the ergodic theorem by duality. In chapter 4,we discuss a class of a more general process---one dimensional Feller diffusion proposed by W.Feller in 1954.The Feller diffusion allows the possibility of jumps from boundary to boundary,not only from boundary to the interior.We give the stationary distribution of this process.

具体地，本文的结构如下：第一章给出了问题产生的背景，研究现状及本文的主要工作；第二章研究了在边界上逗留后随机跳的布朗运动，我(来源：3dABC论文网www.abclunwen.com)们用预解算子的方法得到其无穷小生成元，因为无穷小生成元的定义域本质上就是预解算子的值域，知道这个值域和微分算子形式就能唯一地决定无穷小生成元；由于DHJ过程产生的半群不是强连续的，为利用强连续半群的一些漂亮性质，在第三章中我们证明其对偶半群是强连续的，然后由谱半径公式得到遍历性并且最后由对偶得到遍历定理；第四章讨论了Feller在1954年引入的更广的一类过程----一维Feller扩散过程，Feller扩散过程允许有从边界到边界的跳发生，即不仅仅局限于从边界到内部的跳，在这一章中，我们给出了一维Feller扩散过程的平稳分布；在第五章，我们讨论了一些相关的问题，给出了DHJ过程对应的PDE问题及特征值与收敛速度的关系。

This paper discusses such problems which are easily solved incorrectly in limitedteaching as, segment function is uncertain not to be elementary function, elementary function is un-certain to be continuous in its field of definition, unlimited variable is uncertain to be infinity, theinfinitely many infinitesimal is uncertain to be infinitesimal, the multiplication of two non- infinitesi-mal is uncertain not to be infinitesimal.

1分段函数不一定不是初等函数我们知道初等函数的定义是：常数和基本初等函数经过有限次的四则运算或复合，用一个解析式表示的函数叫初等函数。教材中的定义强调的"有限次"和"一个解析式"，使很多同学产生"非有限次"和"非一个解析式"的函数就不是初等函数的误解。例1f=ceox，s xx！0为分段函数，但也可以表示为f=e12(x-x2")+cos12(x+x2#"$)-1，故为初等函数。

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

Historically, it has been referred to as "the calculus of infinitesimals ", or " infinitesimal calculus ".

结石已广泛应用在科学，经济，工程，是用来解决问题而代数是不够的。

Mathematical legacy 数学遗产 Descartes' theory provided the basis for the calculus of Newton and Leibniz, by applying infinitesimal calculus to the tangent line problem, thus permitting the evolution of that branch of modern mathematics.

通过对切线问题的极限计算，笛卡尔为牛顿和莱布尼茨的微积分奠定了基础，所以使得这一近代数学分支的发展成为可能。

In modern physics research, the calculus of variations has a broad application of law. As a solid mechanics, structural mechanics and computational mechanics of the theoretical foundation, it has important value in theory and practice on the mechanics; Variation method ruled out the perturbation of the restrictions can be widely used in many state-level and the state function in the calculation in the optical; Calculus of variations can be calculated with the parameters, we can guarantee the reliability of the results, can effectively reduce the workload of calculation, It can be said that the applications of calculus of variations are very broad.

在现代的物理学研究中，变分法有着广泛的应用：在力学上，变分法作为固体力学、结构力学及计算力学的理论基础，在理论上和实践上都有重要的价值；在光学上，变分法排除了微扰法的限制，可以广泛应用于诸多定态能级和态函数的计算中；在量子力学的应用中，具有可算出系统的参数，既可以保证计算结果的可靠性，又能有效地减少计算的工作量等的优点，可以说变分法的应用领域十分广阔。

Some of them were ligated to the plasmid vector pCR 2.1 andsequenced,respectively.

将所获DNA片段克隆到pCR2.1载体进行测序，并与基因组数据库进行同源性比较。

Thinking since Google owns Blogger, I would be able to escalate this issue to the support team.

自谷歌的思考拥有Blogger的，我将能够缓解这一问题的支持团队。