| 逻辑程序并行执行模型及其体系结构的研究 |
| |
| 引用本文： | 孙成政,慈云桂. 逻辑程序并行执行模型及其体系结构的研究[J]. 国防科技大学学报, 1987, 0(2): 14-32 |
| |
| 作者姓名： | 孙成政 慈云桂 |
| |
| 作者单位： | 国防科技大学计算机系，国防科技大学 教授 |
| |
| 摘 要： | 一、引言1.1 研究目标、方式和结果目标:并行推理机系统结构。方式:自顶向下。
|
| 收稿时间： | 1987-03-02 |
Study of Computation Model and Computer Architecture for Parallel Execution of Logic Programs |
| |
| Sun Chengzheng and Ci Yungui. Study of Computation Model and Computer Architecture for Parallel Execution of Logic Programs[J]. Journal of National University of Defense Technology, 1987, 0(2): 14-32 |
| |
| Authors: | Sun Chengzheng and Ci Yungui |
| |
| Affiliation: | Department of Computer science and Department of Computer science |
| |
| Abstract: | The goal of our research is to design a computer architecture for AND-OR-parallel execution of logic programs based on the Horn clause subset of the predicate logic. We start from abstract level and move step by step towards concrete implementation details.The major contributions made in this thesis are:1. OR-forest-a new method for describing the execution of logic programs.2. PSOF-a process model based on parallel search of OR-forest.3. PIM-PSOF-an abstract parallel inference machine based on PSOF model.4. SES-PIM-a simulation and experiment system for parallel inference machine. |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
|
点击此处可从《国防科技大学学报》下载免费的PDF全文 |
