6月28日(木) 午後 13:00 - 14:40 |
(1) |
13:00-13:25 |
並列タブーサーチにおける協調処理とその効果 |
○名嘉秀和・村山正嗣・名嘉村盛和(琉球大) |
(2) |
13:25-13:50 |
移動物体シミュレーションを対象とした動的タイムステップ制御方式の改良検討 |
○白石 將・尾崎敦夫・渡部修介・古市昌一(三菱電機) |
(3) |
13:50-14:15 |
動的タイムステップ制御方式の道路交通シミュレーションへの応用 |
○尾崎敦夫(三菱電機)・松下和隆(三菱電機インフォメーションシステムズ)・白石 將・渡部修介・古市昌一・佐藤裕幸(三菱電機) |
(4) |
14:15-14:40 |
マルチカーエレベータにおけるシャフト内運行制御方式の研究 |
○鈴木裕通(フジテック) |
6月28日(木) 午後 招待講演 17:00 - 17:50 |
(5) |
17:00-17:50 |
[招待講演]組み込みシステムの機能・性能検証手法 |
○中村祐一(NEC) |
6月29日(金) 午前 09:00 - 11:05 |
(6) |
09:00-09:25 |
言語測度を用いた離散事象システムの制御について |
○山崎達志(摂南大) |
(7) |
09:25-09:50 |
優先度付き非決定性スーパバイザの存在条件について |
○乾 翼・潮 俊光(阪大) |
(8) |
09:50-10:15 |
需要変動を考慮した生産システムの性能解析 |
○中島健一(阪工大)・伊藤 健(東北大) |
(9) |
10:15-10:40 |
自動生成されたペトリネットの初等T-invariantの列挙アルゴリズム |
山口 亮・村上亮介・○中田 充・葛 崎偉(山口大) |
(10) |
10:40-11:05 |
ペトリネットマーキング構成問題に対する発火系列探索法の改良 |
○石井稔久・田岡智志・渡邉敏正(広島大) |