面向創(chuàng)新推理的功能樹無損簡化與求解方法研究.pdf

1、產(chǎn)品創(chuàng)新推理是制造業(yè)在市場競爭中取勝的關(guān)鍵，而產(chǎn)品的創(chuàng)新性主要取決于產(chǎn)品設(shè)計(jì)的概念設(shè)計(jì)階段。功能模型是概念設(shè)計(jì)的核心處理對象，因此功能模型創(chuàng)新推理是概念設(shè)計(jì)中的關(guān)鍵問題。目前帶與、或分解的功能樹(簡稱為與或功能樹)是概念設(shè)計(jì)中典型的、應(yīng)用極其廣泛的一種功能模型，其中，功能樹簡化與求解是功能樹創(chuàng)新推理的一大核心問題。但是，創(chuàng)新推理是通過消除沖突來解決問題，即對“非”的考慮，因此需研究帶與、或、非分解的功能樹(簡稱為與或非功能樹)。同時(shí)，功

2、能樹可視為布爾代數(shù)理論的一種應(yīng)用。經(jīng)研究發(fā)現(xiàn)：利用布爾代數(shù)理論進(jìn)行簡化會造成創(chuàng)新能力的損失，因此針對與或功能樹初步提出了無損的思想，可是尚存在不足?；诖?，本論文重點(diǎn)針對與或非功能樹的無損簡化與求解這一問題展開研究。研究內(nèi)容主要包括如下幾個(gè)方面： 1)提出二值命題邏輯的無損簡化理論。利用布爾代數(shù)與經(jīng)典二值命題邏輯之間的密切聯(lián)系，從二值命題邏輯角度研究創(chuàng)新推理理論，給出了初始解空間的嚴(yán)格定義；分析了二值命題邏輯在創(chuàng)新推理中造成的創(chuàng)

3、新能力損失，在此基礎(chǔ)上給出了無損簡化定理。 2)研究了與或非功能樹的無損簡化理論。在給出功能樹、無損簡化和AND/OR樹等相關(guān)定義的基礎(chǔ)上，利用AND/OR樹處理問題的方便性，將功能樹轉(zhuǎn)化為AND/OR樹，然后面向AND/OR.樹提出無損簡化的若干定理，最后給出了與或非功能樹無損簡化的算法。 3)研究了與或非功能樹的無損求解理論。提出多值矩陣、擴(kuò)展多值矩陣的概念，定義了多值矩陣的與、或、非運(yùn)算，并證明了多值矩陣代數(shù)系統(tǒng)的