功能树的EFVM求解算法

摘要

为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM 系统与经典命题逻辑中范式系统的同构关系及FVM 的扩展与展开,给出EFVM 直接求解算法;在考虑约简的基础上,提出EFVM 约简求解算法.实例结果说明:EFVM约简求解算法在冗余较多的情况下可有效降低解的规模,有力地推动了产品概念设计.