半拓扑相关论文
引入稳定模糊谓词的概念，讨论稳定模糊谓词的一些基本性质和它的线性运算，建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序......
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义，在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转......
本文根据半开集理论，引进S-完全不连通空间的概念，井对其进行初步探讨，证明了S-完全不连通性是半拓扑性质。......
本文以通用管理信息系统（简称通用ＭＩＳ）为研究对象，运用拓扑学及代数格论等工具，建立了通用ＭＩＳ信息结构的数学模型，讨论了各阶信息之间的关系，为......
Ｚ．Ｗ．Ｍｏ建立了完全分配格上的共生结构的一般理论，研究了余拓扑、拟一致和Ｔ结构的一致化结构问题，本文在此基础上引进了完全分配格上的半拓扑......
在文[4]建立的通用的MIS信息结构数学模型的基础上，本文进一步分析了MIS的关联构造，定义了各种合理度，使对模型的构造有一个定量的描......
期刊
