查询词典 absolute differential calculus

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

Fractal dimension structure of the Cosmos are explored, and the mathematical foundation, which include the expressions of fractal dimension differential and calculus, regular space integral solutions of fractal dimension differential equations, the fractal calculus definitions of fractal measure as well as the measure computational equation of self-similar fractal, of fractal dimension calculus and fractal measure are given.

摘 要：探讨了宇宙分维构造的形式，给出了分维微积分及分形测度的数学基础，包括分维导数及分维微积分的表述形式、分维微分方程的规整空间积分解、分形测度的分维微积分定义及自相似分形的测度计算方程。

The definition of the absolute value for a fuzzy number is obtained.Furthermore,a lot ofproblems,such as absolute integrability,bounded variation and absolute continuity,arepresented and discussed.The representation theorem of the absolute values of fuzzy num-bers is established.It plays an important role in discussing the problems conceming theabsolute value.The relation between the absolute integrability and integrabili-ty is discussed,and the following result is obtained:aintegrable fuzzy-number-valued function is absolutely integrable iff it is integrable.The relation between theabsolute integrability and the absolute continuity of the primitive for fuzzy-number-valuedfunctions is dealt with.It is also pointed out that a fuzzy number valued function is ab-solutelyintegrable if and only if its integral primitive is fuzzy absolutely continuous.

提出了模糊数绝对值的概念并讨论了与绝对值相关的一系列问题，如绝对可积性、有界变差性、绝对连续性等，给出了模糊数绝对值的定义以及表示定理，该表示定理在涉及绝对值问题的讨论中起非常重要的作用；讨论了绝对可积与可积之间的关系，得到了结论：可积的模糊数值函数绝对可积的充要条件是该模糊数值函数可积；给出了模糊数值函数绝对可积与其积分原函数绝对连续性之间的关系，指出模糊数值函数绝对可积的充要条件是其原函数模糊绝对连续。

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 consists of four chapters:In chaper 1, we introduce the background and signficance, research and actuality on oscillation of functional partial differential equations; we present research subject in this paper;In chaper 2, we discuss oscillatory property of systems of parabolic differential equations with delays and obtain necessary and sufficient conditions for the oscillation of their solutions; we show the difference between oscillatory property of systems of parabolic differential equations with delays and that of systems of partial differential equtions without delays; we explain the main results with examples;In chapter 3, we discuss oscillatory property of systems of functional parabolic differential equations of neutral type; we obtain some sufficient conditions for the oscillation or full oscillation of their solutions under some conditions; we explain the main results with examples;In chapter 4, we discuss oscillatory property of systems of functional hyperbolic differential equations of neutral type; we obtain sufficient conditions for the oscillation or full oscillation of their solutions under some conditions; we explain the main results with examples.

全文共分四章：第一章简要介绍了泛函偏微分方程的振动的背景和意义、对其研究的简单历史和现状，给出了本文的主要研究对象；第二章讨论了一类时滞抛物方程组解的振动性质，获得了判断其所有解振动的一个易于验证的充要条件；指出了这类具有时滞偏差变元的抛物方程组解的振动性质和不具有时滞偏差变元的抛物方程组解的振动性质的差异；并举例对主要结果进行阐明；第三章讨论了一类中立型抛物方程组解的振动性质，获得了在给定的条件下其所有解振动或全振动的若干充分条件；并举例对主要结果进行阐明；第四章讨论了一类中立型双曲方程组解的振动性质，获得了在给定的条件下其所有解振动或全振动的若干充分条件；并举例对主要结果进行阐明。

Course Content:The main part of this course is about infinitesimal calculus and ordinary differential equations,including :functions and limits,derivative and differential integral and their application,differential methods of function of several variables and its application,heavy integral,curve integral,camber integral,infinite progression and differential equations.

课程内容：学科教学法与CAI研究与实践是师范计算机专业教学系统的重要组成部分，学科教学法与CAI研究与实践课程是计算机科学教育的主要内容。通过本课程的学习使学生掌握现代学科教学法与CAI研究与实践的基本概念，基本原理和基本方法；能设计并使用所学的教学理论进行中学信息技术课程的教学设计，试讲，试教。课程内容：以微积分学和常微分方程为主干，介绍函数与极限，导数与微分，中值定理。不定积分，定积分及其应用，多元函数微分法及其应用，重积分，曲线积分与曲面积分，无穷级数及微分方程等。

And to let us see, that even absolute power, where it is necessary, is not arbitrary by being absolute, but is still limited by that reason, and confined to those ends, which required it in some cases to be absolute, we need look no farther than the common practice of martial discipline: for the preservation of the army, and in it of the whole common-wealth, requires an absolute obedience to the command of every superior officer, and it is justly death to disobey or dispute the most dangerous or unreasonable of them; but yet we see, that neither the serjeant, that could command a soldier to march up to the mouth of a cannon, or stand in a breach, where he is almost sure to perish, can command that soldier to give him one penny of his money; nor the general, that can condemn him to death for deserting his post, or for not obeying the most desperate orders, can yet, with all his absolute power of life and death, dispose of one farthing of that soldier's estate, or seize one jot of his goods; whom yet he can command any thing, and hang for the least disobedience; because such a blind obedience is necessary to that end, for which the commander has his power, viz.

让我们看看，即使在绝对权力有必要的地方，也不会因为权力的绝对而变得肆意，而仍然受那个原因和目的的限制，在某些情况下要求权力是绝对的，我们只要看看军事纪律的普遍应用：为保护军队——这是与整个共同体一致的——要求对上级军官绝对的服从，这些命令即使非常危险或没有理由，不服从或表示异议也可以处死；然而我们知道，一个士官，他可以命令一个士兵冲向炮口，或坚守阵地，在这种情况下几乎必死，但是他也不能命令士兵交给他一个便士；一个将军，可以因士兵擅离岗位或没有遵守不顾一切的命令而处死，然而他也不能用他对生死的绝对权力而处置或夺走那个士兵一丁点儿的财产；虽然他能够对士兵下任何命令，稍不服从即可处死；因为对那个目的而言，这样的盲目服从是必要的，为着那个目的，即保护其余的人，指挥者拥有这种权力；但是处置士兵的财产与此无关。良好的人性，恰当的理性，和对上帝的信仰。

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.

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