文献类型：期刊文章

作　　者：苗夺谦[1] 徐菲菲[2] 姚一豫[3] 魏莱[4]

机构地区：[1]同济大学计算机科学与技术系,上海201804 [2]上海电力学院计算机科学与技术系,上海200090 [3]里贾纳大学计算机科学系里贾纳S4SOA2加拿大 [4]上海海事大学计算机科学系,上海200135

出　　处：《计算机学报》

基　　金：国家自然科学基金(60970061);上海电力学院人才引进基金(K2011-002);上海市教育委员会科研创新项目(Z2011-080);上海市优秀青年教师基金(B211058K)资助

年　　份：2012

卷　　号：35

期　　号：2

起止页码：351-363

语　　种：中文

收录情况：BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20121214874191)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：粒计算的形式化研究一直没有被仔细讨论.文中在集合论框架下,对粒计算做了系统研究,给出了粒度空间的三层模型(论域,基,粒结构).借用逻辑语言L判定粒的可定义性,将经典粗糙集通过此模型重新解释.根据模型中从基到粒结构不同的构造规则,引出并可约和交可约粒度空间的定义,分别讨论了不同粒度空间下覆盖、基和粒结构的关系,从而给出从覆盖求基的方法;进一步,利用子系统表示方法对扩展粗糙集以及一般的交可约与并可约空间的上下近似进行了研究,分析了现有的4种基于覆盖的粗糙集模型的合理性;研究了形式概念分析以及知识空间的粒度空间模型,给出这两种理论中上下近似的概念.

关 键 词：粒计算 粒度空间 粗糙集 形式概念分析 知识空间

分 类 号：TP18]