| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2024-11-14 14:40 SATソルバを用いた複数パス間の制約を満足する経路計算手法 ○田辺和輝・竹中 幹・吉田晴信・藤原達弥・田島照久（NTTコミュニケーションズ）  ICM2024-16 |
|
| 抄録 | （和） | 通信パス単体の制約に加えて複数の通信パス間に跨る制約を満たす経路計算が求められるネットワーク環境では，従来のルーティングプロトコルおよびツールのみでは制約を満足する経路が計算できず，手動での経路の修正・再計算が必要となるため最適な経路の計算が困難かつ長期化することが課題となっている．これに対し本研究では，通信パスの経路計算問題を充足可能性問題(SAT) として定式化し，単一パスの制約に加えてパス間の制約を満足しつつ，ネットワーク全体の合計メトリックを最小とする最適経路の計算手法を提案し，SAT ソルバを用いて提案手法の試作ツールを実装した．評価のために専用線ネットワークを模したトポロジを生成し，評価環境で行った定性評価の結果，従来手動での計算が困難であった通信パスの最適経路を提案手法により自動計算可能であることを示した．試作ツールの処理性能に関する定量評価の結果， 20-60 ノード，30 通信パス程度の小規模なトポロジにおける少数の通信パスの経路計算要求に対しては，分オーダの現実的な時間で計算可能であることを示した． |
| （英） | In network environments in which both constraints over multiple communication paths and individual ones must be considered, it has been difficult to calculate routes of communication paths that satisfy the constraints by conventional routing protocols or tools, due to long computation times and difficulty in finding optimal solutions. This paper proposes a path calculation method which calculates the optimal route in consideration of both single-path constraints and multiple-path constraints, by formulating the problem of path computation technique as a satisfiability problem (SAT). We also implement a prototype tool of the proposed method using an SAT solver. We generated a topology modeled after a dedicated line network, and qualitative evaluation on the topology showed the ability of proposed method to automatically calculate the optimal route in consideration of multiple-path constraints. Results of quantitative evaluations showed that our proposed method can calculate routes for small network topologies consisting of 20-60 nodes and 30 communication paths, within order of minutes. | |
| キーワード | （和） | 経路制御 / トラフィックエンジニアリング / 充足可能性問題 / Path Computation Element (PCE) / / / / |
| （英） | Routing Protocol / Traffic Engineering / SAT / Path Computation Element (PCE) / / / / | |
| 文献情報 | 信学技報, vol. 124, no. 260, ICM2024-16, pp. 1-6, 2024年11月. | |
| 資料番号 | ICM2024-16 | |
| 発行日 | 2024-11-07 (ICM) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | ICM2024-16 |
|
| 研究会情報 | |
| 研究会 | NS ICM NV |
| 開催期間 | 2024-11-14 - 2024-11-15 |
| 開催地（和） | 福井大学 + オンライン開催 |
| 開催地（英） | Fukui University + Online |
| テーマ（和） | ネットワーク品質，ネットワーク計測・管理，ネットワーク仮想化，ネットワークサービス，ブロックチェーン，セキュリティ，ネットワークインテリジェンス・AI，一般 |
| テーマ（英） | Network quality, Network measurement/management, Network virtualization, Network service, Blockchain, Security, Network intelligence/AI, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | ICM |
| 会議コード | 2024-11-NS-ICM-NV |
| 本文の言語 | 日本語 |
| タイトル（和） | SATソルバを用いた複数パス間の制約を満足する経路計算手法 |
| サブタイトル（和） | |
| タイトル（英） | A Path Calculation Method Satisfying Constraints between Multiple Paths Using SAT Solver |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 経路制御 / Routing Protocol |
| キーワード(2)（和/英） | トラフィックエンジニアリング / Traffic Engineering |
| キーワード(3)（和/英） | 充足可能性問題 / SAT |
| キーワード(4)（和/英） | Path Computation Element (PCE) / Path Computation Element (PCE) |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 田辺 和輝 / Kazuki Tanabe / タナベ カズキ |
| 第1著者 所属（和/英） | NTTコミュニケーションズ株式会社 (略称： NTTコミュニケーションズ) NTT Communications Corporation (略称： NTT Communications) |
| 第2著者 氏名（和/英/ヨミ） | 竹中 幹 / Motoki Takenaka / タケナカ モトキ |
| 第2著者 所属（和/英） | NTTコミュニケーションズ株式会社 (略称： NTTコミュニケーションズ) NTT Communications Corporation (略称： NTT Communications) |
| 第3著者 氏名（和/英/ヨミ） | 吉田 晴信 / Harunobu Yoshida / ヨシダ ハルノブ |
| 第3著者 所属（和/英） | NTTコミュニケーションズ株式会社 (略称： NTTコミュニケーションズ) NTT Communications Corporation (略称： NTT Communications) |
| 第4著者 氏名（和/英/ヨミ） | 藤原 達弥 / Tatsuya Fujiwara / フジワラ タツヤ |
| 第4著者 所属（和/英） | NTTコミュニケーションズ株式会社 (略称： NTTコミュニケーションズ) NTT Communications Corporation (略称： NTT Communications) |
| 第5著者 氏名（和/英/ヨミ） | 田島 照久 / Teruhisa Tajima / タジマ テルヒサ |
| 第5著者 所属（和/英） | NTTコミュニケーションズ株式会社 (略称： NTTコミュニケーションズ) NTT Communications Corporation (略称： NTT Communications) |
| 講演者 | 第1著者 |
| 発表日時 | 2024-11-14 14:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ICM |
| 資料番号 | ICM2024-16 |
| 巻番号（vol） | vol.124 |
| 号番号（no） | no.260 |
| ページ範囲 | pp.1-6 |
| ページ数 | 6 |
| 発行日 | 2024-11-07 (ICM) |
[研究会発表申込システムのトップページに戻る]