并发模型的范畴论方法

范畴论是一种通用概念框架，可作为软件工程的理论基础.介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例.     

模糊Quantale范畴的性质

引入了模糊Quantale的概念,证明了模糊Quantale范畴同构于L-代数范畴,于是从范畴论的角度说明L-代数也可以看成是Quantale的模糊化结构;给出了模糊Quantale范畴中的极限的具体结构,同时证明了该范畴是完备范畴;给出模糊Quantale范畴中逆系统的逆极限结构,引入了两个逆系统之间映射的定义,由此导出两个逆系统的逆极限之间的极限映射.     

模糊集范畴

在模糊集的理论和应用研究中，一个基本问题是怎样把模糊集组织成一个范畴，相应的范畴具有什么样的性质?这一问题自Zadeh引入模糊集的概念之后，一直受到人们的关注.简要介绍2个具有代表性的解决方案，其一是由Goguen提出的Goguen范畴，其二是受topos理论影响发展起来的Q-集理论.这2种方案差异很大，Goguen范畴把模糊集的隶属函数看作一个集合到单点集的模糊关系，因而2个模糊集之间的态射就是2个集合之间满足一定条件的模糊关系；Q-集范畴则把隶属函数看作类型函数，因而2个模糊集之间的态射就是2个类型函数之间满足一定条件的模糊关系.这2种方案的共同特点在于充分利用逻辑值域的逻辑结构，这也是模糊集理论区别于其他数学分支的一个基本特征.     

L-模糊远域空间与L-余模糊拓扑空间

对任意完全分配格L,引入了L-模糊远域空间的概念.并且证明了它与Hhle-ostak意义下的L-余模糊拓扑在范畴意义下是同构的.     

Topos中的模糊对象和模糊范畴

在一个topos中引入模糊子对象的概念,给出了一个对象的元素x对一个模糊子对象的隶属度的定义,在一个布尔topos中讨论了模糊子对象的运算,最后给出了由toposf的模糊子对象构成的范畴Ff,研究了范畴Ff的等化子性质,有限积性质,并证明了范畴Ff有最终元存在。     

Auslander-Buchweitz逼近理论在外三角范畴上的一个应用

文章在外三角范畴中引入了相对分解维数的概念，给出了具有有限相对分解维数的对象的Auslander-Buchweitz逼近性质.作为应用，在外三角范畴上构造了由有限相对分解维数的对象组成的商范畴上的函子的伴随对.     

BCI—代数的链复形

本文引入了ＢＣＩ－代数的链复形及链映射的概念，从而定义了范畴ＢＣＩ－ＣＣ，讨论了这个范畴的一些性质，如具有零对象，积的存在和积的万有性质等，还得到了范畴ＡＳ－ＢＣＩ－ＣＣ是一个Ａｂｅｌ范畴，并且指出了本文的一些结果可相应地用于对合群、幂集和对称差代数及Ｂｏｏｌｅ代数。     

M-纤维式同伦扩张及其应用

着重研究了M-纤维式范畴中的同伦论相关概念, 即M-纤维式同伦扩张性质. 通过M-纤维式收缩以及M-纤维式形变收缩的概念，给出了M-纤维式同伦扩张性质的等价描述，从而推广了一般拓扑范畴中同伦扩张性质的相关等价描述. 另外，证明了在M-纤维式范畴中的一些空间构造，如M-纤维式贴附空间的同伦不变形性. 最后, 对于2个M-纤维式映射是否同伦等价的问题，通过M-纤维式映射柱的概念给出了相关的判定定理，这一判定是一般拓扑范畴中两映射是否同伦等价的判定的自然推广.     

中英文命名中范畴概念词应用情况对比

范畴化是认知科学的重要概念,也是人们认识世界万物的重要思维工具。范畴化的结果就是大量的范畴。本文将表示范畴或者范畴概念的词称为范畴概念词。本论文结合语料库对众多种类的中英文事物名称进行对比,从中发现了两种语言的命名中范畴概念词的应用情况的不同表现。     

格上的CF群范畴

将经典群和模糊群溶为一体，提出一种新的代数结构－－格上的CF群范畴，用函子的概念讨论了它们之间的关系，并从范畴论的角度出发，对格上的CF群范畴进行了统一描述。     

