| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Naoshi Uchihira |
| Vice Chair |
|
Katsu Kii |
| Secretary |
|
Satoshi Taoka, Morikazu Nakamura |
| Assistant |
|
Shingo yamaguchi |
|
| Conference Date |
Thu, Jun 30, 2005 13:30 - 17:00
Fri, Jul 1, 2005 10:00 - 14:30 |
| Topics |
Concurrent Systems, Discrete Event Systems and Hybrid Systems |
| Conference Place |
Jichi Kaikan |
| Address |
116-30, Asahi-cho, Naha-shi, Japan |
| Transportation Guide |
8 minutes from Naha Airport by Monorail Tsubokawa Station
http://www.okinawa-ctv-kyosai.or.jp/syukuhaku/ |
Contact
Person |
Prof. Morikazu Nakamura, University of Ryukyus
098-862-8181 |
| Sponsors |
This conference is co-sponsored by the Discrete Event System Society of SICE
|
Thu, Jun 30 PM
13:30 - 17:00 |
| (1) |
13:30-13:55 |
Algorithm for Firing Sequences of MLS Modeled by Petri net |
Kazuaki Matsuo, Hisao Shiizuka (Kogakuin Univ.) |
| (2) |
13:55-14:20 |
Proposal of model-based approach for designing Control Systems of Event-driven Systems |
Kayoko Takatsuka, Norikazu Shugawa, Shigeyuki Tomita (Miyazaki Univ.) |
| (3) |
14:20-14:45 |
Fault Diagnosis of an Automatic Transfer Line with Timed Markov Model |
Mitsuo Saito, Tatsuya Suzuki, Shinkichi Inagaki (Nagoya Univ.), Takeshi Aoki (Nagoya Industrial Research Inst.) |
| |
14:45-14:55 |
Break ( 10 min. ) |
| (4) |
14:55-15:20 |
Job-shop Scheduling Considering Material Handling by Multiple-load AGVs |
Noboru Murayama, Seiichi Kawata (Tokyo Metro. Univ.) |
| (5) |
15:20-15:45 |
A parallel tabu search based on relinking of searched space |
Hidekazu Naka, Morikazu Nakamura (Univ. of the Ryukyus) |
| |
15:45-16:00 |
Break ( 15 min. ) |
| (6) |
16:00-17:00 |
[Invited Talk]
Horizontal propagation of genes from the point of view of evolutional tree |
Yumiko Nakajima (Univ. of Ryukyus) |
Fri, Jul 1 AM
10:00 - 14:30 |
| (7) |
10:00-10:25 |
Characteristic analysis of expression data for a gene network estimate |
Madoka Kamiya, Takeo Okazaki (Univ. Ryukyus) |
| (8) |
10:25-10:50 |
Structure and analysis of Petri net model for call-back problem in CORBA |
Yosuke Takayama (UNIADEX), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
| (9) |
10:50-11:15 |
Suggestion of a Shaping Algorithm using Statistical Estimation Method |
Hirotada Honda (Keio Univ.) |
| (10) |
11:15-11:40 |
Fault Diagnosis for Discrete Event Systems based on Place-Invariants |
Shinsuke Mitsuhashi, Takashi Ito, Susumu Hashizume, Tomoyuki Yajima, Katsuaki Onogi (Nagoya Univ.) |
| |
11:40-12:50 |
Lunch Break ( 70 min. ) |
| (11) |
12:50-13:15 |
Java classes for energy trading systems simulator in consideration of environmental load |
Koji Yakire, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.), Kazuyuki Mori, Shoichi Kitamura, Seiichi Sindo (melco) |
| (12) |
13:15-13:40 |
A Cooperative and Iterative Parallel Genetic Algorithms in Large-scale Distributed Calculation Environments |
Yoshihide Kiyan, Morikazu Nakamura (Univ. of the Ryukyus) |
| (13) |
13:40-14:05 |
Effective Selection of Transitions in Finding Legal Firing Sequences of Petri Nets |
Satoru Shimada, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| (14) |
14:05-14:30 |
Fast Heuristic Algorithms based on Avoiding Occurrence of Behavioral Deadlocks for Minimizing Initial Markings of Petri Nets |
Satoshi Taoka (Hiroshima Univ.), Masahiro Yamauchi (Kinki Univ.), Toshimasa Watanabe (Hiroshima Univ.) |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Satoshi Taoka（Faculty of Engineering, Hiroshima University)
TEL0824-24-7666,FAX0824-22-7028
E- :   info ts     -u |
Last modified: 2005-04-22 14:40:19
|