酶体外定向进化(Ⅲ)展示技术及其应用

利用展示技术构建的蛋白质／多肽的突变体库，可以通过高通量进行高效地分析和筛选，因此特别适用于改造蛋白质．文中综述噬菌体、细胞表面、核糖体、mRNA等展示技术的原理和方法，以及其在酶定向进化中的应用．     

基于CDT的时空区域拓扑关系确定方法

研究了基于逆时针有向三角形(conterclockwisely directed triangle,CDT)的时空区域拓扑关系的确定方法,尤其对静态时空数据库中基于逆时针有向多边形的时空区域表示方法、简单多边形形状时空区域的三角化方法及静态时空联系下两个简单多边形形状时空区域间拓扑关系的确定方法进行了研究.结果表明:时空区域间的相等、包含、部分覆盖、相离、相接5种基本拓扑关系均可通过基于逆时针有向三角形的方法确定.该方法不仅有效地实现了各种时空数据的表示和操作,而且避免了直接基于边界坐标计算时空数据时对效率的影响.     

关于局部对称拟常曲率黎曼流形上极小子流形

本文主要研究了局部对称拟常曲率黎曼流形N^n＋p 中的紧致极小子流形Mn，得到了局部对称拟常曲率黎曼流形关于第二基本模长平方和截面曲率的拼挤常数。     

通过右极小几乎可裂研究不可约同态

本文主要通过右极小几乎可裂研究不可约同态。首先证明右极小几乎可裂的几条性质;然后证明一个A-模同态不是retraction的充要条件;最后,根据所证的性质及命题,通过右极小几乎可裂研究不可约同态。     

模的极小逼近的一个等价条件

设Λ为Artin代数,C,X,Y是有限生成右Λ-模,χ,γ为有限生成右Λ-模范畴的子范畴.证明了C有右极小χ-逼近0→Y→X→C→0当且仅当Ext_Λ~1(C,)|_γ以Hom_Λ(Y,)|_γ为投射盖.类似地给出了当C有左极小γ-逼近时的等价条件.     

广义Ekeland变分原理的推广

给出了经典Ekeland变分原理的一个推广,完善并改进了已有文献的证明,并把它推广到了拟度量空间上.     

极大群和极小群的弱c-正规对有限群结构的影响

利用极大和极小群的弱c-正规性对有限群的结构进行刻画,得到可解群和p-幂零群的一些充分条件,推广了一些已知的结果.     

关于垂足三角形的一个重要恒等式

给出了垂足三角形一个重要恒等式的证明,并给出这个恒等式的一些推论,其中包括与Ptolemy定理等价的“三弦定理”.最后,提出了有关垂足多边形的一个猜想.     

21～30阶群嵌入置换群的一些讨论

本文主要讨论了21阶到30阶的群到置换群的最小嵌入，并讨论了最小嵌入的个数及共轭类划分，并且最终得到了所有的结果．     

基于模糊概率符号有向图的复杂系统故障诊断

通过分析复杂系统的故障信息传递特性,在符号有向图(SDG)中引入了状态关联概率和模糊信息,并结合面向对象技术提出了一种新的故障描述模型--模糊概率有向图.给出了基于此模型的建模方法和诊断流程.进一步引入消息节点和支路,通过连接各子实体对象的模糊概率SDG模型,构成整个复杂系统的模糊概率SDG系统.该模型能对复杂系统故障诊断中存在的复杂关联关系进行建模与故障诊断.利用该方法建立了某武器平台的故障诊断系统,实验结果表明提出的方法有效且实用.