研究会開催プログラム

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

トップ

戻る

前のMSS研究会 / 次のMSS研究会

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

★コンカレント工学研究会（CST）
専門委員長　辻孝吉　　副委員長　内平直志
幹事　田岡智志，太田淳

日時　2005年 1月27日(木)　10：00～16：30

会場電気通信大学総合研究棟３階マルチメディア会議室（〒182-8585 東京都調布市調布ヶ丘 1-5-1．JR新宿駅より京王線特急・準特急にて14分調布駅下車徒歩5分．http://www.uec.ac.jp/acc/map.html．情報通信工学科情報メディア工学講座渡邊成良．0424-43-5298）

議題コンカレントシステム, 一般

1月27日(木) 午前（10：00～11：40）

(1) 10:00 - 10:25
A New Proposal of Petri Net Based Formulation for Analyzing Signaling Pathways
○Chen Li・Shunichi Suzuki・Qi-Wei Ge・Mitsuru Nakata・Hiroshi Matsuno（Yamaguchi Univ.）・Satoru Miyano（Univ. of Tokyo）

(2) 10:25 - 10:50
On Computation of PARAdeg of Data-Flow Program Nets with SWITCH-nodes
○Tatsuya Watanabe・Shingo Yamaguchi・Qi-Wei Ge・Minoru Tanaka（Yamaguchi Univ.）

(3) 10:50 - 11:15
SDLプロセスごとのペトリネット変換による仕様検証
○長谷川晴朗（OKI）・茂呂征一郎（福井大）・松本　忠（福井工大）

(4) 11:15 - 11:40
Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places
○Atsushi Iriboshi・Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.）

1月27日(木) 午後（13：00～16：30）

(5) 13:00 - 13:25
ベイジアンネットワークによる遺伝子ネットワーク推定
○曹　貴美・岡崎威生（琉球大）

(6) 13:25 - 13:50
プロセスマイグレーションを用いたデータグリッド環境における並列計算システム
○近藤紹弘・角川裕次（広島大）

(7) 13:50 - 14:15
状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について
○宮内克彰・山口真悟・葛　崎偉・田中　稔（山口大）

(8) 14:15 - 14:40
Decentralized Supervisory Control Using Dynamic Default Control
○Shigemasa Takai（Kyoto Inst. of Tech.）・Toshimitsu Ushio（Osaka Univ.）

−−−　休憩　（ 10分）　−−−

(9) 14:50 - 15:15
秘密分散共有法を用いた分散データベースシステム
○守田泰博・宮本俊幸・熊谷貞俊（阪大）

(10) 15:15 - 15:40
進化ツリーベース法によるマルチプルアラインメント問題の解法
○宮里千尋・名嘉村盛和・中島裕美子（琉球大）

(11) 15:40 - 16:05
複数の準最小木を考慮した遺伝子発現データクラスタリング
○鹿川大輔・名嘉村盛和・中島裕美子（琉球大）

(12) 16:05 - 16:30
Improving Computation of Legal Firing Sequences of Petri Nets based on Behavioral Deadlock Avoidance
○Yasutoshi Yoshimoto・Satoshi Taoka・Toshimasa Watanabe（Hiroshima Univ.）

☆CST研究会

【問合先】
太田淳（愛知県立大学情報科学部）
TEL0561-64-1111,FAX0561-64-1108
E-mail:oh