完全分配格上保并映射类的交运算

在Zadeh的不分明(fuzzy)集概念基础上,Goguen提出更一般的L-不分明集概念,此后完全分配格(completely distributive lattice)成为展开一般不分明集论的适当框架,其研究引起了较大兴趣.在不分明拓扑空间理论中,继点邻近构造,收(?)理论,积空间与商空间及紧性等方面工作后(可参看[3]—[7]),一致结构与度量化问题最近也得到较深入的结果([9][10]).这些结果的获得就是与完全分配格上一族映射类(即本文中定义的保并映射类)的探讨很有关联;其中屡加引用且显得颇为重要的是由[9;引理3]给出的关于保并映射类中交运算的一个公式.这个公式在[9]中原证虽不很     

格值Scott连续映射的网式刻划

近二、三十年来,由于计算机科学所引起的关注,有关序结构的研究日益受到人们的关注.在此背景下,70年代初由Scott等人开创了连续格理论的研究.近年来,受L-不分明紧化理论方面工作的刺激,有关诱导空间和格值半连续映射的研究引起了人们的浓厚兴趣.在文[5]中,徐晓泉较为深入地研究了格值Scott连续映射的刻划及其结构,并就值域为连续格情形建立起了一种相当完善的诱导空间理论——Scott诱导空间理论,丰富了文[2,3]所建立的诱导空间理论.     

库拉托斯基十四集定理在L-不分明化拓扑中的推广

L-不分明化拓扑也就是基于完全剩余格值逻辑上的不分明化拓扑.论文中把L-不分明化闭包和内部的概念扩充到模糊集合,并在此基础上把库拉托斯基十四集定理推广到L-不分明化拓扑中.     

不分明集值映射的若干性质与广义不分明映射的连续性

在文献中定义了不分明映射,它把不分明点映成不分明点,保持隶属度不变。作为它的推广,在献中定义了由Fuzzy关系诱导的M-F映射,它把不分明点x_1映成某一不分明点y_(kλ),其中k是与x有关的不大于1的正数,即隶属度可改变,但对固定的x,只能线性地变化,不能变大。本文定义3不分明集值映射和广义不分明映射,它们分别把不分明点映成不分明集与不分明点,隶属度可以变大或变小,可以非线性地变化。讨论了这两种映射的性质,广义不分明映射(?)连续性的等价条件和广义不分明连续映射的性质,推广了不分明映射的相应结果。     

L-偏序集映射空间连续性的刻画

设L为完备剩余格,在L-偏序集中引入步函数的概念。基于一般的weight类,得到了L-偏序集映射空间连续性的一个刻画定理。基于以上结果,证明了两个完全代数的L-完备格之间的余连续映射之集是完全代数的。     

格值Scott连续映射与Scott诱导L—拓扑（Ⅱ）

本文得到了连续格.超连续格和完全分配格的一组代数刻划和一组拓扑式刻划,对连续格和完全分配格的次直积表示定理的经典证明给出了一个简洁的直接处理,并在更广的框架下建立了一种相当完善的诱导空间理论——Scoot诱导空间理论,表明格值Scott连续映射可在连续格理论、经典格论、一般拓扑学和L-不分明拓扑学之间提供一个重要的连结物.     

格值连续函数和L—Fuzzy紧性

第一部分研究值域为连续格的一类广泛的格值映射，得到Ｓｃｏｔｔ连续函数分析式、层次式刻划，改进了有关结果。第二部分主要研究不分明紧性，用笛卡积和闭投射给出了Ｆｕｚｚｙ紧性外部刻划定理，将一般拓扑学著名的Ｋｕｒａｔｏｗｓｋｉ定理推广到ＬＦ拓扑学中，同时给出一种不分明完备映射的一个等价刻划，完善了有关结果。     

模糊完备格范畴中的乘积和余积

讨论了以L-模糊完备格为对象、以保任意L-模糊集并的映射为态射的L-模糊完备格范畴LSUP中的乘积和余积,给出了乘积和余积的具体结构,推广了经典完备格范畴的结论,为研究此范畴的其他性质打下了基础。     

不分明一致空间的完备性

本文引入了不分明α-柯西网、α-完备和完备的概念,讨论了(α-)完备空间的一系列性质,利用(α-)完备性,建立了不分明一致空间是(Q_α紧)强Q紧的充要条件.     

诱导模糊拓扑空间的映射性质

