删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

北京交通大学导师教师师资介绍简介-吕继东

本站小编 Free考研考试/2020-05-08

基本信息 办公电话: 电子邮件: jdlv@bjtu.edu.cn
通讯地址:科技大厦7层715 邮编:100044

教育背景 2000/09– 2004/06, 北京交通大学, 学士, 自动化.
2004/09– 2011/07, 北京交通大学, 博士, 交通信息工程及控制.
工作经历 2016/01-今, 轨道交通运行控制系统国家工程研究中心, 副教授. 博导
2011/07-2015/12,轨道交通运行控制系统国家工程研究中心, 讲师.
2014.11-2015.11伯明翰铁路研究与教育中心. 访问。
研究方向 轨道交通自动化与控制
控制工程(专业学位)
招生专业 交通信息工程及控制硕士
控制工程硕士
交通信息工程及控制博士
科研项目 北京市自然基金“轨道交通联合”: 基于深度强化学习和边缘计算的全自动无人驾驶列车智能控制方法研究, 2020-2022
北京市教委: 科研基地-城市轨道交通北京实验室-基于车-车通信的新型列控系统的深化研究, 2019-2020
红果园省部级"企事业": 测控技术创新平台, 2019-2020
铁路总公司(原铁道部): 基于海南东环CTCS-2叠加CBTC实现高速铁路能力提升的方案研究, 2019-2020
科技部“973”: 安全攸关软件系统的构造与质量保障方法研究, 2013-2018
其它部市: 基于CTCS2&CBTC列控系统改造升级方案研究, 2018-2020
基本科研业务费研究生创新项目: 基于时间自动机的列控车载设备建模与故障诊断方法研究, 2019-2021
基本科研业务费自由申报项目: 以车为核心的列控系统运行时行为危险控制方法研究, 2019-2022
基本科研业务费自由申报项目: 面向联锁系统的测试案例自动构建方法研究, 2019-2022
基本科研业务费自由申报项目: 城轨GoA4级列控系统仿真与测试基础理论与关键技术研究, 2019-2021
北京交通大学: ATS压力测试及现场技术服务, 2019-2019
铁路总公司(原铁道部): 面向联锁仿真试验的测试案例自动化构建技术研究, 2018-2020
北京市教委: 科研项目-北京实验室-城市轨道交通北京实验室-下一代列控系统仿真平台搭建, 2018-2018
国家重点研发计划: 车载中心化的动态间隔控制及测试验证技术研究, 2018-2021
北京交通大学: 城轨CBTC系统测试模型及案例研究与开发, 2017-2020
铁路总公司(原铁道部): 通信信号安全保障技术研究——自主化列控系统安全功能测试技术研究, 2017-2021
铁路总公司(原铁道部): 转预研基金--铁路通信信号设备运维与保障技术研究-铁路信号系统综合运维关键技术与应用研究, 2017-2021
基本科研业务费: 下一代列控系统研究, 2017-2019
基本科研业务费: 基于DSL的新型列控系统建模方法研究, 2017-2018
北京市教委: 科研项目-北京实验室-具有可持续性发展、开放性研究的全系统全自动无人驾驶平台搭建与改造, 2017-2017
铁路总公司(原铁道部): 铁路列控关键技术深化研究——列控系统安全防护理念及前沿技术发展趋势研究, 2014-2016
基本科研业务费: 安全驱动的高速铁路下一代列控系统可信性保障方法研究, 2016-2019
北京交通大学: 新疆铁道职业技术学院实训设备技术开发, 2016-2018
铁路总公司(原铁道部): 铁路列控系统关键技术深化研究——下一代列控系统关键技术研究, 2016-2019
国家自然科学基金“重点”: 高速铁路信号系统失效机理及风险控制研究, 2016-2019
北京市教委: 基于车-车通信的CBTC系统关键技术研究, 2016-2016
北京市教委: 科学研究与研究生培养共建项目-科研项目-北京实验室-下一代列控系统关键技术研究及样机研制, 2016-2016
基本科研业务费: CBTC车载系统功能安全保证方法研究, 2016-2017
国家自然科学基金“重点”: 高速铁路信号系统安全评估基础理论与方法研究, 2015-2018
2011计划: 轨道交通安全协同创新中心-唐涛(负责人)团队建设项目, 2015-2016
基本科研业务费: 基于变异模型的列控系统测试案例生成方法研究, 2015-2016
基本科研业务费: 基于形式化模型的CBTC系统数据安全处理及验证方法研究, 2015-2017
国家自然科学基金“面上”: 本质特征驱动的高铁列控系统安全逻辑建模理论与方法, 2015-2018
铁路总公司(原铁道部): 铁路列控关键技术深化研究-铁路信号系统安全计算机平台化及智能化技术研究, 2014-2016
铁路总公司(原铁道部): 铁路通信信号设备运维与保障技术研究-铁路信号系统综合运维关键技术与应用研究, 2014-2016
北京交通大学: 重载铁路移动闭塞关键技术及装备研究, 2014-2020
北京交通大学: CBTC系统测试场景案例研究与开发, 2014-2015
基本科研业务费: 一种基于形式化模型的一致性测试方法及其在高速铁路列控系统安全功能测试中的应用, 2014-2015
国家自然科学基金"青年基金": 基于模型的列控系统功能一致性测试研究, 2014-2016
北京交通大学: CTCS3-300H型ATP车载设备与CRH380C动车组型式接口试验及互联互通试验——接口试验, 2012-2014
北京交通大学: 轨道交通自动化研究所, 2013-2017
铁路总公司(原铁道部): 列控系统优化技术研究 , 2012-2014
北京市教委: 城市轨道交通北京实验室, 2012-2013
铁路总公司(原铁道部): 铁路信号风险管理技术研究-铁路信号系统安全与风险关键技术研究, 2012-2014
北京交通大学: CTCS3-300T型ATP在郑西客专线的互联互通(车载部分)试验, 2012-2013
北京交通大学: CTCS3-300T型ATP与CRH380B型动车组接口型式试验 , 2012-2013
科技部“863”: 高速铁路信号系统安全认证和评估技术研究, 2012-2014
基本科研业务费: 轨道交通列车运行控制系统安全评估体系与方法研究, 2012-2014
基本科研业务费: 高速铁路列控系统形式化设计与验证方法的研究, 2012-2013
国家重点实验室: 高速铁路列车运行控制系统分层形式化建模与验证方法的研究, 2012-2014
铁路总公司(原铁道部): 深化列控系统设备测试评估技术研究, 2011-2012
北京交大创新科技中心(暂停立项): 轨道交通运行控制系统国家工程研究中心平台建设项目专用设备研发, 2011-2012

