1988年, 第14卷, 第03期　刊出日期：

  

• 全选
  |

论文
• Select
  CAD中的人工智能

  何成武,窦如静

  . 1988, 14(03): 3-10.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文概述了CAD中的人工智能系统,包括早期的问题求解程序、扩展谓词逻辑的形式系统、专家系统以及第五代计算机的智能 CAD系统,表明在CAD中引进人工智能技术是其重要发展趋势。
• Select
  虚拟图形设备接口GSS-VDI的剖析、移植和扩充

  沈侃民,范志刚

  . 1988, 14(03): 11-15.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  VDI是正在讨论中的一个低级图形接口的美国标准。本文主要介绍我们对IBM PC系列微机上 GSS-VDI所作的结构和原理剖析,如何移植到长城 0520 C-H微机,以及对原系统的扩充。
• Select
  计算机集成制造系统CIMS中的数据库技术

  郭莹芳

  . 1988, 14(03): 16.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  “计算机集成制造CIM”高技术,已引起了世界各国的高度重视。本文对计算机集成工程、设计、制造、管理系统CIMS的基本概念;CIMS对数据库的基本要求;工程数据库的特点及其结构作了简要的介绍,并以一个工程数据库的应用实例说明它在CIMS中的作用。
• Select
  图形数据库

  胡梁,徐正杰

  . 1988, 14(03): 22-26.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文详细地介绍了使用TOTAL DBMS和交互图形软件 PLOT-10 IGL来建立的图形数据库。
• Select
  一种演绎数据库语言的设计与实现

  徐洁磐,魏红

  . 1988, 14(03): 27-34.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  扩充模型论是一种数学理论,在它的基础上我们实现了一种扩充模型论语言——EMTL。这种程序设计语言不仅可用在关系数据库系统中还可用在演绎数据库中。它有很多特点,它为我们研究与实现关系数据库系统与演绎数据库提供了新的思想、方法与工具。在本文中,我们讨论了此语言设计与实现的一些问题,最后并作了分析与评价。
• Select
  智能化的句法纠错与词法纠错方法

  陆奇,钱家骅

  . 1988, 14(03): 35-41.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文提出了一些开发具有智能化的纠错功能的句法分析器的方法和新的句法纠错准则,并运用人工智能的方法和原理设计了能够具有任意多个超前搜索符的错误识别方法和智能化的纠错模式。此外还给出了一个高效率的关键字纠错算法。
• Select
  REITER算法的完备性测试及一种优化策略

  白玉晶

  . 1988, 14(03): 42.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  RAYMOND REITER在中给出了一个带空值的关系数据库的查询求解算法,这个算法是正确的,但并不能保证其完备性。本文给出了一个测试REITER算法在某一数据库的求解过程中是否保持其完备性的算法,由此可知,通过REITER算法求得的解是完全解还是部分解。此外,本文还给出了一个与REITER算法等价的但却更高效的查询求解算法。
• Select
  IBM系统中汇编、FORTRAN、PASCAL语言之间的连接

  冯震宇

  . 1988, 14(03): 47.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文主要讨论了在IBM系统下汇编、FORTRAN、PASCAL语言相互连接调用的方法,使得一种语言所写的程序能被另一种语言所写的程序调用,并给出例子来说明如何实现不同语言所写程序的连接以及相应的参数传递。
• Select
  在RSX-11M系统上扩充缓冲池的实现

  曾国中,曹江

  . 1988, 14(03): 51.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文介绍了RSX-11 M操作系统上缓冲池枯竭问题,即缓冲池功能、位置、大小、造成缓冲池枯竭的原因及与内存管理有关的数据结构。同时介绍了为了扩大缓冲池尺寸如何修改RSX-11 M操作系统建立第二缓冲池。
• Select
  办公自动化系统的程序设计语言

  陶增乐,徐鸿

  . 1988, 14(03): 57-62.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  程序设计语言是办公自动化的重要研究领域,特别是文书工作人员期望有适合他们使用的高级语言。本文介绍了几种语言并作了比较。
• Select
  档案自动化管理的设计和实现

  邵臻浩,李兴华,陈笑影

  . 1988, 14(03): 63.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文以上海市人民政府办公信息自动化管理系统的子系统——档案管理系统为例,着重介绍了档案自动化管理的基本功能,以及设计和实现的方法。
• Select
  并行PROLOG在树形机器上的实现

  HajimeMIURA ,吴荣泉

  . 1988, 14(03): 68-75.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文提出了在树形机器上控制prolog程序执行的并行算法,并通过模拟实验比较了它们的效率。用于实验的树形机的模型由一个单树机、一个多路交换器和一个系统控制器组成。单树机是树形机器的公共部分,具有普遍性。模拟实验结果表明,当所给定的问题具有足够的并行度时,本文提出的算法能够获得较高的性能。对于处理部件的更高的利用率和更好的负载平衡将是进一步研究的问题。我们发现树形机器适合于Prolog并行实现。