摘要：1988年Klug给出了第一个稠密域上的不等式合取查询包含问题的算法,但该方法不适用于非稠密域.本文解决非稠密域上的不等式合取查询的包含问题.

摘要：本文给出了矿山中非常重要的干法除硫的数学模型及其实验验证

摘要：为了更加有效地对概念格中的属性进行约简,提出了一种基于属性最大模的概念格属性约简算法。根据形式背景中存在相同的属性列,对形式背景中的属性集合进行划分分类,并给出了一种新的属性特征识别方法。在此基础上,根据属性最大模之间的支配序性质,给出了基于最大模的概念格属性约简定理,揭示了属性最大模与属性特征的关系,并提出了一个算法。最后,通过一个实例表明了该算法的可行性与有效性。

摘要：通过对数据挖掘的经典Apriori算法和基于线性链表的关联规则挖掘算法进行研究,发现其中的不足——多次扫描数据且生成大量候选项集,增加了计数时间和内存空间。针对以上情况提出了基于候选项集分组的关联规则挖掘算法,该算法主要改进数据仅一次扫描和对候选项集进行分组计数,且动态创建候选项集的集合,有效地缩短了计数时间和占用的内存空间,使挖掘的效率更好更快。实验结果表明,该算法比文献[1]的算法效率更高。

摘要：解决大背景问题是当前的重要课题。给出了对象亏值、属性亏值、投影粒及共轭对的形式化表示方法、相关定理和证明。通过对象亏值和属性亏值获得原子共轭对,由交运算得到全部共轭对,提出了针对大背景概念格获得全部共轭对的一种新方法。该方法实现了按用户要求对概念格知识进行聚类化简,具备"无苛刻条件,化简幅度较大,运算过程简单,具有信息恢复能力,有明显对应关系"的优点。将其应用于中医的药材和处方,为中医专家提供决策支持。为共轭对在数据挖掘的深入应用奠定了基础。

摘要：根据内涵亏值的概念,对于找出背景的所有亏值横截的理论依据,给出了形式化的定理,并给予了严格的证明。通过检查亏值最小横截是否为伪内涵,再由伪内涵求得Guigues-Duquenne基,从而提出了利用内涵亏值及其最小横截获得背景Guigues-Duquenne基的一种新方法。理论研究和算法实现表明了这种方法是有效可行的。这也为Guigues-Duquenne基的深入应用创造了更好的条件。

摘要：对概念格在关联规则挖掘中的应用进行了研究。通过将概念格的外延和内涵分别与事务数据库中的事务和特征相对应,可以从概念格上产生频繁项集,进而挖掘关联规则。提出了一种基于概念格的关联规则挖掘方法,在背景中对象约简的基础上,构造出对象约简后的概念格,从新的概念格中先产生基本规则集,再根据用户给出的支持度阈值从基本规则集中挖掘出对用户有意义的规则,并给出了算法描述。该方法求出的关联规则和利用Apriori算法求出的结果是一致的。

摘要：在由可修复设备组成的系统中,由于设备可修复,所以故障与修理成了正常生产的组成部分,因而不是一出故障就认为生产不正常,而是应该用出故障是否太多,修复时间是否过长来衡量生产是否正常。通过在这方面进行一些探讨,以便能更合理地对这种系统进行调控。

摘要：1.引言 索引依赖是一种特殊的函数依赖,它与一般的函数依赖不同,“背景”对它起着决定性的作用。大量的实践表明,在自然朴素地给出背景的情况下,当属性的次序有某些变化时,可能会出现不应有的异常。 例如:有一个关系模式R,它包括四个属性,即R={姓名,学籍,分数,奖学金},其中dom(学籍)={预科,本科},(预科<本科),dom(分数)={0,1,…,100}(按整数序),dom(奖学金)={30,40,60,70,90}(按整数序),dom(姓名)(按常规)(这里dom(A)

摘要：索引依赖是一种特殊的函数依赖,对于存在索引依赖的关系来说,即使按传统方法规范化了,也存在着由于背景内容变更而引起的修改冗余.本文将严格定义索引依赖及其有关的概念、提出一种新的分解方法、给出一个不同于经典视图的索引视图来解决索引依赖的各种问题.