ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Concurrent Systems Technology (CST)
Chair: Naoshi Uchihira Vice Chair: Katsu Kii
Secretary: Satoshi Taoka, Morikazu Nakamura
Assistant: Shingo yamaguchi

DATE:
Thu, Jun 30, 2005 13:30 - 17:00
Fri, Jul 1, 2005 10:00 - 14:30

PLACE:
Jichi Kaikan(116-30, Asahi-cho, Naha-shi, Japan. 8 minutes from Naha Airport by Monorail Tsubokawa Station. http://www.okinawa-ctv-kyosai.or.jp/syukuhaku/. Prof. Morikazu Nakamura, University of Ryukyus. 098-862-8181)

TOPICS:
Concurrent Systems, Discrete Event Systems and Hybrid Systems

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

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

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

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

# CONFERENCE SPONSORS:
- This conference is co-sponsored by the Discrete Event System Society of SICE

=== Technical Committee on Concurrent Systems Technology (CST) ===

# SECRETARY:
Satoshi Taoka（Faculty of Engineering, Hiroshima University)
TEL0824-24-7666,FAX0824-22-7028
E-mail: