图学学报
圖學學報
도학학보
Journal of Graphics
2013年
1期
31-40
,共10页
计算机应用%创新推理%无损简化%与或非功能树
計算機應用%創新推理%無損簡化%與或非功能樹
계산궤응용%창신추리%무손간화%여혹비공능수
对于产品概念设计中较大规模的与或非功能树,常通过逻辑简化来消减冗余,但逻辑简化会导致创新能力的损失.为此,面向与或非功能树,提出了无损简化的策略.给出了与或非功能树无损简化的严格定义,建立了与或非功能树到AND/OR树的转换方法,针对AND/OR树证明了若干无损简化定理,在此基础上生成了与或非功能树的无损简化算法.通过应用实例,证明该无损简化策略可在保证逻辑等价和创新能力不损失的前提下有效缩减计算量,提升创新推理的效率.
對于產品概唸設計中較大規模的與或非功能樹,常通過邏輯簡化來消減冗餘,但邏輯簡化會導緻創新能力的損失.為此,麵嚮與或非功能樹,提齣瞭無損簡化的策略.給齣瞭與或非功能樹無損簡化的嚴格定義,建立瞭與或非功能樹到AND/OR樹的轉換方法,針對AND/OR樹證明瞭若榦無損簡化定理,在此基礎上生成瞭與或非功能樹的無損簡化算法.通過應用實例,證明該無損簡化策略可在保證邏輯等價和創新能力不損失的前提下有效縮減計算量,提升創新推理的效率.
대우산품개념설계중교대규모적여혹비공능수,상통과라집간화래소감용여,단라집간화회도치창신능력적손실.위차,면향여혹비공능수,제출료무손간화적책략.급출료여혹비공능수무손간화적엄격정의,건립료여혹비공능수도AND/OR수적전환방법,침대AND/OR수증명료약간무손간화정리,재차기출상생성료여혹비공능수적무손간화산법.통과응용실례,증명해무손간화책략가재보증라집등개화창신능력불손실적전제하유효축감계산량,제승창신추리적효솔.
