论文部分内容阅读
对于产品概念设计中较大规模的与或非功能树，常通过逻辑简化来消减冗余，但逻辑简化会导致创新能力的损失。为此，面向与或非功能树，提出了无损简化的策略。给出了与或非功能树无损简化的严格定义，建立了与或非功能树到AND／0R树的转换方法，针对AND／OR树证明了若干无损简化定理，在此基础上生成了与或非功能树的无损简化算法。通过应用实例，证明该无损简化策略可在保证逻辑等价和创新能力不损失的前提下有效缩减计算量，提升创新推理的效率。