论文部分内容阅读
引入稳定模糊谓词的概念，讨论稳定模糊谓词的一些基本性质和它的线性运算，建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序同态关系．
稳定模糊谓词
【摘 要】
：
引入稳定模糊谓词的概念，讨论稳定模糊谓词的一些基本性质和它的线性运算，建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序同态关系．
【机 构】
：
上海师范大学数理信息学院
【出 处】
：
上海师范大学学报：自然科学版
【发表日期】
：
2006年6期
【基金项目】
：
国家自然科学基金（60273054,60673117）,教育部高等学校博士学科点专项科研基金（20050270004）：上海市重点学科基金（10401）.
其他文献
本文首先分析H．264／AVC中CABAC的主要过程，随后介绍了两种提高编码效率的改进方法。然后提出了一种新的提高编码速度的算术码快速算法。实验结果表明，本文提出的快速算法在编码效
本文围绕支持面向NC的应用和提高电子政务系统兼容性集成性两个主要问题。以北京市海淀区学院路电子政务系统为例，讨论NC在电子政务中的应用模式，介绍该电子政务系统的体系结构
阅读是语文学习的基础内容,也是高考中的重要考试题型。作为一名高中生,掌握一定的阅读与分析能力是学好语文的必然要求。但就当前的教育发展需求来看,传统的阅读教学模式已