1) equidissection
2-进赋值函数
2) valuation density function
赋值密度函数
1.
Taking the valuation lattice to be the unit interval ,this paper introduces the valuation density function and defines the probability truth degree.
取赋值格为[0,1],引入赋值密度函数,定义了命题公式的概率真度,并讨论几种赋值密度函数的形态,得到一些概率真度推理规则。
2.
The valuation density function of formulas in the continuous value propositional logic system is proposed on the idea of conditional probability.
基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、数学期望、条件概率真度的定义,并得到了一些概率真度的推理规则。
3.
The valuation density function of formulas in continuous value propositional logic system is obtained based on the idea of conditional probability.
基于条件概率的思想,在Gdel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。
3) tensor-valued function
张量赋值函数
4) exponential p adic valuation
指数p进赋值
5) evaluation functor
赋值函子
6) prime values of certain quadratic functions
2次函数素数值
1.
It is shown by model-theoretic methods that, for a set of axioms P 1 which is equivalent to PA over the system N of natural numbers and for certain first-order formula-tions of the following problems, the infinitude of prime values of certain quadratic functions on N is independent to P 1.
用模型论方法证明了 2次函数素数值问题及一种 3重完美数问题对于PA的条件独立性 ,以及一些更一般的结论 。
补充资料：本征函数和本征值
算符弲作用于函数f(r)上, 得出另一个函数。若算符弲作用于一些特定的函数Ui(r)上(i=1，2，...)结果等于一常量乘同一函数，即,
则常数Fi称为算符弲的本征值,ui(V)称为属于这个本征值的本征函数。上式称为算符弲的本征值方程。
在量子力学中，一个力学量所可能取的数值，就是它的算符的全部本征值。本征函数所描写的状态称为这个算符的本征态。在自己的本征态中，这个力学量取确定值，即这个本征态所属的本征值。
则常数Fi称为算符弲的本征值,ui(V)称为属于这个本征值的本征函数。上式称为算符弲的本征值方程。
在量子力学中，一个力学量所可能取的数值，就是它的算符的全部本征值。本征函数所描写的状态称为这个算符的本征态。在自己的本征态中，这个力学量取确定值，即这个本征态所属的本征值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条