| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Qi-Wei Ge (Yamaguchi Univ.) |
| Vice Chair |
|
Toshimitsu Ushio (Osaka Univ.) |
| Secretary |
|
Morikazu Nakamura (Univ. of Ryukyus), Shingo yamaguchi (Yamaguchi Univ.) |
| Assistant |
|
Tatsushi Yamasaki (Setsunan Univ.) |
|
| Conference Date |
Mon, Jan 28, 2008 10:00 - 17:15
Tue, Jan 29, 2008 09:30 - 15:10 |
| Topics |
Concurrent Systems, CST Solution Competition 2007 |
| Conference Place |
Faculty of Engineering, The university of Tokushima |
| Address |
Tokushima 770-8506, Tokushima |
| Transportation Guide |
http://www.e.tokushima-u.ac.jp/Access/0-access.html |
Contact
Person |
Prof. Yoshifumi Nishio
088-656-5432 |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Mon, Jan 28 AM
10:00 - 10:15 |
| |
10:00-10:05 |
( 5 min. ) |
| |
10:05-10:15 |
( 10 min. ) |
Mon, Jan 28 AM
10:20 - 12:00 |
| (1) |
10:20-10:40 |
A Design Method of Group Controller for Multi-Car Elevators Based on Multi-Start Local Search  CST2007-35 |
Tetsuya Oda, Yasuhiko Fukumoto, Yuri Murata (Osaka Univ.) |
| (2) |
10:40-11:00 |
Multi-Car Elevator Group Controller: Implementation of a Schedule Completion Time Optimization Algorithm with a Parking Strategy for Service Coverage Protection CST2007-36 |
Alex Valdivielso, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) |
| (3) |
11:00-11:20 |
Branch and Bound Approach for Multi-Car elevator Control CST2007-37 |
Yoshiyuki Tsuchie, Ayako Suzuki, Naoki Hayashi (Osaka Univ.) |
| (4) |
11:20-11:40 |
Safe Group Control of MCE |
Kuniho Kasugai, Toshiyuki Kato, Eisuke Kita (Nagoya Univ.) |
| (5) |
11:40-12:00 |
Optimization of Home Position for Multi-Car Elevators by a Genetic Algorithm CST2007-38 |
Ryosuke Makioka, Yumeka Kitano, Yusuke Nojima, Hisao Ishibuchi (Osaka Prefecture Univ.) |
Mon, Jan 28 PM
13:00 - 14:00 |
| (6) |
13:00-13:20 |
A Control Alogrithm for Multi-Car Elevators by Considering Moving Range and Direction of Cars CST2007-39 |
Yuki Kuroda, Mitsuru Nakata (Yamaguchi Univ.) |
| (7) |
13:20-13:40 |
multi-car elevators CST2007-40 |
Yusuke Satoh (Tokyo Tech) |
| (8) |
13:40-14:00 |
Analytic Hierarchy Process Group Controller for Multi-Car Elevators CST2007-41 |
Mayumi Ohta, Masashi Sadamatsu, Yuuya Senoo, Kengo Katayama, Hideo Minamihara, Hiroyuki Narihisa (Okayama Univ. of Science) |
Mon, Jan 28 PM
14:00 - 14:25 |
| |
14:00-14:20 |
( 20 min. ) |
| |
14:20-14:25 |
( 5 min. ) |
Mon, Jan 28 PM
14:30 - 15:30 |
| (9) |
14:30-15:30 |
[Invited Talk]
Recent Trends in Elevator Group Control Systems CST2007-42 |
Sandor Markon, Ken'ichi Aoki (Fujitec) |
Mon, Jan 28 PM
16:00 - 17:15 |
| (10) |
16:00-16:25 |
Design of Elevator Group Surpervisory Control System Using Search Algorithm A CST2007-43 |
Hisashi Yamada, Hideyuki Aisu (TOSHIBA Corp.) |
| (11) |
16:25-16:50 |
An examination of human trajectory as descrete event system CST2007-44 |
Ichiro Toyoshima, Kanako Hattori, Toyokazu Itakura, Ryohei Orihara (Toshiba) |
| (12) |
16:50-17:15 |
Improvement of Embedded Software Architecture using Erlang Language Constructs CST2007-45 |
Kenji Hashizume, Sandor Markon (Kobe Comp Ins) |
Tue, Jan 29 AM
09:30 - 10:45 |
| (13) |
09:30-09:55 |
On Scheduling of Sugarcane Farming in Multiple Farms CST2007-46 |
Hirofumi Matsuda, Senlin Guan, Morikazu Nakamura, Takeshi Shikanai (Univ. of the Ryukyus) |
| (14) |
09:55-10:20 |
Existence of Discrete Event Diagnosers Tolerating Failures of Event Sensors CST2007-47 |
Shigemasa Takai (Kyoto Inst. of Tech.) |
| (15) |
10:20-10:45 |
A Method of Generating and Complicating Petri Nets Used as Key-generator of a public-key cryptgraphy MEPKC CST2007-48 |
Ryosuke Murakami, Ryo Yamaguchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ) |
Tue, Jan 29 AM
10:55 - 12:10 |
| (16) |
10:55-11:20 |
Control Trigger for the Implementation of Optimized Multiple and Simultaneous Control CST2007-49 |
Eleazar Jimenez Serrano, Keijiro Araki (Kyushu Univ.) |
| (17) |
11:20-11:45 |
A Scheduling Method for Multi-Processor Systems with Communication Delays CST2007-50 |
Takashi Otsuka, Hironori Youhata, Qi-Wei Ge, Mitsuru Nakata (Ymaguchi Univ.), Yuu Moriyama, Hirotoshi Tonou (Fujitsu TEN) |
| (18) |
11:45-12:10 |
Automatic generation of manual for discrete event systems operated by multiple users CST2007-51 |
Ayako Suzuki, Toshimitsu Ushio (Osaka Univ.) |
Tue, Jan 29 PM
13:30 - 15:10 |
| (19) |
13:30-13:55 |
A Method of Generating Graphs of Character Structures for Japanese Historical Documents CST2007-52 |
Masaki Hayashi, Nami Saitoh, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) |
| (20) |
13:55-14:20 |
A Study on Applying Reinforcement Learning to a Safety Critical System CST2007-53 |
Shinichi Fujiwara, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) |
| (21) |
14:20-14:45 |
Finding Legal Firing Sequences Permitting Excess Firing of Transitions in Petri Nets CST2007-54 |
Koki Katayama, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| (22) |
14:45-15:10 |
On Verification of Marking-Dependent Terminacy for SWITCH-Less Program Nets CST2007-55 |
Keisuke Komiya, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Morikazu Nakamura（Dept. of Infomation Engineering, University of the Ryukyus)
TEL 098-895-8715, FAX 098-895-8727
E- :      ie u-r k |
| Announcement |
Latest information will be presented on the homepage: http://www.ieice.org/~cst/ |
Last modified: 2008-01-22 14:21:13
|