1) invariant computing
不变量计算
1.
This paper reviews major achievements in recent years on geometric algebras and advanced invariant computing,with emphasis upon the background,guideline and estab- lishment of conformal geometric algebra and its important contributions to the development of advanced invariants in classical geometry.
综述近几年来几何代数和高级不变量计算两方面的主要进展,重点是共形几何代数的背景、思路、发展和对经典几何的高级不变量理论发展的重要作用。
2) loop invariant computation
循环不变量计算
3) invariant computation
不变式计算
4) invariant operator
不变量算子
1.
The wave function and probability density are obtained by the creation and annihilation operators of the invariant operator.
通过不变量算子的产生和湮灭算符，得到波函数和几率密度。
5) calculation of jump quantity
跃变量计算
6) computer variable
计算机变量
补充资料：可计算不变量
可计算不变量
computable invariant
可计算不变量[~四助lein拍ri明t;~I.c皿MM泛.卜服伸脱T].给定类型的字之间的二元关系的 可运用于所有该类型的字的且将任意两个相关字处理为一个相同字的算法(alg(’rithm)(在其精确意义下，例如，像在!11，{2]中所使用的正规算法(normal alg-orithm)). 根据A.A.Map‘oB的定义，两个字是由给定关系的不变量不可分的(insePar扭ble)，如果用这个关系的所有可计算不变量处理这些字将产生相同的结果.可以注意到，如果某二元关系是可判定的(见可判定集(deddable set))，则可以构造它的计算不变量使得不相关的两个字上有不同的值.另一方面，若能成功地构造出不相关且由不变量不可分的字，则所讨论的关系是不可判定的. 代数、拓扑中的许多著名算法问题(al即rit micPro-blem)都可表述为研究某些等价关系类的可判定性的问题，且这样一些问题的否定解往往是通过证明在一定类型的等价关系之间存在不可判定关系而得的二M诊KoB找到一个程序加强(如上所述)许多算法问题的否定解(群论中的字相等问题，同胚问题，结合演算和群演算不变性质的可认性问题).在[3]中构造了一个可枚举(见可枚举集(enumerable set))但不可判定的字的等价关系，然而任意两不相关字是由二元关系不变量可分的.现仍未解决(1987)是否类似结果对MaPKoB所研究的关系类也成立.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条