1) aliquot part
正规约数
1.
Let n be a positive integer satisfying n>1 and s(n)= ,where s(n) is the sum of the aliquot parts of n .
设n是大于 1且适合s(n) =[n/ 2 ]的正整数 ,其中s(n)是n的正规约数和函数 ;ω(n)是n的不同素因数的个数 ,p1,p2 ,… ,pω(n) 是n的适合p1
3) Algebraic Specification
代数规约
1.
As a rewriting techniques based program development system, it provides an enhanced functional language and algebraic specification language mixed language.
提出了一个基于重写技术的程序开发系统，它提供了扩展的函数式语言和代数规约语言相结合的混合语言，该语言中引入了优化规则和测试等式说明机制。
2.
In this paper, a new mechanism for defining constrained type and optimal rule is introduced to functional programming language, and the enhanced functional language is combined with algebraic specification language.
在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性。
3.
For testing Web services automatically,the method testing Web service based on algebraic specification is proposed.
针对自动测试Web服务,提出基于代数规约测试Web服务的方法,包括描述Web服务的代数规约语言ASOWS。
4) data reduction
数据规约
1.
Data-reduction-based approximate data mining technique in which data reduction for massive data set was done in data pretreatment phase has been discussed.
讨论基于数据规约的近似挖掘技术,在数据预处理阶段对海量数据集进行数据规约。
2.
However,it does not provide data reduction service which is one of the bases of data-mining.
云计算开发平台可被用来开发高性能应用程序,但数据本身具有噪声、异构等问题,而现有的云计算开发平台当前还没有数据规约功能,利用云计算进行数据挖掘的解决方案尚未被提出。
5) Logical Monitoring
规约和修正
6) irregular restriction
非正规约束
补充资料：公约数
又称“公因数”。如果一个整数同时是几个整数的约数，则此整数称为那几个整数的公约数。一组非零整数a1，a2，…，an的公约数只有有限个，其中最大的一个称为这组数的最大公约数，记作(a1，a2，…an)。每一个公约数都是其最大公约数的约数。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条