教学工作 《城轨车站信号控制》
《高级程序设计与训练》
《VC程序设计》
《铁道信号基础》
论文/期刊
1. LuJidong, Tang tao, et,al. UPPAAL-based Simulation and Verification of CBTCZone Control Subsystem in Rail Transportation[J]. JOURNAL OF THE CHINA RAILWAYSOCIETY. 2009.
2. LuJidong, Tang tao, et,al. Modeling and Verification of Radio Block Center ofCTCS-3 Train Control System for Dedicated Passengers Lines[J]. JOURNAL OF THECHINA RAILWAY SOCIETY. 2010.
3. LuJidong, Tang tao, et,al. Modeling and Verification of Time Constraints ofOperation Scenarios of High-speed Train Control System[J]. JOURNAL OF THE CHINARAILWAY SOCIETY. 2011.
4. Lujidong, Li Kaicheng, Tang Tao and Yuan Lei. Formal modeling andverification method for high speed train control system based on hybridcommunicatiing sequential process. JOURNAL OF THE CHINA RAILWAY SCIENCE, 3(5):91-97. 2012
5. Liu Zhongtian, Lu jidong, Sun weiliang. Formal modeling and checking of proceduremessage exchange between train-ground CTCS level 3. JOURNAL OF BEIJING JIAOTONGUNIVERSITY . 35(2): 77-80. 2011
6. Kang Renwei, Wang Junfeng, Lu jidong. UPPAAL-based modeling andverification of level transition process of high-speed railway train controlsystem. JOURNAL OF BEIJING JIAOTONG UNIVERSITY . 36(6): 64-68. 2012.
7. Chen Lijie, Tang Tao, Lu jidong. Analysis on the Interruption Time for CBTC Handover.JOURNAL OF THE CHINA RAILWAY SCIENCE, 31(5): 126-128. 2010
8. Guo Zhiliang, Gao chunhai, Ma lianchuan, Lu jidong. Formal Verification ofSafety Computer Platform Based on Timed Automata Model. JOURNAL OF THE CHINARAILWAY SOCIETY. 33(6): 68-73.2011.
9. JidongLu, Tao Tang. Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3Using UPPAAL. CSIE 2009.
10. JidongLu, Kaicheng Li, Tao Tang, Chenling Li, Guodong Wei and WeihuiZhao.Model-Based Test Cases Generation for Onboard System. In Proc.ISADS, pp:276-281. 2013.
11. J.Lu,K. Li, T. Tang & L.Chen. HCSP formal modeling and verification method andits application in the hybrid characteristics of a high speed train controlsystem. In Proc. COMPRAIL2012, 2012.09.11-13, pp.12-25,New Forest, UK, 2012.
12. Jiang Liu, Jidong Lu, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou,Liang Zou: A Calculus for Hybrid CSP. APLAS 2010.
13. Liang Zou, Jidong Lu, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, and YuLiu. Verifying Chinese Train Control System Under a Combined Scenario byTheorem Proving. VSTTE 2013.
14. JidongLu,Tao Tang,Kai Cheng Li,PengchengRen,Lei Chen, Model-Based Test CaseGeneration for Function Testing of CTCS-3 onboard subsystem, InternationalJournal of Control and Automation,2015.8.10,8(10):171~178
15. AHMAD Ehsan,DONGYunWei,LARSON Brian,Jidong Lu,TANG Tao,NaijunZhan*, Behavior modeling and verification of movement authority scenario ofchinese train control system using aadl. Science China Information Sciences,2015.11.5, 58(11):1~20.
16. JidongLu*,Tang Tao,Haifeng Wang,HongjieLiu,Lu Zhang, A Model-based Test CaseGeneration Method for Function Testing of Train Control Systems,The 2016 IEEEInternational Conference on Intelligent Rail Transportation, in the UK at theEdgbaston Campus of the University of Birmingham,2016.08.23-2016.08.25.
17. Han Xiao*,TangTao,Jidong Lu,Haifeng Wang. Failure Analysis of Chinese TrainControl System Level 3 Based on Model Checking, International ConferenceReliability, Safety and Security of Railway Systems: Modelling, Analysis, Verificationand Certification, Maisonde la RATP,Paris, 2016.06.28-2016.06.30.
18. Chai Ming*,Jidong Lu,Hongjie Liu,LuZhang, Towards Safety Monitoring of ETCS Level 2 with Parametrized ExtendedLive Sequence Charts, The 2016 IEEE International Conference on IntelligentRail Transportation, in the UK at the Edgbaston Campus of the University ofBirmingham, 2016.08.23-2016.08.25.
19. Qingpeng Gan*,KaichengLi,Jidong Lu,Lei Yuan,TaoWen, Detecting Preceding Vehicles Using 4-Dimensional Mapping of Colors in Image,ITSC 2015, Spanish, 2015.9.15-2015.9.18.
20. Lu Jidong*, Ehsan Ahmad, Tao Tang.Non-deterministic Delay Behavior Testing of Chinese Train Control System using UPPAAL-TRON. IEEE INTELLIGENT TRANSPORTATION SYSTEM MAGZINE. 2019 SCI.
21.刘宏杰,唐涛,吕继东,柴铭.A Dual-Objective Substation Energy Consumption Optimization Problem in Subway Systems.Energies,2019,10(12)
22. 王拓,吕继东,魏柏全,唐涛,上官伟.Test Suite Generation for CTCS-3 Train Control System Based On TAIO and Mutation Theory.International Conference on Intelligent Transportation Systems (ITSC),2018
23. 郑伟,户卓琳,唐涛,吕继东,上官伟.Complete Test Suite for the CTCS-3 Target Speed Monitor Based on IECP Test Theory.International Conference on Intelligent Transportation Systems (ITSC),2018
24. 张勇,王海峰,Yuan,吕继东,徐田华.Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment.IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS,2018,2(2018)
25. 吕继东,唐涛,王海峰,刘宏杰,张路.A Model-based Test Case Generation Method for Function Testing of Train Control Systems.ICIRT2016,2016
26. 刘宏杰,王海峰,李开成,吕继东.一种新型列控系统方案探讨.铁道通信信号,2016,10(52)
27. 柴铭,吕继东,刘宏杰,张路.Towards Safety Monitoring of ETCS Level 2 with Parametrized Extended Live Sequence Charts.2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT),2016
28. 吕继东,朱晓琳,李开成,唐涛,王海峰.基于模型的CTCS-3级列控系统 测试案例自动生成方法.西南交通大学学报,2015,5(50)


