Yoshiaki Shimizu

Learn More
This paper describes a modeling and analyzing method for batch sequential control systems by using colored Petri net (CPN) model. For this purpose, we propose systematic procedures to create CPN model from a various information based on ISA S88, i.e., master recipe, equipment information and batch schedule. To examine the effectiveness of the proposed(More)
Due to the recent diversification of consumer demands for products, batch processes are viewed as a promising process employed in such circumstances. However, because the limited numbers of equipment and facility are to be shared among multi-item products, it is essential to discover serious conflicts and deadlocks that incur various problems such as(More)
A digital spiking neuron can generate spike-trains having various inter-spike intervals (ISIs). Using an ISI-based modulation method, the spike-train can be symbolized by a digital code. We propose fast and rigorous analysis methods for the dynamics of the ISI and characteristics of the modulation. Then we can show that the DSN can encode a given input(More)
With the aim of developing a flexible optimization method for managing conflict resolution, this paper concerns itself with multi-objective mixed-integer programs. For this purpose, we have proposed an intelligence supported approach that combines genetic algorithm with mathematical programs (hybrid genetic algorithm) to derive the best-compromise solution.(More)
In the sheet metal processing, nesting and scheduling are important design and operational tasks, respectively. The optimal cutting layout is determined by nesting for reducing waste of material while the optimal sequence is determined by scheduling for increasing efficiency of operational activities. Since we often encounter trade-offs regarding to their(More)