论文部分内容阅读
给出了相容核的拓扑解释。给定论域上的一个相容关系R，指出该相容关系诱导的拟离散闭包空间的内集拓扑是以每个元素的R_相关集构成的集族为拓扑基生成的。进而利用该内集拓扑所对应的指定预序，证明了每个元素的相容核就是内集拓扑中单点集的闭包。
相容核的拓扑解释
【摘 要】
：
给出了相容核的拓扑解释。给定论域上的一个相容关系R，指出该相容关系诱导的拟离散闭包空间的内集拓扑是以每个元素的R_相关集构成的集族为拓扑基生成的。进而利用该内集拓扑
【机 构】
：
东南大学计算机科学与工程系,安徽机电职业技术学院
【出 处】
：
计算机工程
【发表日期】
：
2006年14期
其他文献
针对卫星影像存在的仿射畸变,研究并给出了一种实用的自动校正方法。分析了仿射畸变模型参数的计算方法,对几何校正控制点进行了自动选定,辨识出了畸变模型参数,采用均值法及中值法对模型辨识参数进行优化处理,进而通过坐标变换及灰度的双线性插值实现卫星影像仿射畸变的自动、精确校正。仿真实验结果说明了该方法的可行性、有效性。
本文主要针对目前存在的招标师社会地位低的说法,分析了其产生的原因,并指出了招标师自觉履行社会责任是实现其自身可持续发展及获得竞争优势的核心要素,招标师在要求提高社
针对网格应用系统开发实验过程中的困难，提出了一种通过在单机环境中利用虚拟机技术构建网格原型实验系统，对网格应用软件进行实验的方法，已申请国家发明专利（申请号：200510018916