孙成政
- 作品数：4 被引量：0H指数：0
- 供职机构：长沙工学院更多>>
- 发文基金：霍英东基金霍英东教育基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OR树林的逻辑程序并行执行模型——PSOF模型
- 1989年
- 本文提出了一种OR树林并行搜索模型——PSOF模型。在PSOF模型中,同一棵树中搜索的进程在逻辑上相互独立,无须通讯。子进程只是当搜索到叶节点时才向主进程发送结果,通讯频度很低。通过对多棵树以及一棵树的各分枝的并行搜索同时开发了逻辑程序的AND和OR两种基本并行性。本文还讨论了在PSOF模型下子目标的自动划分这一重要专题。
- 孙成政慈云桂
- 关键词：逻辑程序
- 逻辑程序并行执行模型的模拟实验研究
- 1989年
- 本文介绍以SES-PIM系统为工具,对三种不同的逻辑程序执行模型进行对此模拟实验研究的结果。实验表明:PSOF模型能有效地开发确定性和非确定性逻辑程序的AND和OR两种并行性;PSOT模型却只能开发逻辑程序中的OR并行性;而SSOT模型不能开发逻辑程序中的并行性。对于本文使用的五个典型问题,PSOF模型的平均并行度是PSOT模型的3至6倍,是SSOT模型的3至19倍;PSOF模型的搜索速度是PSOT模型的2至6倍,是SSOT模型的3至13倍。
- 孙成政慈云桂
- 关键词：逻辑程序并行执行模型
- 一个并行推理机模拟实验系统——SES-PIM
- 1989年
- 1.引言 我们的研究目标是设计一个并行执行逻辑程序的计算机系统结构。从1984年初开展这一工作以来,已取得的主要结果包括:提出了一种描述逻辑程序执行过程的新方法——OR树林方法及其执行模型PSOF。
- 孙成政慈云桂
- 关键词：并行推理机
- 一种支持逻辑程序AND和OR两种并行性的环境共享方法
- 1989年
- 本文提出一种新的环境共享方案。这种方案不仅克服了Ciepielewski的方案中的缺陷,而且能支持在PSOF模型下对逻辑程序的AND和OR两种并行执行。本文定义的环境存储器的二级结构以及各种处理变量约束环境的算法过程都已作为SES-PIM系统的一部分,用PROLOG在VAX-11/780上实现。方案的正确性和有效性已通过测试大量典型程序得到证明。
- 孙成政慈云桂
- 关键词：逻辑程序
