查询词典 calculus

For the calculus of set valued functions,some convergence theorems about thePettis-Aumann integral,such as Fatou's Lemma,are mainly investigated;theproperties of the parametric Pettis-Aumann integral are gotten.

在集值映射的微积分方面，本文着重讨论了Pettis-Aumann积分的一些收敛定理，如Fatou引理等，并研究了含参变量Pettis-Aumann积分的一些性质。

He adopted Jeremy Bentham 's Felicific calculus to economic behavior, allowing the outcome of each decision to be converted into a change in utility.

他通过本瑟姆的Felicific演算的经济行为，使每一项决定的结果转化为改变用途。

For example, basic tools from calculus such as Fermat theorem, Rolle theorem and the intermediate value theorem may not necessarily hold and fundamental concepts such as chain and product rules and certain smoothness properties all need to be modified.

例如，微积分中的基本工具诸如Fermat定理、Rolle定理以及介值定理不再成立，一些基本的概念诸如链式法则、乘积公式以及某些光滑性都需要做适当的修正。

Advanced course covering topics selected from: semimartingale theory, stochastic integrals, homogeneous chaos expansions, stochastic differential equations, Malliavin calculus, infinite dimensional processes, functional central limit theorems, Feynman-Kac formula, Feynman integral.

随机分析：高级课程，包括：半鞅理论，随机积分，齐次混沌展开，随机差分方程， Malliavin 微积分，，有限维过程，泛函中心极限理论， Feynman-Kac公式， Feynman积分，过滤理论的应用，无限粒子系统，量子力学，神经学中的随机模型。

Generally say, the oral hygiene is bad, tartar and dental calculus pile up, the food Qian fills, germ and germ spot function, badly fill dental cavity and have a tooth filled incitement, or oppress gum etc., is all important partial reason that causes a tooth to blaze for week.

一般说，口腔卫生不良，牙石和牙垢堆积，食物嵌塞，细菌和菌斑作用，不良补牙和镶牙刺激，或压迫牙龈等，都是引起牙周炎的重要局部原因。

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

Calculus can be used to find approximate solutions to equations, in methods such as Newton's method , fixed point iteration , and linear approximation .

积分可以用来寻找近似解方程，在方法，如牛顿法，不动点迭代和线性近似。

It proposes a method to formalize and analyze security properties of workflow systems by process calculus and types.

提出了一种基于Pi演算的工作流系统建模和安全性分析的方法。

It first utilizes pi-calculus to formalize service behavior as well as the interaction behavior between services as processes.

本文采用Pi演算将Web服务行为和Web服务之间的交互行为进行建模。

Through building Simulink model, the numerical solution of fractional order nonlinear calculus equation can be obtained directly.

通过Simulink搭建仿真框图，可以直接求出分数阶非线性微积分方程的数值解析解。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。