子核

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

On the other hand , illuminated by close relation between harmonic maps and sumanifold theory, we have also researched in-depth about some relative problems in submanifolds theory which include: the estimate of heat kernel and eigenvalue and it geometric application of submanifolds with or without boundary; many kinds of pinching problem of submanifolds which include the rigidity theorem, topological sphere theorem, differential sphere theorem and topological finite theorem.

另外，鉴于调和映照与子流形之间的密切关系，我们还要深入研究子流形几何中与之相关的一些问题，主要包括：带边与不带边子流形的热核与特征值估计及其几何应用；子流形的刚性定理、拓扑球定理、微分球面定理、拓扑有限性定理等各类Pinching问题。

Optimization; parametric quadratic convex programming; set-valued map; directional derivative; linear stability; solution-set map; parametric linear programming; error bound; subdifferential map; lower locally directionally Lipschitzian; upper locally di-rectionally Lipschitzian; locally directionally Lipschitzian; convex function; quasidiferential; kernelled quasidiferential; quasi-kernel; star-kernel; star-diferential; Penot diferential; subderivative; superderivative; epiderivative; set-valued optimization; set-valued analysis; subdifferential; optimization condition;ε-dual; scalization; generalized subconvexlike-cone;ε-Lagrange multiplier

基础科学，数学，运筹学最优化；集值映射；方向导数；线性稳定；最优解集映射；参数线性规划；参数凸二次规划；误差界；次微分映射；下局部方向Lipschitzian；上局部方向Lipschitzian；局部方向Lipschitzian；凸函数；拟微分；核拟微分；拟核；星核；星微分； Penot-微分；上导数；下导数； Epi-导数；集值优化；集值分析；集值映射的次微分；最优性条件；广义锥次类凸；ε-对偶；数乘；ε-Lagrange乘子

Auricularia auricula is of the single-factor controlled mating system according to mating test among the F1 progenies and their parents, combining the method of dyeing the nuclei of the mycelia and observing the nuclear phase under the fluorescence microscope and the method of observing the clamp connection under the light microscope to determine whether the dikaryotic mycelia were formed.

摘 要：从黑木耳种内杂交子H2J3的子实体上单孢分离培养得到F1代52个单核体菌株，将F1子代及亲本(H2，J3)等所有供试单核体菌株的菌丝体两两配对培养，采用核荧光染色观察核相，和光学显微镜观察锁状联合，鉴别菌丝交配反应是否形成双核体菌丝，同时测定了亲本菌株所有F1子代的交配型。

Auricularia auricula is of the single-factor controlled mating system according to mating test among the F1 progenies and their parents, combining the method of dyeing the nuclei of the mycelia and observing the nuclear phase under the fluorescence microscope and the method of observing the clamp connection under the light microscope to determine whether the dikaryotic mycelia were formed.

从黑木耳种内杂交子H2J3的子实体上单孢分离培养得到F1代52个单核体菌株，将F1子代及亲本(H2，J3)等所有供试单核体菌株的菌丝体两两配对培养，采用核荧光染色观察核相，和光学显微镜观察锁状联合，鉴别菌丝交配反应是否形成双核体菌丝，同时测定了亲本菌株所有F1子代的交配型。

Through PCR and sequencing, a fragement sequence with lamin gene feature was obtained. It was of of transcriptional activity. In addition, we also cloned and identified giardial DNA topoisomerase gene.Our phylogenetic analysis showed that although Giardia diverged early but not first, thus, it is not as primitive as thought before.

然后进行了核纤层蛋白基因的扩增和鉴定，获得了一个具有明显核纤层蛋白基因特征的基因序列片段，并证明它是表达的且不具内含子；此外还克隆鉴定了作为核骨架重要成分的DNA拓扑异构酶II的基因；在此基础上结合已报导的不同进化地位生物上的数据进行了分子系统学分析，结果显示贾第虫虽然分支较早，但不象过去所认为的那么原始。

In this research, the complete ipt gene was cloned from Agrobacterium pTiAch 58 Hind Ⅲ fragment and its promoter was re-constructed so that following three chimaeric genes were created:(1) ipt promoter plus ipt coding region and terminator ,(2) RuBP SSU 301 promoter from petunia plus ipt coding region and terminator ,(3) pea seed-specific vicilin promoter plus ipt coding region and terminator .

将ipt基因克隆后对其启动子进行了改造，分别构建了如下三种基因：（1）ipt启动子+ipt编码区和3′区，（2）磷酸核酮糖羧化酶小亚基启动子SSU 301+ipt编码区和3′区，（3）豌豆种子特异性启动子vicilin+ipt编码区和3′区。

In this study, the DNA fragments coding for amino acids 133～158 of VP1and 20～34 of VP4protein of type Asial FMDV were chemically synthesized and ligated into a tandem repeat 133～158-20～34-133～158. The sequences of signal peptide of Igκ chain and Kozak were fused to the 5'end of this tandem sequence and synthetic oligodeoxynucleotide containing CpG-ISS was fused to downstream of terminal coden of this tandem sequence. And then this long fragment was cloned into the eukaryotic expression plasmid pHook-2, forming a new secreted expression plasmid, named pAS1-E.

在第二章证明了亚洲Ⅰ型口蹄疫病毒VP1蛋白中133～158位氨基酸残基确是一重要B细胞中和抗原表位的基础上，依据第一章获得的口蹄疫病毒亚洲Ⅰ型VP1 cDNA序列及已报道Asial VP4序列，采用真核偏爱密码子化学合成了VP1中编码133～158位氨基酸及VP4中编码20～34位氨基酸这两个抗原表位基因，将其组成133～158-20～34-133～158串联结构，在其5′端加上鼠Igκ链信号肽序列，在翻译调节区加上增强表达的Kozak序列，同时在133～158-20～34-133～158串联结构3'端终止密码子下游加上CpG免疫刺激序列，将这些片段连接后，克隆到真核表达载体pHook-2上，构建成功了DNA疫苗重组表达载体pAS1-E。

The fertilization was processed by sperm in mature male gametophyte combining with egg cell on the top of archegonia on June 15 or so.

摘要樟子松发育成熟的雄配子体中的精子6月15日左右在颈卵器中上部与卵细胞结合，进行受精作用，其后，受精卵进行游离核分裂，形成8个子核时，开始形成细胞壁。

In this paper wecalculated the cross-section ratios of associate η_c +γ productionin the p-p and p-Au collisions and found that this process is connected closely with the nuclear gluon distribution function. Bystudying the associate η_c +γ production in high energy p-Aucollision, we can know more about the nuclear gluon distribution function.

我们计算了p-Au、p-p碰撞η_c与γ协同产生过程的微分截面dσ/dp_T的比值，发现η_c与γ协同产生过程与核内束缚核子的胶子分布函数关系密切，通过对高能质子与原子核碰撞η_c与γ协同产生过程的实验研究，可以加深我们对核内胶子分布的认识。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。