真值

Technical parameters and characters of sampling system determine that seismic wave amplitude recorded by seismograph is approximate relative amplitude. Using these data necessarily leads to serious distortion of inverse parameters. So using Born approximation can only obtain the location of interface even if the earth medium is little disturbance.

采集系统特性和技术指标决定了所记录的地震波振幅值为近似的相对振幅，用这样的相对振幅作为地震波参数反演的振幅真值依据，必然导致反演参数值的严重失真。

However, these methods can return any value, so if the comparison operator is used in a Boolean context (e.g., in the condition of an if statement), Python will call bool on the value to determine if the result is true or false.

但是这些方法也可以返回任何值，所以如果比较运算发生在布尔上下文中（例如 if 语句中的条件测试），Python会在返回值上调用函数 bool 确定返回值的真值。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

We call it many-valued logic in that this kind of logic studies logic theory that handles relations of propositions in which propositions have three truth values or more, even infinite, and do not limit in two truth values.

之所以称之为多值逻辑，关键原因在于其所研究的是具有三个或三个以上乃至无穷个真值的命题之间关系的逻辑理论，而不是仅仅限于真假二值。

The results from Monte Carlo simulation show that the estimate of recombination fraction is consistent with its true value, and the formula of its standard error is validated.

Monte Carlo模拟研究表明，最大似然法得到的重组率估计值与真值接近，并验证了重组率估计值标准误公式。

Stack will be the first to use infix form of the formula into the form of the suffix and then form the basis of the suffix from the beginning of leaf nodes corresponding binary tree structure Finally after by traversal of the tree, and the value of the subtree, that is, for every arrival a node, the value of its sub-tree has been calculated, when the reach the root node, the obtained value is the formula of true value.

首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值已经计算出来，当到达根结点时，求得的值就是公式之真值。

In this part, the paper inspects and studies Lukasiewicz"s 3-valued logic, the truth function of 3-valued logic, the study of axiomatized system of Lukasiewicz"s 3-valued logic and the many-valued generalizations of Lukasiewiczs 3-valued logic, etc.

在这一部分中，文章考察的内容主要有卢卡西维茨的三值逻辑理论、三值逻辑的真值函项、卢卡西维茨的三值逻辑的公理化研究和卢卡西维茨的三值逻辑的推广等。

The value of a scalar variance at a general point can be estimated from the measurement at a limitary data points,and the deviation between the estimated value and the measured value is the least.

使用该阵列有限个点上的观测值可以客观地分析出该变量的瞬间空间分布，使它与其真值之间的偏差达到最小值。

Based on the least squared means of the calving months a divison of...

在取遗传力真值为0.10～0.35时，这个估计值的大样本标准误为0.03～0.08，说明估计值的精确性较低，亦即本资料样本对遗传力估计来说仍然偏小。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。