深度神经网络在高铁运行环境识别中的鲁棒性验证
作者:
作者单位:

同济大学 软件学院, 上海 201804

作者简介:

高 珍(1971—),女,副教授,工学博士,主要研究方向为自动驾驶技术和智能交通系统。 E-mail:gaozhen@tongji.edu.cn

通讯作者:

张苗苗(1979—),女,研究员,博士生导师,工学博士,主要研究方向为智能系统的模型学习和验证。 E-mail:miaomiao@tongji.edu.cn

中图分类号:

TP389.1

基金项目:

国家自然科学基金(61972284)


Robustness Verification of Deep Neural Networks on High-speed Rail Operating Environment Recognition
Author:
Affiliation:

School of Software Engineering, Tongji University, Shanghai 201804, China

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    改进了DeepTRE的实现,在保留DeepTRE验证能力的前提下大幅降低了DeepTRE的空间复杂度,以适应大规模数据集场景。在高铁运行环境识别场景中评估了改进后的DeepTRE,并与其他主流验证工具DLV和SafeCV对比。实验结果表明,改进后的DeepTRE工具的显存占用显著低于原DeepTRE工具,相较于其他神经网络验证工具,改进后的DeepTRE工具在具有较快验证速度的前提下拥有更优异的验证效果。

    Abstract:

    The implementation of DeepTRE was improved to adapt to large-scale dataset scenarios, which greatly reduces the space complexity of DeepTRE when retaining the excellent verification ability of DeepTRE. The improved DeepTRE was evaluated in the high-speed rail operating environment recognition scenarios and was compared with other mainstream verification tools, i.e.,DLV and SafeCV. The experimental results show that the memory usage of the improved DeepTRE tool is significantly lower than that of the original DeepTRE tool. Compared with other neural network verification tools, the improved DeepTRE tool has better verification effect on the premise of faster verification speed.

    参考文献
    相似文献
    引证文献
引用本文

高珍,苏宇,侯潇雪,方沛,张苗苗.深度神经网络在高铁运行环境识别中的鲁棒性验证[J].同济大学学报(自然科学版),2022,50(10):1405~1413

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2022-05-10
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2022-11-03
  • 出版日期: