机构地区: 中国科学院计算技术研究所
出 处: 《控制与决策》 2007年第9期1017-1021,1026,共6页
摘 要: 基于信息系统,定义论域上的距离函数、构造距离空间;然后从分析论域的距离空间出发,进一步导出论域的拓扑空间并分析其结构特征,建立有关理论;最后研究了由拓扑空间构成的拓扑世界空间,找到了定于该空间之上的格和布尔代数,并导出相关性质和定理,进一步丰富和完善粒度计算的理论体系. Based on information system, a distance function on the universe is defined, with which distance space on the universe is also established. And then the thorough analyses of the distance space result in universe's topological space are presented, and the relating theories are obtained. At last, topological world space which is made up of topological spaces is analyzed and then Boolean Algebra and Lattice defined on the space are founded. By studying the characteristics of Boolean Algebra and Lattice, some important theories for GrC are established, which can further richen the theoretic framework of GrC.
领 域: [自动化与计算机技术] [自动化与计算机技术]