主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

利用枯草杆菌整合表达嗜铬粒蛋白抗真菌片段

为实现CGA1-76片段基因在枯草杆菌中的稳定表达,将CGA1-76片段基因的表达元件重组到枯草杆菌转座子质粒pHV1249微转座子mini-Tn10内,利用mini-Tn10将CGA1-76片段基因的表达元件整合到枯草杆菌DB1342染色体上,用氯霉素和红霉素筛选枯草杆菌转座工程菌DB1342(TnSVTQ).DB1342(TnSVTQ)在无选择压力条件下经10 d连续传代培养,转座子内氯霉素抗性丢失率为0%,说明转座子稳定整合在DB1342染色体上.SDS-PAGE和免疫印迹分析结果表明,在蔗糖诱导下,CGA1-76片段基因在DB1342(TnSVTQ)中获得表达,产物被分泌到细胞外.孔穴琼脂扩散法测定表达上清的抑制真菌活性,结果表明重组CGA1-76能抑制烟曲霉菌和黄曲霉菌的生长,抑菌圈直径分别为9 mm和8 mm.     

原位生成法半固态连接Si3N4复相陶瓷的接头组织

为探索陶瓷材料的有效连接途径,提出一种原位生成增强颗粒的半固态钎焊陶瓷材料方法。采用自制钎料对Si3N4复相陶瓷进行钎焊试验。采取分步焊接的方法,在1023K下使钎缝内生成一定数量的AlCu2Ti金属间化合物,然后在1173K下对陶瓷材料进行半固态连接。显微观察表明:钎缝组织由低熔点的钎料基体和高熔点的金属间化合物组成,金属间化合物均匀分布在钎料基体中,有利于改善接头性能,降低接头的热膨胀不均匀性。     

C*-双代数上的Haar测度

采用法国数学家Baai和Skandalis引进的算予语言讨论了C^*-双代数A中的Haar测度的存在性．本文首先通过考察这样算予的性质和刻画赋范线性空间中连续线性算予的像集的性质，证明了C^*-双代数A中的一个平均遍历定理，得到了C^*-双代数A中的线性泛函是Haar测度的充分必要条件；利用遍历定理和这个充分必要条件探讨了C^*-双代数中Haar测度存在的一些充分条件．     

解析芝诺悖论内含的逻辑漏洞

本文回顾了亚里士多德等人对芝诺悖论的一些看法，指出寻找该悖论推理过程逻辑漏洞的必要性，并试图给出对追龟辩和飞矢辩不同于亚里士多德、罗素等人的分析。     

超声波在Ni-Si3N4纳米复合电镀中的作用

采用超声波分散技术在纯铜板上制备了含有纳米Si3N4镍基复合镀层,研究了超声波对纳米颗粒含量、复合镀层显微硬度及组织结构的影响.用扫描电镜观察镀层表面显微组织,利用MM-200磨损实验机检测所得复合镀层的耐磨性能,结果表明,采用超声波分散技术可获得性能优良的复合镀层.     

分裂P - 正则半群

引入了分裂P-正则半群的概念,且证明了P-正则半群是分裂的当且仅当它有一个强P-正则*-断面,这把分裂纯正半群主要结果推广到P-正则半群上.     

室温下N-羟基琥珀酰亚胺活化酯法合成吡咯-2,5-二乙酰胺

在室温下用一锅反应法以二环己基碳二亚胺（DCC）（2 equiv．）为偶合试剂，使用过量（4equiv．）的胺，用N-羟基琥珀酰亚胺（Hosu）（2 equiv．）活化酯法合成了吡咯-2，5-二酰胺，且产率（70％）比在低温时（63％）有所提高．探讨了选用不同的合成方法及偶合试剂以及反应条件和试剂的用量对合成目标产物的影响．     

固体超强酸SO_4~(2-)/Fe_2O_3催化N,N-二乙氨基乙醇与含芳香环的羧酸的酯化反应

用固体超强酸SO2-4/Fe2O3催化N,N 二乙氨基乙醇与9个含芳香环羧酸的酯化反应,合成了9个相应的酯,产率在75%～95.6%之间.讨论了不同的固体超强酸及催化剂用量,溶剂和反应温度,反应时间等因素对酯化产率的影响.实验结果表明:当催化剂用量占反应物总量的3.4%～3.8%,溶剂为二甲苯,反应温度140℃,反应时间6h的条件下,酯化产率最高.     

好氧颗粒污泥短程硝化处理养殖废水及N2O释放特性

好氧颗粒污泥可通过特殊的厌/好氧空间结构实现短程硝化,而短程硝化和好氧颗粒结构都可能导致温室气体N₂O释放.试验研究了处理养殖废水过程中好氧颗粒污泥短程硝化性能,及利用微电极探针定量分析N₂O过程释放特性.稳定运行期间,COD与氨氮平均去除率分别为76.8%和94.4%,短程硝化效率可达88.9%.根据微电极探针和气相色谱分析结果,好氧颗粒污泥系统厌氧和好氧阶段N₂O生成量分别占46.4%和53.6%,但短程硝化系统的N₂O释放主要来源于曝气吹脱作用;系统内N₂O中氮的释放量占进水氮的比例为2.1%,好氧颗粒污泥并未显著强化N₂O释放.