- 更多网络例句与真值集相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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不能用多项式时间真值表归约归约为有界可近似集'。
-
The coefficient of determination (R~2) and standard errors RMS...
验证集真值与NIRS预测值之间的决定系数r2及标准差RMSEP分别为0.9668和2.68，相对分析误差RPD为5.484。
-
The coefficient of determination (R2) and standard errors ...
验证集真值与NIRS预测值之间的决定系数r2及标准差RMSEP分别为0.966 8和2.68，相对分析误差RPD为5.484。
-
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的闭集之间的关系。
-
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]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。
-
The initial spectrum was pretreated by standard normalized variate, 7 point smoothind and one derivative respectively.
定标集真值与NIRS定标模型预测值之间的决定系数R2和标准差RMSEC分别为0.9529和3.22，相对分析误差RPD为4.798。
-
The initial spectrum was pretreated by standard normalized variate , 7 point smoothind and one derivative respe ctively.
定标集真值与NIRS定标模型预测值之间的决定系数R2和标准差RMSEC分别为0.952 9和3.22，相对分析误差RPD为4.798。
-
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乘子型充要条件。
-
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上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。
-
In order to probe the relationships between wave equation offset domain common image gathers/angle domain common image gathers with migration velocity, we quantitatively derive the changes of ODCIGs and ADCIGs along with migration velocity on the assumption of uniform velocity medium with a horizontal reflector. We come to conclusion that ODCIGs are hyperbolas with half offset; on the contrary, they are ellipses. Combined with the results of depth focusing analysis, we find the apparent incident angles in ADCIGs are larger than the real incident angles when the migration velocity is larger than the true one and vice versa. With lower migration velocity, the residual moveout on ADCIGs is an ellipse with the tangent of apparent incident angle; otherwise, it's a hyperbola.
为了得到波动方程偏移距域共成像点道集和角度域共成像点道集与偏移速度的关系，在匀速单层水平反射情况下，对ODCIGs和ADCIGs随偏移速度的变化进行了定量的推导，得到偏移速度偏小时ODCIGs与半偏移距成双曲关系，反之成椭圆关系；结合深度聚焦分析，得到偏移速度偏大时ADCIGs中视入射角大于真入射角，反之，小于真入射角；在速度偏小时，ADCIGs上剩余时差与视入射角的正切值成椭圆关系，反之成双曲关系。
- 更多网络解释与真值集相关的网络解释 [注：此内容来源于网络，仅供参考]
-
inconsistent：不一致的
一个WFF集为不一致的 (inconsistent) 当且仅当它并不是一致的--没有任何真值赋与可令集内的每一WFF同时为真. 逻辑系统有许多种. 不同的逻辑系统采用的人工语言也不同. 例如,谓词逻辑除包括语句逻辑的语汇外,还包括谓词 (predicates),
-
trunking：中继[方式];线槽[方式],管道[方式]
trunked radio 集群无线通信 | trunking 中继[方式];线槽[方式],管道[方式] | truth table 真值表