人物經歷
教育背景
2000/09 – 2004/06,
北京交通大學, 學士, 自動化.
2004/09 – 2011/07, 北京交通大學, 博士, 交通信息工程及控制.
工作經歷
2011/07-2015/12, 軌道交通運行控制系統國家工程研究中心, 講師.
2014.11-2015.11 伯明罕鐵路研究與教育中心. 訪問學者。
研究方向
學術成果
科研項目
北京市教委: 科研基地-城市軌道交通北京實驗室-基於車-車通信的新型列控系統的深化研究, 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
期刊論文
1. Lu Jidong, Tang tao, et,al. UPPAAL-based Simulation and Verification of CBTC Zone Control Subsystem in Rail Transportation[J]. JOURNAL OF THE CHINA RAILWAY SOCIETY. 2009.
2.Lu Jidong, Tang tao, et,al. Modeling and Verification of Radio Block Center of CTCS-3 Train Control System for Dedicated Passengers Lines[J]. JOURNAL OF THE CHINA RAILWAY SOCIETY. 2010.
3.Lu Jidong, Tang tao, et,al. Modeling and Verification of Time Constraints of Operation Scenarios of High-speed Train Control System[J]. JOURNAL OF THE CHINA RAILWAY SOCIETY. 2011.
4.Lu jidong, Li Kaicheng, Tang Tao and Yuan Lei. Formal modeling and verification method for high speed train control system based on hybrid communicatiing 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 procedure message exchange between train-ground CTCS level 3. JOURNAL OF BEIJING JIAOTONG UNIVERSITY . 35(2): 77-80. 2011
6. Kang Renwei, Wang Junfeng,Lu jidong. UPPAAL-based modeling and verification of level transition process of high-speed railway train control system. 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 of Safety Computer Platform Based on Timed Automata Model. JOURNAL OF THE CHINA RAILWAY SOCIETY. 33(6): 68-73.2011.
9.Jidong Lu, Tao Tang. Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL. CSIE 2009.
10.Jidong Lu, Kaicheng Li, Tao Tang, Chenling Li, Guodong Wei and Weihui Zhao.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 and its application in the hybrid characteristics of a high speed train control system. 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 Yu Liu. Verifying Chinese Train Control System Under a Combined Scenario by Theorem Proving. VSTTE 2013.
14.Jidong Lu,Tao Tang,Kai Cheng Li,Pengcheng Ren,Lei Chen, Model-Based Test Case Generation for Function Testing of CTCS-3 onboard subsystem, International Journal of Control and Automation,2015.8.10,8(10):171~178
15. AHMAD Ehsan,DONG YunWei,LARSON Brian,Jidong Lu,TANG Tao,Naijun Zhan*, Behavior modeling and verification of movement authority scenario of chinese train control system using aadl. Science China Information Sciences, 2015.11.5, 58(11):1~20.
16.Jidong Lu*,Tang Tao,Haifeng Wang,Hongjie Liu,Lu Zhang, A Model-based Test Case Generation Method for Function Testing of Train Control Systems,The 2016 IEEE International Conference on Intelligent Rail Transportation, in the UK at the Edgbaston Campus of the University of Birmingham,2016.08.23-2016.08.25.
17. Han Xiao*,Tang Tao,Jidong Lu,Haifeng Wang. Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking, International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, Maisonde la RATP,Paris, 2016.06.28-2016.06.30.
18. Chai Ming*,Jidong Lu,Hongjie Liu,Lu Zhang, Towards Safety Monitoring of ETCS Level 2 with Parametrized Extended Live Sequence Charts, The 2016 IEEE International Conference on Intelligent Rail Transportation, in the UK at the Edgbaston Campus of the University of Birmingham, 2016.08.23-2016.08.25.
19. Qingpeng Gan*,Kaicheng Li,Jidong Lu,Lei Yuan,Tao Wen, 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,中國鐵道出版社
專利
寧濱呂繼東;李開成;王海峰;劉宏傑;柴銘;張路(外).適合於車-車通信的列控系統聯鎖進路防護設計方法.2017100507842
榮譽獎項
[1]
中國鐵道學會一等獎(排名18),2015,CTCS-3級列控系統互聯互通測試驗證關鍵技術及套用。
主要貢獻
IRSE member, ICIRT member, IEEE member