• ISSN 0258-2724
  • CN 51-1277/U
  • EI Compendex
  • Scopus 收录
  • 全国中文核心期刊
  • 中国科技论文统计源期刊
  • 中国科学引文数据库来源期刊

面向高铁信号系统工程测试的测试建模方法

史增树 李耀 郭进 张亚东

杨军, 高志明, 李金泰, 张琛. 基于注意力机制的三维点云模型对应关系计算[J]. 西南交通大学学报, 2024, 59(5): 1184-1193. doi: 10.3969/j.issn.0258-2724.20220682
引用本文: 史增树, 李耀, 郭进, 张亚东. 面向高铁信号系统工程测试的测试建模方法[J]. 西南交通大学学报, 2024, 59(5): 1023-1033. doi: 10.3969/j.issn.0258-2724.20220674
YANG Jun, GAO Zhiming, LI Jintai, ZHANG Chen. Correspondence Calculation of Three-Dimensional Point Cloud Model Based on Attention Mechanism[J]. Journal of Southwest Jiaotong University, 2024, 59(5): 1184-1193. doi: 10.3969/j.issn.0258-2724.20220682
Citation: SHI Zengshu, LI Yao, GUO Jin, ZHANG Yadong. Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System[J]. Journal of Southwest Jiaotong University, 2024, 59(5): 1023-1033. doi: 10.3969/j.issn.0258-2724.20220674

面向高铁信号系统工程测试的测试建模方法

