1) 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。
2) limitation of the time
时代规约
3) 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.
云计算开发平台可被用来开发高性能应用程序,但数据本身具有噪声、异构等问题,而现有的云计算开发平台当前还没有数据规约功能,利用云计算进行数据挖掘的解决方案尚未被提出。
4) 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
5) algebraic constraint
代数约束
1.
Algebraic Constraint-based View Rendering;
文章介绍了一种新的基于代数约束的图像生成方法，用于从两幅不同角度的参考图像来生成另一幅新的视角图像，即二次投影。
6) reduced algebra
约化代数
补充资料：代数的代数
代数的代数
algebraic algebra
代数的代数【aigeb面c aigeb口;缸代6脚盼贬军粗，即;浦钾! 域F上幂结合代数洲特别地结合代数飞.其所有兀素都是代数的几素a任月称为代数的(al罗bral口，如果由“生成的子代数F!a]是有限维的或等价地、兀素a有系数在基域F中的零化多项式).代数A称为有界次代数的代数(al罗braie al罗bra of bounded de-gee)如果它是代数的月其元素的极小零化多项式的次数的集合是有界的.有界次代数的代数的子代数与同态象仍是有界次代数的代数 例:局部有限代数(特别地有限维代数)、诣零代数及不可数域仁有。J数雌一成兀集的结合除环.下面假定所涉及的代数均为结合的，代数的代数的J匆以由son根(J aoobson radl以l)是诣零理想本原代数的代数A同构于除环上向匿空间的线性变换的稠密代数，如果A还是有界次的，则A同构于除环1的矩阵环.有限域上没有非零幂零元的代数的代数(特别地，除环)是交换的.因此，有限除环是交换的.有界次代数的代数满足一个多项式恒等式、见Pl代数(P卜algebra).代数的Pl代数是局部有限的.如果基域是不可数的，则由代数的代数通过基域的扩张所得到的代数，及代数的代数的张量积，都是代数的代数.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条