概念格的外延覆盖约简

概念格是数据分析与知识发现的一种有效的形式化工具.知识发现的一个重要课题是知识约简,因此,寻求简单有效的属性约简方法是很有必要的.近年来,概念格属性约简方法的研究得到了很多学者的关注,提出了多种形式的概念格属性约简方法.本文利用形式背景的外延基本元,提出了概念格的外延覆盖约简的概念.讨论了这种约简与已有的几种约简之间的关系.证明了外延覆盖约简等价于粒约简,且概念格属性协调集一定是外延覆盖协调集.给出了外延覆盖协调集的判定定理,借鉴粗糙集属性约简的思想,得到了利用辨识矩阵计算全部外延覆盖约简的Boole方法.     

多决策覆盖信息系统的约简

覆盖决策信息系统是研究热点之一,其中对于决策为覆盖的覆盖决策信息系统研究较少.本文利用特征函数将覆盖决策信息系统中以覆盖刻画的决策转化为由0和1组成的形式背景,进而给出了多决策覆盖信息系统的定义.在多决策覆盖信息系统中,通过构造相应的辨识矩阵,讨论了两类覆盖的约简,并研究了这两类约简对应的覆盖协调集与覆盖决策信息系统中上近似协调集之间的关系.     

序信息系统中基于粗糙熵的不确定性度量

在序信息系统中引入知识粗糙熵和粗集粗糙熵两个不确定性度量的概念,本文得到了它们的有关性质,证明了这两个度量都随着知识确定程度增强而单调下降的结论,从而给出序信息系统的信息解释;并进一步通过讨论它们之间的联系说明粗集的粗糙熵可以更精确地度量粗糙集的粗糙程度.这些结论为序信息系统的知识发现奠定了一定的理论基础.     

齿轮结构智能化几何建模方法研究

根据齿轮结构设计知识,分别提取设计参数集、几何关系约束集和齿轮结构形式选择条件集,形成知识体系,采用知识表达方法将其引入CAD系统,在特征造型的基础上,应用程序设计方法实现参数化齿轮结构建模,同时,通过结构形式选择条件集实现齿轮结构类型的智能选择.     

Ω-代数遗传性的注记

探讨了Ω-代数的遗传性,即考察Ω-代数的生成元集的性质对Ω-代数自身性质的影响.证明了在一定条件下Ω-代数的交换性及从一个Ω-代数到另一个Ω-代数的同态映射都由Ω-代数的生成元集决定.     

材料的定义及材料学的划分

逻辑分析时,明确概念是第一及最重要的步骤;概念的内涵与外延分别用"定义"与"划分"的方法来确定.本文分别用定义及划分来确定"材料的内涵"及"材料学的外延".     

随机模糊信息系统的知识约简

利用模糊逻辑中的R-型蕴涵算子定义随机模糊信息系统对象集上的模糊等价关系,进而实现对随机模糊信息系统知识的近似表示。讨论随机模糊下近似、上近似集的模糊概率与模糊信任测度、模糊似然测度之间的关系。给出基于模糊信任测度和模糊似然测度的随机模糊信息系统知识约简的方法。     

有界Heyting代数的模糊LI-理想

理想是研究逻辑代数结构特征的重要工具性概念之一.本文综合运用代数学与模糊集的方法和原理,在有界Heyting代数中引入模糊LI-理想概念并研究其性质.进而讨论了模糊LI-理想与模糊格理想之间的关系,并给出了由一个模糊集生成的模糊LI-理想的表示定理,最后证明了一个给定有界Heyting代数的全体模糊LI-理想之集在模糊集合包含序下构成一个完备Heyting代数.     

制造信息系统中基于遗传算法的关联知识挖掘

通过分析制造信息系统中数据集的特点,运用遗传算法的理论,对传统的关联知识挖掘算法进行了优化,对遗传算法中的系统编码进行了深入研究,并应用于制造信息系统中,进行了数据挖掘和知识发现的尝试,并给出了比较详细的算法描述与实现,之后对相应算法的效率以及优缺点进行了分析,并得到了详细量化的实验数据。通过对遗传算法优化过的关联规则的运用,使得对制造信息系统中大量数据进行挖掘的效率明显提高。     

合成序信息系统的属性特征

信息系统的合成与分解是数据库合成与分解的数学模型之一.本文基于信息系统中的优势关系讨论序信息系统的合成与分解的属性特征等问题.给出了对象合成序信息系统、属性合成序信息系统的概念,研究了原序信息系统与合成序信息系统的协调集及属性特征之间的关系;定义了序信息系统上的对象子序信息系统、属性子序信息系统,进而讨论了任一序信息系统与其分解生成的对象子序信息系统和属性子序信息系统的属性特征之间的关系.     

广义近似空间与粗糙分类代数

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。     

不完备模糊信息系统

