| 实数域上的并行约束逻辑程序设计系统及其实现技术 |
| |
| 引用本文： | 王念永 刘椿年. 实数域上的并行约束逻辑程序设计系统及其实现技术[J]. 北京工业大学学报, 1998, 24(4): 1-6 |
| |
| 作者姓名： | 王念永 刘椿年 |
| |
| 作者单位： | 北京工业大学计算机科学系 |
| |
| 摘 要： | 主要讨论了在线程模式下实数域上的约束逻辑程序设计系统CLP（R）的Herbrand域和实数域并行求解的两种可行策略：1）单约束求解器线程并行策略．2）多约束求解器线程并行策略。并着重介绍了基于前一种策略实现的BPU－PARCLP（R）系统的并行算法和实现技术．
|
| 关 键 词： | 并行约束逻辑程序设计 线程 回溯 |
The Parallel Algorithm and Implementation Techniques for CLP(R) |
| |
| Wang Nianyong, Liu Chunnian, Nie Wenying. The Parallel Algorithm and Implementation Techniques for CLP(R)[J]. Journal of Beijing Polytechnic University, 1998, 24(4): 1-6 |
| |
| Authors: | Wang Nianyong Liu Chunnian Nie Wenying |
| |
| Abstract: | Taking account of threads model the two feasible parallel strategies for CLP(R) are dicussed: 1) single constraint-solver thread parallel strategy, 2)multiple constraint-solver threads parallel strategy. And the parallel algorithm and implementation techniques of BPU-PARCLP(R) are given in particular using the first parallel strategy. |
| |
| Keywords: | parallel constraint logic programming threads programme backtracking |
| 本文献已被 CNKI 维普 等数据库收录！ |
