Volgen
KeMing Wang, 王恪铭, Used name: F Wang, 王飞
KeMing Wang, 王恪铭, Used name: F Wang, 王飞
Associate professor, Southwest Jiaotong University
Geverifieerd e-mailadres voor swjtu.edu.cn - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Age-based policy for blood transshipment during blood shortage
KM Wang, ZJ Ma
Transportation Research Part E: Logistics and Transportation Review 80, 166-183, 2015
602015
An emergency blood allocation approach considering blood group compatibility in disaster relief operations
ZJ Ma, KM Wang, Y Dai
International Journal of Disaster Risk Science 10, 74-88, 2019
322019
LED 大屏幕输出电路的优化设计
王飞, 靳桅, 邬芝权
液晶与显示 23 (1), 102-105, 2008
272008
Behaviour-driven formal model development
C Snook, TS Hoang, D Dghyam, M Butler, T Fischer, R Schlick, K Wang
Formal Methods and Software Engineering: 20th International Conference on …, 2018
132018
应急物资储备库的可靠性 P-中位选址模型
周愉峰, 马祖军, 王恪铭
管理评论 27 (5), 198, 2015
112015
Formal modeling and data validation of general railway interlocking system
W Keming, W Zheng, Z Chuandong
WIT Transactions on The Built Environment 181, 527-538, 2018
72018
Traffic assignment model based on cumulative prospect theory for stochastic road network with heterogeneous users
B Lü, H Liu, Y Pu, K Wang, Q Guo
Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University 50 (1 …, 2015
72015
Age-Based Transshipment Strategy for Overstock Blood in Emergency Relief
K Wang, Z Ma, Y Zhou
Advances in Information Sciences and Service Sciences 4 (18), 633-642, 2012
62012
A Two phase Decision making Approach for Emergency Blood Transferring Problem in Public Emergencies
W Ke-ming, MA Zu-jun, Z Yu-feng
Journal of Transportation Systems Engineering and Information Technology 13 …, 2013
52013
Robustness verification of railway level crossing control system by formal method
K Wang, Z Wang
2018 12th International Conference on Reliability, Maintainability, and …, 2018
42018
有容量限制的可靠性固定费用选址问题
周愉峰, 马祖军, 王恪铭
运筹与管理 24 (3), 6-13, 2015
42015
Optimization of multi-stage emergency blood transferring
W Ke-ming, MA Zu-jun
Systems Engineering—Theory & Practice 34 (7), 7, 2014
42014
突发事件应急血液调剂问题的两阶段决策方法
王恪铭, 马祖军, 周愉峰
交通运输系统工程与信息 13 (1), 169, 2013
42013
灾后重建地区新增血站的选址问题研究
王恪铭, 马祖军, 郑斌
运筹与管理 21 (1), 136-141, 2012
42012
车站联锁系统行为验证与数据确认的形式化方法
王恪铭, 王霞, 程鹏, 刘宁, 张传东
西南交通大学学报 56 (3), 587-593, 2021
32021
基于累积前景理论的随机异质道路网配流模型
吕彪, 刘海旭, 蒲云, 王恪铭, 郭茜
西南交通大学学报 50 (1), 173-182, 2015
32015
Automatic generation of test cases of multi-agent systems based on model checking
W Tang, K Wang
2021 16th International Conference on Intelligent Systems and Knowledge …, 2021
22021
Consistency verification of safety-critical decision on routing operation of the train
K Wang, X Wang, G Wu, Y Xu
Developments of Artificial Intelligence Technologies in Computation and …, 2020
22020
基于网络连接及服务中心选择的高铁路网区域划分方法
张强锋, 王恪铭, 倪少权, 吕红霞
中国铁道科学 39 (04), 123-130, 2018
22018
Reliability capacitated fixed-charge location problem
Z Yu-feng, MA Zu-Jun, W Ke-ming
Operations Research and Management Science 24 (3), 6, 2015
22015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20