利用中介逻辑的完备性，本文证明了紧致性定理，即一理论有模型当且仅当其任一有穷子集有模型。
The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model.
为了能够从不完备决策表（IDT）中进行知识发现和数据挖掘，提出一种新的具有对称性的双重可变精度限制容差关系粗集模型（VPLTRST）。
To obtain knowledge and data from incomplete decision table(IDT), the paper presents a new doubly variable precision limited tolerance rough set theory model(VPLTRST).
鉴于电力变压器信息的不完备性及复杂性，基于粗糙集理论提出了一种能较好处理不完备信息的变压器故障诊断模型。
Due to the incompleteness and complexity of fault diagnosis for power transformer, a specific fault diagnostic model with self-improvement method based on the Rough Set theory is given in this paper.
应用推荐