第40回「離散事象システム研究会」

主催:計測自動制御学会 システム・情報部門 企画:離散事象システム部会
主催:電子情報通信学会 コンカレント工学研究会


開催案内

下記のとおり研究会を企画いたしました。多数のご参加をお待ちしております。

テ ー マ:
*離散事象システム,ハイブリッドシステムの 解析・設計・制御に関する理論・応用 
*生産システム・情報システム・通信システム・シーケンス制御など における、システムの記述・論理の検証・性能評価・スケジューリング・シミュレーション・ソフトウエアツールなど
期  日:
2006年7月25日(火) 15:00-16:50、26日(水)10:00-14:40
会  場:
京都工芸繊維大学 総合研究棟4階 多目的室[〒606-8585 京都市左京区松ヶ崎御所海道町]
(交通:京都市営地下鉄烏丸線松ヶ崎駅から徒歩10分、交通案内キャンパスマップの9番の建物)
参 加 費:
資料代(1500円(会員)、2000円(非会員))
参加申し込み:
会場へ直接お越しください。
プログラム:
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型動的変更に対する最悪変更時間の計算複雑さと性能解析について
○宮内克彰・山口真悟・葛 崎偉・田中 稔(山口大)
問合せ先:
〒565-0871 吹田市山田丘2−1
大阪大学 大学院工学研究科 電気電子情報工学専攻 宮本俊幸
電話(06)6879-7694,FAX(06)6879-7263
E-mail: miyamoto(at)eei.eng.osaka-u.ac.jp

戻る