一种支持逻辑程序AND和OR两种并行性的环境共享方法

导出

摘要本文提出一种新的环境共享方案。这种方案不仅克服了Ciepielewski的方案中的缺陷,而且能支持在PSOF模型下对逻辑程序的AND和OR两种并行执行。本文定义的环境存储器的二级结构以及各种处理变量约束环境的算法过程都已作为SES-PIM系统的一部分,用PROLOG在VAX-11/780上实现。方案的正确性和有效性已通过测试大量典型程序得到证明。

作者孙成政慈云桂

机构地区长沙工学院计算机系

出处《中国科学（A辑）》 CSCD 1989年第4期409-417,共9页 Science in China(Series A)

基金霍英东教育基金会

关键词逻辑程序环境共享 PSOF模型 AND

分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1孙成政,慈云桂.基于OR树林的逻辑程序并行执行模型——PSOF模型[J].中国科学（A辑）,1989,20(5):509-516.
2何勤童.Linux桌面环境共享网上MP3[J].开放系统世界,2003(5):57-58.
3机械工程其他学科[J].中国学术期刊文摘,2006,12(10):84-85.
4罗亚波,凌鹤.面向同步协同的协同环境共享策略研究[J].工程设计学报,2006,13(1):17-20. 被引量：1
5李长云,邬惠峰,应晶,李赣生.软件体系结构驱动的运行环境[J].小型微型计算机系统,2005,26(8):1358-1363. 被引量：1
6孙成政,慈云桂.一个并行推理机模拟实验系统——SES-PIM[J].计算机学报,1989,12(1):75-78.
7蒋建军,王俊彪,晏祥斌,曹友明.支持复杂资源环境信息集成的共享词汇表设计技术[J].航空科学技术,2013(5):59-66.
8李慧,毛君,白金.基于Web的产品装配评价建模研究[J].四川大学学报（工程科学版）,2007,39(S1):146-150. 被引量：2
9陈磊,李三立.网格数据复本管理的动态自适应软件体系结构[J].软件学报,2006,17(6):1436-1447. 被引量：3
10王成勇,刘全坤,胡龙飞,胡成亮.基于Web3D/STEP的模具协同设计联盟数据共享研究[J].中国机械工程,2006,17(23):2477-2481. 被引量：5

中国科学（A辑）

1989年第4期

浏览历史

内容加载中请稍等...

一种支持逻辑程序AND和OR两种并行性的环境共享方法

相关作者

相关机构

相关主题

浏览历史