戻る
主催：計測自動制御学会 システム・情報部門 企画：離散事象システム部会
主催：電子情報通信学会 コンカレント工学研究会
下記のとおり研究会を企画いたしました。多数のご参加をお待ちしております。
| 6月1日（木） | |
| 13:40 - 14:05 | CO2排出量を考慮した分散ＥＭＳへの市場指向プログラミングの適用 |
| ○八切好司・宮本俊幸・熊谷貞俊（阪大）・森 一之・北村聖一・山本隆也（三菱電機） | |
| 14:05 - 14:30 | 混合論理動的システム表現の改良に関する研究 |
| ○崔 舜星・平石邦彦（北陸先端大） | |
| 14:30 - 14:40 | 休憩 |
| 14:40 - 15:05 | Concurrent Production Engineering System by Discrete Simulation and CAD |
| Abu Qudeiri Jaber・Mohamed Jamali・○Hidehiko Yamamoto（Gifu Univ.） | |
| 15:05 - 15:30 | 述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法 |
| ○加藤位明（金沢大）・陸田陽介（NEC）・山根 智（金沢大） | |
| 15:30 - 15:40 | 休憩 |
| 15:40 - 16:20 | ［チュートリアル講演］産業競争力強化への貢献拡大を意図したSICE組込・ハイブリッド調査研究活動 |
| ○舩橋誠壽（日立） | |
| 16:20 - 16:35 | ［招待講演］北陸IT研究開発支援センターについて |
| ○未定（未定） | |
| 16:40 - 17:10 | 北陸IT研究開発支援センターの見学会 |
| 6月2日（金） | |
| 09:50 - 10:15 | Experiment-based Evaluation of Algorithms for the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs |
| ○Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.） | |
| 10:15 - 10:40 | 指定プレースをサポートに含む極小サポートインバリアントのサイフォントラップに基づく算出法 |
| ○近田智宏・入星厚志・田岡智志・渡邊敏正（広島大） | |
| 10:40 - 10:50 | 休憩 |
| 10:50 - 11:15 | バッチ処理アークつきマークグラフの可達問題 |
| 水野奈美（デンソーテクノ）・○太田 淳・辻 孝吉（愛知県大） | |
| 11:15 - 11:40 | 拡張ペトリネットとJavaによる並列システムの構成手法 |
| ○山口之介（九工大）・和崎克己・師玉康成（信大） |