7月25日(火) 午後 特別招待講演 15:00 - 16:50 |
(1) |
15:00-15:50 |
[招待講演]Compositional modeling and structured supervisory control of a bottling plant(口頭発表) |
○Florian Wenck(Ruhr-Univ. Bochum) |
|
15:50-16:00 |
休憩 ( 10分 ) |
(2) |
16:00-16:50 |
[招待講演]Diagnosis of quantized systems by means of stochastic automata(口頭発表) |
○Jan Lunze(Ruhr-Univ. Bochum) |
7月26日(水) 午前 10:00 - 14:40 |
(3) |
10:00-10:25 |
搬送経路計画問題における初期割り当て手法に関する研究 |
○森弘佑輔・宮本俊幸・熊谷貞俊(阪大) |
(4) |
10:25-10:50 |
秘密分散ストレージシステムにおける最適シェア配送問題 |
○宮本俊幸・熊谷貞俊(阪大) |
(5) |
10:50-11:15 |
マルチプロセッサシステムのための複数の静的優先リストを用いた動的スケジューリング手法の提案 |
○養畑裕紀・葛 崎偉・中田 充(山口大)・斗納宏敏(富士通テン) |
(6) |
11:15-11:40 |
歩行軌跡を用いた歩行者行動判別手法の開発 |
○豊嶋伊知郎・板倉豊和・服部可奈子・吉田琢史・小磯貴史(東芝) |
|
11:40-13:00 |
昼休憩 ( 80分 ) |
(7) |
13:00-13:25 |
並列タブーサーチにおける履歴情報に基づく協調 |
○名嘉秀和・名嘉村盛和(琉球大) |
(8) |
13:25-13:50 |
確率時間オートマトンの確率時間強模倣検証器の開発 |
○山根 智・小寺広志・荒井恒夫(金沢大) |
(9) |
13:50-14:15 |
時間ペトリネットの分解による最適発火系列問題の解法 |
○前野良太(岡山大)・西 竜志(阪大)・小西正躬(岡山大) |
(10) |
14:15-14:40 |
状態機械ワークフローネットのAbort型動的変更に対する最悪変更時間の計算複雑さと性能解析について |
○宮内克彰・山口真悟・葛 崎偉・田中 稔(山口大) |