IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev MSS Conf / Next MSS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Concurrent Systems Technology (CST)
Chair Toshimitsu Ushio (Osaka Univ.)
Vice Chair Kunihiko Hiraishi (JAIST)
Secretary Shingo yamaguchi (Yamaguchi Univ.), Masaki Nakamura (Kanazawa Univ.)
Assistant Tatsushi Yamasaki (Setsunan Univ.)

Conference Date Thu, Jan 20, 2011 09:30 - 18:00
Fri, Jan 21, 2011 09:10 - 16:20
Topics Concurrent Systems, etc 
Address 3-3-1, Buzenda-chou, Shimonoseki-shi, Yamaguchi, 750-0018, Japan
Assoc. Prof. Shingo Yamaguchi
Sponsors This conference is supported by the IEEE Hiroshima Section
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)

Thu, Jan 20 AM 
09:30 - 11:45
(1) 09:30-09:35  
(2) 09:35-09:45 CST solution competition 2010
-- Optimization of Multi-Car Elevator Controllers --
Masaki Nakamura (Kanazawa Univ.), Tatsushi Yamasaki (Setsunan Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Corp.)
(3) 09:45-10:00 On Controlling MCE by Optimization of Shaft Controllers CST2010-58 Yasuwo Hasegawa, Hayato Niimura (Osaka Univ.)
(4) 10:00-10:15 Application of Mark Flow Graph to Multi Car Elevator System CST2010-59 Kentaro Nakayama, Nguyen Quang Hung, Koji Takahashi (Tokyo Tech.)
(5) 10:15-10:30 Generation of Performance Evaluation Function of MCE Group Controller by Grammatical Evolution CST2010-60 Yoshiya Ito, Hideyuki Sugiura, Tomoaki Takase, Hiroki Kato, Eisuke Kita (Nagoya Univ.)
  10:30-10:40 Break ( 10 min. )
