An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

Off-ramp area congestion and off-ramp queue spill over are wide-spread reasons for expressway traffic jams in China. A control strategy was developed to reduce the number of collisions between expressway and surface street vehicles and to reduce spill over by controlling the surface street vehicles ...

Mechanical failure modes leading to cracks or breeches in proton exchange membrane fuel cells are driven by mechanical forces associated with swelling from water uptake and shrinkage from dehumidification. To determine the magnitude of compressive mechanical stress imposed by water swelling in a pro...

Energy saving is the most important issue in research and development for wireless sensor networks. A power control mechanism can reduce the power consumption of the whole network. Because the character of wireless sensor networks is restrictive energy, this paper proposes a distributed power contro...

Waveguide invariant is widely used in underwater target passive ranging. In shallow water with uniform sound speed profile, the value of waveguide invariant is approximately a constant, while in shallow water with thermocline, it varies in a wide range. The waveguide invariant distributions and stri...