王恪铭

副教授

硕士生导师

职务:Associate Professor

学历:博士研究生毕业

学位:工学博士学位

办公地点:西南交通大学 系统可信性自动验证国家地方联合工程实验室 九里校区信息楼10楼 01020室 犀浦校区3号楼6楼 30615室 Room 01020, 10 / F, Information Building, Jiuli Campus Room 30615, 6 / F, 3# Building, Xipu Campus Southwest Jiaotong University

性别:男

在职信息:在岗

所在单位:计算机与人工智能学院

保守你的心,胜过保守一切! Guard your heart with all vigilance, for from it are the sources of life.

其他联系方式:

通讯/办公地址:

邮箱:

研究发表/Publishments

The new publications are also at:     Google  Scholar     Researchgate


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.

·       Cheng P, Wang K M. Using B and ProB for a Real-World Data Validation Project. ISKE2021, Chengdu, China.

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

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.

·       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.

·       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.

2019

·       王恪铭,王峥基于形式化方法的道口控制规范建模与验证西南交通大学学报,2019, 54 (3)573-578,   603.

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

·       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.

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-16th,   Oct, Shanghai.

·       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.

·       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.

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

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

·       LinuxScacel PLC程序可信性自动验证系统,编号:2016SR203015, 2016.05.

 


报考该导师研究生的方式

欢迎你报考王恪铭老师的研究生,报考有以下方式:

1、参加西南交通大学暑期夏令营活动,提交导师意向时,选择王恪铭老师,你的所有申请信息将发送给王恪铭老师,老师看到后将和你取得联系,点击此处参加夏令营活动

2、如果你能获得所在学校的推免生资格,欢迎通过推免方式申请王恪铭老师研究生,可以通过系统的推免生预报名系统提交申请,并选择意向导师为王恪铭老师,老师看到信息后将和你取得联系,点击此处推免生预报名

3、参加全国硕士研究生统一招生考试报考王恪铭老师招收的专业和方向,进入复试后提交导师意向时选择王恪铭老师。

4、如果你有兴趣攻读王恪铭老师博士研究生,可以通过申请考核或者统一招考等方式报考该导师博士研究生。

点击关闭