Wang KeMing

• Doctor of Engineering
• Professor (Associate) at Southwest Jiaotong University

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

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

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

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

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

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

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

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

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

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.