对合Quantale的表示定理

引入了关系对合Quantale的定义，得到了对合Quantale的表示定理，并且在范畴意义下，讨论了对合Quantale范畴与其满子范畴等价．     

概率自动机的等价性

本文研究概率自动机初始等价和等价之间的关系,基矩阵的性质,某些等价类的结构,并得到判定极限最小自动机的一个充分条件。     

弱加法范畴

以可换么半群范畴心和半模范畴sM为背景建立了弱加法范畴的概念,讨论了弱加法范畴中有限个对象上积的性质,给出了保持有限对象上积的函子的等价刻划,进而定义了弱加法范畴的理想和同余关系,以此建立了弱加法范畴的商和同态基本定理及第一、二同构定理,并讨论了同余的格和亚直积等,以上概念和结果是对加法范畴的实质性拓广,为探讨弱加法范畴的结构奠定了必要的基础．     

高级语言间转换理论初步

本文在比较成熟的形式语言理论(特别是指称语义)的基础上,提出了程序设计语言间转换的初步理论,其中包括:不同语言语法域间的等价性;不同语言的终结符、非终结符之间的等于性、一致等于性和依赖等于性等概念和性质;以及在语言转换语法分析中的语义等价归约和推导的概念、性质;最后按上述理论,给出了高级语言问转换的理论算法及其正确性的证明.     

模糊子坡代数、模糊理想、模糊滤子及模糊同余关系的刻画

定义了坡代数（X,＋,＊）的模糊滤子的概念,给出了X上的模糊集A是（X,＋,＊）的模糊子坡代数（resp.,模糊理想,模糊滤子）的若干个等价刻画以及X×X上的模糊集E是（X,＋,＊）上的模糊同余关系的若干个等价刻画,另外还证明了模糊子坡代数范畴[0,1]-SInc是坡代数范畴Inc上的拓扑范畴。     

基于线性相关思想的属性约简算法

通过对粗糙集中属性约简理论的研究,定义了等价类矩阵、等价类的线性表示、划分的线性相关、空划分等概念,给出了等价类矩阵构造算法并讨论了其性质,最后给出了基于线性相关思想的属性约简算法。     

等价关系在网格技术中的应用理论研究

等价关系是一种特殊的二元关系,体现了关系的自反、对称和传递的性质,在计算机科学中有重要的应用。网格技术是近年来兴起的一种前沿信息技术,是一种信息社会的网络基础设施,它将互联网上的所有资源互通,更好地实现网络资源共享。网格服务是网格环境中资源的抽象和封装,它遵守网格服务规范,依据服务描述动态创建的Web Service。本文基于等价关系的理论,提出了等价网格服务关系的概念以及资源的划分问题,为服务匹配、服务组合和服务协同的研究提供了理论的支持。     

幺半群等价

讨论了幺半群等价.给出了幺半群等价的一些性质,证明了两个重要的格同构.得到:如果幺半群R和S等价,F是从左R-范畴到左D-系范畴的范畴等价,M是一个左R-系,p是R的一个同余,则有M的子系格L(M)和F(N)的子系格L(F(M))格同构,只的同余格C(R)和S的同余格C(S)格同构,幺半群R/p和S/ψ(p)等价,其中ψ是R的同余格C(R)和S的同余格C(S)的格同构.     

格蕴含代数与有界交换BCK-代数

证明了格蕴含代数与有界交换BCK-代数是两类等价的抽象系统,因而是范畴等价的。     

抽象数据类型的双代数结构

对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系；分别利用分配律对共代数函子及代数函子进行函子化提升,证明这种函子化提升可以将初始代数(或终结共代数)...     

基于类典型理论的词语翻译研究

翻译中的范畴问题是指在词语翻译中由于原语言和目的语言的范畴不同而引起的不对等问题。在类典型及基本层次范畴理论的视角下,英汉翻译中的词语范畴在类典型、范畴域、范畴层次性和文化意义上存在不同,并且存在范畴的缺失现象。词语翻译的本质,模式被赋予新的意义。这有助于对等方面译文质量的提高。     

有限极小集

本文讨论了完备格上有限极小集和可分子生成的格的性质,证明了可分子生成的格范畴与Sober拓扑空间范畴的反范畴的等价性;在此基础上给出了完全分配格的一族刻划.     

关于弱同伦正则态射

本文在点标道路连通CW空间的同伦范畴中,引进了弱同伦正则态射的概念,研究了它存在的条件、性质以及它与弱同伦单(满)态和弱同伦等价之间的关系.     

关于同调正则态射

利用同调函子,在点标拓扑空间范畴中定义了同调单态、同调满态、同调正则态射等概念。给出了同调正则态射的一些性质,以及它与同调单（满）态和同调等价之间的关系。     

中介公理集合论框架下的粗糙集

利用中介公理集合论来讨论粗糙集。首先给出中介化算子的公理化定义,讨论它的一些重要性质;其次给出与等价关系相对应的中介化算子的构造性定义,并指出它满足上述公理;再由中介化算子出发,构造出相应的等价关系。最后讨论中介化算子与等价关系之间的联系,证明两者是相互惟一确定的,用等价关系将集合改造成粗糙集与用相应的中介化算子将集合化为中介集,这两者是等效的。本文将粗糙集纳入中介公理系统理论框架之下,为研究粗糙集奠定了坚实的数学理论基础。     

完备范畴的极限范畴与η-扩张

研究完备范畴的极限范畴与η-扩张关系,证明完备范畴之间的极限范畴的η-扩张与η-扩张的极限范畴同构。     

具有两个对象的预加法范畴的刻画

利用Morita context刻画具有两个对象的预加范畴,得到了具有两个对象的范畴是预加法范畴的充要条件以及两个环是Morita等价的一个刻画.     

基于等价关系的信息熵及概率分配函数

Pawlak在1982年提出的粗糙(Rough)集是基于等价关系的理论, 粗糙集的发展推动了人们对等价关系的研究.等价关系上的信息熵具有最为简单、规范的性质.本文研究基于等价关系上的信息熵及概率分配函数,讨论基于等价关系上的信息熵的基本性质,为等价关系的信息熵的各种应用提供理论基础,比如等价关系的信息熵在信息系统的约简方面可能发挥重要作用.文章主要从两方面进行论证:①等价关系的粗细对信息熵的影响,这点通过8个命题来说明;②等价关系与证据理论之间的联系.证据理论主要是通过概率分配函数、信任函数及似然函数来表述,从某种意义上说粗集理论继承和发展了证据理论.另外,本文的讨论均在有限论域U={u1,u2,...,u|U|} 上进行,用具体的例子来说明抽象的数学命题,使之更容易理解.     

Gabriel单子与模范畴的局部化

通过定义Gabriel单子来刻画模范畴的商范畴与局部化范畴,证明了Gabriel单子诱导的像和余像是等价的;其像为模范畴的局部化范畴,该局部化范畴等价于Gabriel单子确定的Kleisli范畴;其余像为模范畴的商范畴,该商范畴等价于Eilengerg-Moore范畴。