Formal Method for Behavior Verification and Data Validation of Station Interlocking System

WANG Keming; WANG Xia; CHENG Peng; LIU Ning; ZHANG Chuandong

doi:10.3969/j.issn.0258-2724.20191182

Abstract

Station interlocking system is a typical safety-critical system driven by data, which needs to verify the system behavior and confirm the correctness of data in the development. After analyzing the design specifications of the interlocking system, the initial system model was built automatically by the UML (unified modeling language) diagram, with the system properties and event flows described by Event-B language on RODIN platform. Subsequently, the refinement policy was used for hierarchical modeling, and the proof obligations of each layer were proved by theorem and the properties of the system attributions were verified. Thus, a reliable universal function model was obtained. Using a real station yard, the axioms of the model were proved and the interlocking data were validated as well. According to the formal verification and data validation in a given scenario, the subtle defects generated in the analysis of the system requirements could be found and corrected. Finally, the functional simulation and acceptance testing confirmed the correctness of the general model and the interlock data. This method not only improves the accuracy and hierarchy of the model-based development, but also verifies the universal behavior state of the system. Combined with axiomatic verification, the validation of interlocking data is realized. The function scenario can be simulated and tested based on the model, which can further improve the reliability of the universal function prototype of the system.

Keywords:

汽车声学包是指具有降低车内声压尤其是空气声声压的声学部件组合，对车内声学特征分布具有重要的影响^[1]. 前围声学包作为隔离动力总成噪声的主要结构件，是整个声学包的重要部件之一，其吸隔声性能的优劣直接影响到整车NVH （noise, vibration and harshness）性能水平^[2]. 好的声学包设计不仅能够降低车内噪声水平，提升车内声学品质，而且能够促进车辆轻量化与降低成本. 因此，对汽车声学包性能提升进行研究具有重要的现实与工程意义.

早期由于技术手段限制（有限元等方法在中高频噪声计算准确性较低^[3]），汽车声学包设计和开发主要基于实际样车与声学包部件，并通过试验与对标车进行比较. 随着统计能量分析（SEA）理论的发展并达到工程化^[4]，加上大型商业软件如VAONE的推广，使得车内中高频噪声的分析得到了一定的改善. 唐荣江等^[5]针对车辆前围结构特点，依据有限元-统计能量分析（FE-SEA）模型建模原则，通过在表面创建声腔来确保能量在模型中的正确传递路径，其仿真结果与测试结果误差小于1.6 dB（A），验证了FE-SEA方法的有效性. Lee等^[6]基于SEA方法建立了某纯电动汽车整车模型，分析了对车内噪声贡献较大的多个声学包子系统，并通过正交试验设计方法对其进行吸隔声优化，优化之后的驾驶员头部声腔声压级降低了1.1 dB（A）. SEA方法在声学包工程设计中的有效性毋庸置疑，然而为构建SEA模型所需要的声学包材料参数（如孔隙率、黏性特征长度、热力特征长度等）和特性参数（如模态密度、内损耗因子、耦合损耗因子等）的准确值获取较难^[7]，导致基于SEA方法的仿真模型在简化与调参后仅能在部分特定工况与试验结果存在可比性，而在其他工况下模型置信度欠佳^[8].

虽然准确的声学包材料参数和特性参数较难获得，但是声学包吸隔声性能及其组成部件的厚度和面积等参数就相对容易获取^[9]. 在大数据与智能化的背景下，数据驱动为声学包的开发提供了更多的技术手段（如近似模型），可利用易获取的试验数据之间的模糊映射关系来代替声振动力学之间的精确推导关系^[10]，从而指导声学包的正向开发. 贺岩松等^[11]以车辆声学包材料和厚度作为设计参数，驾驶员耳旁声压级、声学包总重量与价格作为设计目标，基于Kring方法建立了设计参数与目标的近似模型，其拟合准确度达到0.95，能够较好地指导声学包优化设计. 另外，Schaefer等^[12]采用神经网络方法构建了前围声学包材料类型参数与成本和重量映射关系，在不降低原始吸隔声性能的条件下，通过粒子群算法对声学包进行了优化，优化后的声学包总重量降低了15.21%，同时，成本下降了9.7%. 然而，对于近似模型，其拟合与预测准确度可类比于仿真模型的建模与求解准确度，传统的浅层网络面对复杂问题拟合能力有限^[13]，因此，为了获得准确的声学包吸隔声性能预测结果，需要提升近似模型的预测性能. 深度信念网络（DBNs）作为深度学习的经典算法之一，以其优异的特征提取能力，在信息检索、图像识别等问题上获得很好的应用^[14-15]，因此，该方法可为声学包吸隔声性能预测提供借鉴.

