查询词典 calculus of probability

The establishment of the theory of calculus so that a solid foundation of logic, the calculus in the contemporary field of science to the whole more extensive and reasonable use and development of a deeper, so the limit order to function as a top priority of this part, flexibility for the use of limits is the basis of learning advanced mathematics.

其理论的确立使微积分有了坚实的逻辑基础，使得微积分在当今科学的整个领域得以更广泛，更合理，更深刻应用和发展，所以求函数的极限成为这一部分的重中之重，灵活掌握运用极限的求法是学好高等数学的基础。

What Leibniz actually intended by his characteristica universalis and calculus ratiocinator, and the extent to which modern formal logic does justice to the calculus, may never be established.

莱布尼茨通过他的《普遍文字》和推理演算的实际意图，或当代形式逻辑对计算法的评价程度，也许是永远都不会实现的。

In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.

为了准确地描述虚拟企业这种动态的、复杂的建模过程，我们对情景演算这种形式化逻辑框架进行扩展，提出了逻辑情景演算，并以逻辑情景演算来描述虚拟企业的运作过程。

In chapter 2, to meet the application requirements of incomplete information system, based on propositional connectives ∧、∨、→、ヲ、～ and ～, we construct medium logic propositional calculus system MP〓 and medium logic predicate calculus system MF〓.

第一章：简要说明不完全信息数据库和模糊数据库研究的目的和意义，介绍中介逻辑和模糊数据库的发展、模糊数据库系统的特性以及本文的主要研究工作。

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

On the one hand, he established the theory on Kleenes three valued logic and proposed interval incidence calculus theory~[21]. On the other hand, he proposed interval generalized incidence calculus theory~[22] by revising GICT.

一方面是在Kleene三值逻辑基础上提出区间发生率计算理论(Interval Incidence Calculus Theory，以后简记为IICT)，另一方面在Liu的扩展理论基础上，提出区间推广的发生率计算理论(Interval Generalized Incidence Calculus Theory，简记为IGICT)。

However,To prove Inequality with elementary method,we often create complex computational process. The second ,we will take full advantage of the knowledge of calculus Inquiry Testimony of inequality,and concluded the higher mathematics to prove Inequality several main method and its application conditions.Constructors in the context of the use of the monotone function,Calculus value theorem,function and the most extreme value,integral, it can be a very effective solution to the inequality problem proof. At last,we summed up several convenient and simple way to prove Inequality.It will be play a great role in our problem Solving.

但是用初等方法证明往往会造成复杂的运算过程，本文接着充分利用微积分的知识探究不等式的证明方法，并指出微分学和积分学在不等式的证明的具体应用，那就是在构造函数的背景下运用函数的单调性、微积分中值定理、函数的极值和最值、定积分，那么就可以十分有效地解决不等式中的证明问题，从而归纳出几种方便而又简捷的方法，这样对我们解题将会起到很大的作用。

Matrices, Vector and Vector Calculus, Newtonian Mechanics-single Particle, Oscillations, Nonlinear Oscillations and Chaos, Gravitation, Some Methods in the Calculus of Variations, Hamilton's Principles Lagrangian and Hamiltonian Dynamics, Central-Force Motion, Dynamics of a System of Particles, Motion in a Noninertia Reference Frame, Dynamics of Rigid Body.

矩阵和向量的计算、单一质点的牛顿力学、线性与非线性的振动运动、重力、微积分上的变分法介绍、哈密顿原理、拉氏及哈氏力学、连心力下的运动、质点系的运动力学、在非惯性坐标中的运动、刚体的运动。

A bigraphical representation of a Seal calculus without replication is provided in this paper,and structural correspondence and operational correspondence between the Seal calculus and its bigraphical representation are analyzed.

文中给出了一种不带复制进程表达式的Seal演算的偶图表示，分析了该Seal演算与其偶图表示间的结构对应和操作对应。

The event calculus is a theory for reasoning about action based on first-order predicate calculus.

事件演算是基于一阶谓词演算的行动推理理论。

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