真类

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类栖息地的利用强度从大到小依次为金露梅灌丛、沼泽化草甸、真草甸、人工耕作地。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。