查询词典 calculus of errors

Aiming at OQL, we treated type as monoid (collection monoid and primitive monoid), and used monoid comprehension as OQL's intermediate representation. Therefore we can merge the rewrite rules for a number of collection types, then employ monoid comprehension in defining algebraic operators, as cut out the limit that in relational algebra/calculus algebraic operators are only for set.

针对ODMG-2.0的对象查询语言OQL，我们把类型提高到幺群级，然后从幺群概括入手，用幺群概括作为OQL的查询中间表示，统一了多种聚集类型的重写规则，幺群概括还被我们用于定义代数操作符，这使得代数操作符突破了关系代数/演算中只针对集合的局限。

Subjects were discussed and dispensed with through algebraic means, but calculus was not used.

主题进行了讨论，并免除通过代数方法，但不是用来演算。

This article listed the main clue of the development of mathematics in the sixteenth and seventeenth century. Based on that, we analyzed the algebraic basis of calculus. The basis had an algorithmic character which could use program to calculate.

本文在列出十六、十七世纪代数学发展主线的基础上，分析了微积分产生的代数学基础，这个基础本身带有强烈的程序化的算法特征。

The sum of algebraic rewriting system and second order λ-calculus can be used as an operational model of FOPL.

对一个类定义，通过限制方程的从左向右使用即可得到一个代数重写系统，代数重写系统和二阶λ演算的和即可作为FOPL的一个操作模型。

The resulting characteristic included a logical calculus, some combinatorics, algebra, his analysis situs, a universal concept language, and more.

因而普遍文字包括逻辑算法、组合数学、带数学以及他的位置几何、普遍概念语言等。

Main contents: the course of calculus, dollar limits and its application, vector algebra and space analytic geometry.

本课程的主要内容：极限论，一元微积分及其应用，向量代数和空间解析几何。

Advanced mathematics is one of the most important foundation lessons in each univercity, its content of course includes the calculus,the space analytic geometry and the vector algebra step,etc..

摘 要：高等数学是各大高校最重要的基础课之一，其教学内容包含微积分、空间解析几何与向量代数初步、场论初步等等。

The research fields are calculus of single variables functions and several variables functions, space analytic geometry, series, differential equation.

通过本课程的学习，使学生掌握一元函数微积分、向量代数和空间解析几何、多元函数微积分、无究级数、常微分方程等方面的基本概念、基本理论和基本运算技能，为学习后继课程和进一步获得数学知识奠定必要的数学基础。

Therefore, it took a long period for calculus, analytical geometry and algebra to take root in China.

对晚清数学家来说，面临着新的机遇，同时存在着巨大的挑战和困惑。

It is an important step of the transition for Chinese mathematicians to study and to use the translations of western mathematical textbooks on calculus, analytical geometry, algebra, and probability, such as DWJ, Wei Ji Su Yuan, Jue Yi Shu Xue.

研究晚清中算家对微积分的学习情况、理解程度以及应用能力，无疑对于研究中国数学的近代化历程具有十分重要的意义。

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