查询词典 calculus of errors

Studied present measuring methods" advantages and disadvantages, and presented the necessity and importance of researching propellant transient heat transfer.2.according to 130 and aeronautic 90 rocket projectiles" structure, analysed and acquired physical and mathematical models for propellant transient heat transfer, also designed propellant temperature field simulation units for test.3.acquired discrete transient heat balance equation and temperature calculation program, and gave contrasting curves between experimental temperature values and program calculating temperature values as well as maximum errors and average square root errors between them.4.by programs based on the first class boundary condition, worked out temperature distribution in propellant temperature field simulation units at different time, analysed temperature field distribution law and main elements affecting heat transfer, acquired propellant mass weighted average temperature and one at the half position of propellant maximum thickness as well as maximum errors and average square root errors between them.5.established transient heat transfer mathematical model and temperature calculation program for the third class boundary condition, drew contrasting curves between temperature experimental values and calculation values and gave maximum errors and average square root errors between them, got temperature distribution in the simulation unit at different time and main elements affecting heat conduction, figured out propellant mass weighted average temperature and one at the half position of propellant maximum thickness as well as maximum errors and average square root errors between them.

分析了现有测试方法的优缺点，提出了研究推进剂瞬态导热的必要性和重要性。 2。根据130和航90两种火箭弹的结构，分析得到了推进剂传热的物理模型和数学模型，设计了推进剂温度场模拟实验装置。 3。得到了离散形式的瞬态热平衡方程和温度场计算程序，给出了实验温度与程序计算温度值的对比曲线及其最大偏差与均方差。 4。利用程序求出了第一类边界条件下、不同时刻推进剂温度场模拟装置中的温度分布，分析了温度场的分布规律和影响传热的主要因素，求出了推进剂质量加权平均温度和最大肉厚1／2处的温度时间曲线并给出了两者之间的最大偏差与均方差。 5。建立了第三类边界条件下的瞬态导热数学模型和温度计算程序，求出了温度实测值与计算值的对比曲线并给出了两者之间的最大偏差与均方差，得到了不同时刻温度场模拟装置的温度分布与影响导热的主要因素，求出了推进剂质量加权平均温度和最大肉厚1／2处温度及两者之间的最大偏差与均方差，讨论并确定了能代表130和航90推进剂温度的特征点的位置。

Each group contains a detailed classification of different standpoints. Part 4 makes a careful study and analysis of the causes of errors and induces the causes of errors into interlingual errors,intralingual errors,limitation of basic language knowledge and writing skills and ignorance of commenting on composition and correcting errors. Part 5 draws a conclusion and sets forth some error corrections and teaching methods to reduce errors. Part 6 sets forth the authors suggestions and some problems to discuss.

并根据具体实例将不同错误类型进行了更为详细的分类及分析；第四部分分析写作错误的原因，将导致写作错误的原因归纳为语际因素，语内因素，学习者语言知识和写作技巧的限制及忽视作文评改；第五部分归纳和总结全文，通过归纳前述内容提出减少错误的教学对策和纠正错误的方法；第六部分提出本人的建议和进一步需要探讨的问题。

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

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演算中各种计算行为纠缠在一起，复杂而难以理解。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48