论文部分内容阅读
提出了功能矩阵的概念,在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上,对功能矩阵进行扩展,并证明了扩展功能矩阵的展开定理;利用扩展功能矩阵逐步展开与约简,实现了功能的求解算法.最后通过实例证明:该方法有效地缩减了解空间,提高了效率,同时对于概念设计中创新冲突的检测与定位起到了积极的推动作用.