形式概念格的研究及实现