組合せ探索のためのBeta-Prologの並列化
組合せ探索のためのBeta-Prologの並列化
用于组合搜索的 Beta-Prolog 并行化
批准号：
06750395
负责人：
周 能法
金额：
$0.51万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1994
资助国家：
日本
项目状态：
已结题
起止时间：
1994 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
1.ネットワーク上でBeta-Prologの並列化及びそれの応用を行ないました.Beta-Prologでは,状態を表すデータ構造として状態表が装備されています.並列化は,状態表に対する選択演算(select)に対して行ないました.まず,通信を必要としない並列実行モデル及びスケジューリング戦略を考案しました.スケジューリング関数を定めるためのパラメータとして状態表の大きさ,探索に参加するマシンの個数,及び一回毎に考慮する組の数などについて考えた.2.つぎに,並列実行モデルをVLSI設計における配線問題に応用しました.実験の結果,Beta-Prologのプログラムは,特殊な配線プログラムより質のよい結果が得られました.この応用は,今年のICLP´95で発表される予定です.3.今後の課題として,通信ライブラリのBeta-Prologへの導入及び通信コストを考慮した協調探索のための実行とスケジューリングモデルを考案する必要があります.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
周 能法: "On the Scheme of Passing Arguments" Proc.Int.Conf.on Logic Programming. 159-175 (1994)
周能发：“论传递参数的方案”Proc.Int.Conf.on Logicprogramming 159-175（1994）。
周能发：“论传递参数的方案”Proc.Int.Conf.on Logicprogramming 159-175（1994）。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
周 能法: "A Logic programming Approach to channel Routing" Proc.Int.Conf.on Logic Programming. (to appear). (1995)
Zhou Nengho：“通道路由的逻辑编程方法”Proc.Int.Conf.on 逻辑编程（1995 年）。
Zhou Nengho：“通道路由的逻辑编程方法”Proc.Int.Conf.on 逻辑编程（1995 年）。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Javaアプレットを構築するための制約言語DJの実現と応用
-
批准号：11780235
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.64万
-
财政年份：1999
-
负责人：周 能法
-
依托单位：
遅延機構の高速化及びそれの制約コンパイルへの応用
-
批准号：09780298
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$1.09万
-
财政年份：1997
-
负责人：周 能法
-
依托单位：
組合せ問題を高速に解くための論理型言語の設計,実現及び応用
-
批准号：05750383
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.38万
-
财政年份：1993
-
负责人：周 能法
-
依托单位：
海外基金
