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