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

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

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

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

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

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

半单、余半单及其性质

根据单子和余单子的一些基本知识及半单单子的定义,给出了余半单余单子的定义.得到了与余半单余单子定义等价的2个命题,并给予证明.     

从莱布尼茨的单子到怀特海的实有——西方形而上学的一种创生模式

把机体的假说作为哲学的基础应归功于莱布尼茨。撇开现象的数学物理秩序,深入实体的形而上学秩序,理解机体系列生长的共同根据,在原始力量中寻找派生力量的基础是莱布尼茨单子论的任务。单子论呈现了一个动态的、关系的宇宙图景,强调了实在的不确定性,指出了完满的协调、完整秩序和宇宙统一的可能性。怀特海的机体哲学是以单子论为出发点,以现代科学为基础对关系本体论和动态宇宙观的深化。     

BCI—代数中的P—自同态

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

拓扑的非标准定义

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

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

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

莱布尼茨“单子论”探析

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

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]的结构.