多准则决策理论和方法在土地利用率研究方面应用较为广泛,但所应用的决策方法在指标权重计算时较为粗糙,且难以对结果划分层级,尤......

命题可满足问题(propositional satisfiability problem,SAT)是人工智能领域的研究热点,也是数理逻辑及计算机研究中的核心问题,对......

研究格论的范畴性质以及格论与其他现代数学学科之间的联系是格论应用中很有意义的问题。本文着眼于格论与图论两个学科之间的联系......

讨论了拟左交错BCI-代数的序结构,给出了其哈斯图,揭示了图中元素间的运算关系....

提出了与代数系统中传统格理论一致的记法和表示形式.并根据概念图知识表示方法中概念的表示方法及概念之间的所属关系,对知识格加......