功能树的EFVM求解算法  

EFVM Solving Algorithm of Function Trees

作　　者：唐益明[1] 刘晓平[1] 

机构地区：[1]合肥工业大学计算机与信息学院,合肥230009

出　　处：《计算机辅助设计与图形学学报》2010年第9期1578-1586,共9页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家"九七三"重点基础研究发展计划项目(2009CB326203);国家自然科学基金(60673028);安徽省高等学校优秀青年人才基金(2010SQRL013ZD)

摘　　要：为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM系统与经典命题逻辑中范式系统的同构关系及FVM的扩展与展开,给出EFVM直接求解算法;在考虑约简的基础上,提出EFVM约简求解算法.实例结果说明:EFVM约简求解算法在冗余较多的情况下可有效降低解的规模,有力地推动了产品概念设计.There often exist enormous possible solutions in solving of and/or/not function trees.A solving algorithm based on the four-valued matrix（FVM） is proposed.The FVM,extended four-valued matrix（EFVM） and FVM system are constructed from the characteristics of and/or/not function trees.Then,the ISOmorph between the FVM system and classical propositional logic＇s disjunctive normal form system is analyzed,the extensions of the FVM are achieved,and the EFVM direct solving algorithm is given.At last,the EFVM solving algorithm considering simplification is proposed by taking logic simplification into account.The experimental results show that the EFVM solving algorithm reduces the quantity of solutions under the condition of lots of redundancies,and then effectively supports conceptual design.

关 键 词：概念设计 与或非功能树 经典命题逻辑 代数系统 约简 

分 类 号：TP391.72[自动化与计算机技术—计算机应用技术]