| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のMSS研究会 / 次のMSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★回路とシステム研究会（CAS） 専門委員長 藤澤 久典 (富士通研) 副委員長 牧野 光則 (中大) 幹事 山崎 博 (富士通研)， 神澤 雄智 (芝浦工大) 幹事補佐 高藤 大介 (広島大) ★コンカレント工学研究会（CST） 専門委員長 潮 俊光 (阪大) 副委員長 平石 邦彦 (北陸先端大) 幹事 山口 真悟 (山口大)， 中村 正樹 (金沢大) 幹事補佐 山崎 達志 (摂南大) 日時 2009年11月26日(木) 10：45～16：50 2009年11月27日(金) 09：30～17：30 会場 名古屋大学ベンチャービジネスラボラトリ（〒464-8603 名古屋市千種区不老町．JR名古屋駅から名古屋市営地下鉄名古屋大学下車．http://www.vbl.nagoya-u.ac.jp/access/index.html．大学院情報科学研究科 柳浦 睦憲．052-789-5447（会場）） 議題 一般 11月26日(木) 午前 CST(1) （10：45～12：00） (1) 10:45 - 11:10 On a new model for Quantum Computers by using Quantum Petri Nets ○Shinsuke Ito・Atsushi Ohta・Kohkichi Tsuji（Aichi Pref. Univ.） (2) 11:10 - 11:35 ペトリネットの発火系列問題の拡張とWebアプリケーション用汎用スケジューラの作成 ○中野雅章・山内雅弘（近畿大）・田岡智志・渡邉敏正（広島大） (3) 11:35 - 12:00 製品ライフサイクルでの高信頼化技術の動向 ○内平直志（東芝） 11月26日(木) 午後 CAS(1) （13：30～14：45） (4) 13:30 - 13:55 Hierarchical Abstraction of Nonlinear Oscillator Macromodels ○Jaijeet Roychowdhury（Univ. of California, Berkeley） (5) 13:55 - 14:20 交互方向陽解法に基づくFDTD法 ○青野修一（セサミテクノロジー）・海野正樹・浅井秀樹（静岡大） (6) 14:20 - 14:45 並列分散型ブロックLIMによる強結合伝送線路の高速過渡解析 ○井上雄太・關根惟敏・浅井秀樹（静岡大） 11月26日(木) 午後 CST招待講演（研究会優秀論文賞） （15：00～15：50） 2008年CST研究会優秀論文賞表彰式 （著者：駒形龍太・○森下 篤・山根 智（金沢大），題目：述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法，信学技報：CST2008-5） (7) 15:00 - 15:50 ［招待講演］確率時間CEGAR ○森下 篤・駒形龍太・山根 智（金沢大） 11月26日(木) 午後 CST招待講演 （16：00～16：50） (8) 16:00 - 16:50 ［招待講演］組合せ最適化問題の計算複雑度解析とアルゴリズム設計 ○渡邉敏正（広島大） 11月27日(金) 午前 CST(2) （09：30～10：45） (9) 09:30 - 09:55 確率ゲーム理論による組込みシステムのモデル化とモデル検査 ○越田彰太・山根 智（金沢大） (10) 09:55 - 10:20 確率時間REGARによるPTCTLのサブクラスのモデル検査 ○高橋正樹・森下 篤・山根 智（金沢大） (11) 10:20 - 10:45 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断 ○高井重昌・潮 俊光（阪大） 11月27日(金) 午後 CAS(2) （13：00～14：15） (12) 13:00 - 13:25 携帯機器向けグラフィックス・アクセラレータシステムの設計と評価 ○永井 靖・大和田 徹（日立）・高木徹夫（日立アドバンストデジタル）・滝田 功（日立） (13) 13:25 - 13:50 Universal Test Sets for Reversible Circuits ○Satoshi Tayu・Shota Fukuyama・Shuichi Ueno（Tokyo Inst. of Tech.） (14) 13:50 - 14:15 整数計画法によるグラフ埋め込みの定式化とLSI配線への応用 ○井上恵介（北陸先端大/学振）・金子峰雄（北陸先端大） 11月27日(金) 午後 CST(3) （14：25～15：40） (15) 14:25 - 14:50 A Method to Determine Firing Times of Transitions for Timed Petri Nets by Introducing Stochastic Decision Rules ○Yoshimasa Miwa（Yamaguchi Univ.）・Chen Li（Univ. of Tokyo）・Qi-Wei Ge・Hiroshi Matsuno（Yamaguchi Univ.） (16) 14:50 - 15:15 ライントポロジー上の非同期分散型進化計算の実験評価 ○宮城隼人・名嘉村盛和（琉球大） (17) 15:15 - 15:40 拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計 ○山口真之介（九工大）・和崎克己・師玉康成（信州大） 11月27日(金) 午後 CST(4) （15：50～17：30） (18) 15:50 - 16:15 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて ○黒田祐樹・山口真悟・田中 稔（山口大） (19) 16:15 - 16:40 マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用 ○林 直樹・潮 俊光・金澤尚史（阪大） (20) 16:40 - 17:05 ペトリネットを用いたコレオグラフィ実現について ○宮本俊幸（阪大）・藤井 拓（オージス総研） (21) 17:05 - 17:30 与えられた動作を行う条件／事象ネットの最小実現に関する考察 ○橋爪 進・矢嶌智之・小野木克明（名大） 一般講演：発表 20 分 ＋ 質疑応答 5 分 ◎27日(金)11:00～12:00に情報処理学会アルゴリズム研究会主催の高田広章教授（名大）による特別講演会が開催されます．ご参加ください． ☆CAS研究会今後の予定 [ ]内発表申込締切日 2010年1月28日(木)～29日(金) 京大会館 [11月17日(火)] テーマ：一般 【問合先】 山崎 博（富士通研究所） TEL 045-473-5801 E-mail:        si      ◎回路とシステム研究専門委員会では、研究会の振興を目的として「回路とシステム研究会学生優秀発表賞」を制定しました。 優秀な学生発表は、3月の総合大会にて表彰いたしますので、ふるって申し込み・投稿をお待ちしております。 受賞資格は回路とシステム研究会でご自身で発表され、かつ予稿にて第一著者のIEICE学生会員(申し込み中でも可)の方です。 詳しくは幹事までお問い合わせください。 ☆CST研究会 【問合先】 山口 真悟（山口大学大学院理工学研究科） TEL: 0836-85-9510, FAX: 0836-85-9501 E-mail:  n gu -u ◎最新情報は、コンカレント工学研究会ホームページをご覧下さい． http://www.ieice.org/~cst/ ◎CST研究会では、研究会で発表された論文の中から毎年一件を優秀研究会論文賞として表彰しております． Last modified: 2009-09-25 19:08:05 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[CAS研究会のスケジュールに戻る] /
| トップ | 戻る | 前のMSS研究会 / 次のMSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]