作者:刘晓平; 唐益明; 秦晋; 路强概念设计功能树布尔代数扩展功能矩阵
摘要:提出了功能矩阵的概念,在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上,对功能矩阵进行扩展,并证明了扩展功能矩阵的展开定理;利用扩展功能矩阵逐步展开与约简,实现了功能的求解算法.最后通过实例证明:该方法有效地缩减了解空间,提高了效率,同时对于概念设计中创新冲突的检测与定位起到了积极的推动作用.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《计算机辅助设计与图形学学报》(CN:11-2925/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
杂志详情