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

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

To probe into the clinical examination on hidden parts that can not be seen by conventional auriscope and microscope in aural diseases and aural surgery.

目的 探索在耳疾和耳科手术中对常规耳镜和显微镜不易窥清的潜隐部位进行临床检查的价值。

Is a powerful aural mix of club, commercial, and street style beats, all of it straight from the heart of Hong Kong. Ghost Style stretches his lyrical reach even further with 'M.I.C.', waxing lyrical on topics ranging from the chemistry lathered streets of Hong Kong to the territory's politics, bad boys, party girls, and just about anything else worth keeping real in HK. Ghost Style calls these slices of HK life aural movies his 'exaggerated fiction', and his vocal range – from crispy kid to low-key baritone – brings his stories to life. With his instantly recognizable voice, potent lyrics and shards of brilliance, Ghost Style remains the name to remember in Hip Hop on this side of the Pacific Rim.

音乐盛宴，弥漫着商业元素与街头风格，正带着浓浓的Ghost Style味道Ghost Style发挥他的作词天赋，用流畅如水一般的歌词描述着各种主题，在香港街头掀起如泡沫般化学效应政治话题，小混混，夜店流莺，各种香港地下的真实场面被描述得淋漓尽致Ghost Style把这些香港社会的剪影称作是他&夸张的虚构&，他的音域可以从清脆的小屁孩腔转到低沉磁性的男中音，唱着这些如他自己生活一般的点滴故事他的声音那么特殊，以至于过耳难忘，尖刻的歌词打破天真的幻想，Ghost Style这个名字，在嘻哈界早已传到大洋彼岸

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.

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

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

These descriptions are brief, but based on them it is indeterminable and has disadvantage in system design and direct implementation. On the other hand, these works mostly focus on describing variants behaviors of Ambient calculus in one level, which makes it complicated to understand clearly how these variants behaviors work and how they work together. As a result, based on the unit ambient of Ambient calculus, a three-level semantics description framework is given for Ambient calculus.

这种描述方式尽管简洁，一方面却具有不确定性，不利于实际的网络计算系统的设计和直接实现；另一方面，这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义，使得Ambient演算中各种计算行为纠缠在一起，复杂而难以理解。

These are places without aristocratic baggage; egalitarian places open to talent, self-improving, engaged in learning and innovation through networks that were at once competitive and cooperative.

这些地方没有贵族遗风作祟，而且对于那些有天分的人是开放的平等之地，这些人善于通过那些曾经很具有竞争力与合作精神的关系网进行自我提高以及学习创新。

Christine: You don't want to see me?

你不想见我？