車身覆蓋件作為汽車重要零部件,在外觀、形狀和性能等方面有著諸多要求,因此其成形質(zhì)量要求較高。由于車身覆蓋件的形狀相對復(fù)雜且尺寸一般較大,沖壓成形過程容易出現(xiàn)拉裂、起皺等質(zhì)量問題。為了防止起皺和拉裂等現(xiàn)象的產(chǎn)生,需要調(diào)節(jié)其成形過程中的工藝參數(shù)來控制成形質(zhì)量。目前常用的工藝參數(shù)設(shè)計方法是基于數(shù)值優(yōu)化算法對其進行優(yōu)化設(shè)計。然而采用優(yōu)化算法對工藝參數(shù)求解時,尋優(yōu)過程耗時增加設(shè)計時間,且在復(fù)雜約束情況下尋優(yōu)過程更為困難,因此本文提出基于可滿足性模理論（SMT）的車身覆蓋件成形工藝參數(shù)設(shè)計方法,主要內(nèi)容如下:首先,利用代理模型構(gòu)建工藝參數(shù)和成形評價準(zhǔn)則的函數(shù)關(guān)系;量化工程師要求的成形質(zhì)量評價指標(biāo),結(jié)合擬合的函數(shù)關(guān)系式構(gòu)建約束可滿足問題,從而將函數(shù)多目標(biāo)多約束的優(yōu)化設(shè)計轉(zhuǎn)變?yōu)閿?shù)學(xué)不等式組的可滿足求解設(shè)計。采用SMT求解器dReal對不等式組進行快速求解,最終得到符合工程師要求的工藝參數(shù)取值。其次,本文引入柔性約束概念,按柔性約束概念將其分為軟約束和硬約束兩類,通過修改其中軟約束的取值或范圍,將基于代理模型建立的不等式組轉(zhuǎn)化為動態(tài)可變的方程組,從而產(chǎn)生多組工藝參數(shù)取值;基于人機交互概念,建立車身覆蓋件... 

【文章來源】：湖南大學(xué)湖南省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：95 頁

【學(xué)位級別】：碩士

【部分圖文】：

測試函數(shù)曲線

Kriging預(yù)測值與期望值比較

BP神經(jīng)網(wǎng)絡(luò)預(yù)測值與期望值比較


本文編號：3494008