欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵（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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：