由于汽车声学包匹配的非规则性以及噪声传递特性的复杂性，直接构建底层设计参数与声学包吸隔声性能的近似模型可能存在欠拟合的风险^[16]. 声学包设计参数匹配与其整体隔声性能属于弱相关关系，而对与之相关的声包部件或路径的传递损失或插入损失关联度较高，若绕过声包部件或路径的吸隔声特性直接建立近似模型则会导致设计参数与目标间关联的复杂度剧增，从而影响预测精度. 因此，直接建立声学包设计参数与吸隔声性能的映射模型欠佳，究其原因在于没有考虑车辆声振传递特性与声学包正向开发流程^[1]. 实际上，声学包性能对于驾乘人员来说是显性的，但是其成因却是隐性的，即声学包并不是一个完全意义上的独立结构，而是由众多子系统和零部件所组成^[17]. 因此，对于前围声学包系统，其性能、重量与成本的多目标优化不能仅局限于声学包系统性能（上层）与设计参数（底层）两个层面，而需对隐藏于系统之下的子系统性能进行匹配分析. 因此，本文将从噪声传递关系与层级目标分解角度出发，提出前围声学包吸隔声性能、重量与成本多目标预测与优化方法，并将其应用于具体车型的前围声学包进行验证，可为今后声学包的分析与优化研究提供参考.

1. 研究方法

1.1 基于层级分解的前围声学包多目标优化模型

根据声学包噪声传递关系与正向开发流程，前围声学包系统可划分为系统级、子系统级与零部件级，据此可建立前围声学包多层级目标分解架构如图1所示. 其中，顶层设计目标为前围系统的吸隔声性能、重量和成本，而与之相连的相邻下层级设计变量为各子系统的性能指标（前围钣金传递损失、内前围隔音垫插入损失、外前围隔音垫插入损失、前风挡传递损失）与工艺指标（前围覆盖率、前围泄漏量），其中工艺指标与声学包性能、重量和成本都有关系^[18]，与子系统级相连的底层设计变量为零部件的材料组成、分块厚度及分块面积. 图1所示的多层级目标分解架构具备如下两个优点：1）按照层级进行设计目标与设计变量的梯度分解有利于降低设计难度，并且符合声学包的开发流程；2）中间层级（子系统层）的存在降低了整个优化模型的非线性度与复杂度，从而能够更容易地避开局部最优解. 另外，图1所示的多层级目标分解架构的层级之间并非全连接关系，这主要取决于层级之间的整体相关性与层级之内的局部协调性，反映在前围声学包正向设计流程与声振传递关系中，从而可实现各层级设计变量间的解耦或部分解耦，进一步降低了复杂问题的非线性，有利于提升分析与计算的准确度.

图 1 前围声学包多层级目标分解架构

Figure 1. Multi-level goals decomposition architecture of firewall acoustic package

下载: 全尺寸图片幻灯片

依据图1所示的分解架构，将其进行数值化建模，建立声学包多目标的预测模型与优化模型如下：

