抽象约简论文_荣宇音

导读:本文包含了抽象约简论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:抽象,谓词,拓扑,广义,近似,知识库,性知识。

抽象约简论文文献综述

荣宇音^[1]（2018）在《广义近似空间的拓扑式研究及抽象知识库的多种约简》一文中研究指出1982年,波兰数学家Z.Pawlak为了处理不精确、不确定与不完全数据,提出了粗糙集理论.近几年来,这一理论在机器学习、知识发现、数据挖掘、决策支持与分析等方面得到了广泛应用.后来人们将粗糙集理论的核心概念进一步推广,得到了广义近似空间与抽象知识库等理论.对这新的理论进行深入研究具有重要的理论意义和应用价值.对于广义近似空间,本文进行了拓扑式研究.首先,利用关系开集的概念诱导了广义近似空间的关系拓扑,利用关系拓扑定义了广义近似空间的多种分离性及拓扑紧性,获得了广义近似空间多种分离性间的诸多关系,证明了广义近似空间的关系紧性强于拓扑紧性.其次,对广义近似空间之间的映射引入并刻画了粗糙连续性和拓扑连续性,探讨了它们的性质及相互关系,证明了每个粗糙连续映射都是拓扑连续的.在此基础上本文还引入了粗糙同胚和拓扑同胚性质的概念,考察了广义近似空间的诸如分离性、连通性、紧性等的粗糙同胚不变性和拓扑同胚不变性,证明了拓扑同胚性质均为粗糙同胚性质.最后,证明了以广义近似空间为对象,以粗糙连续映射为态射形成一个范畴(称为广义近似空间范畴).借助于广义近似空间上的二元关系定义了广义近似空间的关系积空间,考察了几个广义近似空间的有限可乘性质,证明了广义近似空间的关系积即为广义近似空间范畴的范畴积.这些工作丰富了广义近似空间理论,为研究和区分广义近似空间提供了新的方法和途径.对于抽象知识库,本文提出了新的约简概念并进行了深入研究.首先,借助于区分矩阵获得了计算抽象知识库核的方法.其次,引入了抽象知识库的并约简及并饱和约简的概念,研究了并约简与并饱和约简在特定条件下的关系;证明了有限论域上的抽象知识库存在唯一的并饱和约简,同时给出了求并饱和约简的具体算法.最后,考察了抽象知识库的特例及其性质,并给出了一些简单应用.本文共分为五章.第一章是引言与预备,简单介绍写作背景及预备知识.第二章研究广义近似空间的关系拓扑及相应分离性与紧性.第叁章研究广义近似空间的粗糙连续映射、粗糙同胚性质等.第四章定义并研究了广义近似空间的关系积空间和广义近似空间范畴.第五章研究了抽象知识库的并饱和约简并给出了相应算法及应用.(本文来源于《扬州大学》期刊2018-04-20）

赵静^[2]（2014）在《抽象知识库的几种约简及其关系》一文中研究指出粗糙集理论是一种新的处理模糊和不确定性知识的数学工具,它作为一种数据分析处理理论,已成为信息科学最为活跃的研究领域之一,并被成功地应用于医药科学、材料科学、管理科学等领域.在粗糙集理论中,知识约简和派生是很重要的研究课题,也是知识获取的重要步骤.本文共分为五章.第一章是引言与预备,简单介绍了粗糙集理论的发展概况以及本文写作的背景,同时给出了若干预备知识.第二章对论域U上一般知识引入了知识交派生概念,研究了知识交派生集族的性质,证明了在论域U有限且给定知识对并关闭时,知识交派生集族形成一个拓扑.举例说明了论域U无穷且知识对任意并关闭时,其有限交派生集族不必形成一个拓扑.我们还给出了有穷论域上知识交派生的有效算法,证明了这种算法确实给出了交派生集族.第叁章将知识库推广到抽象知识库,给出有限约简的概念,通过考虑无限知识库上的有限约简的存在问题研究无限论域的(抽象)知识库,利用抽象知识库的饱和化,给出存在有限约简的充分／必要条件.给出几种类型无穷知识库约简的例子.第四章对于抽象知识库,引入饱和化和饱和约简的概念.研究了饱和化和饱和约简的相关性质.证明了有限论域上的抽象知识库有且只有一个饱和约简.给出有限论域上饱和约简的算法,还研究了饱和约简的限制问题,给出饱和约简的简单应用.第五章研究了知识库的知识约简和知识表达系统的属性约简的转化和联系,证明了这两种约简在一定意义下可相互转化且是等价的.(本文来源于《扬州大学》期刊2014-05-01）

郭曦,张焕国^[3]（2012）在《基于谓词抽象的测试用例约简生成方法》一文中研究指出针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。(本文来源于《通信学报》期刊2012年03期）

抽象约简论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

粗糙集理论是一种新的处理模糊和不确定性知识的数学工具,它作为一种数据分析处理理论,已成为信息科学最为活跃的研究领域之一,并被成功地应用于医药科学、材料科学、管理科学等领域.在粗糙集理论中,知识约简和派生是很重要的研究课题,也是知识获取的重要步骤.本文共分为五章.第一章是引言与预备,简单介绍了粗糙集理论的发展概况以及本文写作的背景,同时给出了若干预备知识.第二章对论域U上一般知识引入了知识交派生概念,研究了知识交派生集族的性质,证明了在论域U有限且给定知识对并关闭时,知识交派生集族形成一个拓扑.举例说明了论域U无穷且知识对任意并关闭时,其有限交派生集族不必形成一个拓扑.我们还给出了有穷论域上知识交派生的有效算法,证明了这种算法确实给出了交派生集族.第叁章将知识库推广到抽象知识库,给出有限约简的概念,通过考虑无限知识库上的有限约简的存在问题研究无限论域的(抽象)知识库,利用抽象知识库的饱和化,给出存在有限约简的充分／必要条件.给出几种类型无穷知识库约简的例子.第四章对于抽象知识库,引入饱和化和饱和约简的概念.研究了饱和化和饱和约简的相关性质.证明了有限论域上的抽象知识库有且只有一个饱和约简.给出有限论域上饱和约简的算法,还研究了饱和约简的限制问题,给出饱和约简的简单应用.第五章研究了知识库的知识约简和知识表达系统的属性约简的转化和联系,证明了这两种约简在一定意义下可相互转化且是等价的.

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。