1975年,M.D.Weiss给出了分明拓扑空间(X.T)的诱导模糊拓扑空间(X.ω(T))的定义。并得到了分明拓扑空间和与之相应的诱导模糊拓扑空间之间关于连续性,紧性和连通性相互关系的几个有趣的性质。例如,映射f:(X.ω(T))→(Y,ω(T~*))是模糊连续的当且仅当f:(X,T)→(Y,T~*)是连续的。本文继续M.D.Weiss在这方面的工作,引入了模糊商映射、模糊紧映射、模糊强完备映射、模糊半闭映射、模糊保紧映射和模糊连通映射诸概念。证明了f:(X,ω(T))→(Y,ω(T~*))是模糊紧映射(相应地,模糊强完备映射,模糊半闭映射或模糊连通映射)当且当仅f(X,T)→(Y,T~*)是紧映射(相应地,强完备映射,半闭映射,连通映射)。如果(Y,T)是T_2空间,则f:(X,ω(T))→(Y,ω(T~*))是模糊保紧映射当且仅当f:(X,T)→(Y,T~*)是保紧映射。     

关于空间和映射——献给高国士教授70寿辰

本文综述在拓扑空间论的研究中具有一定作用的一百多个拓扑空间类在商映射、闭映射,具有Lindelof纤维的闭映射,完备映射,有限到一闭映射,开映射,开紧映射和有限到一开映射作用下的不变性和逆不变性。     

L-fuzzy闭包系统和L-fuzzy弱邻域算子

 进一步研究L-fuzzy闭包系统,运用一一对应的思想和范畴论的方法研究了确定L-fuzzy闭包系统的另一种方法.设X是集合,L是Hutton代数,首先介绍了L-fuzzy弱邻域算子和它们的L-fuzzy连续映射,然后设L-FCSS是L-fuzzy闭包系统空间和它们的L-fuzzy连续映射构成的范畴,L-FWNS是L-fuzzy弱邻域算子空间和它们的L-fuzzy连续映射构成的范畴,证明了L-FCSS和L-FWNS是同构的.     

L-fuzzy子半群的L-fuzzy双(内)理想

给出了L fuzzy子半群上的L fuzzy双 (内 )理想的刻画 ,并证明了在双诱导映射及逆映射下L fuzzy子半群上的L fuzzy双 (内 )理想仍是L fuzzy子半群上的L fuzzy双 (内 )理想     

格值模糊半开集与半连续映射

在L-fuzzy拓扑空间中，给出一种新的半开集的概念，证明了这种半开集具有分明半开集的几乎所有的性质，并利用这种半开集研究了L-fuzzy半连续映射、半开映射、半闭映射等。     

一种基于GEP的程序不变量动态发现方法

利用GEP(基因表达式编程)获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.在函数型程序不变量范围内,有效地克服了目前程序不变量发现技术中存在的两个缺点,即计算盲目性与程序不变量形式预置的主观性.整个工作可以理解为是对目前程序不变量发现技术的一个扩展,它拓广了原有技术可发现的程序不变量种类,增大了从程序运行轨迹数据中发现更多不变量的可能性.     

基于GEP-RNC的指数对数型程序不变量发现方法

程序不变量的发现是一种提高软件质量的有效方法.不变量发现工具Daikon可以发现程序中蕴含的简单不变量形式,但不包括复杂的函数型不变量.本文基于GEP-RNC算法对指数对数型不变量发现方法进行研究,通过实验证明GEP-RNC算法可以有效的发现指数对数形式的不变量,解决了基因表达式编程算法在复杂函数形式发现中稳定性不佳,精度不高的问题,扩展了Daikon不变量测试库中程序不变量的类型.     

有限伪反射群的二维不变式

设F是特征数为0的域,V是F上的n维向量空间,G是作用在n维向量空间V上的有限伪反射群,F[V*]G是由n个代数无关的齐次不变式f1,f2,…,fn在F上生成的多项式代数.在有限伪反射群的一般不变式理论的基础上,求出了G的二维不变式环F[2V*]G的一组基本不变式,f1(x1,x2,…,xn),f2(x1,x2,…,xn),…,fn(x1,x2,…,xn),f1(y1,y2,…,yn),f2(y1,y2,…,yn),…,fn(y1,y2,…,yn),这里F[2V*]=F[x1,x2,…,xn;y1,y2,…yn].并给出了F[2V*]G的基本不变式和有限伪反射群G之间的关系.     

低阶不变矩人耳识别方法

介绍了不变矩原理及特点,由于高阶矩对噪声敏感,提出一种低阶不变矩分子区域人耳识别方法.对分子区域的人耳图像,提取各个区的低阶不变矩首尾相连组成一组特征矢量,作为耳识别模型.在北京科技大学建立的图像库遍历实验后,结果表明,低阶矩识别效果好于高阶矩,分区好于整体.划分32区低阶不变矩达到100%的识别率.     

二阶线性微分方程在李群之下的不变式

本文讨论线性二阶(常的与偏的)微分方程(非抛物型的),按照李群定义其不变式,证明了关系式λ(x,ε)(?)_o(x,x_o;ε)=λ(x_o,ε)W_o(x,x_o;ε),(?)及当h=i,1≤i≤m_1时,J_h(x,y;x_o,y_o;ε)=J_1.1(x,x_o;ε)当h=m_1+k,1≤k≤m_2时,J_h(x,y;x_o,y_o;ε)=J_2,k(y,y_o;ε)。