組合せ探索のためのBeta-Prologの並列化

用于组合搜索的 Beta-Prolog 并行化

• 批准号: 06750395
• 负责人: 周 能法
• 金额: $ 0.51万
• 依托单位: Kyushu Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06750395/
• 关键词: 組合せ探索; 並列処理; 論理プログラミング; コニパイラ; グラフ問題; 制約充足問題; プラニング問題; prolog

1.ネットワーク上でBeta-Prologの並列化及びそれの応用を行ないました.Beta-Prologでは,状態を表すデータ構造として状態表が装備されています.並列化は,状態表に対する選択演算(select)に対して行ないました.まず,通信を必要としない並列実行モデル及びスケジューリング戦略を考案しました.スケジューリング関数を定めるためのパラメータとして状態表の大きさ,探索に参加するマシンの個数,及び一回毎に考慮する組の数などについて考えた.2.つぎに,並列実行モデルをVLSI設計における配線問題に応用しました.実験の結果,Beta-Prologのプログラムは,特殊な配線プログラムより質のよい結果が得られました.この応用は,今年のICLP´95で発表される予定です.3.今後の課題として,通信ライブラリのBeta-Prologへの導入及び通信コストを考慮した協調探索のための実行とスケジューリングモデルを考案する必要があります.

1. ネ ッ ト ワ ー ク で on Beta - Prolog の tied and び そ れ の 応 line with を な い ま し た. Beta - Prolog で は, state を table す デ ー タ tectonic と し て state table が equipment さ れ て い ま す. Parallel は, state table に す seaborne る sentaku calculus (select) に し seaborne て line な い ま し た. ま ず, communication を necessary と し な い parallel line be モ デ ル and び ス ケ ジ ュ ー リ ン グ 戦 slightly を test case し ま し た. ス ケ ジ ュ ー リ ン グ masato set several を め る た め の パ ラ メ ー タ と し て state table の big き さ, explore に attend す る マ シ ン の number Group, and び once their に consider す る の number な ど に つ い て exam え た. 2. つ ぎ に, parallel line be モ デ ル を VLSI design に お け る wiring problem に 応 with し ま し た. Be 験 の as a result, the Beta - Prolog の プ ロ グ ラ ム は, special な wiring プ ロ グ ラ ム よ り qualitative の よ い results ら が れ ま し た. こ の 応 は, this year の ICLP ´ 95 で 発 table さ れ る designated で す. 3. Future の subject と し て, communication ラ イ ブ ラ リ の Beta - Prolog へ の import and び communication コ ス ト を consider し た coordination to explore の た め の line be と ス ケ ジ ュ ー リ ン グ モ デ ル を test case す る necessary が あ り ま す.

项目成果

周 能法: "On the Scheme of Passing Arguments" Proc.Int.Conf.on Logic Programming. 159-175 (1994)

周能发：“论传递参数的方案”Proc.Int.Conf.on Logicprogramming 159-175（1994）。

周 能法: "A Logic programming Approach to channel Routing" Proc.Int.Conf.on Logic Programming. (to appear). (1995)

Zhou Nengho：“通道路由的逻辑编程方法”Proc.Int.Conf.on 逻辑编程（1995 年）。