查询词典 calculus of approximations

Familiarity with multivariable calculus, linear algebra, and probability and statistics is required.

熟悉多变量微积分，线性代数，概率和统计是必需的。

In this paper, the Lipschitz condition in calculus is generalized into metric space.

将数学分析中的Lipschitz条件在实数空间上的应用推广到度量空间上。

Methods: 123 patients with ureteral calculus were treated with Vensapulse Select holmium laser lithotrity through urethra under ureteroscopy.

总结输尿管镜下钬激光治疗123例输尿管结石患者的临床资料。

Calculation formulae for real number order derivative and integral of logarithmic functions and power functions have been obtained which are the important references to calculate real number order calculus of any other functions.

计算得出了对数函数、幂函数的任意实数阶导数及积分的完整计算公式，它们是推导其它函数任意实数阶微积分公式的重要参照式。

So we can describe the process model in the logic situation calculus based on the virtual enterprise ontology.

这样，我们就可以在虚拟企业本体论基础上，以逻辑情景演算来描述虚拟企业过程模型。

The similarity logic calculus system of multi-agent case retrieval is studied.

研究了多智能体实例检索中的相似性逻辑演算模型。

It designs the assertion language and assertion calculus for Pointer Logic.

这在已存在的比较流行的定理证明器中是不曾实现过的。2。

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

Leibniz wrote memoranda that can now be read as groping attempts to get symbolic logic—and thus his calculus—off the ground.

莱布尼茨写了我们现在可认为是探索得到符号逻辑—还有他的微积分—取得进展的备忘录。

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

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数据流的质量检测。