$\left\{ { \begin{aligned} \text{min}&\quad\left\{{y}_{k}^{[L]}\right\}\text{，}\quad k=1,2,\cdots,K,\;L=1,2,\cdots,{L}_{0},\\ &\quad {y}_{k}^{[L]}={f}_{k}^{[L]}({x}_{1}^{[L\text{ + 1]}},{x}_{2}^{[L\text{ + 1]}},\cdots,{x}_{R}^{[L + 1]}),\\ {\rm{s.t.}}\;\; &\quad{c}_{m}{}^{[L]}({x}^{[L]})=0,\quad m=1,2,\cdots,M,\\ &\quad {g}_{n}{}^{[L]}({x}^{[L]})\leqslant 0,\quad n=1,2,\cdots,N,\\ \mathrm{var}.&\quad{x}_{r}^{[L\text{+1]}}\in {X}_{r}^{[L\text{+1]}},\quad r=1,2,\cdots,\\ &\quad R_1,\cdots, R_2,\cdots,R_3,\cdots，R,\\ &\quad {y}_{k}^{[L]}\in {Y}_{k}^{[L]}\text{，} \end{aligned} } \right.$

(1)

式中：L₀为层级分解架构总层数；L为层级分解架构中的拟计算层级；$ {y}_{k}^{[L]} $为相邻上层级设计目标；K为该层级设计目标个数；$ {x}_{r}^{[L+1]} $为相邻下层级的设计变量；R为该层级设计变量个数；$ {X}_{r}^{[L + 1]} $为第r个设计变量在第L + 1层的可行域区间；$ {Y}_{k}^{\left[L\right]} $为第k个设计变量在第L层的可行域区间；$ {f}_{k}^{[L]} $为预测模型，用以描述设计变量与设计目标间的映射关系，因此，$ {f}_{k}^{[L]} $模型的精准度对预测结果的准确性非常重要，对此本文提出SVR-DBNs （support vector regression- deep belief networks）方法作为前围声学包的预测模型，其具体计算过程将在下一小节进行介绍；$ {c}_{m}^{[L]} $和$ {g}_{n}^{[L]} $为约束条件.

由于层级目标的分解，整个预测模型可看作前向传递的计算过程，而优化模型则可看作反向传递的求解过程，其中的多层级目标是与传统优化模型的不同之处. 基于该模型，即可对前围声学包的性能、重量和成本进行多目标优化设计.

1.2 SVR-DBNs方法提出

1.2.1 DBNs模型

DBNs是由多个受限玻尔兹曼机（RBM）堆叠而成的网络结构^[19]，其核心是采用逐层贪婪学习算法去优化网络的连接权重与偏置，从而提取数据特征同时进行模式识别，DBNs的拓扑结构如图2所示. RBM为DBNs的重要组成单元^[20]，是一种特殊类型的马尔可夫随机场，由一层二元随机可见单元（通常是Bernoulli或Gauss）v∈{0,1}^v和一层二元随机隐藏单元（通常是Bernoulli）h∈{0,1}^h组成. RBM不同层内单元之间的连接受到限制，即所有可见节点都连接到隐藏节点，而可见-可见或隐藏-隐藏节点内没有连接.

图 2 DBNs拓扑结构

Figure 2. DBNs topology

下载: 全尺寸图片幻灯片

在RBM模型中，不同层中各单元间的权重和偏置概率分布通过能量函数来定义. 对于Bernoulli-Bernoulli RBM，能量函数为

$E({\boldsymbol{v}},{{\boldsymbol{h}}};\theta ) = - \sum\limits_{i = 1}^V {\sum\limits_{j = 1}^H {{w_{ij}}{v_i}{h_j} - } } \sum\limits_{i = 1}^V {{a_i}{v_i} - \sum\limits_{j = 1}^H {{b_j}{h_j}} } \text{，}$

(2)

式中：θ=(w_ij, a_i, b_j)为模型参数；v_i和h_j分别为可见单元i和隐藏单元j输入参数；w_ij为v_i和h_j之间的权重；a_i 和 b_j 为偏置；V和H分别为可见和隐藏单元的数量.

给定能量函数和模型参数，可见单元和隐藏单元的联合分布为

$p({\boldsymbol{v}},{\boldsymbol{h}};\theta ) = \frac{{\exp ( - E({\boldsymbol{v}},{\boldsymbol{h}};\theta ))}}{{\displaystyle\sum\limits_v {\displaystyle\sum\limits_h {\exp ( - E({\boldsymbol{v}},{\boldsymbol{h}};\theta ))} } }} .$

(3)

因为可见-可见或隐藏-隐藏单元连接不存在，可见单元v_i和隐藏单元h_j的概率是独立的. 因此，条件分布p(h|v)和p(v|h)可以通过式（4）和式（5）进行计算.

$p({h_j} = 1|{\boldsymbol{v}};\theta ) = \sigma \left(\sum\limits_{i = 1}^V {{w_{ij}}{v_i} + {b_j}} \right),$

(4)

$p({v_i} = 1|{\boldsymbol{h}};\theta ) = \sigma \left(\sum\limits_{j = 1}^H {{w_{ij}}{h_j} + {a_i}} \right),$

(5)

式中： $\sigma \left(x\right)={1 + \mathrm{e}\mathrm{x}\mathrm{p}\;x}^{-1}$.

RBM 模型参数θ可以通过最速梯度下降或共轭梯度下降来估计，以最大化训练数据的似然概率. w_ij、a_i和b_j的更新规则为

$\left\{ { \begin{gathered} \vartriangle {w_{ij}} = \varepsilon ({\langle {v_i}{h_j}\rangle _{{\rm{data}}}} - {\langle {v_i}{h_j}\rangle _{{\rm{model}}}}), \\ \vartriangle {a_i} = \varepsilon ({\langle {v_i}\rangle _{{\rm{data}}}} - {\langle {v_i}\rangle _{{\rm{model}}}}), \\ \vartriangle {b_j} = \varepsilon ({\langle {h_j}\rangle _{{\rm{data}}}} - {\langle {h_j}\rangle _{{\rm{model}}}}), \\ \end{gathered} } \right.$

(6)

式中：ε为学习率，范围为0～1；$\langle {{\text{•}}}\rangle_{{\rm{data}}} $为对训练数据的期望；$\langle {{\text{•}}}\rangle_{{\rm{model}}} $为对模型定义分布的相同期望，实际中通常利用比对散度的方法来求解^[21].

此外，在模型训练中为了提升计算效率，还可采用分批训练的方式^[22].

DBNs由多个RBM堆积而成，其底层将接收实值数据，第一个 RBM 模型是Gauss-Bernoulli RBM，其余的 RBM 模型是Bernoulli-Bernoulli RBM. DBNs的学习过程包括预训练和微调两个阶段. 在预训练阶段，DBNs将自下而上逐层贪婪地训练. 每个RBM 都是单独训练的，层之间的权重和层的偏差是固定的并保存以供进一步分析. 此过程可以表示为

$p({h_j}^{(l - 1)} = 1|{{\boldsymbol{h}}^{(l)}};{\theta ^{(l)}}) = \sigma \left(\sum\limits_{i = 1}^V {w_{ij}^{(l)}v_i^{(l)} + {b_j}^{(l - 1)}} \right),$

(7)

式中： l 为层数，底层单元的状态为h⁽⁰⁾.

根据式（6），Gauss-Bernoulli RBM也有类似的形式. 此学习过程将一直持续至最后一个隐藏层. 预训练阶段简化了深度架构的优化过程，并允许使用多参数来提高特征融合能力防止过度拟合. 在微调阶段，通过反向传播算法使用标记的输入数据对DBNs模型的权重和偏差将进行更新.

1.2.2 SVR-DBNs改进模型

常规的DBNs 模型是将线性回归作为顶层结构，所提取的特征与目标非线性较强的情况下可能导致预测效果欠佳. 因此，在本文中，提出了一种新的DBN回归模型SVR-DBNs，该模型使用支持向量回归（SVR）层代替DBN结构顶部的线性回归层，提升了模型应对强非线性问题的处理能力. SVR-DBNs以与一般 DBNs相同的方式执行预训练阶段和微调阶段. 不同之处在于，较低层的权重和偏差为通过反向传播来自顶部SVR层的梯度来学习，因此，应该根据倒数第二层的激活来区分SVR目标，故SVR-DBNs可适应维度更高、非线性更复杂的问题计算. 在实践中，L2-SVR 被广泛用于解决回归问题，若令目标为 f (w)并用倒数第二个激活h替换输入x；那么，L2-SVR的反向传播误差为

${\left. {\frac{{\partial f({\boldsymbol{w}})}}{{\partial {{\boldsymbol{h}}_n}}}} \right|_{k = 2}} = {\boldsymbol{w}} - 2C{\boldsymbol{w}}{t_n}(\max (1 - {{\boldsymbol{w}}^{\text{T}}}{{\boldsymbol{h}}_n}{t_n},0)),$

(8)

式中：w为SVR超平面的法向量；$ {{\boldsymbol{h}}}_{n} $为第n个隐含层单元；$ C > 0\mathrm{为} $常数，控制样本满足约束的程度；t_n∈{−1, + 1}.

反向传播算法的学习过程与一般的DBNs相同. 图3为SVR-DBNs的训练过程，其中$ ，{e}_{\mathrm{m}\mathrm{a}\mathrm{x}}\mathrm{为} $人为设置的误差迭代最大值，例如10⁻⁶；l₀为设置的迭代停止数目.

图 3 SVR-DBN训练流程

Figure 3. SVR-DBN training flowchart

下载: 全尺寸图片幻灯片

1.3 基础数据获取

测试结果能够真实反映前围声学包的吸隔声效果，本文所用数据在长安汽车研究院的混响室-半消声室内进行收集，如图4所示，测试方法参考国际汽车工程师学会标准SAE J1400—2017^[23]，激励声源为总能量120 dB的白噪声. 为收集构建近似模型所需样本数，采用拉丁超立方试验设计^[11]构造样本组合，其中设计因素有前围钣金、外前围隔音垫和内前围隔音垫的厚度与对应的厚度面积占比. 根据工程经验，厚度设计水平上（下）限为原始方案数值分别上（下）浮动10%（20%），不同厚度对应面积占比设计水平为原始方案百分比分别增加（减少）10%（20%），同时有不同厚度面积占比总和为100%约束的限制，覆盖率设计水平为99.3%～99.7%，间隔0.1%，泄漏量设计水平为0.10%～0.30%，间隔0.05%，表1所示为汽车前围声学包原始方案. 通过拉丁超立方试验设计，生成了45组测试样本，外加1组原始状态，总共有46组样本. 测试中，依据标准SAE J1400—2017分别获取前围系统传递损失、前围钣金传递损失、外前围插入损失和内前围插入损失，其中部件孔洞由密封件进行密封处理.

图 4 前围声学包系统及零部件测试环境

Figure 4. Firewall acoustic package system and parts test environment

下载: 全尺寸图片幻灯片

表 1 前围声学包系统及零部件原始状态

Table 1. Original state of firewall acoustic package system

部件名称	材料名称	厚度/ mm	面积占比/%	密度/ （kg·m⁻³）	单价/ （元·m⁻³）
前围钣金	高强度钢	① 1.0	② 30	7820	39100
前围钣金	高强度钢	③ 1.2	④ 70	7820	39100
外前围隔音垫	玻璃纤维	⑤ 10.0	⑥ 20	100	5800
外前围隔音垫	玻璃纤维	⑦ 20.0	⑧ 80	100	5800
内前围隔音垫	PU 泡沫	⑨ 5.0	⑩ 35	64	7200
	PU 泡沫	⑪ 10.0	⑫ 65	64	7200
	棉毡	⑬ 3.0	⑭ 20	113	4000
	棉毡	⑮ 5.0	⑯ 80	113	4000
前围覆盖率		⑰ 99.5%			±0.1%, ±25 元
前围泄漏量		⑱ 0.20%			±0.05%, ±35 元
注：①～⑱表示构建预测模型的设计变量.

下载: 导出CSV

| 显示表格

2. 研究结果与讨论

2.1 基于SVR-DBNs的声学包预测结果

通过试验测试获取了准确的前围声学包系统与零部件传递损失与插入损失结果，在此基础上引入提出的SVR-DBNs方法，并结合多层级目标分解架构，建立有效适应于工程应用的声学包正向开发模型. 对于吸隔声性能目标，在构建第三层级至第二层级模型时，将零部件厚度与厚度对应的面积占比作为输入，将子系统传递损失或插入损失作为输出，为方便计算，选择传递损失和插入损失的1/3倍频点综合总值MTL （mean transmission loss）作为目标. 构建第二层级至第一层级模型时，将零部件的MTL、覆盖率和泄漏量作为输入，前围声学包系统的MTL作为输出. 对于重量和成本目标的建模与预测也是类似的流程. 在测试结果中随机选取35组样本作训练集，剩余11组做测试集进行学习，并取10次运行结果的平均值作为评价指标以降低随机误差. 对于多层级目标分解架构中的相邻层级，选择4层的SVR-DBNs网络（即含有2层隐含层）作为子模型进行建模，其中各子模型的输入层节点数为输入数据维度，隐含层节点数目通过网格寻优的方法在2与输入层维度范围内确定，输出层为基于高斯核函数的SVR. 建模所用软件为MATLAB R2020a，配置Intel 1165G7 CPU与16G内存，GPU为Intel Iris Xe Graphics with 96 EUs.

经过网络学习，图5所示为模型$ {f}_{1}^{\left[1\right]} $～$ {f}_{3}^{\left[1\right]} $在训练集与测试集中的计算结果，其中，$ {f}_{1}^{\left[1\right]} $～$ {f}_{3}^{\left[1\right]} $模型相对误差最大值在各自的训练集与测试集中分别为$ {f}_{1}^{\left[1\right]} $的4.52%和$ {f}_{1}^{\left[1\right]} $的4.74%.

图 5 模型$ {f}_{1}^{\left[1\right]} $～$ {f}_{3}^{\left[1\right]} $的训练与测试结果

Figure 5. Training and test results of model $ {f}_{1}^{\left[1\right]} $−$ {f}_{3}^{\left[1\right]} $

下载: 全尺寸图片幻灯片

表2统计了多层级模型中各子模型在测试集中的准确度，采用决定系数R²来评价. 由表2可知：第一层级模型的R²均高于0.975，其中$ {f}_{3}^{\left[1\right]} $的决定系数值达到0.986，同时第二层级模型的R²均不低于0.970，表明所提的SVR-DBNs方法在前围声学包预测中的有效性；由于重量与成本目标相对于MTL性能目标具有较好的线性度，所以重量和成本模型的拟合精度要高于MTL性能模型. 实际上，成本和重量在不考虑复杂因素如人工成本、加工成本等的条件下还可以直接使用线性累加模型，但为了所提方法的泛化性，本文仍选取SVR-DBNs建立重量和成本的预测模型.

表 2 多层级分解模型在测试集上的准确度

Table 2. Accuracy of multi-level model on test set

目标	第一～二层级（R²）	第二～三层级（R²）
MTL	0.975	0.970、0.974、0.968
重量	0.983	0.979、0.984、0.981
成本	0.986	0.988、0.978、0.980

下载: 导出CSV

| 显示表格

为验证SVR-DBNs的优越性，将常用的DBNs、SVR与BPNN模型应用于多层级目标分解架构并进行建模预测，其中DBNs的结构参数与SVR-DBNs一致但顶层采用线性回归模型，SVR采用高斯核函数并通过网格参数寻优，反向传播神经网络（BPNN）经过交叉验证择优选择模型结构，并通过遗传算法进行参数初始化. 表3所示为4种模型对前围声学包MTL、重量和成本的预测结果比较，可见：BPNN在测试集中的准确性相对最低，其R²在MTL、重量和成本上分别为0.917、0.924和0.931，同时均方误差（MSE）分别为0.771、1.267和13.457；SVR和DBNs的准确性较高，其中，DBNs的R²在MTL、重量和成本上分别为0.971、0.979和0.974，同时MSE分别为0.341，0.611和7.491. 对比可知，SVR-DBNs方法拥有最高的R²和最低的MSE，验证了所提方法的优越性.

表 3 声学包多目标优化结果

Table 3. Multi-goals optimization results of acoustic package

预测模型	MTL		重量		成本
预测模型	R²	MSE/dB	R²	MSE/kg	R²	MSE/元
BPNN	0.917	0.771	0.924	1.267	0.931	13.457
SVR	0.955	0.364	0.959	0.846	0.961	7.950
DBNs	0.971	0.341	0.979	0.611	0.974	7.491
SVR-DBNs	0.975	0.296	0.983	0.579	0.986	4.360

下载: 导出CSV

| 显示表格

2.2 优化结果与验证

基于前围声学包多层级目标分解架构与SVR-DBNs模型，对前围声学包的MTL、重量和成本进行多目标优化. 为了方便对多目标进行综合评价，引入“加权目标”，考虑到各个目标的重要程度不同，需设置不同的权重系数. 由于前围声学包主要目的是吸隔声，所以认为其MTL相较成本与重量更为重要，因此，拟定MTL、重量与成本的权重系数分别为0.50、0.25和0.25. 设计变量为前围系统各零部件的分块厚度与不同厚度的面积占比，根据工程可行性，设计空间为变量在原始值基础上±20%的区间范围，约束条件有两项：前围声学包最大厚度不大于其在原始状态的最大厚度；各零部件不同厚度对应的面积占比之和为100%，所建立的优化模型如式（9）所示. 遗传算法有收敛速度快、计算准确等优点，因此采用遗传算法求解式（9），其中遗传算法参数设置为种群大小200，最大遗传代数500，交叉概率0.7，变异概率0.01，代沟0.95. 优化的参数结果如表4所示，根据优化参数得到的多目标预测结果与实测结果如表5所示.

表 4 前围声学包多目标优化设计参数

Table 4. Multi-goals optimization design parameters of firewall acoustic package

部件名称	材料名称	厚度/mm	面积占比/%
前围钣金	高强度钢	1.0	32
前围钣金	高强度钢	1.2	68
外前围隔音垫	玻璃纤维	14.0	28
外前围隔音垫	玻璃纤维	20.0	72
内前围隔音垫	PU 泡沫	6.0	37
	PU 泡沫	10.0	63
	棉毡	4.0	28
	棉毡	5.0	72
前围覆盖率/%		99.6
前围泄露量/%		0.20

下载: 导出CSV

| 显示表格

表 5 前围声学包多目标优化结果与实测结果

Table 5. Multi-goals optimization results and measured results of firewall acoustic package

状态		MTL/dB	重量/kg	成本/元	加权目标
原始状态		45.4	21.4	281.6	1.0247
优化后	预测值	48.6	19.3	267.3	0.9588
优化后	实测值	47.9	19.5	269.2	0.9693

下载: 导出CSV

| 显示表格

$\qquad\qquad\qquad\left\{ {\begin{aligned} {\rm{min}}&\;\;\;\;\; {{Y}} = 0.4(1/y_1^{[1]})/{\xi _1}\; + \;0.3 y_2^{[1]}/{\xi _2}\; + \;0.3 y_3^{[1]}/{\xi _3},\\ & \quad y_{{k_1}}^{[1]} = f_{{k_1}}^{[1]}(x_1^{[2{\rm{]}}},x_2^{[2{\rm{]}}},\cdots,x_{{R_2}}^{[2]})\;, \quad{k_1} = 1,2,3,\;{R_{\rm{2}}} = 1,2,\cdots,{\rm{11}},\\ & \quad y_{{k_2}}^{[2]} = f_{{k_2}}^{[2]}(x_1^{[3{\rm{]}}},x_2^{[3{\rm{]}}},\cdots,x_{{R_3}}^{[3]})\;, \;y_{{k_2}}^{[2]} = x_{{k_2}}^{[2]},\quad{k_2} = 1,2,\cdots,9,\;{R_{\rm{3}}} = 1,2,\cdots,{\rm{16}},\\ {\rm{s}}{\rm{.}}\;{\rm{t}}{\rm{.}}&\;\;\;\;\;\;H = \;\displaystyle\sum\limits_{{R_3}{\rm{ = 1}},3,5,7} {\max {\rm{\{ }}x_{{R_{\rm{3}}}}^{[{\rm{3]}}},x_{{R_{\rm{3}}}{\rm{ + 1}}}^{[{\rm{3]}}}{\rm{\} }}} \leqslant {\rm{36}}{\rm{.2}},\\ &\quad {s_j} = x_{{R_{\rm{3}}}}^{[{\rm{3]}}}\;{\rm{ + }}x_{{R_{\rm{3}}}{\rm{ + 1}}}^{[{\rm{3]}}}{\rm{ = 100{\text{%}} }},\quad{R_3} = 9,11,13,15,\;j = ({R_3} - 7)/2,\\ {\mathop{\rm var}} .&\;\;\;\; x_{{R_{\rm{2}}}}^{[{\rm{2]}}} \in [0.8 x_{{R_1}}^{[{\rm{2]}}},\;\;1.2 x_{{R_1}}^{[{\rm{2]}}}],\;\;\\ &\quad x_{{R_{\rm{3}}}}^{[{\rm{3]}}} \in [0.8 x_{{R_{\rm{3}}}}^{[{\rm{3]}}},\;\;1.2 x_{{R_{\rm{3}}}}^{[{\rm{3]}}}],\; \end{aligned} } \right.$

(9)

式中：$ {\xi }_{1}、{\xi }_{2} $与$ {\xi }_{3} $分别为设计目标$ {y}_{1}^{\left[1\right]}、 $ $ {y}_{2}^{\left[1\right]} $与$ {y}_{3}^{\left[1\right]} $的归一化常数，一般取数据集目标的统计均值；$ {x}_{{R}_{3}}^{\left[3\right]} $, $ {R}_{3}\in \{1, 2,\cdots ,8\} $时为厚度参数， $ {R}_{3}\in \left\{9, 10,\cdots ,16\right\} $时为面积占比参数，由于MTL需要越大越好，因此优化时取$ {y}_{1}^{\left[1\right]} $的倒数，其余参数同式（1）.

根据表5可知：多层级架构模型优化的前围声学包加权目标为0.9588（MTL、重量和成本分别为48.6 dB、19.3 kg与267.3元），较原始状态的加权目标1.0247（MTL、重量和成本分别为45.4 dB、21.4 kg与281.6元）提升了6.44%（MTL、重量和成本分别改进了7.05%、9.94%与5.07%）.

为了验证优化实际效果，对前围声学包按照优化状态进行了调整，并在混响室-半消声室内进行了验证，实测加权目标为0.9693（MTL、重量和成本分别为47.9 dB、19.5 kg与268.2元），预测结果与实测结果接近，两者相对误差为1.09%（MTL、重量和成本相对误差绝对值分别为1.44%、1.04%与0.71%），验证了所提方法的准确性与有效性.

3. 结　论

本文提出了SVR-DBNs方法对汽车前围声学包吸隔声性能、重量和成本多目标进行研究，并从噪声传递关系与层级目标分解角度出发，提出声学包多层级目标预测与优化方法，并在实际车型上进行了验证. 所提的SVR-DBNs方法对前围声学包性能、重量与成本目标预测准确度均在0.975以上，优于传统的BPNN、SVR与DBNs模型. 此外，研究中构建了前围声学包多层级架构模型，降低了整个优化模型的非线性度与复杂度，能够更容易地避开局部最优解. 基于该模型的优化结果与实测结果接近，两者加权目标相对误差为1.09%（MTL、重量和成本相对误差绝对值分别为1.44%、1.04%与0.71%），优化后的实测结果较前围声学包原始状态性能、重量和成本分别提升了5.51%、9.01%与4.40%，验证了所提方法的有效性与准确性.

致谢：感谢西南交通大学基础研究培育支持计划资助项目（2682021ZTPY068）、科技创新项目（2682022CX008，XJ2021KJZK054）的支持.

References

王恪铭,王峥. 基于形式化方法的道口控制系统规范建模与验证[J]. 西南交通大学学报,2019,54(3): 573-578,603.

WANG Keming, WANG Zheng. Modeling and verification of control system specification for railway level crossings based on formal method[J]. Journal of Southwest Jiaotong University, 2019, 54(3): 573-578,603.

International Electrotechnical Commision. Functional safety of electrical/electronic/programmable electronic safety-reared systems: IEC 61508[S]. Geneva: European Committee for Electrotechnical Standardization. 2005.

KHAN U, AHMAD J, SAEED T, et al. On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station[J]. Complex Adaptive Systems Modeling, 2016, 4(1): 1-33. doi: 10.1186/s40294-016-0028-5

VU L H, HAXTHAUSEN A E, PELESKA J. Formal modelling and verification of interlocking systems featuring sequential release[J]. Science of Computer Programming, 2017, 133: 91-115. doi: 10.1016/j.scico.2016.05.010

BONACCHI A, FANTECHI A, BACHERINI S, et al. Validation process for railway interlocking systems[J]. Science of Computer Programming., 2016, 128: 2-21. doi: 10.1016/j.scico.2016.04.004

HANSEN D, SCHNEIDER D, LEUSCHEL M. Using B and ProB for data validation projects[C]//Inernational Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z. [S.l.]: Springer, 2016: 167-182.

ABRIAL J R. Train system[M]//Modeling in Event-B. Cambridge: Cambridge University Press, 2013: 508-549.

国家铁路局. 铁路车站计算机联锁技术条件: TB/T 3027—2015[S]. 北京: 中国铁道出版社. 2015.

张传东. EVENT-B方法在铁路车站联锁规范形式化建模与验证中的应用研究[D]. 成都: 西南交通大学, 2017.

ZHANG Chuandong, WANG Keming, WANG Xia, et al. Interlocking data[DB/OL]. [2019-08-16]. https://github.com/abidefei/Model_Verification_Data_Validation_Interlocking_EventB.

SNOOK C, HOANG T S, DGHYAM D, et al. Behaviour-driven formal model development[M]//Formal Methods and Software Engineering. Cham: Springer International Publishing, 2018: 21-36.

Proportional views

Formal Method for Behavior Verification and Data Validation of Station Interlocking System

doi: 10.3969/j.issn.0258-2724.20191182

Abstract

1. 研究方法

1.1 基于层级分解的前围声学包多目标优化模型

1.2 SVR-DBNs方法提出

1.2.1 DBNs模型

1.2.2 SVR-DBNs改进模型

1.3 基础数据获取

2. 研究结果与讨论

2.1 基于SVR-DBNs的声学包预测结果

2.2 优化结果与验证

3. 结　论

References

Proportional views

Catalog

通讯作者: 陈斌, bchen63@163.com

Proportional views

Related

Formal Method for Behavior Verification and Data Validation of Station Interlocking System

doi: 10.3969/j.issn.0258-2724.20191182

Abstract

1. 研究方法

1.1 基于层级分解的前围声学包多目标优化模型

1.2 SVR-DBNs方法提出

1.2.1 DBNs模型

1.2.2 SVR-DBNs改进模型

1.3 基础数据获取

2. 研究结果与讨论

2.1 基于SVR-DBNs的声学包预测结果

2.2 优化结果与验证

3. 结 论

References

Proportional views

Catalog

通讯作者: 陈斌, bchen63@163.com

Proportional views

Related

Export File

Citation

Format

Content

3. 结　论