查询词典 calculus

Tullock has written many books, none of which were as *mous as The Calculus of Concent.

到 1991年为止他的论文和论著被三十几个学科引证达3991次。

Employing the finite difference calculus, the cavitation bubble pulsating performance with the change of liquid viscosity, gas content, surface tension and condensability is obtained.

在系统地研究固壁面附近空泡溃灭过程的基础上，提出并研究了射流阈值、空泡在第一次和第二次脉动过程衰减蚀除机理以及空泡溃灭周期延长因子等问题。

Employing the finite difference calculus, the cavitation bubble pulsating performance with the change of liquid viscosity, gas content, surface tension and condensability is obtained. In the experiment research, the detailed processes of capitation bubble oscillation property and bubble collapse are gained by the fiber-optical detection sensor. Furthermore, th...

本文研究结果既可避免激光等离子体冲击波和空化带来的危害，也为合理利用激光等离子体冲击波和空化现象提供理论和实验依据，可供激光加工、激光医疗、水下激光加工和相关流体力学的研究参考。

An adequate version of CCS is developed, and weak bisimulation of this calculus is proved to be a congruence relation.

提出了一个CCS的变形系统，证明了系统的弱互模拟是同余关系。

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus conics and limits

高中：代数，几何，高等代数，三角学，？圆锥和极限

In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中，被证明的合式公式。

Firstly, the approach formulates a cost functional to turn the inverse problem into a constrained minimization problem according to least squares criterion, then the resulting constrained minimization problem is transformed into an unconstrained minimization problem by using a penalty function technique, and then the closed Fr chet derivatives of the Lagrange function with respect to the properties are derived based on the calculus of variations, finally, one can solve the resulting problem by using any gradient-based algorithm and the finite-difference time-domain method.

该方法首先以最小二乘准则构造目标函数，将逆问题表示为约束最小化问题；接着应用罚函数法转化为无约束最小化问题；然后基于变分计算导出闭式的拉格朗日函数关于特征参数的Fr chet导数；最后借助梯度算法和时域有限差分法迭代反演德拜模型参数。

But, in fact, the application of contour integral is more important, its application in integral calculus, physics and engineering science is quite extensive.

但更重要的是其应用，周线积分在积分学、力学、工程学方面应用相当广泛。

This paper probes into its application in integral calculus especially--- utilizing contour integral to calculate relational real integral.

本文重点探讨它在积分学当中的应用——利用周线积分计算有关的实积分。

To formalize this algorithm,crosscutting contract calculus and a set of contract elaboration rules are presented.

为了形式化这个算法，提出Crosscutting Contract演算和一组契约求解规则，并通过定义和证明契约完备性来保证契约求解过程的正确性。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。