1) super-value
超赋值
1.
But in light of the view of super-value,some would be made true while others false.
但从超赋值的观点看,它表明某些赋值使它为真,某些赋值使它为假,即命题可真可假。
2) evaluate
[英][ɪ'væljueɪt] [美][ɪ'vælju'et]
赋值
1.
AIM to Ensure the evaluation standard system about the building lighting and the lighting environment,to make the evaluate toward scientific equitableness.
采用课题组确定初步方案 ,公众问卷调查 ,专家复式问卷调查 ,专家赋值确定权重的方法。
2.
Present two special data types in Verilog HDL And the source programs of Verilog HDL is given Then get some conclusions about how to evaluate these two kinds of variables in different situation It has common guide significance to the Verilog HDL user
阐述了 V erilog H DL 语言中的两种特殊数据类型 ,并通过示例源程序 ,归纳总结了对于这两种特殊数据类型的赋值。
3) valuation
[英][,vælju'eɪʃn] [美]['vælju'eʃən]
赋值
1.
Valuations on Surfaces and on Arithmetic Surfaces;
曲面及算术曲面上的赋值
2.
Classification of valuations on surfaces
曲面上赋值的分类(英文)
3.
On the basis of the classical valuation method of generalized functions, the set value of a generalized function has been defined by the equivalent value mode and the uniform convergence method.
在广义函数的经典赋值方法的基础上利用等价方式及一致收敛方法定义了一种广义函数的集
4) assignment
[英][ə'saɪnmənt] [美][ə'saɪnmənt]
赋值
1.
Thus, assignments are in fact write-operations applied .
赋值被看成当作物理对象的变量上的操作。
2.
Based on the consistence of logical equivalence and provable equivalence of formulas in two-valued proposition logic,the general expression of formulas in F(Sn) in the meaning of provable equivalence with the help of assignment of formulas is given.
利用二值命题逻辑中公式逻辑等价与可证等价的一致性,借助于赋值方法得到了命题在可证等价意义下的一般表示,给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式。
6) evaluating-diversity
赋值差值
1.
Study on evaluating-diversity of two kinds of five-rating qualifiers;
两种类型五级语义量词的赋值差值比较
补充资料：赋值
实数（或复数）绝对值在任意域上的推广。赋值这个概念最初是由J.屈尔沙克于1913年提出的。设 φ是定义在任意域F上的一个取非负实数值的函数,并满足以下三个条件：①φ(α)=0，当且仅当α=0，并对某个α∈F 有φ(α)≠1；②φ(αb)=φ(α)φ(b)；③φ(α+b)≤φ(α)+φ(b),J.屈尔沙克把这样的φ称为F上的一个赋值。按照通行的叫法，后改称之为F的绝对值。不久以后,A.奥斯特罗夫斯基引进了另一种绝对值φ，它满足上述的①和②,以及④，并把这种φ称为非阿基米德绝对值,而把满足①、②、③而不满足④的那些φ称为阿基米德绝对值。实数域R或复数域C的通常绝对值就是它们的阿基米德绝对值。有绝对值φ的域F，记作(F,φ)。
完全域 借助于F的绝对值φ，可以把分析学上的一些概念移植于F。设｛αi｝是F的一个序列。若对于每个实数ε>0，总有一个自然数n0，使得当m,n≥n0时，恒有φ(αm－αn)<ε，则称{αi}是(F,φ)的一个φ柯西序列。若对于序列｛αi｝，有α∈F，使得当n≥n0时恒有 φ(αn-α)<ε则称{αi}是φ收敛的,而α称为它的φ极限。若(F,φ)中每个φ柯西序列都是φ收敛的,则称F关于φ是完全的,或者说(F,φ)是完全域(complete field)。实数域R或复数域C关于通常的绝对值是完全的，而K.亨泽尔的P进数域Qp则是一个非阿基米德绝对值的完全域。对这两种域作统一的处理，正是发展赋值理论的一个主要出发点。F上所有形如的级数，称为F上关于文字X的形式幂级数。按照通常的加、乘运算，它们组成一个域,称为F上的形式幂级数域，记作 F((x))。令，以及ρ(0)=0，于是得到一个完全域(F((X)),φ)。
当φ是阿基米德绝对值时,有著名的奥斯特洛夫斯基定理：若F关于阿基米德绝对值φ是完全的,则F连续同构于R 或C。
赋值和赋值环 非阿基米德绝对值这个概念还可以作如下的推广。设 Г是一个有序交换群，其运算为乘法，单位元素为1。设0是一个符号,它与Г的元素r，满足r·0＝0·r＝0·0＝0，以及0。若φ: F →Г∪{0}是个满映射,满足:①φ(α)=0当且仅当α=0；②φ(αb)=φ(α)·φ(b)；③,则称φ是F的一个赋值.或者说F是有赋值φ的赋值域,记作(F,φ)。Г称为φ的值群。当Г是正实数乘法群时，φ就是前面所说的非阿基米德绝对值。在赋值域(F,φ)中,子集成一个环,称为φ 的赋值环。F的子环 A成为某个赋值的赋值环，当且仅当对于F的每个元素α，必有α∈A或者α_1∈A。
从域F的一个子环A 到某个域K 的一个同态映射B,如果满足：①对于α∈F-A,有α_1∈A以及α_1B=0；②B把A的单位元素映射到K的单位元素,那么B称为F的一个位。域的每个位，显然给出一个赋值环；反之，从域的赋值环也不难作出域的一个位。因此，赋值、赋值环和位这三个概念密切相关。位还是代数几何中的一个重要概念，早在R.戴德金和H.韦伯的经典著作中就有了它的雏型。赋值自W.克鲁尔于20世纪30年代初提出以后，赋值理论广泛应用于代数数论、类域论以及代数几何等方面；到了60年代，它又与泛函分析有着日益增长的关联。
赋值的阶 设Г是赋值φ的值群，Δ是Г的一个子群。若对于Δ的每个元素δ，Г中所有满足δ-1<у<δ的元素у也属于Δ,则Δ称为Г的一个孤立子群。｛1｝和Г都可以作为Г的孤立子群。以下设Г≠｛1｝。由于Г是有序的,Г中所有的孤立子群按包含关系成一个全序的集。除Г 本身外的所有孤立子群，按包含关系所成全序集的序型定义为Г的阶。若φ的值群Г的阶是m,就称φ是m阶赋值。因此，所谓一阶赋值,就是指值群只有｛1｝为其真孤立子群的赋值。有序交换群的阶为1,当且仅当它保序同构于某个由实数所成的乘法群。这个事实表明，一阶赋值正是前面所定义的非阿基米德绝对值。
离散赋值 当一阶赋值φ的值群为无限循环群时,则φ称为离散赋值。例如，关于有理数域Q。设 p是一个素数，那么每个有理数α≠0都可惟一地写成的形式，其中b、с是与p互素的整数,v(α∈Z。规定，以及φ(0)=0。不难验知,φ满足赋值的条件，而且是一个离散赋值，称之为Q的p进赋值。
赋值的开拓 设(F,φ)是一个赋值域,K是F的一个扩域,若K有一个赋值ψ，使得对每个α∈F,都有ψ(α)=φ(α)，则ψ称为φ在K上的开拓。关于赋值开拓有存在性定理：F的赋值在F的任何一个扩域上都至少有一个开拓。
拓扑域 如果域F有一个拓扑τ,使得F的四则运算关于τ是连续的,那么F称为关于τ的拓扑域,记作(F,τ)。库尔雪克意义下的赋值域，是拓扑域的最早例子。
赋值理论也可以从拓扑代数的角度来研究，是基于下述事实。对于有绝对值φ 的域 F，所有形如｛α∈F｜φ(α)<ε｝的子集构成零元素的一个基本邻域族，从而生成F的一个域拓扑。在φ是F的赋值时,情形也相同。对拓扑域作系统的研究始于20世纪30年代初期D.von 丹齐克的工作。
局部紧域 任何拓扑域(F,τ)只能是连通的,或者完全不连通的。如果τ是F的一个局部紧拓扑,那么(F,τ)称为局部紧域。离散拓扑也是一种局部紧拓扑。仅就非平凡的和非离散的情形而论，局部紧域有一些显著的性质。首先，每个局部紧域 (F,τ)都有一个绝对值φ，使得由φ所生成的拓扑与τ相同。其次,还有定理:设(F,τ)是一个局部紧域。如果它是连通的,那么它连续同构于R或C（关于通常绝对值的拓扑）；如果它是完全不连通的，那么它就连续同构于 p进数域Qp的一个有限扩域，或者某个有限域K上的形式幂级数域 K((x))的有限扩域。
参考书目
O.Zariski and P.Samuel,Commutative Algebra,Vol.2,Springer-Verlag,New York,1960.
O. Endler,valuation Theory，Springer-Verlag, Berlin,1972.
完全域 借助于F的绝对值φ，可以把分析学上的一些概念移植于F。设｛αi｝是F的一个序列。若对于每个实数ε>0，总有一个自然数n0，使得当m,n≥n0时，恒有φ(αm－αn)<ε，则称{αi}是(F,φ)的一个φ柯西序列。若对于序列｛αi｝，有α∈F，使得当n≥n0时恒有 φ(αn-α)<ε则称{αi}是φ收敛的,而α称为它的φ极限。若(F,φ)中每个φ柯西序列都是φ收敛的,则称F关于φ是完全的,或者说(F,φ)是完全域(complete field)。实数域R或复数域C关于通常的绝对值是完全的，而K.亨泽尔的P进数域Qp则是一个非阿基米德绝对值的完全域。对这两种域作统一的处理，正是发展赋值理论的一个主要出发点。F上所有形如的级数，称为F上关于文字X的形式幂级数。按照通常的加、乘运算，它们组成一个域,称为F上的形式幂级数域，记作 F((x))。令，以及ρ(0)=0，于是得到一个完全域(F((X)),φ)。
当φ是阿基米德绝对值时,有著名的奥斯特洛夫斯基定理：若F关于阿基米德绝对值φ是完全的,则F连续同构于R 或C。
赋值和赋值环 非阿基米德绝对值这个概念还可以作如下的推广。设 Г是一个有序交换群，其运算为乘法，单位元素为1。设0是一个符号,它与Г的元素r，满足r·0＝0·r＝0·0＝0，以及0
从域F的一个子环A 到某个域K 的一个同态映射B,如果满足：①对于α∈F-A,有α_1∈A以及α_1B=0；②B把A的单位元素映射到K的单位元素,那么B称为F的一个位。域的每个位，显然给出一个赋值环；反之，从域的赋值环也不难作出域的一个位。因此，赋值、赋值环和位这三个概念密切相关。位还是代数几何中的一个重要概念，早在R.戴德金和H.韦伯的经典著作中就有了它的雏型。赋值自W.克鲁尔于20世纪30年代初提出以后，赋值理论广泛应用于代数数论、类域论以及代数几何等方面；到了60年代，它又与泛函分析有着日益增长的关联。
赋值的阶 设Г是赋值φ的值群，Δ是Г的一个子群。若对于Δ的每个元素δ，Г中所有满足δ-1<у<δ的元素у也属于Δ,则Δ称为Г的一个孤立子群。｛1｝和Г都可以作为Г的孤立子群。以下设Г≠｛1｝。由于Г是有序的,Г中所有的孤立子群按包含关系成一个全序的集。除Г 本身外的所有孤立子群，按包含关系所成全序集的序型定义为Г的阶。若φ的值群Г的阶是m,就称φ是m阶赋值。因此，所谓一阶赋值,就是指值群只有｛1｝为其真孤立子群的赋值。有序交换群的阶为1,当且仅当它保序同构于某个由实数所成的乘法群。这个事实表明，一阶赋值正是前面所定义的非阿基米德绝对值。
离散赋值 当一阶赋值φ的值群为无限循环群时,则φ称为离散赋值。例如，关于有理数域Q。设 p是一个素数，那么每个有理数α≠0都可惟一地写成的形式，其中b、с是与p互素的整数,v(α∈Z。规定，以及φ(0)=0。不难验知,φ满足赋值的条件，而且是一个离散赋值，称之为Q的p进赋值。
赋值的开拓 设(F,φ)是一个赋值域,K是F的一个扩域,若K有一个赋值ψ，使得对每个α∈F,都有ψ(α)=φ(α)，则ψ称为φ在K上的开拓。关于赋值开拓有存在性定理：F的赋值在F的任何一个扩域上都至少有一个开拓。
拓扑域 如果域F有一个拓扑τ,使得F的四则运算关于τ是连续的,那么F称为关于τ的拓扑域,记作(F,τ)。库尔雪克意义下的赋值域，是拓扑域的最早例子。
赋值理论也可以从拓扑代数的角度来研究，是基于下述事实。对于有绝对值φ 的域 F，所有形如｛α∈F｜φ(α)<ε｝的子集构成零元素的一个基本邻域族，从而生成F的一个域拓扑。在φ是F的赋值时,情形也相同。对拓扑域作系统的研究始于20世纪30年代初期D.von 丹齐克的工作。
局部紧域 任何拓扑域(F,τ)只能是连通的,或者完全不连通的。如果τ是F的一个局部紧拓扑,那么(F,τ)称为局部紧域。离散拓扑也是一种局部紧拓扑。仅就非平凡的和非离散的情形而论，局部紧域有一些显著的性质。首先，每个局部紧域 (F,τ)都有一个绝对值φ，使得由φ所生成的拓扑与τ相同。其次,还有定理:设(F,τ)是一个局部紧域。如果它是连通的,那么它连续同构于R或C（关于通常绝对值的拓扑）；如果它是完全不连通的，那么它就连续同构于 p进数域Qp的一个有限扩域，或者某个有限域K上的形式幂级数域 K((x))的有限扩域。
参考书目
O.Zariski and P.Samuel,Commutative Algebra,Vol.2,Springer-Verlag,New York,1960.
O. Endler,valuation Theory，Springer-Verlag, Berlin,1972.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条