-
题名与或功能树的无损简化方法
被引量：1
- 1
-
-
作者
唐益明
刘晓平
-
机构
合肥工业大学信息与通讯工程博士后科研流动站
合肥工业大学计算机与信息学院
-
出处
《图学学报》
CSCD
北大核心
2012年第3期34-40,共7页
-
基金
国家自然科学基金资助项目(61105076
61070124
90920006)
-
文摘
当前概念设计中较大规模功能树存在解空间庞大、冲突定位困难的问题,对此提出基于与或功能树的无损简化方法。证明了无损收缩简化、无损删除简化、无损提取简化的相关定理,并籍此给出与或功能树的无损简化算法。最后通过实例,证明该算法可在保持逻辑等价和创新能力不损失的前提下有效降低问题的复杂度,从而提高了概念设计的效率。
-
关键词
计算机应用
概念设计
无损简化
与或功能树
-
Keywords
computer application
conceptual design
lossless simplifying
and/or function
-
分类号
TP391.72
[自动化与计算机技术—计算机应用技术]
-
-
题名与或非功能树的无损简化策略
- 2
-
-
作者
唐益明
刘晓平
-
机构
合肥工业大学情感计算与先进智能机器安徽省重点实验室
合肥工业大学信息与通信工程博士后科研流动站
合肥工业大学计算机与信息学院
-
出处
《图学学报》
CSCD
北大核心
2013年第1期31-40,共10页
-
基金
国家自然科学基金资助项目(61203077
41076120
+6 种基金
61105076
61070124
60890075)
中国博士后科学基金资助项目(2012M521218)
中央高校基本科研业务费专项资助项目(2012HGQC0011
2012HGCX0001
2012HGBZ0639)
-
文摘
对于产品概念设计中较大规模的与或非功能树,常通过逻辑简化来消减冗余,但逻辑简化会导致创新能力的损失。为此,面向与或非功能树,提出了无损简化的策略。给出了与或非功能树无损简化的严格定义,建立了与或非功能树到AND/OR树的转换方法,针对AND/OR树证明了若干无损简化定理,在此基础上生成了与或非功能树的无损简化算法。通过应用实例,证明该无损简化策略可在保证逻辑等价和创新能力不损失的前提下有效缩减计算量,提升创新推理的效率。
-
关键词
计算机应用
创新推理
无损简化
与或非功能树
-
Keywords
computer application
innovative reasoning
lossless simplifying
and/or/notfunction tree
-
分类号
TP391.72
[自动化与计算机技术—计算机应用技术]
-
