W(1,2,■)在gl(2|1)上的模结构

设F是特征数p>2的代数闭域,W(1,2,■)为Cartan型模李超代数.讨论gl(2|1)模W(1,2,■)的子模W[-1],W[0],W[p]的结构.     

DELLA基因家族在被子植物中的系统演化关系

基于被子植物各主要分支代表类群的DELLA氨基酸序列,开展它们在被子植物中演化关系的系统发育分析.DELLA基因家族在双子叶植物早期演化阶段经历了一次复制事件,形成2大分支,每支都包含相应的蔷薇类和菊类;单子叶植物没有经历早期的复制事件,所有的DELLA基因聚在一起形成单一的支系.另外,证实了在被子植物的双子叶植物中存在第3个DELLA基因支系.     

BCI—代数中的P—自同态

研究了BCI-代数中一个自同志映射f_0: x→0*x,它有许多很好的性质。主要得到:Imf_0是X的一个最大的P-半单子代数,且Imf_0X/Kerf_0,当Imf_0是理想时,x=Kerf_0Imf_0。     

拓扑的非标准定义

目的用非标准分析的方法给出拓扑的定义。方法在扩大模型下,利用转换原理,通过定义邻域系单子给出拓扑的定义。结果这种貌似离散的非标准定义与一般的拓扑定义是一致的。在此基础上,定义了闭集、分离性及紧性,讨论了闭集、分离性及紧性的一些相关性质。结论充分体现了非标准分析方法的“貌似离散,实则连续”、简洁直观的特点。     

农杆菌介导的单子叶植物基因转化研究进展

综述了影响农杆菌介导单子叶植物基因转化的因素,消除基因沉默的策略及农杆菌介导单子叶植物基因转化的研究进展。     

根癌农杆菌介导遗传转化研究的若干新进展

综述了根癌农杆菌介导的遗传转化近几年获得的新进展,在转化机理方面,对农杆菌自身转录与调控的研究与相当深入。而对有关的植物编码因子的研究也已取得了实质性进展;在转化范围上,对真菌与裸子植物的转化取得了不少进展,单子叶植物尤其是一些有重要经济价值的禾谷类作物应用农杆菌介导相继获得了转化植株。     

基于性能退化数据的数控转台单子样可靠性分析

针对数控转台可靠性高、寿命长、失效样本数据少的情况,采用基于性能退化数据的可靠性评估方法进行研究。在试验过程中通过测量转台不同角度回转精度的性能退化量扩充试验数据,根据试验数据计算得出数控转台的伪失效寿命值。为了提高转台可靠性评估结果的准确率,采用虚拟增广原理扩展试验数据,再对扩展试验数据采用数学方法进行分析。结果表明:该方法可对数控转台的可靠性进行评估,得到数控转台的可靠度、失效分布密度函数和预期平均寿命等可靠性指标。该方法节省了试验成本与时间。     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

莱布尼茨“单子论”探析

莱布尼茨作为近代哲学唯理论的重要代表人物之一,在西方哲学史上具有十分重要的地位,而其哲学思想的根基就是"单子论"。因此,对"单子论"的主要命题进行系统的梳理和辨析,对于我们全面认识莱布尼茨的哲学思想是十分必要的。     

试析莱布尼茨“个体性原则”的意义

莱布尼茨哲学的“个体性原则”──“单子论”从总体上说是唯心主义的，但对哲学上强调人的个体性和能动性、政治上重视人的自由、经济上认识各具特色的经济发展模式等，都不乏合理性和积极意义。