The spring-driven ball-type check valve is one of the most important components of hydraulic systems: it controls the position of the ball and prevents backward flow. To simplify the structure, the spring must be eliminated, and to accomplish this, the flow pattern and the behavior of the check ball in L-shaped pipe must be determined. In this paper, we present a full-scale model of a check bal...

A new method for visualizing the behavior of an iterative decoder is presented. This method is applied to regular and irregular low-density parity-check codes. Several types of decoding errors are investigated and suggestions are made for improving the iterative decoder to avoid such errors. Furthermore, structural properties of parity-check matrices that influence the decoding performance are ...

The existing techniques for reachability analysis of linear hybrid automata do not scale well to problem sizes of practical interest. Instead of developing a tool to perform reachability check on all the paths of a linear hybrid automaton, a complementary approach is to develop an efficient path-oriented tool to check one path at a time where the length of the path being checked can be made ver...