提出了功能矩阵的概念,在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上,对功能矩阵进行扩展,并证明了扩展功能矩阵的展开定理;利用扩展功能矩阵逐步展开与约简,实现了功能的求解算法.最后通过实例证明:该方法有效地缩减了解空间,提高了效率,同时对于概念设计中创新冲突的检测与定位起到了积极的推动作用.
A concept of function matrix is put forward. With proving the isomorph between the function matrix algebra systems and the Boolean algebra's disjunction-conjunction systems, a method of extending the function matrix is proposed, and the expanding theorem of the extended function matrix is proven. By expanding and reducing the extended function matrix step by step, a function-solving algorithm is presented and realized. Experimental results show that the algorithm effectively downsizes the solution space, improves function-solving efficiency and promotes innovation conflicts' detection and orientation in conceptual design.