查询词典 approximation calculus

Utility operator of the calculus and differential operator, and so in some respects with the easy to learn, saving hours and easy to remember and so on.

实用的微积分算子及差分算子等在某些方面具有易教易学、节省课时、容易记忆等特点。

This course is suitable of students who have mastered infinitesimal calculus, linear algebra, set topology, differential geometry of curves and surfaces.

微分流形己成为现代数学研究的基本对象，是联系经典数学和当代数学文献的桥梁。

Differential Calculus: limits and continuity; derivatives; techniques of differentiation; mean value theorem; higher derivatives; maxima and minima; curve sketching.

微分学：极限与续性、导、微分的方法、值定理、阶导数、值、绘曲线。

I've used it in programs written for courses of Optimization Methods, Identification, Calculus, and Dimensional Analysis.

在我使用的优化方法，识别，微积分课程编写的程序它，量纲分析。

The final part, suitable for third year students, uses ideas from algebra, analysis, calculus and geometry to study more advanced topics such as Dirichlet series and sums of squares.

最后部分，为三年级学生适用，使用从代数，分析，计算和几何研究诸如Dirichlet级数和平方和更高级的主题思想。

Hybrid systems ;μ calculus ; Game theory ; Zeno reachable ; Control synthesis ; Lyapunov stability ; Sliding mode ; Fault diagnosis ; Discrete event ; Mixed dynamical programming ; Optimal control ; Hybrid automata ; Petri net

国家自然科学基金；高等学校优秀青年教师教学科研奖励计划混杂系统；μ演算；对策论；季诺可达；控制综合； Lyapunov ；稳定性；滑动模；故障诊断；离散事件；混合动态规划；最优控制；混杂自；动机； Petri网

In Extended Duration Calculus, discrete state variables can only be Boolean, terms can only be combined by relational operators to become formulas.

在扩展的延时演算中，离散状态变量只能是布尔类型，项只有通过关系操作符的连接才能成为公式。

This thesis improves Extended Duration Calculus so that discrete state variables can be arbitrary types and any Boolean typed terms can be seen as formulas.

本文改进了扩展的延时演算，使得离散状态变量可以是任意类型，并将任何布尔类型的项作为公式，增加了灵活性和表达性。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

The introduction of displacement operator, derivation operator, integral operator and the operator, such as differential calculus operator and the definition of the form of computing, will be applied to similar derivation formula gives Newton a Kete Si formula and Bernstein theorem Law said the operator, and form is derived; linear differential equations is the operator solution.

有没有高手可以帮我翻译下这段话啊？？？引入位移算子、求导算子、积分算子和差分算子等微积分算子的定义及其形式运算，将其应用于近似求导公式；给出牛顿一柯特斯公式和伯恩斯坦定理的算子法表示，并进行形式推导；给出线性常微分方程的算子解法。

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.

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