王睿

基本信息

教育背景

2007-2014 北京交通大学，本科、硕士

2014-2018 法国图卢兹国立应用科学学院（INSA Toulouse），博士

2017-2018 法国国家科学研究中心系统分析与架构实验室（LAAS-CNRS），研究员

工作经历

研究方向

• 计算机软件理论
• 人工智能及应用
• 软件工程技术
• 计算机技术
• 网络与信息安全
• 人工智能
• 软件工程
• 大数据技术与工程

招生专业

• 计算机科学与技术硕士
• 软件工程硕士
• 计算机技术硕士
• 网络与信息安全硕士
• 人工智能硕士
• 大数据技术与工程硕士

科研项目

• 铁路总公司（原铁道部）: 铁路本质安全体系构建及运用实时策略研究, 2022-2024
• 国家自然科学基金“面上”: 高速列车紧追踪下防护信息感知与协同控制研究, 2023-2026
• 北京交通大学: 中欧班列国际联运大数据智能分析, 2022-2023
• 北京市自然基金“轨道交通联合”: 基于协同感知的车体故障特征融合与评估方法研究, 2021-2024
• 北京交通大学: 工业资产安全性测试与验证子系统测试, 2021-2021
• 北京交通大学: 基于冠脉CT的血流动力学分析软件测试, 2021-2021
• 北京交通大学: 工业互联网资源安全图谱分析系统第三方测试, 2020-2023
• 北京交通大学: 车载地震装置检测终端软件测试, 2020-2020
• 北京交通大学: 交通信号控制机系统(XHJ-CW-GA-MT1032)测试, 2020-2022
• 北京交通大学: 武汉铁路集团双预防智能分析安全信息系统验收测试, 2020-2022
• 国家重点研发计划-任务: 互联网+政务大数据透明管理与智能服务平台, 2019-2023
• 国家重点研发计划-课题: 基于AI的创新创业核心技术研究, 2019-2023
• 北京交通大学: 高速铁路地震预警监测系统具备信号触发功能的监控单元系统测试, 2019-2020
• 北京交通大学: 城市轨道交通地震预警紧急处置系统软件测试, 2019-2020
• 基于缺陷预测数据不确定性分析的软件可信度定量评估方法研究及验证
• 北京交通大学: 车载地震装置出入库检测设备软件测试, 2018-2018
• 国家重点研发计划: 信息安全认证认可关键技术研究与应用, 2016-2020

教学工作

• 《ADA编程语言》助教，2015秋季、春季学期（读博期间）
• 《铁路通信与控制基础》，2020，2021 春季学期
• 《铁路信息安全技术》，2020 秋季学期
• 《铁路信息技术专业实践》，2021 暑假小学期
  
• 《铁路智能感知技术》，2022 - 至今 春季学期
• 《计算机系统导论》，2024 春季学期

论文/期刊

>>【谷歌学术主页】<<

期刊论文

• Zhouxian Jiang; Honghui Li; Rui WangRui Wang ; Efficient Generation of Valid Test Inputs for Deep Neural Networks via Gradient Search, Journal of Software: Evolution and Process, 2023 (CCF B)
• Qiang Zhang; Fei Yan; Weina Song; Rui WangRui Wang; Gen Li ; Automatic Obstacle Detection Method for the Train Based on Deep Learning, Sustainability, 2023, 15(2): 1184
• Jiang Z.*, Li H., Zhang D., Wang R., Zhang J., Li X., Zhang M., Wang P., A Review of Software Reliability Testing Techniques, Journal of Computing and Information Technology, 2020, 28-3
• Wang, R., Guiochet, J.* and Motet, G. ; Safety case confidence propagation based on Dempster–Shafer theory, International Journal of Approximate Reasoning, 2019.4, 107: 46-64. (CCF B)
• Wang, R.*, Guiochet, J., Motet, G. and Schön, W., 2018. Modelling confidence in railway safety case. Safety science, 110, pp.286-299. (SCI 1区)
• Wang, R., Zheng, W.*, Liang, C. and Tang, T., 2016. An integrated hazard identification method based on the hierarchical Colored Petri Net. Safety science, 88, pp.166-179. (SCI 1区)
• Zheng, W.*, Liang, C., Wang, R. and Kong, W., 2014. Automated test approach based on all paths covered optimal algorithm and sequence priority selected algorithm. IEEE Transactions on Intelligent Transportation Systems, 15(6), pp.2551-2560. (SCI 1区）

会议论文

• Fang, Z., Wang, R., Huang, T., Jing, L.,2024, June. Strong Transferable Adversarial Attacks via Ensembled Asymptotically Normal Distribution Learning. In IEEE / CVF Computer Vision and Pattern Recognition Conference (CCF A, Accepted)
• Wang, R., Wang, M., Liang, C. and Jiang, Z., 2023, September. Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning. In International Conference on Computer Safety, Reliability, and Security (pp. 218-229). Cham: Springer Nature Switzerland.
• Liu, X., Li, H., Wang, R. and Jiang, Z., 2021, October. Important-unit Coverage for Recurrent Neural Network. In 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 245-249). IEEE.
• Wang, R., Guiochet, J. and Motet, G., 2017, September. Confidence assessment framework for safety arguments. In International Conference on Computer Safety, Reliability, and Security (SafeComp), (pp. 55-68). Springer, Cham. 
• Wang, R., Guiochet, J., Motet, G. and Schön, W., 2016, September. DS theory for argument confidence assessment. In International Conference on Belief Functions (pp. 190-200). Springer, Cham. MathSciNet
• Wang, R., Guiochet, J.* and Motet, G., 2016, September. A framework for assessing safety argumentation confidence. In International Workshop on Software Engineering for Resilient Systems (pp. 3-12). Springer, Cham.
  
• Wang, R., Zheng, W., Liang, C. and Motet, G., 2014. An Integrated Hazard Identification Method for Socio-technical Systems based on STPA. In GI-Jahrestagung (pp. 591-596).
• Wang, R. and Zheng, W., 2013, August. Research and application of the BFM-STAMP hazard analysis method.  2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT), (pp. 174-178).

专著/译著

专利

• 融合优化算法渐近正态性的高迁移对抗样本生成方法，申请号：2022110488849
  
• 一种基于证据推理的语义分割模型不确定性量化方法，授权号：113780292B
  
• 一种基于不确定性的智能系统测试数据生成方法，授权号：113780292B
• 一种基于瓶颈资源定位及参数调优的大数据服务系统性能测试方法，申请号：2021106923369
  
• 一种基于多分支事件树绘制的铁路货物传输系统评估方法，授权号：2014102121299
  

软件著作权

获奖与荣誉

社会兼职