查询词典 approximation calculus

The calculus can be used to cleanly define what a computable function is.

Lambda演算可以用来清晰的定义什么是一个可计算的函数。

Just as λ-calcu-lus allows you to construct and reason about every possible computable function, there were high hopes that π-calculus would play similar role for concurrency.

本文提出了一个方法，据此可以把自然数和函数描述为进程，从而证明了π演算有足够的能力描述所有的可计算函数，同时还说明了与λ演算相比，π演算有着更高的计算效率。

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

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

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导数；最后借助梯度算法和时域有限差分法迭代反演德拜模型参数。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。