1989年, 第15卷, 第02期　刊出日期：

  

• 全选
  |

论文
• Select
  一个用于人机通信的专家系统

  谢立,浦良,孙钟秀

  . 1989, 15(02): 5.

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

  本文介绍了一个用于人机通信的专家系统KZ1/RZ,它具有理解自然语言(汉语)、联机执行命令、咨询和学习的功能,从而极大地提高了人机通信的友好程度。文章还给出了KZ1/RZ的实现概述。
• Select
  逻辑程序并行解释的断言流模型

  鲁汉榕

  . 1989, 15(02): 11-14.

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

  本文研究基于知识重写的逻辑程序的自底向上并行解释的一种新模型。其中推理动机性的改善依赖于生成断言的分配策略,这一策略又取决于所谓的谓词相关关系闭包。
• Select
  支持面向对象语言的体系结构

  高耀清,胡守仁

  . 1989, 15(02): 15-21.

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

  本文探讨体系结构对面向对象语言的支持,分析比较了若干相关的典型的体系结构。
• Select
  逻辑程序中AND并行性的开发

  张晨曦,李良良

  . 1989, 15(02): 22-28.

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

  逻辑程序执行过程中存在的并行性主要有两种:AND并行性和OR并行性。本文论述了AND并行性开发的主要问题——共享变量问题以及解放该问题的几种途径。文中提出用一个三元组来描述AND并行模型的主要特征,并在此基础上对AND/OR模型的AND并行部分以及RAP、SDD、智能通道等几个比较典型的AND并行执行模型进行了分析和比较。
• Select
  可重用模块—抽象数据类型的Ada实现

  谈乾康

  . 1989, 15(02): 29.

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

  可重用软件有着一系列的收益——降低软件系统的开销,增强软件的可靠性,增强易于维护性以及提高软件系统的质量。本文讨论可重用模块,即抽象数据类型的Ada实现。本文首先论述了该研究领域的重要性;尔后叙述了Ada语言对支撑可重用模块所具备的种种机制;最后给出Ada语言编制的一个可重用模块的模式。
• Select
  一种多机系统的并行程序设计语言——OCCAM2程序设计特点

  张康

  . 1989, 15(02): 34-41.

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

  程序设计语言OCCAM可用来设计和实现处理并行进程和进行通道通讯的多机系统。INMOS公司的transputer提供了实现这种系统的硬件支持,而OCCAM正是为(transputer)而设计的。本文介绍了(transputeer)和OCCAM程序设计的基本概念,然后从软件工程角度讨论了OCCAM程序开发的几个方面,从而谈到了该语言不同于传统串行语言的一些特征。
• Select
  支持抽象数据类型的关系数据库系统的设计

  郑振楣,石树刚,何亚原

  . 1989, 15(02): 42.

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

  抽象数据类型(ADT_s)是一个数据结构及其相关操作集的封装。本文把关系模型加以扩充,使其可将域任意地定义为抽象数据类型;在这些类型上可以定义原语操作,还可以定义聚集函数操作。本文还提出了将dbaseⅢ扩充为可支持ADT_s的设计思想,并给出了框图。文中提出的方法强调相关信息的局部性,可使得定义的新类型与原有DBMS的交互尽量少。
• Select
  综合经济管理部门MIS逻辑模型的设计

  黄奇帆,芮青白,张国曙,陈伟毅,丁健,林原

  . 1989, 15(02): 49-54.

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

  本文介绍经济管理部门管理信息系统(MIS)逻辑模型的设计思想、设计方法、设计原则和具体的设计步骤。简要地介绍综合经济管理部门MIS的逻辑模型和系统开发的优先级排序原则,力求完整地刻划出大型MIS逻辑模型的设计思想、方法、原则和步骤。
• Select
  DEBUG.COM程序的汉化技术

  秦学礼,俞剑

  . 1989, 15(02): 55-57.

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

  本文介织IBM-PC机DOS操作系统配置的动态调试程序DEBUG.COM的汉化技术。
• Select
  会计电算化的系统设计和应用

  刘国德,夏正义

  . 1989, 15(02): 58.

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

  本文介绍了工业企业财务会计电算化系统的具体实现。
• Select
  门自动分配算法及实现

  潘霞增,平玲娣,寿宇澄,陶欣

  . 1989, 15(02): 61-65.

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

  门的自动分配是印制板电路计算机辅助设计的重要环节,它的分配结果直接影响了以后的布局、走线等工作,并对布通率起很大作用。本文采用直接结合度与间接结合度相结合的方法,不但考虑有共同信号的门,还考虑了同时与某一器件有共同信号的几个门,使分配的结果能更符合要求。本算法已在ZD-MCARS自动布线系统中投入使用。结果令人满意。
• Select
  微机局部网络中抗干扰问题的研究及一个实例

  夏晓东

  . 1989, 15(02): 66-71.

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

  本文分析了在电磁干扰很强的地区安装局部网络的抗干扰问题,并通过一个实例介绍了提高PC/XT网络服务器抗干扰能力的一种有效方法。