基于双格的多值模型的精化关系与对称化简.pdfVIP

40 2013 ，49（22） Computer Engineering and Applications 计算机工程与应用 基于双格的多值模型的精化关系与对称化简 陈娟娟，魏 欧，黄志球，陈 哲 CHEN Juanjuan, WEI Ou, HUANG Zhiqiu, CHEN Zhe 南京航空航天大学 计算机科学与技术学院，南京 210016 College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China CHEN Juanjuan, WEI Ou, HUANG Zhiqiu, et al. Refinement and symmetry reduction of bilattice-based multi-valued models. Computer Engineering and Applications, 2013, 49（22）：40-45. Abstract ：Multi-valued model is an extension of classical boolean model, which is appropriate for