说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 可执行代数规范
1)  executable algebraic specification
可执行代数规范
2)  implementing norm
执行规范
3)  normative implementation
规范执行
4)  Algebraic specification
代数规范
1.
Component of polymorphism and its algebraic specification
多态性构件及其代数规范
5)  SPEC_algebra
规范代数
1.
The algebraic properties of a SPEC_algebra class are discussed where every SPEC_algebra has subalgebra that an equation e is valid in it.
讨论了具有使等式e 有效的子代数的规范代数构成的类的代数性质,证明了这个类是一个可等式的模型
6)  executable code
可执行代码
1.
According to the theory of buffer overflow,a buffer overflow detection model based on executable code is proposed.
根据缓冲区溢出原理,提出一种基于可执行代码的缓冲区溢出检测模型,给出该模型的理论基础,描述模型构建的过程,提出新的缓冲区引用实例的识别方法。
补充资料:代数的代数


代数的代数
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代数是局部有限的.如果基域是不可数的,则由代数的代数通过基域的扩张所得到的代数,及代数的代数的张量积,都是代数的代数.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条