并发计算的元模型Ⅲ.互模拟格

在有关ｃｈｉ演算的基础上,用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系,即Ｌ－互模拟等价关系,证明了只有４个不同的Ｌ－互模拟等价,在包含关系下,它们构成钻石格。许多常见的互模拟等价都可定义的Ｌ－互模拟等价。     

格序半群同余格LC（S）的完全分配性

本文首先引入值和正则Ｌ－同余的概念并讨论了正则Ｌ－同余的基本性质，在此基础上，给出了格ＬＣ（Ｓ）是完全分配格的几个等价刻化。     

L-fuzzy U-分离公理及其特征

在ＬＦ拓扑空间中引入Ｌ－ｆｕｚｙＵｉ（ｉ＝－１，０，１，２，３，４）、Ｌ－ｆｕｚｚｙＵ－正则及Ｌ－ｆｕｚｚｙＵ－正规分离公理．讨论了这些分离公理的特征及其相互关系．证明了这些分离公理是遗传和拓扑不变的等重要性质．     

非对称带不等算子的χ≠-演算

文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部L-互模拟关系中导出12个互异的L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出3个更新律,并修改了3个τ律.最后,给出了14个同余关系的可靠完备系统.     

马丁公理的逻辑分析

讲座了公理集合论中马丁公理的若干问题，即：（１）什么是马丁公理；（２）马丁公理的等价命题；（３）马丁公理和连续统假设之间的关系；（４）马丁公理在现代数学中的作用。     

三角范畴定义中八面体公理的等价命题及其应用

三角范畴是一个带有自同构的加法范畴,并且满足4条公理,其中的1条重要公理是八面体公理.由Grothendick-Verdier在上个世纪60年代提出的八面体公理相对于其它3条公理形式比较复杂,应用起来比较不方便.因此研究八面体公理的其它等价命题引起了人们的兴趣.本文在王济荣工作的基础上给出八面体公理的第1个等价命题,再利用对偶的思想导出八面体公理的第2个等价命题.最后利用homotopy cartesian得到八面体公理的第3个等价命题,并利用第3个等价命题简化Peng和Tan的证明.     

半群上的L－Fuzzy同余关系

先引入半群Ｓ上的Ｌ－Ｆｕｚｚｙ同余关系的概念，进而讨论Ｌ－Ｆｕｚｚｙ同余关系的几个基本性质，然后证明半群Ｓ上的所有Ｌ－Ｆｕｚｚｙ同余关系作成一个格，同时证明群Ｇ上所有Ｌ－Ｆｕｚｚｙ同余关系作成一个模格．     

并发计算的元模型中Ⅲ.互模拟格

在有关 chi演算的基础上 ,用统一的方法在 chi进程上引入一大类互模拟等价关系 ,即 L -互模拟等价关系。证明了只有 4个不同的 L -互模拟等价 ;在包含关系下 ,它们构成钻石格。许多常见的互模拟等价都可定义为 L -互模拟等价。     

群体决策的k—较多规则

本文给出求解群体决策的一个新的规则，即ｋ－较多规则，并且论证了它满足Ａｒｒｏｗ公理中的４个公理。     

半群上的L-模糊同余

本文给出了一个Ｌ模糊关系生成Ｌ－模糊同余及包含在这Ｌ－模糊关系中最大的Ｌ－模糊同余的刻画。进一步证明了一个半群的Ｌ－模糊同余格是一个完备格且给出两个Ｌ－模糊同余并的刻画，特别地，我们得出群的Ｌ－模糊同余格为模格     

选择公理的逻辑分析

本文讨论：（１）选择公理的若干等价形式；（２）选择公理的作用；（３）选择公理的可靠性；（４）选择公理的弱形式。     

群体决策的k－较多规则

本文给出求解群体决策的一个新的规则，即ｋ－较多规则，并且论证了它满足Ａｒｒｏｗ公理中的４个公理．     

线性空间公理化定义研究及反例

讨论线性空间定义中 8条公理之间的关系 ,给出公理 1的一个充分条件和公理 5的两个等价条件 ,证明公理 6与公理 8在有理数域上是等价的 ,因此它们在有理数域上不独立 ;给出所有只满足 8条公理中部分公理的四元组(V ,P , , )的例子 ,特别是构造了一个例子来说明公理 8在复数域上是独立的以及说明公理 1 ,8不成立和说明公理 1 ,6 ,8不成立的例子     

鲁棒环境演算中的互模拟同余关系

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型，移动环境演算是一种广为使用的描述移动计算的形式化模型．针对这种演算的一种改进——鲁棒环境演算，提出了一个新的标号转移系统，并在此基础上引进了一种互模拟同余关系．同时，作为上述工作的应用，给出了一些重要进程等价性定律的简洁证明．     

模糊关系数据库的几点注记

在讨论了模糊关系及其特征之后,给出了在元组隶属函数约束下的模糊关系λ－截集数据库和模糊关系模式的概念,引入并讨论了用模糊集包含度刻划的模糊属性值及元组的语义包含相似度及其性质．在此基础上,导出了经典函数依赖（ＦＤ）的４种相互等价的形式化定义,并由此扩展得到模糊函数依赖（ＦＦＤ）的相应形式化定义和相应于Ａｒｍｓｔｒｏｎｇ公理的有效且完备的推导规则．认为文［１］对（ＦＦＤ）的讨论只是本文的特例     

L－fuzzy双拓扑空间进一步的分离公理

本文引入Ｌ－ｆｕｚｚｙ双拓扑空间几种进一步的分离性公理，定义了配ＳＴｉ（ｉ＝２，３，４）分离性、配完全正则性和配　分离性，并讨论它们的一些性质．     

"线性空间"公理系统的等价性

本在利用群的第一定义和群的第二定义的等价性得出关于“线性空间”的一个简化定义的基础上．给出线性空间另外两个等价的公理系统。同时，对这些公理系统的独立性问题予以探讨。     

拓扑分子格的弱分离公理

本文是文［１］的继续，我们以Ｑ－远域为工具，首先引入和研究了拓扑分子格的ＳＴｉ分离公理（ｉ＝－１，０，１，２，３，４）。其次我们引入了Ｓ－不定序同态和Ｓ－同胚序同态等概念，给出了它们的若干特征性质。最后我们得到了各种ＳＴｉ分离公理是Ｓ－同胚序同态下保持不变的性质。     

正则半群的强局部左—C同余

本文给出了，强局部左－ Ｃ 半群的概念和它的两个等价条件，研究了正则半群的强局部左－ Ｃ同余，用同余核和同余的超迹，描述了强局部左－ Ｃ同余。     

关于命题演算公理系统独立性证明的注记

对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。