The new publications are also at:     Google  Scholar     Researchgate

2023年下半年录用中文核心论文2篇，在投英文长文论文4篇。

2023 (截止2023.7月的发表&录用情况)

·     Wang, X., Xu, Y., Wang, K., Liu, J. and Wu, G., 2023. Formal modeling of mobile agent control system in uncertain environment. In Machine Learning, Multi Agent and Cyber Physical Systems: Proceedings of the 15th International FLINS Conference (FLINS 2022) (pp. 228-235)

·    王霞, 王恪铭, 徐扬, 唐伟健. 基于形式化方法的平交道口控制系统安全设计[J]. 西南交通大学学报, 2023, 58(1): 109-116. doi: 10.3969/j.issn.0258-2724.20210656

·    张丁荣, 王恪铭, 冯心妍. 基于知识图谱和故障树的高速铁路事故致因分析[J]. 铁路计算机应用, 2023, 32(7): 14-18. doi: 10.3969/j.issn.1005-8451.2023.07.03

·    Wang Z, Wang K. M. Design of International Railway Logistics Management System Based on MDA and Smart Contract[C]. 2023 8th International Conference on Information Science, Computer Technology and Transportation, Xiamen, China. IEEE, 2023.

·    Wang, X., Xu, Y., Wang, K., Liu, J, Wang, K.. Reliability Analysis of Mobile Agent Control System with Multiple Alternative Plans. Soft Computing.

2022

·     Wang, K.M., Wang, X., Wang, Z., Wu, G.F., Xu, Y., 2022. Logical consistency verification of state sensing in safety-critical decision: A case study of train routing selection. IET Intelligent Transport Systems, 2022, 16(8): 1042-1057. https://doi.org/10.1049/itr2.12194

·    刘宁, 韩程, 王峥, 侯锡立, & 王恪铭. (2022). 基于B方法的道岔控制系统形式化建模与验证. 铁路通信信号工程技术, 19(6), 5-11. [PDF] from crscd.com.cn 

·    程鹏, 王恪铭, 王峥, 姚文华, & 韩程. (2022). 基于B方法的轨道交通控制系统配置数据的形式化验证. 铁路通信信号工程技术, 19(5), 7-16. [PDF] from crscd.com.cn

2021

·     Tang W J, Wang K M. Automatic Generation Technology of Test Cases of Multi-Agent Systems Based on Model Checking. ISKE2021, Chengdu, China. https://ieeexplore.ieee.org/abstract/document/9755390/

· Cheng P, Wang K M. Applying B and ProB for a Real-World Data Validation Project. ISKE2021, Chengdu, China. https://ieeexplore.ieee.org/abstract/document/9755408/

·     王恪铭, 王霞, 程鹏, 刘宁, 张传东. 车站联锁系统行为验证与数据确认的形式化方法. 西南交通大学学报, 2021, 56(3): 587-593,610.  https://xnjdxb.swjtu.edu.cn/cn/article/doi/10.3969/j.issn.0258-2724.20191182

2020

·       Wang K M, Wang X, Wu G F, Xu Y. Consistency Verication of Safety-Critical Decision on Routing Operation of the Train. FLINS2020/ISKE2020, Cologne, Germany. https://www.worldscientific.com/doi/10.1142/9789811223334_0005

·       Liu N, Wang K M, Hou X L, Wang X, Cheng P. Application exploration of B Method in the development of safety-critical control systems, COMPRAIL 2020. https://www.witpress.com/Secure/elibrary/papers/CR20/CR20026FU1.pdf

·    Cheng P, Wang K M, Hou X L, Ling N, Wang Z. Developing the tram control system based on Simulink/Stateflow and B method, COMPRAIL 2020. https://www.witpress.com/Secure/elibrary/papers/CR20/CR20029FU1.pdf

2019

·  王恪铭，王峥. 基于形式化方法的道口控制规范建模与验证. 西南交通大学学报，2019, 54 (3)：573-578,   603.  https://xnjdxb.swjtu.edu.cn/cn/article/doi/10.3969/j.issn.0258-2724.20180607