专著/译著 列车运行控制系统安全评估方法,2018,中国铁道出版社
列车运行控制系统安全评估方法,2019,中国铁道出版社
基于模型的列车运行控制系统设计与验证方法,2014,中国铁道出版社

专利 宁滨吕继东;李开成;王海峰;刘宏杰;柴铭;张路(外).适合于车-车通信的列控系统联锁进路防护设计方法.20**
软件著作权
获奖与荣誉 [1]中国铁道学会一等奖(排名18),2015,CTCS-3级列控系统互联互通测试验证关键技术及应用。
社会兼职 IRSEmember, ICIRT member, IEEE member



相关话题/北京交通大学

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 北京交通大学导师教师师资介绍简介-上官伟
    基本信息办公电话:电子邮件:wshg@bjtu.edu.cn通讯地址:北京市海淀区上园村3号北京交通大学电子信息工程学院运输自动化科研所邮编:100044教育背景2004/092008/03,哈尔滨工程大学,导航、制导与控制专业,博士2002/092005/03,哈尔滨工程大学,控制理论与控制工程专业,硕士1998/092002/06,哈尔滨工程大学,电机电器及其控制专业,学士工作经历2016年1 ...
    本站小编 Free考研考试 2020-05-08
  • 北京交通大学导师教师师资介绍简介-刘中田
    基本信息办公电话:电子邮件:liuzht@bjtu.edu.cn通讯地址:北京市海淀区上园村3号北京交通大学电子信息工程学院邮编:100044教育背景2001.9—2006.7中科院自动化研究所模式识别国家重点实验室,模式识别与智能系统专业,获工学博士学位;1997.9—2001.7北京交通大学,自动控制专业,获学士学位。工作经历2006年7月至今,在北京交通大学电子信息工程学院工作,主要从事轨道 ...
    本站小编 Free考研考试 2020-05-08
  • 北京交通大学导师教师师资介绍简介-刘泽
    基本信息办公电话:(Lab)电子邮件:zliu@bjtu.edu.cn通讯地址:北京市海淀区北京交通大学知行大厦407邮编:100044教育背景2008.12008.12英国曼彻斯特大学博士后1998.92002.4天津大学博士生检测技术与自动化专业工作经历2019至今先进控制系统研究所(http://iacs.bjtu.edu.cn)所长2018先进控制系统研究所副所长2017至今校学术委员会委 ...
    本站小编 Free考研考试 2020-05-08
  • 北京交通大学导师教师师资介绍简介-王海峰
    基本信息办公电话:电子邮件:hfwang@bjtu.edu.cn通讯地址:北京市海淀区上园村3号邮编:100044教育背景2002年,工学博士学位,北方交通大学。工作经历工作经历:2010/10–今,北京交通大学,电子信息工程学院/轨道交通运行控制系统国家工程研究中心,副教授,教授2001/12–2010/10,北京交通大学,电子信息工程学院,讲师,副教授1997/07–2001/11,北京交通大 ...
    本站小编 Free考研考试 2020-05-08
  • 北京交通大学导师教师师资介绍简介-唐涛
    基本信息办公电话:**电子邮件:ttang@bjtu.edu.cn通讯地址:北京市海淀区上园村3号北京交通大学轨道交通控制与安全国家重点实验室邮编:100044教育背景1984年毕业于北京理工大学自动控制系,获工学学士学位;1987年毕业于北京理工大学自动控制系,获工学硕士学位;1991年毕业于中科院自动化研究所,获工学博士学位;工作经历1991年4月北方交通大学通控系,讲师;1994年12月北方 ...
    本站小编 Free考研考试 2020-05-08
  • 北京交通大学导师教师师资介绍简介-王俊峰
    基本信息办公电话:**电子邮件:jfwang@bjtu.edu.cn通讯地址:邮编:100044教育背景工作经历研究方向轨道交通自动化与控制智能交通系统的信息与控制技术控制工程(专业学位)招生专业交通信息工程及控制硕士控制工程硕士交通信息工程及控制博士科研项目国家自然科学基金“面上”:高铁信号系统级“故障安全”理论与方法,2014010120171231,78.0万元,主持国家重点实验室:高铁信号 ...
    本站小编 Free考研考试 2020-05-08
  • 北京交通大学导师教师师资介绍简介-王剑
    基本信息办公电话:**电子邮件:wangj@bjtu.edu.cn通讯地址:北京交通大学电信学院邮编:100044教育背景2000,2003,2007于北京交通大学获工学学士、硕士、博士学位2007至今,北京交通大学电信学院教师2011.22011.8,美国明尼苏达大学访问工作经历研究方向轨道交通自动化与控制控制工程(专业学位)智能交通系统的信息与控制技术招生专业交通信息工程及控制硕士控制工程硕士 ...
    本站小编 Free考研考试 2020-05-08
  • 北京交通大学导师教师师资介绍简介-徐洪泽
    基本信息办公电话:电子邮件:hzxu@bjtu.edu.cn通讯地址:北京交通大学电信学院邮编:100044教育背景1991—1997,哈尔滨工业大学,硕士、博士研究生;1985—1989,阜新矿业学院,本科生;工作经历1997—今,北京交通大学电信学院讲师、副教授、教授;1989—1991,内蒙古扎赉诺尔矿务局机电专业技术员;研究方向控制工程(专业学位)轨道交通自动化与控制控制理论与控制工程电子 ...
    本站小编 Free考研考试 2020-05-08
  • 北京交通大学导师教师师资介绍简介-王忠立
    基本信息办公电话:电子邮件:zlwang@bjtu.edu.cn通讯地址:北京市海淀区西直门外上园村3号邮编:100044教育背景2001/03-2003/05,北京理工大学,计算机应用博士后流动站,博士后;1997/09-2000/07,哈尔滨工业大学,机械电子与自动化,工学博士,蔡鹤皋院士;1992/09-1995/05,哈尔滨工业大学,焊接自动化系,工学硕士,崔维达教授;1988/09-19 ...
    本站小编 Free考研考试 2020-05-08
  • 北京交通大学导师教师师资介绍简介-杨世武
    基本信息办公电话:电子邮件:ysw@bjtu.edu.cn通讯地址:邮编:100044教育背景1986.9~1990.7北方交通大学交通信号与控制学士1990.9~1993.3北方交通大学运输自动化与通信硕士2005.7.交通信息工程及控制博士工作经历1993.~1995.北方交通大学通控系助教1995.~2000.助理研究员2001~现在.北京交通大学电子学院副教授硕导;教授博导研究方向轨道交通 ...
    本站小编 Free考研考试 2020-05-08