| 研究課題/領域番号 |
19K11828
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 広島大学 |
|---|
研究代表者 |
亀井 清華 広島大学, 先進理工系科学研究科(工), 准教授 (90434977)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2024-03-31
|
| 研究課題ステータス |
中途終了 (2023年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2023年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2022年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2021年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2020年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2019年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | 分散アルゴリズム / 耐故障性 / 自己安定性 / 動的分散問題 / 自己安定アルゴリズム / 安全収束性 / 低機能モバイルロボット / 危険区域問題 / 支配集合問題 / ロボットモデル / 2-極小支配集合問題 / 相互排除問題 / 動的ネットワーク |
|---|
| 研究開始時の研究の概要 |
本研究では，トポロジが動的に変化するネットワークにおいても十分に実用に耐える，故障耐性を持つ自己安定分散アルゴリズムの設計を目的とする．本研究では特に，解状況が動的な問題について，安全収束性を持たせた自己安定アルゴリズムを考える．安全収束性は，最低限のサービスが保証できる性質を持つ状況にすばやく収束し，その性質を保持しながら最適な状況へと収束するというものであり，一般的に安全収束性を持たせることは難しい．よって，安全収束性を持つ自己安定アルゴリズムを複数設計する中で，安全収束性を持たせるための設計の簡単化手法を探る．
|
| 研究成果の概要 |
動的タスクの一つである大局的（または局所的）危険区域問題（以下，CS問題）を取り上げ，検討を行った．CS問題とは，相互排除問題やk-相互排除問題，相互包括問題などを一般化した枠組みであり，各時間において，システム上の（または自身と隣接する計算機の），少なくともl個，高々k個の計算機がCSにアクセスするように制御する．
更に，動的ネットワークの計算機は，このような分散問題に費やす計算能力（電源，メモリ，など）に制限がある場合もあることから，計算能力の小さいロボットモデルにおける基本的な問題の計算可能性についての考察も行った．
|
| 研究成果の学術的意義や社会的意義 |
本研究は，トポロジが動的に変化するネットワークにおいても十分に実用に耐える，故障耐性を持つ分散アルゴリズムの設計を目的とした．動的なネットワークでは，リンクの切断やメッセージの損失，外乱によるメモリ内容の改変などの一時故障が起こりやすい．そういった故障や変化に対する耐性を持つ分散アルゴリズムとして，自己安定性を持つ分散アルゴリズムが有効である．本研究では特に，解状況が動的な問題について考え，その一つとして危険区域問題を扱ってきた．これは相互排除問題やk-相互排除問題，相互包括問題など，多くの応用が考えられる問題を一般化した枠組みである．
|
