摘要
基于信息系统,定义论域上的距离函数、构造距离空间;然后从分析论域的距离空间出发,进一步导出论域的拓扑空间并分析其结构特征,建立有关理论;最后研究了由拓扑空间构成的拓扑世界空间,找到了定于该空间之上的格和布尔代数,并导出相关性质和定理,进一步丰富和完善粒度计算的理论体系.
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.
出处
《控制与决策》
EI
CSCD
北大核心
2007年第9期1017-1021,1026,共6页
Control and Decision
基金
国家自然科学基金项目(60435010
60404021)
广西大学科研基金项目
广西教育厅科研项目(桂教科研[2006]26号)