(6) 10:40-10:55 A Control of Multi-Car Elevators by Multiple Algorithms CST2010-61 Tsuyoshi Izumida, Kenji Inoue, Ryotaro Hayashi (JAIST)
(7) 10:55-11:10 Suggestion for Control of Multi-Car Elevators Intending Rolls between shafts CST2010-62 Hidetomo Suzuki, Daiichi Sugiyama (Aichi Prefectural Grad.), Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.)
(8) 11:10-11:25 Algorithm of a Controller for Multi-Car Elevators with High Transpotation Flexibility Takeshi Fujimura, Shohei Ueno, Hiroshi Tsuji, Hiroyoshi Miwa (Kwansei Gakuin Univ.)
(9) 11:25-11:40  
(10) 11:40-11:45  
Thu, Jan 20 PM 
13:00 - 14:00
(11) 13:00-13:20 On the Ant Colony Optimization Approach to the Bi-Objective Traveling Salesman Problem CST2010-64 Tomoyuki Yajima, Naoto Yamabe, Satoru Hashizume, Susumu Hashizume, Katsuaki Onogi (Nagoya Univ.)
(12) 13:20-13:40 Reinforcement Learning with Conditioned Rule Updating to Prevent Conflicts during the Allocation of Tasks CST2010-65 Alex Valdivielso, Toshiyuki Miyamoto (Osaka Univ.)
(13) 13:40-14:00 title Yukinori Tonosaki (Toshiba)
Thu, Jan 20 PM 
14:10 - 15:40
(14) 14:10-14:40  
(15) 14:40-15:40 [Invited Talk]
Two Approaches to Elevator Operation Problems for Optimality and Practicality CST2010-66
Tsutomu Inamoto (Kobe Univ.)
Thu, Jan 20 PM 
16:00 - 18:00
(16) 16:00-18:00 [Panel Discussion]
Activity of Technical Committee of Concurrent Systems Technology
-- Messages from Successive Chairpersons --
Kenji Onaga (The Univ. of Ryukyus), Tadashi Matsumoto (Fukui Univ.), Masaru Naniwada (Shizuoka Sangyo Univ.), Toshimasa Watanabe (Hiroshima Univ.), Yoichi Nagao (Kawasaki Heavy Industries), Haruo Hasegawa (Oki Consulting Solutions), Hisao Shiizuka (Kogakuin Univ.), Kohkichi Tsuji (Aichi Prefecture Univ.), Naoshi Uchihira (Toshiba), Qi-Wei Ge (Yamaguchi Univ.), Toshimitsu Ushio (Osaka Univ.)
Fri, Jan 21 AM 
09:10 - 10:10
(17) 09:10-09:30 Multipopulation Replicator Dynamics with Nonuniform Interaction Rate CST2010-68 Tadasuke Ichiba, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.)
(18) 09:30-09:50 An Implementation of an Optimum-Time Firing Squad Synchronization Algorithm on Two-Dimensional Cellular Automaton CST2010-69 Kinuo Nishide, Takuya Yamawaki, Hiroshi Umeo (OECU)
(19) 09:50-10:10 On Polynomial Time Soundness-Based Verification of Behavioral Inheritance for Parallel Synchronized Interworkflows CST2010-70 Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.)
Fri, Jan 21 AM 
10:20 - 11:40
(20) 10:20-10:40 Coalgebraic analysis of supervisory control of partially observed Mealy automata CST2010-71 Jun Kohjina, Toshimitsu Ushio (Osaka Univ.), Yoshiki Kinoshita (AIST)
(21) 10:40-11:00 A New Proposal for Block Division of Task Graph and Its Evaluation CST2010-72 Lin Chen, Mina Kawabuchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Hirotoshi Tonou, Naoya Kamiyama, Kazuyuki Shimata (Fujitsu TEN)
(22) 11:00-11:20 Improvement of Recognition Method for Consecutive Handwritten Characters by Feature Graph CST2010-73 Ryuzo Fukuda, Naoko Matsuda, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.)
(23) 11:20-11:40 Similarity Verification of C Language Program by Using Similarity Degree of Syntax Tree CST2010-74 Bou konisa, Tsuyoshi Morita, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi University)
Fri, Jan 21 PM 
13:30 - 14:55
(24) 13:35-13:55 Proposal of an Improved Algorithm for Finding Kernel Set and a New Method CST2010-75 Yuki Ikeda, Yasuto Aihara, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.)
(25) 13:55-14:15 Consistency Verification of Delay Times of Petri Net Based Signaling Pathways CST2010-76 Yuki Murakami, Qi-Wei Ge, Shingo Yamaguchi, Hiroshi Matsuno (Yamaguchi Univ.)
(26) 14:15-14:35 Self-triggered Receding Horizon Control of Linear Discrete-time System using MLD Model CST2010-77 Shogo Nakao, Toshimitsu Ushio (Osaka Univ.)
(27) 14:35-14:55 Enhanced Algorithms for the Marking Construction Problem of Petri Nets based on Improvement of Finding Firing Sequeunces CST2010-78 Atsuhito Yoshioka, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
Fri, Jan 21 PM 
15:00 - 16:20
(28) 15:00-15:20 Verification of Existence of Decentralized Predictive Diagnosers with Safety Constraints for Discrete Event Systems CST2010-79 Hiroki Harada, Shigemasa Takai (Osaka Univ.)
(29) 15:20-15:40 Mark Flow Graph Based Conveyance Control for Dense Condition of Factory Automation System including Various Kinds of Process using Automated Guided Vehicle CST2010-80 Gen Kobayashi, Masashi Hagiwara, Koji Takahashi (Tokyo Tech)
(30) 15:40-16:00 On Associativity of Composition Rules of Workflow Nets and Its Application CST2010-81 Manato Hondo, Yuki Watanabe, Shingo Yamaguchi (Yamaguchi Univ.)
(31) 16:00-16:20 Heuristic Algorithms for the Vertex Capacity Assignment Problem of a Stochastic-flow Network CST2010-82 Hideaki Yamato, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)

Announcement for Speakers
General TalkEach speech will have 15 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
CST Technical Committee on Concurrent Systems Technology (CST)   
Contact Address Shingo Yamaguchi(Graduate School of Science and Engineering, Yamaguchi University)
TEL: 0836-85-9510, FAX: 0836-85-9501
E-: ngu-u 
Announcement Latest information will be presented on the homepage:

Last modified: 2011-01-05 16:56:56

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.

[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

 Go Top  Go Back   Prev MSS Conf / Next MSS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan