形式背景同构判定算法研究及其应用

来源 :河南大学 | 被引量 : 0次 | 上传用户:q43372958
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
构造概念格是FCA(FormalConceptAnalysis)理论中的一个重要问题。传统的构造算法均是对于一个给定的形式背景从头构造概念格,而不能利用已有的概念格。针对该问题,课题组提出了概念格的同构生成方法,所涉及到的一个基本问题是如何判定两个形式背景是否同构。这也是本文工作的中心任务。 形式背景同构判定与图同构判定属于同一类问题,但不尽相同,因为在造格过程中不仅需要得出形式背景是否同构的结论,而且如果存在同构还需要求出具体的映射关系。由于形式背景用矩阵表示,所以我们只关心是用矩阵表示图的一类同构判定算法。这些算法大致分为两类,一类使用行列交换进行判定,一类利用图的一些不变量及其它特性进行判定。形式背景同构判定可以通过行列交换进行判定,本文中实现的“直观算法”就是使用这种思路。但这种方法时间复杂度高,效率很低。根据图同构的第二类算法,我们也可以利用形式背景的一些不变量进行初步判断,同时结合行列变换的方法进行判定,基于这个思路,本文提出了“等价类法”。 等价类同构判定算法的基本思想为:对于形式背景K1和K2分别按照等重(weight)关系进行等重划分,此过程包括两部分——对象划分和属性划分。对象划分在计算每一对象(行)的重的基础上,按照等重关系将对象集划分为等价类,并使得对象等价类按其重的大小排序。为确定形式背景形态上的唯一性,在变换过程中,始终要保持等价类的有序性。属性划分类似。于是,等重划分后的形式背景被对象等价类和属性等价类分解为多个子形式背景,这样只须对K1和K2对应的子形式背景运用直观算法进行判定。 经过实验证明,等价类算法在时间复杂性和空间复杂性上都优于直观算法,有效地提高了同构判定的效率,尤其是当形式背景的对象数和属性数增加时,等价类算法的优越性更加明显。再结合形式背景的分解和约简等手段,为概念格的构造提供了一种有实用价值的方法,我们将这种方法称为是基于格同构的生成方法。基于格同构的生成方法的实用价值和性能在IsoFCA(IsomorphismFormalConceptAnalysis)系统中得到了验证。 本文的主要贡献如下:(1)提出了等价类算法,并通过实验验证了等价类算法的高效性和正确性。 (2)提出了基于对象和属性权重不变量的等价关系,实现对形式背景对象集和属性集的划分。 (3)根据图同构行列交换判定思想,实现了形式背景同构判定的直观算法。 (4)将等价类算法运用于IsoFCA原型系统中对n阶形式背景核的构造和子形式背景同构判定。该系统的成功运行验证了概念格同构生成方法的可行性,也验证了等价类算法的实用性。
其他文献
给定图G,G的全图T(G)是以V(G)∪E(G)为顶点集,对于x,y∈V(T(G)),如果x和y在G中是相邻的或相关的,则xy∈E(T(G))。令G--是全图T(G)的补图。在这篇论文中,在本文中主要讨论G--的哈密
本文由介绍节能减排的概念作为切入点,进而依次介绍了电子信息产业的节能减排现状和措施,重点介绍和讨论了电子信息产业节能减排的标准化,包括电子信息产业节能减排的标准化领域
期刊
期刊
广义线性模型是对经典线性模型的一种重要推广,它既适用于连续数据,又适用于离散数据,特别是后者,比如属性数据以及计数数据等.纵向数据就是指对每个的个体重复的进行观察测量所
期刊
带旋转自由度的膜元是在工程中有广泛应用的一类有限元。这类膜元通过在角点处增加自由度和提高位移插值阶数,在不增加结点的情况下可以提高有限元精度。此外,当和各种板弯元结
初中生物,由于其在中考中占据着极小的份额,在追求升学率的大背景下,生物学科的教学常常边缘化,教学设备较为缺乏、场地有限、学生不够重视、任课教师松懈,一定程度上给生物
2009年6月2~5日,山大奥太与中电华强再度携手,参加了在上海新国际博览中心举行的第十四届北京·埃森焊接与切割展览会。展会上,奥太公司展出了各系列产品近百台,演示焊机6台。
在应用随机过程中,排队论无疑是其中极为重要的一类,其他的如随机流体模型、存储模型、易腐烂物品存储模型在实际应用中也具有重要地位.但过去由于数学工具的限制,只能处理一
期刊