| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★コンカレント工学研究会（CST） 専門委員長 内平 直志 副委員長 葛 崎偉 幹事 田岡 智志， 名嘉村 盛和 幹事補佐 山口 真悟 日時 2006年 6月 1日(木) 13：40～17：30 2006年 6月 2日(金) 09：50～11：40 会場 いしかわサイエンスパーク 石川ハイテク交流センター（〒923-1211 石川県能美市旭台２丁目１番地 石川ハイテク交流センター．* 北陸鉄道石川線新西金沢駅より鶴来、加賀一宮方面に乗車 * 北陸鉄道鶴来駅で下車 * 鶴来駅より北陸鉄道能美線(バス)に乗車、「宮竹」下車．http://www.ishikawa-sp.com/isp/access/index.html．北陸先端大 平石 邦彦） 議題 コンカレントシステム、離散事象システム、ハイブリッドシステム、および一般 6月1日(木) 午後 （13：40～17：30） (1) 13:40 - 14:05 CO2排出量を考慮した分散EMSへの市場指向プログラミングの適用 ○八切好司・宮本俊幸・熊谷貞俊（阪大）・森 一之・北村聖一・山本隆也（三菱電機） (2) 14:05 - 14:30 混合論理動的システム表現の改良に関する研究 ○崔 舜星・平石邦彦（北陸先端大） −−− 休憩 （ 10分 ） −−− (3) 14:40 - 15:05 Concurrent Production Engineering System by Discrete Simulation and CAD Jaber E. Abu Qudeiri・Mohamed Anouar Jamali・○Hidehiko Yamamoto（Gifu Univ.） (4) 15:05 - 15:30 述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法 ○加藤位明（金沢大）・陸田陽介（NEC）・山根 智（金沢大） −−− 休憩 （ 10分 ） −−− (5) 15:40 - 16:20 ［チュートリアル講演］産業競争力強化への貢献拡大を意図したSICE組込み・ハイブリッド調査研究活動 ○舩橋誠壽（日立） (6) 16:20 - 16:50 ［招待講演］StarBED: 「町を丸ごとエミュレーション」を目指して（口頭発表） ○篠田陽一・丹 康雄（北陸先端大/NICT） −−− 移動時間 （ 10分 ） −−− (7) 17:00 - 17:30 北陸IT研究開発支援センターの見学会 6月2日(金) 午前 （09：50～11：40） (8) 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.） (9) 10:15 - 10:40 Siphon-Trap-Based Algorithms for Computation of Petri Net Invariants with Supports Containing a Specified Place ○Tomohiro Chikada・Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.） −−− 休憩 （ 10分 ） −−− (10) 10:50 - 11:15 バッチ処理アークつきマークグラフの可達問題 水野奈美（デンソーテクノ）・○太田 淳・辻 孝吉（愛知県立大） (11) 11:15 - 11:40 拡張ペトリネットとJava/PNMLによる並列システムの構成手法 ○山口真之介（九工大）・和崎克己・師玉康成（信州大） ◆計測自動制御学会 離散事象システム部会 共催 ◎1日目（6月1日）の招待講演終了後，懇親会を予定していますので御参加ください． ☆CST研究会 【問合先】 田岡 智志（広島大学大学院工学研究科情報工学専攻） TEL 082-424-7666, FAX 082-422-7028 E-mail:    info ts     -u Last modified: 2006-05-30 12:05:00 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]