讨论了基于模糊形式背景的模糊对象概念格的概念约简,构造出了模糊对象概念格的3种变精度概念格,即经典-模糊、模糊-经典、经典-经......

形式概念分析作为进行数据分析的有效工具，吸引了世界各地研究者的关注。由于二值形式背景的局限性，人们将模糊集引入形式概念分析。......

将模糊集引入形式概念分析存在的最大问题在于生成的模糊概念数量庞大。讨论了基于模糊形式背景的模糊属性概念格的概念约简,构造......

在高度依赖计算机的现代社会，软件（特别是大型实时安全攸关软件）的可靠性成为计算机界和整个社会都非常关注的问题。现有的形式化软件......

抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序不动......