导　　师： 沈夏炯

学科专业： G0104

授予学位： 硕士

作　　者： ;

机构地区： 河南大学

摘　　要： 本文的目的也就是分析概念格的数学模型，研究其数学性质，对概念格的构造算法进行探讨，为概念格的分布式存储和并行运算提供理论基础，从而进一步将概念格应用于智能搜索引擎。 本文内容如下：介绍了传统搜索引擎的缺陷，以及引入智能搜索引擎的必要性和可行性。介绍了概念格的数学基础。给出了分布式概念格的数学模型，重点讨论了在分布式概念格的数学模型下，外延独立的两个同域概念格的并运算。就如何从不同的数据源中抽取出形式背景作了简单的探讨，详细介绍了关系型数据和XML类型的数据的形式背景抽取方法。针对基于FCA的智能搜索引擎作了探讨，分析搜索引擎的特点以及智能搜索引擎的引入的必要性和把FCA应用于智能搜索引擎的可行性。 　　 Using the traditional search engines may cause some problems, such as scanning too much irrelevant information or scanning little relevant information, In order to solve these problems, we try to find some efficient ways. The optimal way is using intelligent search engine. In Formal Concetp Analyse, concept lattice has good mathematical characters and is suitable for batching and can be denoted relations between concepts, so concept lattice model is an admirable tool while doing search on intelligent search engine. Considering that we have to process a lot of data, we choose the distributed concept lattice model. The aim of this paper is to introduce the mathematical models of concept lattice, study its mathematical properties, discuss the lattice construction algorithms, and provide mathematical foundation for its distributed storage and parallel processing. Following these steps, we will do some preparatory search on intelligent search engine. /(1/) The defects in the traditional search engine system are introduced including the necessarity and the possibility of the Intelligent Search Engine. It also appears that concept model can be readily applied to the development of the Intelligent Search Engine. /(2/) Introduce the mathematical foundations of the concept lattice and some definitions in lattice theory as same as concept model related order theory. We give two kinds of lattice construction algorithms: batch algorithms and incremental algorithms. The details of classical batch algorithms, such as Bordat and Chein algorithms, and classical incremental algorithms such as Godin algorithms are introduced particularly, moreover, propose an improved Godin algorithm. /(3/) We build a mathematical model of distributed concept lattice and discuss the union operation to combine two extention-independent same field lattices, and besides, introduce concept lattice algorithms and its parallel construction. Also, give a description of the characters and the actuality of parallel calculate with an exhaustive analysis of one of the parallel construction algorithms. /(4/) Discuss how to extract Formal Concept from different data sources.Mainly from Relation Data base tables and XML. /(5/) Discuss the Intelligent Search Engine based on FCA analyzing the characters of the routine search engines and the necessarity of the introduction of the Intelligent Search Engine, furthermore the possibility of the application of the FCA to it. Find out the solutions of the two key problems while FCA is applied to the Intelligent Search Engine.

关 键 词： 形式概念分析 概念格 分布式概念格 智能搜索引擎

分 类 号： [O153.1 TP311.13]

领　　域： [理学] [理学] [自动化与计算机技术] [自动化与计算机技术]