以不完备模糊信息系统为研究对象，建立了其中的模糊相容关系及模糊粗糙上、下近似集。在此基础上，探讨了论域上的模糊覆盖问题并提出了覆盖的3种运算形式；定义了2种新的模糊粗糙熵以讨论不完备模糊信息系统中的不确定性因素，证明了不确定因素的变化与度量强度之间的重要关系；建立了一种度量部分模糊知识依赖的新方法，获得了一些新的定理结果证明。     

基于一般包含度的广义变精度粗糙集

本文将变精度粗糙集模型推广到基于一般包含度的广义变精度粗糙集,利用包含度的性质讨论广义变精度粗糙集的性质。给出广义齐次包含度的定义,验证了常用的概率型包含度等均为广义齐次包含度;给出基于该广义变精度粗糙集的知识约简的方法。不同的包含度代表不同的决策语义,因此借助一般包含度研究变精度粗糙集,能够使尽可能多的有用信息被提取、挖掘,克服了基本粗糙集模型中由于要求绝对精确的包含关系而使大量有用信息丢失,进一步推广了粗糙集模型,拓宽了粗糙集在数据挖掘、知识发现、模式识别及决策分析等领域中的应用。     

具有Fuzzy决策的信息系统的知识约简

知识约简是粗糙集理论的核心问题之一。讨论了具有Fuzzy决策的信息系统的知识约简问题。给出了知识约简的几种定义、相应的知识约简的判定定理和可辨识属性矩阵，从而为具有Fuzzy决策的信息系统的知识约简的计算提供了具体方法。     

Tailoring performance evaluation to specific industrial contexts – application to sustainable mass customisation enterprises

This paper proposes an approach for measuring performance improvement through prioritising and aggregating performance indicators (PIs). The proposed approach helps practitioners build, in a formal way, their performance measurement systems. The novelty of the methodology lies in: (i) adapting PIs to specific industrial contexts according to companies concerns and (ii) supporting the decision-making process by providing a holistic and limited number of aggregated PIs. The context considered in the current research is sustainable mass customisation (SMC). Accordingly, a set of SMC indicators are used to illustrate the applicability of the methodology. The implementation and illustration with a real case showed some evidence of its usefulness and pointed out several improvement rooms.     

Fuzzy-logic-based network for complex systems risk assessment: Application to ship performance analysis

In this paper, a new interpretation of intuitionistic fuzzy sets in the advanced framework of the Dempster–Shafer theory of evidence is extended to monitor safety-critical systems’ performance. Not only is the proposed approach more effective, but it also takes into account the fuzzy rules that deal with imperfect knowledge/information and, therefore, is different from the classical Takagi–Sugeno fuzzy system, which assumes that the rule (the knowledge) is perfect. We provide an analytical solution to the practical and important problem of the conceptual probabilistic approach for formal ship safety assessment using the fuzzy set theory that involves uncertainties associated with the reliability input data. Thus, the overall safety of the ship engine is investigated as an object of risk analysis using the fuzzy mapping structure, which considers uncertainty and partial truth in the input–output mapping. The proposed method integrates direct evidence of the frame of discernment and is demonstrated through references to examples where fuzzy set models are informative. These simple applications illustrate how to assess the conflict of sensor information fusion for a sufficient cooling power system of vessels under extreme operation conditions. It was found that propulsion engine safety systems are not only a function of many environmental and operation profiles but are also dynamic and complex.     

协调决策形式背景的属性约简

本文研究基于对象定向概念格和属性定向概念格协调决策形式背景属性约简的问题。首先介绍了协调决策形式背景属性约简的概念,讨论了其等价的定义。进一步给出了属性约简的判定定理和相应的可辩识属性矩阵,从而为概念格中协调决策形式背景属性约简提供了一种具体的方法。     

Literature retrieval based on citation context

While the citation context of a reference may provide detailed and direct information about the nature of a citation, few studies have specifically addressed the role of this information in retrieving relevant documents from the literature primarily due to the lack of full text databases. In this paper, we design a retrieval system based on full texts in the PubMed Central database. We constructed two modules in the retrieval system. One is a reference retrieval module based on citation contexts. Another is a citation context retrieval module for searching the citation contexts of a specific paper. The results of comparisons show that the reference retrieval module performed better than Google Scholar and PubMed database in terms of finding proper references based on topic words extracted from citation context. It also performed very well on searching highly cited papers and classic papers. The citation context retrieval module visualizes the topics of citation contexts as tag clouds and classifies citation contexts based on cue words in citation contexts.     

Building a logical model in the machining domain for CAPP expert systems

Recently, extensive efforts have been made on the application of expert system technique to solving the process planning task in the machining domain. This paper introduces a new formal method to design CAPP expert systems. The formal method is applied to provide a contour of the CAPP expert system building technology. Theoretical aspects of the formalism are described and illustrated by an example of know-how analysis. Flexible facilities to utilize multiple knowledge types and multiple planning strategies within one system are provided by the technology.