| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| MSS |
2005-06-30
13:30 |
Okinawa |
Jichi Kaikan(Naha) |
Algorithm for Firing Sequences of MLS Modeled by Petri net
Kazuaki Matsuo, Hisao Shiizuka (Kogakuin Univ.) |
[more] |
CST2005-1
pp.1-4 |
| MSS |
2005-06-30
13:55 |
Okinawa |
Jichi Kaikan(Naha) |
Proposal of model-based approach for designing Control Systems of Event-driven Systems
Kayoko Takatsuka, Norikazu Shugawa, Shigeyuki Tomita (Miyazaki Univ.) |
[more] |
CST2005-2
pp.5-10 |
| MSS |
2005-06-30
14:20 |
Okinawa |
Jichi Kaikan(Naha) |
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.) |
Recently, the demand for the automated production system is growing.
Especially, the improvement of reliability and saf... [more] |
CST2005-3
pp.11-16 |
| MSS |
2005-06-30
14:55 |
Okinawa |
Jichi Kaikan(Naha) |
Job-shop Scheduling Considering Material Handling by Multiple-load AGVs
Noboru Murayama, Seiichi Kawata (Tokyo Metro. Univ.) |
In this paper, a local search method for simultaneous scheduling of machines and multiple-load automated guided vehicles... [more] |
CST2005-4
pp.17-21 |
| MSS |
2005-06-30
15:20 |
Okinawa |
Jichi Kaikan(Naha) |
A parallel tabu search based on relinking of searched space
Hidekazu Naka, Morikazu Nakamura (Univ. of the Ryukyus) |
Tabu search(TS) is one of the most powerful methods in the technique of calculating the approximate solution of combinat... [more] |
CST2005-5
pp.23-28 |
| MSS |
2005-06-30
16:00 |
Okinawa |
Jichi Kaikan(Naha) |
[Invited Talk]
Horizontal propagation of genes from the point of view of evolutional tree
Yumiko Nakajima (Univ. of Ryukyus) |
Mariner-like-sequences (MLSs) were isolated from individuals of Bombyx mandarina inhabiting in some regions of China, Ko... [more] |
|
| MSS |
2005-07-01
10:00 |
Okinawa |
Jichi Kaikan(Naha) |
Characteristic analysis of expression data for a gene network estimate
Madoka Kamiya, Takeo Okazaki (Univ. Ryukyus) |
[more] |
CST2005-6
pp.1-5 |
| MSS |
2005-07-01
10:25 |
Okinawa |
Jichi Kaikan(Naha) |
Structure and analysis of Petri net model for call-back problem in CORBA
Yosuke Takayama (UNIADEX), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
Petri net is an effective model for concurrent systems. Authors have studied call-back problem in distributed object pro... [more] |
CST2005-7
pp.7-12 |
| MSS |
2005-07-01
10:50 |
Okinawa |
Jichi Kaikan(Naha) |
Suggestion of a Shaping Algorithm using Statistical Estimation Method
Hirotada Honda (Keio Univ.) |
(To be available after the conference date) [more] |
CST2005-8
pp.13-16 |
| MSS |
2005-07-01
11:15 |
Okinawa |
Jichi Kaikan(Naha) |
Fault Diagnosis for Discrete Event Systems based on Place-Invariants
Shinsuke Mitsuhashi, Takashi Ito, Susumu Hashizume, Tomoyuki Yajima, Katsuaki Onogi (Nagoya Univ.) |
This paper presents a fault detection technique for batch control systems with unobservable process variables based on d... [more] |
CST2005-9
pp.17-22 |
| MSS |
2005-07-01
12:50 |
Okinawa |
Jichi Kaikan(Naha) |
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) |
A control of CO$_2$ emissions which are the main factor of warming is one of the most important problems in the 21st cen... [more] |
CST2005-10
pp.23-28 |
| MSS |
2005-07-01
13:15 |
Okinawa |
Jichi Kaikan(Naha) |
A Cooperative and Iterative Parallel Genetic Algorithms in Large-scale Distributed Calculation Environments
Yoshihide Kiyan, Morikazu Nakamura (Univ. of the Ryukyus) |
This paper proposes a master-slave based scheme for cooperative and iterative parallel Genetic Algorithms to solve effic... [more] |
CST2005-11
pp.29-34 |
| MSS |
2005-07-01
13:40 |
Okinawa |
Jichi Kaikan(Naha) |
Effective Selection of Transitions in Finding Legal Firing Sequences of Petri Nets
Satoru Shimada, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
The paper proposes a heuristic algorithm SRADEQkRi for the Maximum Legal Firing Sequence problem of Petri nets (MAXLFS f... [more] |
CST2005-12
pp.35-40 |
| MSS |
2005-07-01
14:05 |
Okinawa |
Jichi Kaikan(Naha) |
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.) |
In this paper we consider the minimum initial marking problem(MIM) of Petri nets, one of optimum initial resource alloca... [more] |
CST2005-13
pp.41-46 |