Lω-空间中叫ω^＊-正则性

在Lω-空间中引入一种新的正则，即ω^＊-正则，证明了ω^＊-正则不仅蕴涵黄朝霞文献中所提出的ω-正则，而且还具有ω-正则的一些好的性质．     

映射空间Map_*(BZ_P,X)的注记

记P是素数,Z_P为P阶循环群.Z_P的分类空间BZ_P可被视为Eilenberg-MacLane点标空间K(Z_P,1),设X是点标CW复形,Map_*(BZ_P,x)表示从BZ_P到X的所有点标连续映射构成的拓扑空间(取紧-开拓扑),考虑映射空间Map_*(BZ_P,x)弱可缩的条件是由Sullivan提出的,他猜测了下面的定理。     

T2、S—T2、正则与正规空间的映射性质

根据^*S连续映射、＊半连通映射、半开映射、半连续射和弱连续映射的定义和点集拓扑的有关知识，讨论了T2、S－T2、正则和正规空间在上述映射下的性质，得到了这些空间在相关映射是映射或逆向映射不变的结论。     

关于BCI—代数的（＊）—理想

本文研究了ＢＣＩ－代数的（＊）－理想的特征和结构。     

局部紧群上取值在算子代数中的正定函数

把有关数值连续正定函数表示的Ｂｏｃｈｎｅｒ定理推广到更一般的情形,并将证明从一个局部紧交换群到一个Ｃ＊－代数的连续正定函数能够表示为向量值正测度的Ｆｏｕｒｉｅｒ变换．局部紧交换群到Ｃ＊－代数的连续正定函数对Ｃ＊－代数上的广义函数有重要作用．同时给出一个具体应用,推广Ｂｏｃｈｎｅｒ－Ｓｃｈｗａｒｔｚ定理至算子代数情形,得到Ｓ′（Ａ）上正定广义函数θ能表示为（θ,φ）＝∫φ（λ）ｄμ（λ）．     

L-fuzzy拓扑空间中的可数~*仿紧性

以*仿紧性为背景,介绍了可数*仿紧性的定义,并刻画了其基本特征。深入研究了L-fuzzy拓扑空间中可数*仿紧性的性质,并证明了可数*仿紧性是"L-好的推广"。     

加快启发式实时算法的收敛

LRTA^*算法是一种实时搜索算法，若重复求解同样的规划任务，LRTA^*将收敛于最短路径．文中给出了通过改变值更新规则来加快实时算法收敛的一种方法．实验表明它比LRTA^*算法更快地收敛于次优解．     

L^＊系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统L^*，对其中的演绎定理进行了详细讨论，得到了在一定条件下的L^*系统中的演绎定理：设A，B∈F(S)，若|-(q→p∨p)∨q→A，Γ包含于F(S)，则|-A→B当且仅当rU{A}|-B，将L^*系统中的模糊演绎定理进行了改进，进一步说明了L^*系统所具有的良好性质．同时，在本文定理的证明中进一步体现了L^*系统中的公理L10在模糊命题演算形式演绎系统中的作用，为模糊命题演算的形式演绎系统的研究，特别是L10的应用研究提供了一种新的思路和方法。