真值

Ge__. These methods can return any value, but if the comparison operator is used in a Boolean context, the return value should be interpretable as a Boolean value, else a TypeError will be raised.

ge__。这些方法可以返回任何值，但是如果比较运算符用于布尔上下文，返回值应该被解释成布尔值，否则将抛出TypeError异常，通常0表示假， 1用于表示真。

By means of infinite product of evenly distributed probability spaces,the concept of truth degrees of propositions in 3-valued logic systems W_3,G_3,Π_3 and S_3 are introduced,and some properties of distribution of propositional truth degree and certain inference rules are obtained.

利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

A theorem of the alternative for the generalized subconvexlike set-valued maps is established using the separation theorem of convex sets in a Banach spaces, the concept of weak Benson proper efficient elements for a vector optimization problem is introduced, and the optimality necessary and sufficient Lagrange conditions for a vector set-valued map constrained optimization problem with the weak Benson proper efficiency is developed, with which the optimality Lagrange conditions for a nonconvex vector top-base constrained optimization of set-valued maps with the Benson proper efficiency are obtained.

刘莹 ，刘三阳，盛宝怀运用凸集分离定理对广义锥次类凸集值映射建立了一种择一性定理。引入向量优化弱Benson真有效元的概念，对带约束的非凸向量集值优化问题建立了在弱Benson真有效意义下有效元应满足Lagrange乘子型的必要及充分条件，并用这一结果建立了多目标主从非凸向量集值优化在弱Benson真有效意义下最优解的Lagrange乘子型充要条件。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

It was also found that the strength of FF specimen is close to the sumation of the strengths of FC and FS specimens with the same board thickness and screw spacing as FF specimen. As compared the test results with the research findings from Li [2]and Luo [3], It can be concluded that the failure mode of specimen is affected by both the sheathing thickness and the stud thickness. Different from this study, the failure mode of Li's test specimens is torsional-flexural buckling for most cases. The predicted values computed based on the AISI Specification seem to be conservative as compared to the tested values of FF specimens. Therefore, it is suggested that the effective length factor, K, can be taken as 0.5 to determine the wall stud assembly strength.

在三种不同试体组合分析时也发现，具外覆材支撑之立柱与外覆材受压内含支撑之立柱，两者之破坏强度相加，约等於具外覆材之墙体之破坏强度；试验结果与李岱真、罗浩之研究比较后，发现不同厚度之立柱与不同厚度之矽酸钙板之间束制关系明显影响强度之差异，且李岱真之试体破坏模式多为整体扭转-挠曲挫屈破坏，与本研究有较大差异；对於具外覆材之墙体与AISI预测值比较后，AISI规范预测值较保守，因此本研究有效长度系数建议采用0.5。

Digital RMS detector s principle and character are introduced in this paper,and compare with analogue RMS detector .

介绍了数字真有效值检波器的原理和性能并与其它真有效值检波器做了对比。

The dynamic precision adjusting shipboard radar based on differential GPS is proposed in this paper,algorithm of conversion GPS-80 coordinate into distance and bearing of target relative with shipboard radar is given.

提出了一种基于差分GPS技术的舰载雷达动态标校方法，给出了根据大地坐标计算目标真值的算法；设计了一种舰载搜索雷达与跟踪雷达之间同步测量和适用于海上活动平台多传感器之间动态标校的数据处理方法；海上实践表明，这种方法具有精度高、实时性强的特点。

In general, when a given predicate P, x1, x2,..., xn is the object variables, P (x1, x2,..., xn) is not a proposition, because he can not determine the true value, in order to make it a proposition , use the constant instead of nn-object object variables ...

一般来说，当谓词 P给定， x1，x2，…，xn是客体变元，P(x1，x2，…，xn)不是一个命题，因为他的真值无法确定，要想使它成为命题，要用n个客体常项代替n个客体变元。。。。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。