关于一类三角级数的一个渐近和

本文在文[1]基础上讨论付立叶系数满足。Σ^∞k=m|Ck-Ck 1|≤M(C)|Cm|的三角级数f(x)=Σ^∞n=0Cne^inr的渐近和。     

关于MERT-环的正则性

主要对满足一定条件的MERT-环的弱正则性，Ⅱ-正则以及强正则性进行了刻画。     

陕南早寒武世磷酸盐化囊胚期及原肠胚期动物化石

海洋无脊椎动物的卵及其早期发育阶段的产物在探讨生物分类和系统发育中具有十分重要的作用, 然而却常常难以保存为化石或难以辨认, 因而未能得到充分的重视. 陕南早寒武世宽川铺段(灯影组顶部)发现大量磷酸盐化的球状化石标本, 其中的一些保存有十分精细的超微结构, 可以辨认出一个卵膜内的受精卵经可能的胚盘形成、囊胚发育、胚盘扩展形成原肠胚直至胚胎的组织分化和幼体孵化的较为完整的演化序列. 这一发现及进一步研究将为早寒武世早期后生动物起源、分类、辐射演化及个体发育提供不可多得的实证材料.     

关于p可解限制李超代数

本给出了p可解限制李超代数的一些性质和它们可换的几个充分条件，同时，得到了关于限制李超代数的限制超导子与特征阶化理想的一些结果。     

不分明化拓扑中的几乎分离公理

在不分明化拓扑空间中，利用正则开集、R-邻域和δ-闭包等概念导入了AT0-，AT1-，AT2-，AT3-，AT4-分离公理，并且给出了这5个公理的等价命题以及它们的关系．     

一类带位移边值问题的逆问题

给出了Hasemann问题的逆问题的数学提法，利用Hasemann问题的解法，分别讨论了其逆问题在正则与非正则情况下的解法，并得到了其封闭解。     

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

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

CP型单螺杆压缩机的计算机辅助设计

基于CP型单螺杆压缩机工作原理和主要零部件设计计算方法，利用三维建模、工程数据库、三维动画和可视界面等先进技术，完成了集实体建模、参数化设计和绘图、动画演示等功能于一体的计算机辅助设计系统。     

关于某些相对拓扑性质的探讨

本文对一些相对拓扑性质做了初步的研究,特别包括相对强正则、以及Y在X中超正则的乘积的性质.同时,对相对拟仿在完备映射下的性质也做出了初步的研究.