·   王霞,  刘宁, 王恪铭. 道口管理系统多参数的形式化建模与验证. 综合运输, 2019, 41(02):   65-72. http://www.cnki.com.cn/Article/CJFDTotal-YSZH201902013.htm

·         Ma, Z J., Wang, K M. & Dai, Y. An Emergency   Blood Allocation Approach Considering Blood Group Compatibility in Disaster   Relief Operations. Int J Disaster Risk Sci, 2019,10 (1):   74-88. https://link.springer.com/article/10.1007/s13753-018-0212-7

2018

·    Keming Wang and Zheng Wang.   Robustness Verification of Railway Level Crossing Control System by Formal   Method, the 12th International Conference on   Reliability Maintainability and Safety (ICRMS’2018), 14-16^th,   Oct, Shanghai. https://ieeexplore.ieee.org/document/8718877

·  Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler, Tomas   Fischer, Rupert Schlick and Keming Wang. Behaviour-Driven Formal Model   Development. In: Sun J., Sun M. (eds)   Formal Methods and Software Engineering. ICFEM 2018. Lecture Notes in Computer   Science, vol 11232. Springer, Cham. https://link.springer.com/chapter/10.1007/978-3-030-02450-5_2

·       Keming Wang, Zheng Wang, Chuandong   Zhang. Formal Modeling and Data Validation of General Railway Interlocking   System, 16th International Conference   on Railway Engineering Design & Operation, Lisbon, Portugal, July,   2018. https://www.witpress.com/Secure/elibrary/papers/CR18/CR18047FU1.pdf

·   张强锋, 王恪铭, 倪少权, 吕红霞. 基于网络连接及服务中心选择的高铁路网区域划分方法.    中国铁道科学, 2018,   39(4): 123-130. http://www.cnki.com.cn/Article/CJFDTotal-ZGTK201804019.htm

Previous papers  (Selected)

·       Keming   Wang, Zujun Ma. 2015. Age-based   policy for blood transshipment during blood shortage. Transportation Research Part E: Logistics   and Transportation Review, 2015, 80: 166-183.  [PDF]

·       王恪铭,    马祖军,    周愉峰.    水平穿越理论在库存控制研究中的应用.    控制工程,    2015, 22(6): 1235-1241.

·       王恪铭,    马祖军.    应急血液多阶段调剂优化.    系统工程理论与实践.    2014, 34(7): 1687-1695. [PDF].

·       王恪铭,    马祖军,    周愉峰.    应急救援中积压血液的转运问题.    系统工程,    2013, 31(4): 109-115.

·       王恪铭,    马祖军,    周愉峰.    突发事件应急血液调剂问题的两阶段决策方法.    交通运输系统工程与信息,    2013, 13(1): 169-178.

·       王恪铭,    马祖军,    郑斌.    灾后重建地区新增血站的选址问题研究.    运筹与管理,    2012, 21(1): 136-141.

·       周愉峰,    马祖军,    王恪铭.    应急物资储备库的可靠性P中位选址模型.    管理评论,    2015, 27(5): 198-208.

·       王恪铭,    薛维清,许鹏.    中国高铁联调联试与运行试验现状分析.    城市轨道交通研究.    2013, 10: 11-14, 17.

·       王飞(曾用名),    靳桅,    邬芝权.    LED大屏幕输出电路的优化设计.    液晶与显示,    2008, 23(1): 102-105. [PDF]

·       王飞,    靳桅,    邬芝权.    基于SPI的提高数据输出速度的优化分析.    单片机与嵌入式系统应用,    2007, 12: 30-32.

Books

·       马祖军,    代颖,    王恪铭.    非常规突发事件应急血液保障理论与方法.    北京:    科学出版社,    17万字,    2015.12.

Patents or Software  copyrights

·       Linux版Scacel PLC程序可信性自动验证系统，编号：2016SR203015, 2016.05.