WEKO3
アイテム
最適化問題への応用のための並列制約論理型言語の拡張
https://ipsj.ixsq.nii.ac.jp/records/128774
https://ipsj.ixsq.nii.ac.jp/records/128774714f053f-4fab-4878-978a-87436930bade
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001335062.pdf (237.0 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1995-09-20 | |||||
| タイトル | ||||||
| タイトル | 最適化問題への応用のための並列制約論理型言語の拡張 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Extension to a Parallel Constraint Logic Programming Language for Applications in Optimization Problems. | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 東京大学理学部情報科学科:日本アイ・ビー・エム(株) | ||||||
| 著者所属 | ||||||
| 東京大学理学部情報科学科:富士通(株) HPC本部 第二開発統括部 | ||||||
| 著者所属 | ||||||
| 東京大学理学部情報科学科 | ||||||
| 著者所属 | ||||||
| 東京大学工学部計数工学科 | ||||||
| 著者所属 | ||||||
| 東京大学理学部情報科学科 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| IBM Japan Ltd. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Fujitsu Ltd. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Dept. of Information Science, Univ. of Tokyo | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Dept. of Mathematical Engineering, Univ. of Tokyo | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Dept. of Information Science, Univ. of Tokyo | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 並列制約論理型言語PARCSは大規模並列計算機上での実装に向いた宣言的な言語であり、優先度に基づく並列実行制御、整数有限領域上の制約解消と枝刈り、暗黙のOR並列実行などの特徴を持つ。PARCSの枝刈り機構はある探索枝から将来分岐する枝の数を劇的に減らすことができる一方で、ある探索枝での結果が他の枝の探索の実行に大きな影響を及ぼす並列のα-β剪定や分枝限定法などのアルゴリズムにおける枝刈りはこれまで記述できなかった。本研究ではこのような最適化のためのアルゴリズムを記述するために優先度の制御と枝刈りの新しい枠組を提案する。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第51回, 号 ソフトウェア, p. 77-78, 発行日 1995-09-20 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