对新模糊集合论基础的一些注记

近来,一些学者指出Zadeh模糊集合论存在缺点和错误,建立了新模糊集合论.针对新模糊集合论提出了自己的见解.首先,在分析C-模糊集合论的定义时,发现该定义中存在两个不足之处.正是由于这两个不足之处,模糊集合之间的运算就会受到质疑而无法进行.最后,辨证地分析了Zadeh模糊集合论存在的缺点和错误.     

动态不确定模糊集

Zadeh的模糊集理论主要用来处理不精确和不完全信息的不确定.提出了动态不确定模糊集的概念,它是模糊集和不确定模糊集的推广,在处理动态和不确定问题时具有很多优点.动态不确定模糊集的性质得到了深入研究,并给出了动态不确定模糊集关于生成集的一个刻画.     

模糊数据挖掘在决策支持系统中的应用

论述了数据挖掘技术和数据仓库技术以及模糊理论和数据挖掘的结合及其发展．具体介绍了模糊数据挖掘及其步骤，并用一个具体实例说明了模糊数据挖掘的优势所在．     

从语言的模糊和言语的模糊看模糊理论在语言研究中的普遍意义

1965年扎德的“模糊集合论”的诞生,引起了语言学的变革,为模糊语言学的诞生提供了理论依据。本文将根据扎德的模糊集合论的观点,用模糊隶属度、模糊隶属函数等模糊分析的方法来讨论语言和言语中存在的模糊现象,即根据扎德的模糊集合论的基本观点:语言的各种范畴中既有清晰的中心区域,又有模糊的边缘区域。结论是:语言、言语系统的各个层面即语言、语义、词汇、语法都存在模糊现象。     

基于模糊控制的高校图书馆图书剔除研究

在图书剔除客观定量化研究中引入模糊控制理论,把种次借阅率和出版年分别模糊化为3个模糊集,作为图书剔除模糊控制模型的两个输入变量,根据模糊控制规则库中9条规则,输出剔除册数,并用以获得所有37类图书的剔除清单、册数、百分比。     

Zadeh模糊集合理论的缺陷及其改进:C*-模糊集合理论

分析和证明了Zadeh模糊集合理论的三个缺点和两个错误,提出了一个考虑模糊集合之间关系,并且用相关系数来刻画这种关系的程度的新模糊集合理论(系统)--C*-模糊集合理论(系统).新理论(系统)能克服Zadeh模糊集合理论的三个缺点和两个错误;能正确地描绘客观世界的全部模糊现象;有补集;隶属度有统一的计算公式;并且是经典集合系统的特例,能满足全部经典集合的公式,与正常思维、逻辑和概念一致.     

模糊线性规划

本文提出了不同于Zadeh,Zimmermann等人给出的模糊线性规划模型,并以例子说明了该模型的解法和应用。     

基于pi-sigma神经网络的模糊建模与控制及其仿真研究

提出了一种基于高木-关野模糊系统的pi-sigma神经网络结构、学习算法,并分析了学习算法的收敛性.用这种混合型pi-sigma神经网络系统去实现模糊规则及其隶属函数的修正,从而得到模糊推理的自适应性.在设计过程中,引入Zadel模糊取乘算子,使之适合基于梯度的学习算法.最后的仿真结果表明此种网络的有效性、优越性并且在非线性建模、控制等方面有重要的应用价值.     

关于一维模糊随机变量的极大似然估计方法

研究一维模糊随机变量情形总体未知参数的极大似然估计的两种方法——扩张原理法与随机集的可积选择法．在模糊观测条件下,定义了Kwakernaak-Knrse-Meyer型模糊随机变量情形的模糊参数的极大似然估计量及Puff-Ralescu型变量情形的模糊参数的边缘极大似然估计量．得到了它们的存在条件,一致性条件及其相关性质．     

L集合范畴中的等值子和余等值子

为了研究L集合的性质,建立L集合的数学框架,在L集合范畴Set（L）中,研究了集合范畴Set（L）中的等值子和余等值子,以及等值子和余等值子的无点式与有点式刻画,为进一步研究集合范畴Set（L）的topos性质打下了基础．