MVL函数的一种综合算法  

A SYNTHESIZE ALGORITHM OF MVL FUNCTIONS

作　　者：王志海[1] 马光胜[2] 

机构地区：[1]郑州轻工业学院控制工程系 [2]哈尔滨船舶工程学院

出　　处：《郑州轻工业学院学报》1993年第2期6-13,共8页Journal of Zhengzhou Institute of Light Industry（Natural Science）

摘　　要：在讨论扩展型Allen-Civone代数系统的基础上选择合理的数据结构,给出多值逻辑的广义OR结合运算定义并以此求解质蕴涵项集合。为了加速求解覆盖的过程,将二值锐积的分组蕴涵简化推广到多值逻辑的位置多维体阵列中;覆盖形成后,做△简化运算进一步降低实现代价。该算法是M.C.Waters二值最大覆盖算法的推广。On the basis of discussing the extented Allen-Givone implementation oriented algebra this paper selects a suitable data structure. Presents the definition of generalized OR-com-bined operation of MVL and uses it for solving EPI set. In order to speed up the process of solving a cover,the subsume simplication in groups of two-valued sharp product is extended onto position cubical arrays of MVL. By the A operator the implementation cost of the cover is further lowered after forming a cover. The algorithm is an extension of the two-valued cover-most algorithm proposed by M. C. Waters.

关 键 词：MVL函数 算法 多值逻辑 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]