文献

J-GLOBAL ID：202002255972374596   整理番号：20A0875724

RCMPSPを解くためのアントコロニー最適化におけるSMTソルバに基づく局所探索の統合【JST・京大機械翻訳】

Integrating a SMT Solver based Local Search in Ant Colony Optimization for Solving RCMPSP

著者 (3件)： Sanchez Mariam Gomez (Universidad Te ́cnica Federico Santa Mari ́a,Departamento de Informa ́tica,Valparai ́so,Chile) ,  Gil Alejandro Fernandez (Universidad Te ́cnica Federico Santa Mari ́a,Departamento de Informa ́tica,Valparai ́so,Chile) ,  Castro Carlos (Universidad Te ́cnica Federico Santa Mari ́a,Departamento de Informa ́tica,Valparai ́so,Chile)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： LA-CCI  ページ： 1-6  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： プロジェクトスケジューリング問題は,実用的な重要性と効率的な解を見つけるための複雑さを与えて広く研究されている。本研究では,各プロジェクトが消費に利用可能な自身の資源集合を持つことを考慮して,資源制約多プロジェクトスケジューリング問題に基づく同じ問題の拡張に取り組んだ。著者らは,Antコロニー最適化に基づくハイブリッドアルゴリズムと,移動満足検証器としてのSMTソルバによってサポートされたHill-Climbing第一改良に基づく局所探索手順を提案した。著者らのアプローチを,MPSPLIBデータセットに属する12例のセットでテストした。問題のいくつかの事例に対して,近最適解を得た。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *近傍探索法 ,  *最適化 ,  *コロニー
準シソーラス用語： 最適解 ,  ハイブリッドアルゴリズム ,  資源制約 ,  プロジェクトスケジューリング ,  *ソルバ ,  *アリコロニー最適化 , 【Automatic Indexing@JST】

分類 (2件)： 図形・画像処理一般  (JE04010I) ,  パターン認識  (JE07000S)

タイトルに関連する用語 (5件)： アントコロニー最適化 ,  SMT ,  ソルバ ,  局所探索 ,  統合