11月4日(木) 午前 09:30 - 12:35 |
(1) |
09:30-09:55 |
挙動的トラップのPOCネットの活性の単調性への応用 |
○太田 淳・辻 孝吉(愛知県立大) |
(2) |
09:55-10:20 |
確率線形ハイブリッドオートマトンの記号的到達可能性解析手法 |
○陸田陽介・山根 智(金沢大) |
(3) |
10:20-10:45 |
非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法 |
○山崎貴史・山根 智(金沢大) |
(4) |
10:45-11:10 |
ある種の並列分散システムにおけるブロードキャストスケジューリング |
○田村 裕・田崎 太(新潟工科大)・仙石正和(新潟大)・篠田庄司(中大) |
|
11:10-11:20 |
休憩 ( 10分 ) |
(5) |
11:20-11:45 |
線形変換回路の係数列合成順序を考慮した演算コスト削減アルゴリズム |
○佐藤圭介・佐々木孝雄・豊嶋久道(神奈川大) |
(6) |
11:45-12:10 |
A Study on the Pole Assignment for the Three-Dimensional Systems (II) |
○Atsushi Kawakami(Kanazawa Insti. of Tech.) |
(7) |
12:10-12:35 |
Expansion of the image using the B-spline surface |
○Norito Kato・Hiroshi Yasukawa(Aichi Prefectural Univ.)・Akira Taguchi(MIT) |
11月4日(木) 午後 13:55 - 17:00 |
(8) |
13:55-14:20 |
情報ネットワークの自律分散最適管理理論とそのセマフォ制御による構成法 |
○柴田勇樹・渡部 和(創価大) |
(9) |
14:20-14:45 |
A Study on the Marginal Reliability of Multi-hop Wireless Network with Total Radiation Energy Restriction |
○Sumio Hayashi・Hitoshi Watanabe(Soka Univ) |
(10) |
14:45-15:10 |
Optimization Method of Content Delivery Network with Information-Zooming Function(Z-CDN) |
○Kazunobu Takada・Hitoshi Watanabe(Soka Univ.) |
|
15:10-15:20 |
休憩 ( 10分 ) |
(11) |
15:20-15:45 |
On Obtaining All the Elementary T-invariants Using Linear Programming |
○Tomiyuki Fukunaga・Qi-Wei Ge・Mitsuru Nakata(Yamaguchi Univ.) |
(12) |
15:45-16:10 |
プログラムネットの不活性について |
○山田紘輔・山口真悟・葛 崎偉・田中 稔(山口大) |
(13) |
16:10-16:35 |
競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について |
○國吉圭介・山口真悟・葛 崎偉・田中 稔(山口大) |
(14) |
16:35-17:00 |
On the Effect of Firing Inhibition in Finding Firing Sequences of Timed Petri Nets |
○Tsuyoshi Tachibatake・Satoshi Taoka・Toshimasa Watanabe(Hiroshima Univ.) |
11月5日(金) 午前 09:30 - 12:00 |
(1) |
09:30-09:55 |
ELF帯環境電磁波における多層ニューラルネットを用いた異常信号検出 |
○板井陽俊・安川 博(愛知県立大)・内匠 逸(名工大)・畑 雅恭(中部大) |
(2) |
09:55-10:20 |
離散更新可能な間接アドレッシングDSP用のメモリ配置方法 |
○杉野暢彦・金子雄平・西原明法(東工大) |
(3) |
10:20-10:45 |
心理音響パラメータによる足音の識別に関する一検討 |
○高須賀 崇・小路康弘・安川 博(愛知県立大) |
|
10:45-11:00 |
休憩 ( 15分 ) |
(4) |
11:00-12:00 |
[特別講演]新しいグランド・チャレンジを ~ 概要 ~ |
○稲垣康善(愛知県立大) |