真值

It is proved that if'sparse NP complete sets under polynomial-time Turing reductions exist'then 'SAT is polynomial-time non-adaptively search reducible to decision', and that if 'P is not equal to NP'then either'SAT is not polynomial-time non-adaptively search reducible to decision'or'SAT is not polynomial-time truth-table reducible to bounded approximable sets', and that if'P is not equal to NP'then'sparse complete sets for NP under polynomial-time disjunctive reductions do not exist'.

因为用现有的证明技术不可能绝对地解决这个假设，本文研究了这个假设与其他关于SAT结构性质的假设之间的关系，证明了如果'NP有多项式时间图灵归约下的稀疏完全集'则'SAT是多项式时间并行地搜索归约为判定'，以及如果假设'P不等于NP'，则要么'SAT不是多项式时间并行地搜索归约为判定'，要么'SAT不能用多项式时间真值表归约归约为有界可近似集'。

Contrast this with an atemporal logic, which can only handle statements whose truth value is constant in time.

对比这与atemporal逻辑，只能处理声明，其真值是恒定的时间。

The examples indicate that the unknow parameters can be estimated faster and more accurately with the proposed objective function and SPSO, the solving procedure relies less on the augmented jacobian matrix, and the mean estimated values are close to the parameter truth values.

仿真算例表明：应用该文修正项和SPSO方法，能快速准确的估计线路参数，并提高参数估计精度和降低对量测系统参数可估计性的要求，估计均值更接近参数真值。

Though the almost unbiased estimator was still a biased estimator, it has smaller bias than corresponding biased estimator.In this paper, we first study the properties of the almost unbiased generalized ridge estimator and the almost unbiased generalized Liu estimator.

但有偏估计毕竟偏离参数的真值，因此学者们又提出了几乎无偏估计的概念，虽然几乎无偏估计仍然是有偏估计，但是它比相应的有偏估计有更小的偏度。

Two definitions of dual function and complementary function are given from the viewpoint of one-to-one mapping of the truth table.

从真值表映象的观点定义了补函数和对偶函数，并由此验证了一系列重要的规则、公式和推论，列举了其在几个方面的应用。

There are 2 alleles at a marker locus and they are codominant. We assumed that the sires used were heterozygous at all marker loci with known linkage phases and were mated to females which are randomly sampled from a population being in HardyWeinberg equilibrium.For further understanding of the values of treating QTL effect as random effect and the importance of estimating the variance component of QTL, we estimated the additive QTL effect under several factors combinations assuming that the QTL vanance component to be known.

为了进一步明确将QTL效应作为随机效应处理，并估计其方差组分的重要意义，本文在方差组分真值给定的前提下，采用随机QTL效应模型和单标记及侧翼标记信息，研究了不同试验设计、不同群体结构、不同QTL等位基因类型、不同遗传力和不同QTL方差贡献等因素组合下，TM-BLUP种畜遗传评定的效果。

We first show that the contrapositive,,of a conditional statement always have the same true value as .

在这里我们要说一个命题的逆命题和否命题是等价的，在这里读者可以自己证明，在证明这样的问题时，一般只能有真值表进行证明。

Note that when p is true and q is flase, the original conditional statement is false.,but the converse and the inverse are both true.

在一个条件语言里我们了解到了两个等价的命题，等价命题就是在命题变元任何指派下具有相同的真值。

The Engine partitions all the equations into sets according to the conditional statement in the models, whose value will be used to assemble the equations dynamically to describe the state of the system.

引擎根据模型中的条件语句，将方程分为若干集合，依靠条件语句的真值来动态组合方程集合，描述不同情况下系统的状态。

2341 The sense of a truth-function of p is a function of the sense of p.

5.2341 p的其值函项的意义是p的意义的真值函项。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了