欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
为研究程序语言的指称语义引入的数学模型Domain理论及该理论在逻辑意义下的相应表示信息系统和反映概念层次结构的形式概念分析与粗糙集理论等，都是现在众多从事计算机科学理论研究与应用的科学家所关注的新型理论。这些理论虽然是基于不同的研究背景提出来的，有着不同的理论体系，但它们并不是互相孤立的，它们相互联系并与形式拓扑和模糊数学等相互交叉。本课题将探讨形式拓扑与形式概念分析的联系；从模糊逼近概念入手，研究模糊信息系统和模糊概念格之间的关系，为在数据库知识发现 等方面的应用打下基础。逐步建立模糊集上的Domain 理论，连续格理论等，继而可以找到更多的 Domain 模型, 更加深入的探讨 Domain 与拓扑、序、形式拓扑、形式概念分析之间的联系。建立概念格与粗糙集之间关系的纽带,研究更为行之有效的数据分析和知识发现的方法，并给出相应的算法。本研究有重要的理论意义和应用价值。
结论摘要：
英文主题词Domain theory,formal concept analysis,fuzzy set,rough set,lattice theory.
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
A multiplicative Schwarz iteration scheme for solving the linear complementarity problem with an H-m
Lie triple derivation of the Lie algebra of strictly upper triangular matrix over a commutative ring
Certain subclasses of multivalent analytic functions involving the generalized Srivastava-Attiya ope
相关项目
李庆国的项目