完全相容稳定模糊谓词转换器

谓词转换器语义是用程序验证技术来定义程序语言的一种方式.为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义. 同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器.     

稳定映射与局部代数格范畴的笛卡儿闭性

本文引入稳定映射迹的概念，得到了局部代数格上的稳定映射可由迹唯一确定以及局部代数格的稳定映射空间关于稳定关系构成局部代数格，在此基础上证明了以局部代数格为对象稳定映射为态射的范畴是笛卡儿闭范畴。     

完全分配格上的正则性注记

In this note,the author gives some characterizations of regularity and complete regularity of topological molecular lattices,the shows that any regular and strong normal topological molecular lattice is completely regular;finally proves that every paracompact and regular topological molecular lattics is stronge normal,and further completely regular.     

拓扑分子格的极不连通性和S－闭性

利用完备余ｃｏ－Ｈｅｙｔｉｎｇ代数上的伪补运算，在拓扑分子格上引入极不连通性和Ｓ－闭性，得到了每个Ｓ－闭的正则拓扑分子格是极不连通的以及同胚的广义序同态保持极不连通性和Ｓ－闭性．     

两种含可信度的推理

本文旨在建立两种单一结论，多个条件，且含有可信度的推理机制，这种推理机制是非单调的，和不精确的。推理的目的是在计算可信度，从而得到结论成立的可能性大小。这种推理机制有两个特点，特点1是在证据间引入取值于[-1，1]二元函数ξ（A1，A2）反映证据间的相互支持度，有正支持、零支持与负支持之分。在此基础上，建立了可信度计算公式。另一个特点为，当条件是模糊时，引入取值于[0，1]的二元R算子，用来耦合条件模糊隶属度以及规则的可信度，其结果恰好是结论成立的可信度。     

半格与Domain的表示

引入一种半格———Ｄ 半格，建立了Ｄ－半格的表示理论，利用它得到了Ｌ ｄｏｍａｉｎ（即局部代数格）的表示理论；证明了Ｌ ｄｏｍａｉｎ与稳定映射范畴对偶等价于稳定Ｄ 半格与Ｄ－半格同态范畴．     

半拓扑系统

本文旨在建立Ｓ系统理论，它具有相当的广泛性，以及应用背景性，同时又以拓扑空间、模糊拓扑空间、拓扑分子格以及拓扑系统为特例．     

A Note of Regularity on Completely Distributive Lattices

ＡＮｏｔｅｏｆＲｅｇｕｌａｒｉｔｙｏｎＣｏｍｐｌｅｔｅｌｙＤｉｓｔｒｉｂｕｔｉｖｅＬａｔｔｉｃｅｓ￥ＣｈｅｎＹｉｘｉａｎｇ（ＸｕｚｈｏｕＴｅａｃｈｅｒｓＣｏｏｅｇｅ，２２１００９）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｎｏｔｅ，ｔｈｅａｕｔｈｏｒｇｉｖｅｓｓ...     

仿S-闭空间的半正则化

如果拓扑空间的每个正则开集都是某些正则闭集之并,则称拓扑空间为弱P_(Σ~-)型的。显然极不连通空间、P_(Σ~-)型空间、正则空间、几乎正则空间都是弱P_(Σ~-)型的。 定理 设为弱P_(Σ~-)型的仿S-闭空间则它的半正则化,是仿紧空间。 证明 设为的汪一开复盖,由于为的拓扑基,所以中任一元都是X中若干个正则开集的并,所以由可得X的正则开集的复盖。又是弱P_(Σ~-)     

基于R0算子的模糊概念学习

讨论基于R0蕴涵算子的模糊概念学习,建立基于该算子的内涵映射和外延映射, 讨论这两个映射的一些性质;通过这两个映射,从具有模糊属性的数据表中进行概念学习;并将R0 算子与其它蕴涵算子进行比较.