| 研究課題/領域番号 |
20500074
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
計算機システム・ネットワーク
|
|---|
| 研究機関 | 兵庫県立大学 |
|---|
研究代表者 |
中松 和己 兵庫県立大学, 環境人間学部, 教授 (60227874)
|
|---|
| 研究分担者 |
渡辺 尚 静岡大学, 総合科学技術大学院, 教授 (90201201)
|
|---|
| 研究期間 (年度) |
2008 – 2010
|
| 研究課題ステータス |
完了 (2010年度)
|
| 配分額 *注記 |
2,860千円 (直接経費: 2,200千円、間接経費: 660千円)
2010年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2009年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2008年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | アドホックネットワーク / パラコンシステント論理プログラム / ネットワークルーティング |
|---|
| 研究概要 |
パラコンシステント論理プログラムExtended Vector Annotated Logic Program with Strong Negation(EVALPSN と略す)による蓋然性推論、論争義務推論などを利用したネットワークにおけるマルチルート構築プロトコルの論理モデル化を行った.このモデルを使ったルーティングシミュレーションシステムは構築中である.
|
