Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

实时仿真计算机系统的若干问题

本文比较了实时仿真计算机系统中配备A/D、D/A变换器的两种方案。分析了几种检索算法,并且提出了一种新的全并行检索方法——映象检索。文中论述了仿真计算任务的特点及其并行性的开发。本文在分析了AD-10的缺点之后指出,纯异构型仿真专用多处理机的局限性较大,不能充分开发仿真计算任务的并行性。较好的结构形式应是以同构型多处理机为核心。     

智能工具机的性能分析

本文论述了提高智能工具机性能所采取的技术措施,并对其性能进行了模拟。模拟结果表明,智能工具机的平均推理速度可达500KLIPS 左右,比日本的PSI—Ⅰ约快一倍,比美国加州大学Berkeley 分校研制的PLM 约快两倍。     

顺序推理机研究中的几个重要问题

文章论述了顺序推理机的发展经验和困难,包括数据结构的表示方法,机器指令系统的设计、编译问题、共享与复制问题、存储管理问题以及内部谓词的实现等等,文章还分析了研究顺序推理机在新一代机研究中重要作用,以及在我国研究顺序推理机的必要性和可行性。     

增强小散远直单位思想政治教育实效性

小散远直单位类型多、分布广、人员散,性质特殊,地位重要。增强小散远直单位思想政治教育实效性,要在整合教育内容上下功夫,增强思想政治教育针对性;在改进教育方法上下功夫,增强思想政治教育有效性;在完善教育机制上下功夫,确保思想政治教育落到实处。     

基于行为复合机制的结构化图形动画技术的研究与实践

在各类计算机动画中 ,角色动画可满足实时性及交互性的需要 ,其核心技术在于角色的建模技术。该文主要介绍了作者所研制的角色动画制作系统———“网动王 98” (简称Net_Anim系统 )中所采用的角色建模机制及其相关技术 ,内容包括 :角色的对象模型及其运行机制 ;角色复合行为的实现算法及相关的关键问题 ;应用示例 :Net_Anim系统的特色和有待进一步研究和解决的相关问题。     

高速缓冲存储器教学演示系统设计与实现

利用形象生动的动画演示来讲解教学内容是当今ＣＡＩ发展的一个重要方向。本文论述了我们设计实现的有关高速缓冲存储器工作原理的教学动画演示系统。该系统由Ｃａｃｈｅ工作过程、地址映象、ＬＲＵ替换算法、ＬＲＵ算法硬件实现等四个演示模块组成。文中介绍了这几个模块的设计思想、界面以及实现技术等。     

顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

智能工具机系统结构

本文提出了一种面向PROLOG 的计算机系统,它采用传统计算机做为主机,后端机采用通用OPU 芯片和支持PROLOG 高速执行的专用硬件。该系统结构简单,性能高。性能模拟表明,该系统具有500KLPS 的逻辑推理速度和17MPS 的数值计算速度。