- 更多网络例句与真类相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Results: 1、The DA include:left displaced abomasum and right displaced abomsum:two kinds of six types.It will be offer theory basic for choose celerity diagnosis and therapy ways of DA.
结果: 1、将奶牛真胃变位分为真胃右方变位和左方变位两大类六种类型,为真胃变位的快速诊断和治疗方法的选择,提供了理论依据。
-
Tarski's definition of truth of the calculus of classes is: x is true if and only if x is a sentence of the calculus of classes and every infinite sequence of classes satisfies x .
塔斯基得到的真概念定义是:x是类演算语言的任一语句,x为真当且仅当每一个类的无穷序列都满足x。
-
After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.
通过分析语句的结构,塔斯基发现很难直接定义出类演算语言的真概念,而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法:先采用递归方法针对语句函项定义出满足概念,然后把语句作为语句函项的特殊形式,借助于满足概念最终可以得到类演算语言的真概念定义。
-
The results show that both of relative rate and synonymous and non-synonymous coden substitution in eudicot clade are significantly higher than those in monocot clade, and the value of dN/ds uncovered possible positive selective pressure in eudicot clade.
结果表明:真双子叶植物分支中SQUA类基因的相对速率和同义与非同义置换位点均显著高于单子叶植物分支;同时,dN/dS值表明真双子叶植物分支中可能存在正选择压力。
-
The problem of slow TPH degradation found to be related to the polar fractions accumulation. Increase of fungi community diversity was found helpful in decomposition of the polar fractions. The symbiotic environment between bacteria and fungi was beneficial to the 2nd –stage TPH biodegradation.
至於各组降解迟滞的问题则与污染物三成份中极性物质的累积有关,在累积过程中真菌类多样性的增加,有助於极性物质的去除,最后细菌类与真菌类共生的环境能使污染物产生第二阶段的降解反应,因此污染物能持续降解。
-
In the framework of separable locally convex metric spaces, we give scalarization theorems on Benson proper efficiency and study Benson proper efficient solutions of vector optimization problems involving nearly subconvexlike set-valued maps.
中文摘要:本文在可分局部凸距离空间的框架下,给出了Benson真有效点的标量化定理,并研究了几乎次类凸集值映射向量优化问题的Benson真有效解。
-
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乘子型充要条件。
-
According to the proportion of taxa from archaea, eubacteria and eucarya in each clade, the division of three clades is consistent with three domains of life. However, every clade contains the rhodopsin from the other domain.
系统发生分析结果表明:这些微生物视紫红质分为3个进化分支,每个分支中按照古细菌,细菌和真核生物的多少可以归类为古细菌类、细菌类和真核生物类微生物视紫红质。
-
Based on representative opinions about these questions which are raised by philosophers and logicians,the author thinks:1Truth and
作者分析了以往哲学家、逻辑学家对这些问题的一些代表性看法,认为:(1)&逻辑真&不是真的一个子类;(2)逻辑真只能测量观念形式上的关系;(3)逻辑真是认识论意义上的概念,它的本体论说明是一个&自足观念模式&的良性内循环结构。
-
It was same that three indexes of activity intensities trended in four types of habitats. The activity intensities of root vole on four types of habitats were in ascending order of the manual cultivated land, true meadow, swamp meadow and D. fruticosa shrub. Three indexes of activity intensities were different significantly between each two types of habitats, except the runway length and runway branch number between the true meadow and swamp meadow.
除了跑道长度和跑道分叉数在真草甸和沼泽化草甸间差异不显著外,3活动强度变量在不同类型栖息地间均差异显著,而且变化趋势一致;根田鼠对4类栖息地的利用强度从大到小依次为金露梅灌丛、沼泽化草甸、真草甸、人工耕作地。
- 更多网络解释与真类相关的网络解释 [注:此内容来源于网络,仅供参考]
-
error of the first kind:第一类误差;弃真错谬
观察误差 error of observation | 第一类误差;弃真错谬 error of the first kind | 第二类误差;采伪错谬 error of the second kind
-
Monotremata:单孔类
现生哺乳动物包括三大类:单孔类(Monotremata)、有袋类(Marsupialia)和有胎盘类(Placentalia). 现生单孔类数量极少,仅存于澳洲和新几内亚,如鸭嘴兽和针鼹. 有袋类主要分布于澳洲和南美洲,如袋鼠、负鼠. 而有胎盘类又称真兽类(Eutheria),
-
proper class:真类
proper bearing 紧密接触轴承 | proper class 真类 | proper complex orthogonal group 正常复正交群
-
teleostei abdominales:腹位真骨类
真骨下纲 TELEOSTEI | 腹位真骨类 teleostei abdominales | 前位真骨类 teleostei anteriorales
-
Eucirripedia:真蔓足类
Euciliata /真纤毛亚纲/ | Eucirripedia /真蔓足类/ | Euclasterida /蛇海星目/
-
Eucopepoda:真挠足类
Eucommiales 杜仲目 | Eucopepoda 真挠足类 | Eucormophyta 真茎叶植物
-
Insecta:昆虫类
许多不同的动物和植物,都有发光能力,在动物界分为25类,其中有12或13类为发光种类,通常在节肢动物中有能力发光者,有海蜘蛛类(Pycnogoida)、真甲壳类(Eucrustacea)、倍足类Dipopoda)、唇足类(Chilopoda)及昆虫类(Insecta)等.
-
teleostei anteriorales:前位真骨类
腹位真骨类 teleostei abdominales | 前位真骨类 teleostei anteriorales | 真口鱼类(条鳍亚纲) TELEOSTOI; ACTINOPTERYGII
-
True mosses:真藓类
真叶;本叶 true leaf | 真藓类 true mosses | 真核仁 true nucleolus
-
eubacteria:真细菌类
首先是在分子系统学研究中意外地发现原来一直认为是一个统一类群的原核生物实际上很早就分为原细菌类和真细菌类(eubacteria)两大类. 再经过微生物学、细胞生物学、生物化学和分子生物学的研究进一步确立了原细菌类的真实存在.