基于SMT的车身覆盖件成形工艺参数设计方法研究

发布时间：2021-11-14 05:00

　　车身覆盖件作为汽车重要零部件,在外观、形状和性能等方面有着诸多要求,因此其成形质量要求较高。由于车身覆盖件的形状相对复杂且尺寸一般较大,冲压成形过程容易出现拉裂、起皱等质量问题。为了防止起皱和拉裂等现象的产生,需要调节其成形过程中的工艺参数来控制成形质量。目前常用的工艺参数设计方法是基于数值优化算法对其进行优化设计。然而采用优化算法对工艺参数求解时,寻优过程耗时增加设计时间,且在复杂约束情况下寻优过程更为困难,因此本文提出基于可满足性模理论（SMT）的车身覆盖件成形工艺参数设计方法,主要内容如下:首先,利用代理模型构建工艺参数和成形评价准则的函数关系;量化工程师要求的成形质量评价指标,结合拟合的函数关系式构建约束可满足问题,从而将函数多目标多约束的优化设计转变为数学不等式组的可满足求解设计。采用SMT求解器dReal对不等式组进行快速求解,最终得到符合工程师要求的工艺参数取值。其次,本文引入柔性约束概念,按柔性约束概念将其分为软约束和硬约束两类,通过修改其中软约束的取值或范围,将基于代理模型建立的不等式组转化为动态可变的方程组,从而产生多组工艺参数取值;基于人机交互概念,建立车身覆盖件... 

【文章来源】：湖南大学湖南省 211工程院校 985工程院校 教育部直属院校

【文章页数】：95 页

【学位级别】：硕士

【部分图文】：

测试函数曲线

Kriging预测值与期望值比较

BP神经网络预测值与期望值比较


本文编号：3494008