This paper reinforces the formal definition of context lattice, provides some properties of formal contexts, and proves that a context lattice is a complete lattice.
介绍了背景格的定义及其构造方法，并给出了背景格的若干性质以及完备性证明。
Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.
本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。
The method includes a process of fuzzy attribute computation and a construction algorithm for fuzzy concept lattice, which can ensure a complete and non-redundant lattice.
该方法包括模糊属性的采集过程以及相应的模糊概念格的构造算法。
应用推荐