您的位置： 专家智库 > >

高耀清

作品数：11 被引量：5H指数：1
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：霍英东教育基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 9篇期刊文章
  • 2篇会议论文

领域

  • 9篇自动化与计算...

主题

  • 5篇RAP
  • 4篇推理机
  • 4篇并行推理机
  • 3篇逻辑程序
  • 3篇程序设计
  • 2篇调度
  • 2篇面向对象
  • 2篇面向对象语言
  • 2篇编译器
  • 2篇P-P
  • 2篇并行编译器
  • 1篇对象模型
  • 1篇多处理机
  • 1篇性能评价
  • 1篇译码
  • 1篇译码器
  • 1篇推理机设计
  • 1篇人工智能
  • 1篇逻辑系统
  • 1篇面向对象程序

机构

  • 6篇国防科学技术...
  • 6篇清华大学

作者

  • 11篇高耀清
  • 6篇胡守仁
  • 4篇王鼎兴
  • 3篇沈美明
  • 1篇郑纬民
  • 1篇李经纬
  • 1篇王东
  • 1篇邢浩

传媒

  • 4篇小型微型计算...
  • 1篇计算机研究与...
  • 1篇中国科学（A...
  • 1篇微电子学与计...
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇全国人工智能...
  • 1篇中国第四届知...

年份

  • 1篇1995
  • 3篇1993
  • 3篇1991
  • 1篇1990
  • 3篇1989
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于OR树林描述的RAP/LOP逻辑程序并行执行模型
1989年
本文简要分析了当前典型的逻辑程序并行执行模型,提出了一个新的并行执行模型RAP/LOP。它基于OR树林描述,采用动靜相结合方法开发与并行,或并行开发受限处理机个数,以支持逻辑程序的与和或并行性。
高耀清胡守仁
关键词：逻辑程序并行执行模型
并行推理机RAP/LOP-WAM的方案设计和性能评价
1991年
本文首先简要介绍了逻辑程序并行执行模型RAP/LOP.它基于OR 树林描述,扩充WAM 支持限制与/或并行执行逻辑程序.然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案,探讨用通用CPU 芯片和附加专用硬件构造并行推理机,最后通过软件模拟系统对系统体系结构进行评价.
高耀清胡守仁
关键词：程序设计并行推理机RAP性能评价
全文增补中
适于多处理机的并行面向对象语言ParaObject被引量：1
1993年
面向对象语言对于开发问题域中的并发/并行性显示出巨大的潜力。本文介绍我们设计的并行面向对家语言ParaObject。文中首先描述ParaObject模型,然后介绍ParaObject的关键语言结构,最后我们讨论了一些重要的实现技术。
李经纬沈美明王鼎兴高耀清
关键词：面向对象语言多处理机
并行推理机RAP/LOP-PIM和它优化的并行编译器
给出了并行推理机ＰＡＰ／ＬＯＰ－ＰＩＭ和它优化的并行编译器的设计和实现。首先，简要描述并行执行模型ＲＡＰ／ＬＯＰ。它的搜索空间采用ＯＲ树林描述。通过静态子句级和过程级的数据相关性分析，结合动态简单检测开发独立目标的与并行...
高耀清胡军仁
关键词：编译码器推理机
并行推理机RAP/LOP-PIM及其优化并行编译器的设计与实现
1993年
本文重点论述并行推理机RAP/LOP-PIM及其优化并行编译器的设计与实现.首先,我们简要介绍并行执行模型RAP/LOP.然后给出基于RAP/LOP模型的并行抽象机和相应的体系结构.接着论述并行编译器的优化实现技术.最后通过模拟实验对系统性能进行了评估.
高耀清胡守仁王鼎兴
关键词：并行编译器并行推理机
并行推理机设计的主要论题被引量：2
1989年
基于谓词逻辑的逻辑程序设计语言将逻辑推理对应计算,它丰富的表达能力特别适合于知识信息处理。Warren提出的编译技术大大提高了顺序执行Prolog的时空效率。但是,为了满足知识信息处理应用的要求,需要研究并行推理机以并行执行逻辑程序。本文论述了并行推理机设计中涉及到的一些问题,从逻辑语言,执行模型和体系结构等方面探讨了并行推理机中并行性开发方法和需考虑的问题。
高耀清胡守仁
关键词：并行推理机逻辑程序
并行逻辑程序系统RAP/LOP-WAM中的并行调度策略和否定的并行实现
1990年
本文论述并行逻辑程序系统RAP/LOP-WAM中的并行调度策略和否定的实现。受限与/或并行执行逻辑程序模型RAP/LOP,采用改进的RAP技术开发与并行,即通过程序级和子句级的分析,动静相结合识别子句体中子目标间的数据相关性,开发独立目标的与并行,OR并行的开发受限于处理机个数,有效地控制了进程数和空间量的指数爆炸。RAP/LOP相应的抽象机称为RAP/LOP-WAM,它基于OR树林描述,扩展WAM支持受限与和或并行执行逻辑程序。本文这里首先描述RAP/LOP-WAM中的并行调度策略,分析评价了几种调度算法及它的实现方法。其次论述了否定的实现方法,最后提出了今后我们研究的方向。
高耀清胡守仁
关键词：并行调度
一种支持逻辑程序AND和OR并行执行的存贮管理方法被引量：1
1989年
为了满足知识信息处理的要求,需要研究逻辑程序的并行处理技术,逻辑程序的并行性来源主要有AND和OR并行。而AND并行性的开发遇到变量约束冲突(即数据相关性)问题,OR并行的开发面临着存贮冲突问题(即多约束环境)。本文主要给出限制的AND/OR模型RAP/LOP-WAM(Restricted And-Parallelism and Limited or-Parallelism)中的存贮管理方法以解决OR并行的存贮冲突问题。
高耀清王东胡守仁
关键词：逻辑程序存贮管理并行处理
一种新的用于分布共享存储系统的存储器一致性算法被引量：1
1995年
ＳＶＭ系统或称ＤＳＭ系统是在基于分布存储器的多处理机上，实现物理上分布但逻辑上共享的存储系统．它集共享存储器易于编程和分布存储器可扩充性好于一体，为ＭＰＰ计算机的使用带来了方便．本文首先介绍了ＳＶＭ系统的数据一致性问题及其解决办法，然后提出了一种新的固定分布管理算法ＮＦＤＭＡ，并对此算法作了分析，最后与李凯的固定分布管理算法作了比较．
邢浩沈美明高耀清
关键词：存储器共享存储器
面向对象语言Smalltalk-80的并行与分布实现技术的研究被引量：1
1993年
本文首先简要介绍面向对象语言Smalltalk-80系统的顺序实现技术,然后重点论述它的并发、分布及并行实现技术。
高耀清郑纬民沈美明王鼎兴
关键词：面向对象程序设计
全选 清除 导出
共2页<12>
聚类工具0