Wang KeMing

Wang KeMing
Southwest Jiaotong University · School of Computing and Artificial Intelligence

Doctor of Engineering

About

19
Publications
702
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
72
Citations
Introduction
Additional affiliations
September 2013 - March 2021
Southwest Jiaotong University
Position
  • Professor (Assistant)

Publications

Publications (19)
Article
Full-text available
Reliable decision‐making in a safety‐critical system depends on the consistency of the state of the system process. Based on the decision‐makeing properties of safety‐critical systems, the definition of the critical component, Boolean evolution system, and cognate variables are presented here. By exploring the two lemmas of the critical components,...
Article
Full-text available
Large-scale sudden-onset disasters may cause massive injuries and thus place great pressure on the emergency blood supplies of local blood banks. When blood is in short supply, blood products gathered urgently to a local blood center should be appropriately allocated to blood banks in the affected area. Moreover, ABO/Rh(D) compatibilities among blo...
Conference Paper
Formal systems modelling offers a rigorous system-level analysis resulting in a precise and reliable specification. However, some issues remain: Modellers need to understand the requirements in order to formulate the models, formal verification may focus on safety properties rather than temporal behaviour, domain experts need to validate the final...
Article
This paper introduces the properties of inventory structure for both rescue and affected banks during blood shortage. An age-based transshipment model is developed, with two preference selection methods for transshipping blood units being presented. Compared to quantity-based policy, the age-based policy under first-in-first-transship is recommende...
Article
Full-text available
As a kind of special relief material, blood plays an important role in disaster relief. By analyzing the characteristic of blood and the stage feature of blood supply in disaster relief, as well as considering the impact of transportation mode on blood quality, a multi-stage optimization model was developed for emergency blood transferring problem...
Article
Full-text available
Considering the physiological and emergency supply characteristics of blood, as well as multi-type blood and multi-modal transportation mode, a combined optimization model for emergency service facility selection and transportation routing problem in emergency blood supply is developed based on a two-phase decision-making approach. The aim is to mi...
Article
Considering the special characteristics of blood, a multi-objective programming model was established to minimize the longest transportation time from supply banks to the disaster-affected areas, maximize the lowest averaged freshness of blood the disaster blood bank received, and minimize the total transportation cost. A genetic algorithm with tra...
Article
Full-text available
To cope with the sharp rise in demand for blood in emergency, the blood bank tends to increase the stock overly and it may cause the blood overstock. Therefore, it's necessary to transship the excessive stock to other blood banks to reduce the potential outdating. By analyzing the stock status, the age based properties of transshipping and receivin...
Conference Paper
This paper analyzes the challenge of relief-demand management for emergency rescue and proposes its processing procedure. The multi-objective dynamic scheduling model is established based on time and scheduling points, the solution method and procedure are introduced. Finally an example is demonstrated.

Network

Cited By