doi: 10.3969/j.issn.0258-2724.20220674
基金项目: 中国铁路总公司科技研究开发计划(N2018G062, K2018G011);中央高校基本科研业务费专项资金(2682022ZTPY084)
详细信息
    通讯作者:

    史增树(1979—),男,工程师,博士研究生,研究方向为铁路信号系统工程测试,E-mail:shizengshu@126.com

  • 中图分类号: U284

Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System

  • 摘要:

    高铁信号系统工程测试关注系统中各设备间的复杂行为关系和状态同步,工程测试的测试建模方法缺少复杂行为交互和同步机制,针对此问题,提出基于扩展有限状态机的高铁信号系统工程测试建模方法和测试用例生成方法. 首先,分析高铁信号系统工程测试的特点,提出复杂事件交互和状态同步的测试建模需求,以有限状态机理论为基础,扩展出状态事件和层次性,满足信号系统工程测试中复杂行为关系和状态同步的建模需求,采用Z规格说明语言给出扩展有限状态机的形式化定义,定义扩展有限状态机的格局和同步机制;然后,提出将扩展有限状态机转化为时间自动机的算法,利用时间自动机的测试用例生成算法自动生成高铁信号系统工程测试的测试用例;最后,以高铁信号系统工程测试中的进路控制为例,建立扩展有限状态机模型并生成测试用例,通过变异分析对生成的测试用例进行评估. 结果表明:测试用例在检测状态变异和事件表达式变异时的变异评分均为1,具有良好的覆盖度,能够满足高铁信号系统工程测试的需求.

     

  • 随着三维扫描仪等硬件设备的成本降低和市场增长,其应用越来越广泛. 在三维扫描应用场景中,由于每个摄像头或扫描仪在其自身的空间中生成点云,而并非在对象空间中,所以2个点云模型之间没有对应关系,使点云的数据融合[1]、交叉纹理映射[2]、三维人体扫描[3]、即时定位与高精度地图构建[4]等后处理过程面临巨大挑战. 因此,构建点云模型之间的对应关系成为一个亟待解决的问题,特别是构建非刚性模型间的对应关系更具挑战性. 非刚性模型发生的局部形变会导致模型间特征差异过大. 此外,离散的点云模型缺少几何先验知识,使得无监督学习在计算对应关系时很难实现,在实际应用中,往往需要大量的带标注数据. 因此,如何采用无监督学习准确构建非刚性三维点云模型间密集的对应关系是一个极具挑战性的问题.

    近年来,主流的三维模型对应关系计算方法主要有2类:基于模型的方法[5-8]和数据驱动的方法[9-10]. 基于模型的方法使用人工制作的特征描述符作为输入,优化预定义的函数映射;而基于数据驱动的方法使用大规模数据集训练神经网络来预测对应关系. 近期的研究表明,数据驱动方法计算精度明显高于基于模型的方法[9]. 但数据驱动方法需要大量的标注数据和使用模型中顶点之间的连接信息(例如三角网格模型). 研究者通过计算模型在拉普拉斯-贝尔特拉米算子特征基[9-11]上的投影,来实现三角网格模型间对应关系映射,该方法已被广泛使用,且证明是高效的.

    研究者致力于非刚性模型的密集对应关系研究,其目的是计算发生非刚性形变的三维模型间逐点对应关系. 其中,针对于三角网格模型对应关系计算的一个重要方法是函数映射法. 该方法使用简化后的基函数将模型的特征描述符表示为函数映射矩阵,将模型间对应关系计算问题转化为求解相应的函数映射矩阵问题[8,12]. 文献[13]结合局部函数映射和局部流形谐波算子计算三维模型特征描述符,并构建模型间对应关系. 文献[14]提出同时计算完整模型与多个发生非刚性形变残缺模型的对应关系计算方法,并且对带有噪声的模型得到更准确的匹配结果. 该类方法的优点是使用函数映射进行结构化对应预测. 然而,频谱基的计算需要较高的算力和预处理时间,并且需要点之间的连通性信息. 文献[15]提出一种点云频谱匹配方法,利用神经网络学习模型基函数,从而避免对拉普拉斯算子进行特征分解的计算. 文献[16]提出基于上采样细化和全频谱特征值对齐的方法,提高了非刚性残缺模型对应关系结果的平滑度和准确性,对带有拓扑噪声的三维模型也具有较好的鲁棒性,但是该方法需要大量特征值来定位正则化项. 文献[17]提出三维模型之间的基矩阵校准方法,通过尖端点遍历匹配即可获取较优的对应关系结果. 这些方法在谱域计算模型拉普拉斯-贝尔特拉米算子特征基的预处理过程中非常耗时,占用过多计算资源. 此外,拉普拉斯-贝尔特拉米算子的计算需要模型顶点之间连通性信息,但当数据来源于三维扫描设备时,点云模型采样点之间是离散的.

    为解决上述问题,研究者提出了多种三维点云模型对应关系计算方法[18-20],这些方法通常采用编码器-解码器结构. 文献[18]使用给定的模板模型以重建不同的输入点云,解码器返回每个点的坐标,并根据重建模型与模板的最近邻点确定对应关系;但是该方法严重依赖人工设计的参数化模板质量. 文献[20]使用交叉重建的方式摒弃了参数化模板,但是非刚性模型中对应点特征差别较大,其使用最近邻搜索寻找匹配特征的方法泛化能力较差. 文献[21]提出利用特征序列匹配的思想来预测2个点云模型的刚性变换,但该方法无法计算非刚性模型的对应关系.

    综上所述,目前针对三维点云模型对应关系计算的研究中,由于离散的点云模型缺少几何先验知识,难以实现无监督学习;此外,当模型发生非刚性形变时,现有的特征提取方法难以获得唯一且具有丰富的局部与全局信息的三维点云模型本征描述符,导致对应关系计算准确率不高. 为此,本文提出一种基于特征序列注意力机制和结构化构造的无监督三维点云模型对应关系计算方法.

    设输入的三维点云源模型和目标模型分别为X,YRn×3,其中,n为点的个数. 本文的目标是在源模型和目标模型之间寻找一个映射,即在目标模型Y中寻找与点xiX的对应点yjY1i,jn. 为此,构建如图1所示的神经网络架构,主要由特征提取模块、Transformer模块、对应关系预测模块和点云重构模块构成. 图中:FXFY为点云特征,ˆFXˆFY为施加了注意力的点云特征,SXYSYX为软映射矩阵,ˆXYˆYX为重建点云. 首先,使用特征提取模块提取三维点云模型特征,通过Transformer模块对源模型和目标模型的特征序列施加注意力机制;然后,通过对应关系预测模块得到软映射矩阵;最后,通过软映射矩阵确定目标点及其邻域,并对目标点邻域加权融合,以进行点云重构.

    图  1  总体网络框架
    Figure  1.  Overall network framework

    本文的核心任务是寻找2个模型间相匹配的特征,所以获取点云模型准确的局部特征尤为重要. 为获得较好的点云模型局部特征,使用具有多个边缘卷积层[22]的动态图卷积网络,将源模型X和目标模型Y嵌入到高维特征空间中. 具体来说,对于点云中第i个点,首先计算该点特征到其最近邻特征集合Ωi,l中各特征的欧氏距离,其中,l为边缘卷积层的序号. 然后,把该点特征fi,l和该点特征到最近邻特征的距离{fj,lfi,l|fj,lΩi,l}相拼接(fi,l,fj,lR1×dd为特征维度,ij),通过多层感知机和最大池化获得新的特征表示:

    fi,l+1=Γ(Ml(fi,l,fj,lfi,l)),fj,lΩi,l,
    (1)

    式中:Γ(•)为最大池化操作,Ml (•)为第l个边缘卷积中的多层感知机.

    边缘卷积中使用的最近邻域特征聚合操作可以使得fi,l+1更好地捕捉点云的局部几何信息.

    由特征提取模块得到的逐点特征虽然在一定程度上可以较好地表征其局部特征,但是在非刚性模型中,局部特征差异较大,难以获得较好的匹配结果. 本文使用Transformer模块中的注意力机制[23]完成特征序列到特征序列的学习,从而优化非刚性模型间的特征匹配. 经特征提取模块获得的模型XY的特征序列FX,FYRn×d. 对应关系可以通过神经网络在目标模型Y中预测一个与源模型X中一个点对应的点来构建,此时可以利用注意力机制使FYFX施加注意力,得到兼顾模型Y的模型X的特征信息;同理,也可得到兼顾模型X的模型Y的特征信息.

    Transformer模块的任务是学习一个函数g:Rn×P×Rn×PRn×PP为特征嵌入的维度,并由函数g(·)得到点云新的特征嵌入,具体过程可表示为

    {ˆFX=FX+g(FX,FY),ˆFY=FY+g(FY,FX).
    (2)

    图2所示,Transformer模块为编码器-解码器结构. 前后传播模块由1个线性层和1个ReLu激活函数层组成. 编码器的功能为:输入特征序列FX,经过自注意力机制和共享多层感知机将其编码并嵌入到特征空间中. 解码器分为两部分:第一部分输入另一个特征序列FY,并以与编码器相同的方式对其进行编码;第二部分使用交叉注意力机制关联2个嵌入的特征序列. 具体而言,注意力机制将输入的线性编码表示分别建模为查询向量QRn×P、关键向量KRn×P和值向量VRn×P,从而可以计算出注意力得分矩阵W=Softmax(QKTd−0.5),最终得到输出特征ˆF=WV. 其中,Softmax(·)可以将输出值转换为0~1且和为1的概率分布. 图2中,编码器和解码器的输入分别为FXFY,可得到点云模型X的新特征ˆFX;同理,若将FXFY调换输入位置(即编码器的输入为FY,解码器的输入为FX),可得到点云模型Y的新特征ˆFY. 因此,输出的特征序列ˆFXˆFY具有来自于2个特征序列(FXFY)的上下文信息.

    图  2  Transformer模块
    Figure  2.  Transformer module

    在大多数特征匹配的任务中,直接使用特征最近邻搜索即可得到对应关系,但是在网络训练之初,预测结果远未达到较好效果的时候,这种方法容易使神经网络模型陷入局部最优. 为解决这个问题,本文使用概率来定位对应点,即生成从一组特征序列到另一组特征序列的概率映射矩阵,称为软映射矩阵. 软映射定义为源模型的特征嵌入和目标模型的特征嵌入之间的相似度,所以,软映射矩阵明确了源模型上任一点与目标模型上任一点之间的相似度. 软映射矩阵由式(3)求出.

    {SXY=Softmax(ˆFXˆFTY),SYX = Softmax(ˆFYˆFTX),
    (3)

    式中:SXY,SYXRn×n,矩阵中第i行第j列的元素Sij[0,1],表示X中点iY中点j的对应概率.

    本文最终的对应关系由软映射矩阵中最大对应概率确定. 但由于使用的是无连接信息的点云模型,所以采用重建的方式构造损失函数来监督训练,从而优化软映射矩阵.

    在使用谱方法计算三角网格模型的对应关系时,可以根据三角网格模型自身的几何拓扑结构应用无监督学习方法,但是本文算法以点云模型作为输入,采样点之间不具有连接信息,很难应用自身几何性质完成无监督训练. 为了在没有真实对应关系的情况下学习点云模型的特征,设计一个点云重构模块,通过重构输入点云,并利用重构模型与输入模型的相似度来间接监督训练.

    早期针对点云模型的对应关系计算方法是通过模板和解码器完成三维重建,利用最近邻搜索进行无监督训练,但是需要大量训练数据,并且难以在跨数据集评估中推广. 本文使用特征序列相似性和输入坐标来重构点云并确定对应关系,以取代使用坐标回归的解码器模块.

    图3所示,首先,k近邻特征搜索模块接收2组三维点云模型和软映射矩阵作为输入,寻找点云模型Y上与模型X上第i个点对应的概率最大k个点,可以表示为{yi}i[1,k]. 其次,根据软映射矩阵计算出X上第i个点与点集{yi}中各点的对应概率Sij,并使用Softmax进行归一化处理再求和,得到权重集合{wij},如式(4)所示.

    图  3  点云重构模块
    Figure  3.  Point cloud reconstruction module
    wij=eSij/hN(xi)eSih,
    (4)

    式中:N(xi)为软映射矩阵中点云模型Y上与模型X上第i个点对应的概率最大k个点的序号.

    最后,根据得到的权重集合{wij}和点集{yi}计算重构后的点ˆyxi如式(5)所示.

    ˆyxi=hN(xi)wihyh.
    (5)

    同理,根据对应概率将模型X上与模型Y上第i个点对应的k个点{xi}i[1,k]Y上第i个点与{xi}的对应概率集合{Sij}使用式(4)得到权重集合{wij},根据式(5)得到重构后的点ˆxyi. 此时,式(4)、(5)中的N(xi)需修改为软映射矩阵中模型X上与模型Y上第i个点对应的概率最大k个点的序号.

    点云模型XY上所有点经过重构模块后得到重构点云ˆYX,ˆXYRM×3,且ˆyxiˆYXˆxyiˆXY.

    在对应关系计算任务中,有监督训练依赖于人工标注的点对点真实对应关系来监督特征匹配结果. 而无监督训练则在未知真实点对点对应关系的情况下进行,通过利用模型数据自身的几何性质进行监督,从而节约人工标注成本.

    定义损失函数为

    L=λ1LCD+λ2LSC+λ3LNC,
    (6)

    式中:λ1λ2λ3为系数,依次取为1、10和1,LCDLSCLNC分别为倒角距离损失函数、促进特征平滑的正则化项和相邻点对应的正则化项.

    输入点云模型经过重构点云步骤,XˆXYYˆYX2组点云应分别保持近似一致,所以使用XˆXYYˆYX之间的倒角距离作为损失函数,如式(7)所示.

    LCD=C(X,ˆXY)+C(Y,ˆYX),
    (7)
    C(X,Y)=1|X|xXminyYxy22+1|Y|yYminxXyx22,
    (8)

    式中:C(·)为倒角距离,||·||2为两点间欧式距离.

    为使特征提取模块和Transformer模块得到的特征更平滑,即使得相邻点的特征更加相似,本文利用点云重构模块将XY分别根据其自身进行重构,得到重构模型ˆXXˆYY,并由此计算正则化项LSC(式(9)). 如果重建结果与自身相似度较大,则模型上的点到其邻域点的对应概率较大. 因为采用了特征匹配的思想,对应概率大意味着特征相似度高.

    LSC=C(Y,ˆYY)+C(X,ˆXX).
    (9)

    此处的重构模型是通过点云重构模块,根据模型自身及其自身到自身的软映射矩阵计算得到的. 其自身到自身的软映射矩阵为

    {SXX=Softmax(ˆFXˆFTX),SYY=Softmax(ˆFYˆFTY).
    (10)

    将点云X和对应的软映射矩阵SXX输入重构模块后,由式(11)即可求得模型X的重构模型ˆXX.

    ˆxi=hN(xi)wc,ihxh,
    (11)

    式中:ˆxiˆXX,为模型X中第i个点的重构点;wc,ih为第i个点到N(xi)中各点对应分配的权重,由式(4)计算得到.

    同理,ˆYY也可根据点云Y和软映射矩阵SYYRM×M求出.

    为了使源点的邻点与源点对应的目标点的邻点相对应,本文设置了正则化项LNC,如式(12)所示. 该正则化项通过源模型中一点到其邻域点的距离对预测对应点到其邻域点的距离进行加权,从而促使源模型中相邻点在目标模型中也保持相邻.

    LNC=1nkihNX(xi)vihˆyxiˆyxh22,
    (12)

    式中:NX(xi)为点云模型X中与xi相邻点的集合; vih=exixh22/α,为根据邻域内各点到中心点的距离所计算的权重,α=8.

    2.1.1   数据集

    在人体和非人体数据集上对本文方法进行测试. 对于人体模型,训练时采用从参数化人体模型SMPL[24]生成的Surreal数据集,共包含230000个训练模型. 将数据集划分为115000对,按对输入网络模型进行训练;测试时,使用FAUST数据集[3]和SHREC’19数据集[25]. FAUST数据集包含10个真人扫描模型,每个人体模型包含10个不同姿态. SHREC’19数据集包含44个真人扫描模型,共有430个带标签的测试对,模型间具有较大的非刚性形变. 因此,对应关系可分为同一个人体不同姿态的模型间对应关系(类内)和不同人体模型之间的对应关系(类间).

    对于非人体模型,采用SMAL数据集[26]进行训练和评估. SMAL包含猫、狗、牛、马和河马的动物模型. 本文使用其提供的模板为每种动物类型创建2000个不同姿态的模型,获得包含共10000个模型的数据集,每个类别又分别生成40个测试模型. 在训练时,从同一动物类别中随机选择模型对作为神经网络的输入;在测试时,将测试数据中同类的两两模型组成一对,形成一个100对的测试集.

    实验从每个模型中随机抽取1024个点,随机排列点的顺序,创建用于训练和测试的点云模型.

    2.1.2   定量评估标准

    模型对应的通用评估指标是平均测地误差[27],但是计算测地误差时需要已知模型中点的连接信息. 由于本文使用的是点云数据,采样点之间缺少连接信息,因此,需要使用欧氏距离来代替测地距离,构建对应误差进行评估.

    给定源模型X和目标模型Y,对应误差为

    e=1nxX,ygtYφ(x)ygt2,
    (13)

    式中:ygtY,为点x的真实对应点;φ(x)为点x根据计算对应关系映射到模型Y上的一个点,即φ(x)Y.

    为进一步评估对应关系的计算准确率,使用式(14)计算在不同的对应误差容忍度量下对应关系精度.

    a=1nxX,ygtYξ(φ(x)ygt2ε),
    (14)

    式中:ξ(·)为指示器函数,ε为对应误差容忍度量.

    将本文方法与最新的针对点云模型的对应关系计算方法进行定性和定量对比,包括3D-CODED[18]、Elementary Structures[19]和CorrNet3D[20],其中,3D-CODED和Elementary Structures为不使用点之间连接信息的有监督方法.

    2.2.1   定性实验

    为测试本文方法的跨数据集泛化能力,在FAUST数据集上测试,可视化对比结果如表1所示. 表中,源模型点的颜色是根据点的空间坐标值设定的,此外,根据真实对应关系和各算法计算得到的对应关系,将源模型点的颜色映射到Ground-truth和其余4种方法的模型上. 其中,Ground-truth为对应关系的真值. 可以看出,由于3D-CODED的重建模型在躯干伸展的方向和源模型之间存在角度误差,所以在手部和腿部产生错误的对应关系;Elementary Structures在手部、脚部和头部存在较多错误对应,这是因为在特征提取阶段没有强制施加特征平滑措施;CorrNet3D依赖于解码器网络来回归重建模型坐标,所以模型的手部、腹部和腿部均存在较多错误的对应关系. 与上述方法相比,本文方法既不需要使用模板,也不需要使用解码器重建,而是借助于Transformer完成点云的序列到序列对应,并实现了结构化重建,获得更好的对应关系结果.

    表  1  FAUST数据集上各方法的实验结果对比
    Table  1.  Comparison of experimental results of methods onFAUST dataset
    示例 源模型 Groud-truth 3D-CODED Elementary Structures CorrNet3D 本文算法
    1
    2
    下载: 导出CSV 
    | 显示表格

    为更好地测试本文方法的跨数据集泛化能力和在非刚性模型上对应关系的构建能力,在SHREC’19数据集上进行了实验,可视化对比结果如表2所示. 3D-CODED和Elementary Structures都依赖于模板分析源点云模型和目标点云模型的变形来构建他们之间的对应关系,但是当模型发生较大的非刚性形变时,由解码器得到的重建模型效果较差,使得计算的对应关系准确率下降,如图中人体模型的腿部和手部的错误对应;CorrNet3D依赖于解码器网络回归重建模型坐标,没有对特征进行平滑处理,所以泛化能力弱,且在计算软映射矩阵时容易产生错误对应. 以上3种方法均需要使用模型的全局特征进行重建,这导致其跨数据集的泛化能力较差,而本文方法既不需要使用模型的全局特征,也不需要使用解码器重建,而是借助于Transformer模块完成点云的序列到序列对应和结构化重建,提高了非刚性模型间对应关系计算的准确度和跨数据集的泛化能力.

    表  2  SHREC’19数据集上各方法的实验结果对比
    Table  2.  Comparison of experimental results of methods on SHREC’19 dataset
    示例 源模型 Groud-truth 3D-CODED Elementary Structures CorrNet3D 本文算法
    3
    4
    下载: 导出CSV 
    | 显示表格

    表1表2的实验都是在人体模型数据集上进行的,为进一步评估本文方法的灵活性和准确性,在SMAL动物数据集上进行训练和测试,可视化对比结果见表3. 3D-CODED和Elementary Structures算法结果存在较多错误的对应点,因为他们都依赖于模板对源模型和目标模型进行变形来预测对应关系. 相比之下,CorrNet3D在这方面有一定改进,但由于依赖训练解码器网络来重建模型,在多种尺度混合数据集中表现不佳. 而本文方法采用对应的最近邻点加权融合的重建方法,增强了算法的健壮性和对多尺度数据集的适应能力.

    表  3  SMAL数据集上各方法的实验结果对比
    Table  3.  Comparison of experimental results of methods on SMAL dataset
    示例 源模型 Groud-truth 3D-CODED Elementary Structures CorrNet3D 本文算法
    5
    6
    7
    下载: 导出CSV 
    | 显示表格
    2.2.2   定量实验

    为进一步评估本文方法的有效性,对不同方法的对应误差变化曲线进行计算,结果如图4所示. 由图可知:1) 在SHREC’19数据集上,本文方法有14.1%的对应关系没有对应误差,而3D-CODED、Elementary Structures和CorrNet3D在没有对应误差时的对应关系准确率明显低于本文方法;且在对应误差增大时,本文方法的对应关系准确率始终高于这3种方法. 2) 在FAUST数据集上,本文方法有24.6%的对应关系没有对应误差,高于其他3种方法;且在对应误差为0.04时,CorrNet3D和本文方法的对应关系准确率接近100%,结果优于3D-CODED和Elementary Structures. 3) 在SMAL数据集上,本文方法有20.2%的对应关系没有对应误差,高于其他3种方法的结果;且在对应误差为0.03时,本文方法的对应关系准确率接近100%,3D-CODED、Elementary Structures和CorrNet3D均未能达到100%. 这主要归功于基于注意力的特征序列对应和提取到的平滑特征,使本文方法取得了更好的结果.

    图  4  对应关系误差曲线
    Figure  4.  Correspondence error curves

    实验进一步计算测试集中的平均对应误差,对比结果如表4所示. 可以看出,本文方法在数据集SGREC’19、FAUST 和SMAL上均取得了更低的平均对应误差,尤其是在非刚性变形程度较大的SHREC’19数据集中平均对应误差下降幅度更大.

    表  4  不同方法平均对应误差
    Table  4.  Average correspondence errors of different methods
    数据集 3D-
    CODED
    Elementary
    Structures
    CorrNet
    3D
    本文
    算法
    FAUST 7.2 6.6 5.3 5.1
    SHREC’19 8.1 7.6 6.9 5.8
    SMAL 6.8 6.4 5.7 5.4
    下载: 导出CSV 
    | 显示表格
    2.2.3   消融实验

    通过设置有Transformer模块和无Transformer模块两组实验,验证本文方法中Transformer模块的作用,在数据集FAUST、SHREC’19和SMAL上的对比结果如表5所示. 可以看出,有Transformer模块的网络平均对应误差低于无Transformer模块的网络,进一步验证了本文提出的特征序列匹配思想可以显著提升对应关系准确率.

    表  5  Transformer模块消融实验误差
    Table  5.  Errors of ablation experiment on Transformer module
    数据集 无 Transformer 模块 有 Transformer 模块
    FAUST 5.6 5.1
    SHREC’19 6.1 5.8
    SMAL 7.6 5.4
    下载: 导出CSV 
    | 显示表格

    此外,设置2两组实验验证对应关系预测模块的有效性,结果如表6所示,其中,无对应关系预测模块实验中使用最近邻搜索策略进行特征匹配. 可以看出,有对应关系预测模块的网络平均对应误差均低于无对应关系预测模块的网络. 所以,基于概率的方法可以显著提升对应关系准确率,且在当模型发生较大尺度非刚性变形时表现更好.

    表  6  对应关系预测模块消融实验误差
    Table  6.  Errors of ablation experiment on correspondence prediction module
    数据集 无对应关系
    预测模块
    有对应关系
    预测模块
    FAUST 6.1 5.1
    SHREC’19 7.3 5.8
    SMAL 8.0 5.4
    下载: 导出CSV 
    | 显示表格

    本文结合注意力机制,使用特征序列注意力匹配的方法生成软映射矩阵,有效提高了无监督深度学习方法计算三维点云模型间稠密对应关系的准确率,在多个数据集上表现出较好的泛化能力. 然而,本文方法也存在需要改进的地方,如使用Transformer模块导致了网络参数增加;与针对三角网格模型的对应关系计算结果相比,仍有一定的提升空间;离散点云模型目前必须借助于重建才能实现无监督训练等,这些都是今后需要继续研究的方向.

    致谢: 兰州交通大学天佑创新团队项目(TY202002)的资助.

  • 图 1  高铁工程实际信号系统关联关系

    Figure 1.  Correlation of actual HSRSS

    图 2  有限状态机模型Mex

    Figure 2.  Model of finite state machine Mex

    图 3  EFSM示例

    Figure 3.  Example of EFSM

    图 4  EFSM示例模型的层次结构

    Figure 4.  Hierarchy of EFSM model

    图 5  EFSM格局转移

    Figure 5.  Pattern shift of EFSM

    图 6  TA模型

    Figure 6.  TA model

    图 7  进路控制模型Droute

    Figure 7.  Droute of route control model

    图 8  进路控制TA模型

    Figure 8.  TA model of route control

    图 9  s52变异模型

    Figure 9.  Mutation model of s52

    表  1  Droute事件含义

    Table  1.   Meaning of events in Droute

    事件含义事件含义
    e10进路占用e11进路空闲
    e12进路红光带e13进路检查通过
    e20道岔正确e21超限绝缘相邻区段空闲
    e30敌对进路满足e31灯丝正常
    e41向 TCC 发送进路e42向 RBC 发送 SA
    e43取消进路e44延迟解锁
    e45分段解锁
    下载: 导出CSV

    表  2  Droute状态含义

    Table  2.   Meaning of states in Droute

    状态 含义 状态 含义
    s11 进路处于占用状态 s12 进路处于空闲状态
    s13 进路处于红光带状态 s21 道岔位置处于非法状态
    s22 道岔位置处于合法状态 s24  超限绝缘相邻区段处于占用状态
    s25  超限绝缘相邻区段处于空闲状态 s31 敌对进路处于建立状态
    s32  敌对进路处于未建立状态 s34 灯丝处于故障状态
    s35 灯丝处于正常状态 s41 进路处于建立状态
    s42 进路处于取消状态
    下载: 导出CSV

    表  3  DrouteDroute_TA 对比

    Table  3.   Comparison between Droute and Droute

    模型 构件数 状态数 变迁数 事件/变量数
    Droute 1 19 29 13
    DTA 7 25 47 22
    下载: 导出CSV

    表  4  Droute测试用例(部分)

    Table  4.   Test cases of Droute (part)

    测试用例 主要内容
    1  a) 进路区段空闲,道岔位置正确,超限绝缘相邻区段占用;b) 超限绝缘相邻区段空闲,进路上区段红光带,进路不能锁闭
    2 进路空闲、超限绝缘相邻区段空闲、道岔位置正确、敌对进路未建立,进路锁闭,信号机开放
    3  a) 进路空闲,超限绝缘相邻区段空闲,道岔位置正确,进路锁闭,信号尚未开放;b) 敌对进路未建立,灯丝正常,但进路占用,信号不能开放
    4 a) 进路锁闭后,向 TCC 发送联锁进路;b) 进路锁闭后,向 RBC 发送 SA 信息
    5 进路锁闭后,灯丝断丝,信号不能开放
    6 列车在进路内正常运行,进路分段解锁
    7 接近区段占用,接车进路解锁时需延时 3 min
    下载: 导出CSV

    表  5  测试用例评估

    Table  5.   Test case evaluation

    变异算子 变异描述 变异体数量/个 发现变异体数量/个 变异评分
    迁移变异 增加或减少迁移 20 12 0.6
    状态变异 增加或减少状态 10 10 1.0
    事件表达式变异 改变事件表达式内容 15 15 1.0
    下载: 导出CSV
  • [1] 上官伟,胡福威,袁敏,等. 基于弹复力效应的列控车载设备可靠性分析方法[J]. 铁道学报,2018,40(6): 75-82. doi: 10.3969/j.issn.1001-8360.2018.06.010

    SHANGGUAN Wei, HU Fuwei, YUAN Min, et al. Reliability analysis method for on-board equipment of train control system based on resilience effect[J]. Journal of the China Railway Society, 2018, 40(6): 75-82. doi: 10.3969/j.issn.1001-8360.2018.06.010
    [2] 齐凡瑞,李强. 列控系统RBC测试序列优化生成方法[J]. 北京交通大学学报,2022,46(2): 11-19,28. doi: 10.11860/j.issn.1673-0291.20210139

    QI Fanrui, LI Qiang. Optimal generation method of RBC test sequence for train control system[J]. Journal of Beijing Jiaotong University, 2022, 46(2): 11-19,28. doi: 10.11860/j.issn.1673-0291.20210139
    [3] 梁茨,郑伟,李开成,等. 基于路径优化算法的测试序列自动生成及验证[J]. 铁道学报,2013,35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009

    LIANG Ci, ZHENG Wei, LI Kaicheng, et al. Automated generation of test cases and sequences based on path optimization algorithm[J]. Journal of the China Railway Society, 2013, 35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009
    [4] 赵显琼,郑伟,唐涛. 一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用[J]. 铁道学报,2012,34(5): 70-80. doi: 10.3969/j.issn.1001-8360.2012.05.012

    ZHAO Xianqiong, ZHENG Wei, TANG Tao. Model-based formal approach for generating test cases and test sequences automatically by example of the ETCS-2[J]. Journal of the China Railway Society, 2012, 34(5): 70-80. doi: 10.3969/j.issn.1001-8360.2012.05.012
    [5] 赵晓宇,杨志杰,吕旌阳. 基于有色Petri网的车载设备模式转换测试序列生成方法[J]. 中国铁道科学,2017,38(4): 115-123. doi: 10.3969/j.issn.1001-4632.2017.04.16

    ZHAO Xiaoyu, YANG Zhijie, LÜ Jingyang. Test sequence generation method of mode transition for on-board equipment based on colored petri net[J]. China Railway Science, 2017, 38(4): 115-123. doi: 10.3969/j.issn.1001-4632.2017.04.16
    [6] 王硕,张亚东,郭进,等. 列控中心自动化测试测试用例生成方法[J]. 北京交通大学学报,2020,44(5): 49-54. doi: 10.11860/j.issn.1673-0291.20200052

    WANG Shuo, ZHANG Yadong, GUO Jin, et al. Generation method of test cases for automated testing of TCC[J]. Journal of Beijing Jiaotong University, 2020, 44(5): 49-54. doi: 10.11860/j.issn.1673-0291.20200052
    [7] LV J D, AHMAD E, TANG T. Non-deterministic delay behavior testing of Chinese train control system using UPPAAL-TRON[J]. IEEE Intelligent Transportation Systems Magazine, 2021, 13(3): 58-82. doi: 10.1109/MITS.2019.2953536
    [8] 魏柏全,吕继东,陈柯行,等. 基于TAIO变异的CTCS-3列控系统测试案例生成方法[J]. 西南交通大学学报,2020,55(5): 937-945,962. doi: 10.3969/j.issn.0258-2724.20180078

    WEI Baiquan, LÜ Jidong, CHEN Kexing, et al. Mutation timed automata with input and output-based method of generating test suites for Chinese train control system level 3[J]. Journal of Southwest Jiaotong University, 2020, 55(5): 937-945,962. doi: 10.3969/j.issn.0258-2724.20180078
    [9] LI C L, LI K C, TANG T, et al. Model-based generation of safety test-cases for Onboard systems[C]//2013 IEEE International Conference on Intelligent Rail Transportation Proceedings. Beijing: IEEE, 2013: 191-196.
    [10] 吕继东,朱晓琳,王海峰,等. 基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究[J]. 铁道学报,2016,38(1): 54-64. doi: 10.3969/j.issn.1001-8360.2016.01.009

    LV Jidong, ZHU Xiaolin, WANG Haifeng, et al. Online conformance testing of non-determinism time delay in high-speed train control system using UPPAAL-TRON[J]. Journal of the China Railway Society, 2016, 38(1): 54-64. doi: 10.3969/j.issn.1001-8360.2016.01.009
    [11] 曹雅鑫. 基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究[D]. 成都:西南交通大学,2017.
    [12] 郑伟,唐涛,吕继东,等. 基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究[J]. 铁道学报,2020,42(5): 72-83. doi: 10.3969/j.issn.1001-8360.2020.05.010

    ZHENG Wei, TANG Tao, LÜ Jidong, et al. Method of generating completeness test suit based on IECP for CTCS-3 train control TSM profile[J]. Journal of the China Railway Society, 2020, 42(5): 72-83. doi: 10.3969/j.issn.1001-8360.2020.05.010
    [13] LV J D, LU W L, WANG T, et al. The search-based mutation testing of the Chinese train control system level 3 on board a train control system[J]. IEEE Intelligent Transportation Systems Magazine, 2022, 14(5): 41-58. doi: 10.1109/MITS.2021.3069900
    [14] SUN Y J, LI K C, YUAN L, et al. Safety test case generation of train-ground transmission function for CTCS based on fault models[C]//2019 IEEE Intelligent Transportation Systems Conference (ITSC). Auckland: IEEE, 2019: 3355-3360.
    [15] 李耀,张晓霞,郭进,等. 高铁信号系统安全关键功能测试建模方法[J]. 西南交通大学学报,2022,57(1): 28-35,45. doi: 10.3969/j.issn.0258-2724.20200378

    LI Yao, ZHANG Xiaoxia, GUO Jin, et al. Testing modeling method for safety critical function of high-speed railway signal system[J]. Journal of Southwest Jiaotong University, 2022, 57(1): 28-35,45. doi: 10.3969/j.issn.0258-2724.20200378
    [16] 李耀,张晓霞,郭进,等. 铁路信号系统软件测试建模方法[J]. 西南交通大学学报,2022,57(2): 392-400,424. doi: 10.3969/j.issn.0258-2724.20200530

    LI Yao, ZHANG Xiaoxia, GUO Jin, et al. Modeling method for testing railway signal system software[J]. Journal of Southwest Jiaotong University, 2022, 57(2): 392-400,424. doi: 10.3969/j.issn.0258-2724.20200530
    [17] AMMANN P, OFFUTT J. Introduction to Software Testing[M]. New York: Cambridge University Press, 2017.
    [18] 吴彪. 基于EFSM的测试用例自动生成方法的研究[D]. 杭州:浙江理工大学,2016.
    [19] MIKK E, LAKHNECH Y, PETERSOHN C, et al. On formal semantics of statecharts as supported by STATEMATE[C]//Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. Ilkley: [s. n.], 1997: 1 -12.
    [20] 朱雪阳,唐稚松. Statecharts的组合语义与求精[J]. 软件学报,2006,17(4): 670-681. doi: 10.1360/jos170670

    ZHU Xueyang, TANG Zhisong. Compositional semantics and refinement of statecharts[J]. Journal of Software, 2006, 17(4): 670-681. doi: 10.1360/jos170670
    [21] SOLIMAN D, THRAMBOULIDIS K, FREY G. Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications[J]. Annual Reviews in Control, 2012, 36: 338-345. doi: 10.1016/j.arcontrol.2012.09.015
    [22] LI Y, ZHANG X X, ZHANG Y D, et al. Towards A test paths generation method for CTCS level transition[J]. MATEC Web of Conferences, 2020, 325: 1001-1005. doi: 10.1051/matecconf/202032501001
    [23] 李兰心,王海峰,齐志华,等. 基于SCADE模型的车载ATP测试用例生成方法[J]. 铁道学报,2020,42(9): 102-110. doi: 10.3969/j.issn.1001-8360.2020.09.013

    LI Lanxin, WANG Haifeng, QI Zhihua, et al. SCADE model-based method of test cases generation for onboard ATP system[J]. Journal of the China Railway Society, 2020, 42(9): 102-110. doi: 10.3969/j.issn.1001-8360.2020.09.013
    [24] 魏柏全. 基于TAIO变异分析的新型列控系统安全功能测试评价研究[D]. 北京:北京交通大学,2018.
  • 加载中
图(9) / 表(5)
计量
  • 文章访问数:  352
  • HTML全文浏览量:  86
  • PDF下载量:  75
  • 被引次数: 0
出版历程
  • 收稿日期:  2022-10-07
  • 修回日期:  2024-02-29
  • 网络出版日期:  2024-06-04
  • 刊出日期:  2024-03-23

目录

/

返回文章
返回