1) Algebraic specification
代数规范
1.
Component of polymorphism and its algebraic specification
多态性构件及其代数规范
2) modern standardization
现代规范
1.
On the modern standardization of Chinese characters in ancient books;
论古籍文字的现代规范化
3) temporal specification
时序规范
1.
In this paper, we use temporal specification for describing the properties of reactive, real-time systems.
针对反应式实时系统,我们使用时序规范来描述系统性质。
4) real-time specification for Java (RTSJ)
Java实时规范
5) time normalization
时间规范化
6) time-dependent gauge transformation
含时规范变换
1.
By means of time-dependent gauge transformation, we do a thorough study on undynamic phase which emerge in the quantum system.
笔者从含时规范变换出发,对该量子系统出现的非动力学相作了深入分析与研究,研究结果表明:当系统未完成一个周期的演变时,可以出现一个"不可积"的非动力学相;而只有当系统完成一个周期的演变,才可得到"可积"的相位—Berry相,这种相位具有"周期含时规范变换"不变性,因而存在物理观察效应。
2.
The time-dependent gauge transformation can be applyed to the J-C model which is a full quantumized model to describe a two-level atom interact with single model elecromagnetic field.
利用含时规范变换方法计算了描述单模光场与二能级原子相互作用的全量子化的J-C模型,得到体系非绝热近似的Berry位相正比于光子数算符的期待值。
补充资料：代数的代数
代数的代数
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代数是局部有限的.如果基域是不可数的，则由代数的代数通过基域的扩张所得到的代数，及代数的代数的张量积，都是代数的代数.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条