释植物学名中“Tangut”一词

Tangut一词是指我国隋唐时期在西陲众多的羌族部落支系中的一支,称党项羌。到北宋时,党项族逐渐强大,建立西夏王国,自称大夏。本文分析了以Tangut-为种加词语干的40余个种的学名,以它们的主模式、后选模式或合模式的分布区为依据并吸取前人的研究结果,划出唐古特区系的范围。本区系的范围,北方以甘肃祁连山南坡为界,最北起自镜铁山,向南一直延至甘肃洮河流域,南方以青海布尔汗布达山和阿尼玛卿山(积石山)为界,西起柴达木盆地东缘(不包括柴达木盆地),东边从洮河向西延伸至四川东北部一小部分,大致为松潘、理县以北地区。我们深知一个植物区系的界定需要考虑许多因素,在这里仅以一些分类群的采集地区为依据是不充分的。但又考虑到本区系包括的范围不大,而收集到分类群达40个之多,我们的分析可以看做是从历史的角度划分植物区范围的探索性尝试

Erwinia chrysanthemi分离株CSCL006 hrpN基因的克隆与高效表达

通过构建Erwiniachrysanthemi分离株CSCL006的DNA文库,克隆出hrpNCSCL006基因,测序结果显示该基因编码区长1020bp;推导的harpinCSCL006与ErwiniachrysanthemiEC16和3937编码的harpin蛋白同源性高,但与其它软腐菌的harpin蛋白同源性较低;在大肠杆菌中(Escherichiacoli)高效表达了hrpNCSCL006基因,重组harpinCSCL006蛋白分子量为34kD。以抗harpinEcc的抗体为探针,Westernb

Semantics and Reasoning of Description Logic μALCIO

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合μ-演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理