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

  

• 全选
  |

论文
• Select
  PROLOG并行解释系统中AND/OR并行成份选择策略

  沈一栋,童頫

  . 1988, 14(01): 3-15.

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

  作者认为变量共享以及 ADDCL、DELCL和KILL等数据库操作内部谓词的副作用是影响顺序 PROLOG并行解释的并行度的主要因素。寻求一种识别、选择AND/OR并行成份的有效算法,获得PROLOG子句和子目标的最大可并行计算类,是PROLOG 并行解释的重要步骤。本文对这一问题进行详细讨论,得出了若干实用的结论。
• Select
  抽象数据类型的PROLOG实现

  朱关铭,苗巍山

  . 1988, 14(01): 16.

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

  抽象数据类型(abstract data type,以下简称ADT)和PROLOG都可作为数据类型的描述语言,本文旨在揭示二者间的关系。 本文给出ADT的形式定义及语义(执行策略),定义了一个证明系统用以表述执行策略,最后引入一个有效的从ADT到PROLOG的变换规则。
• Select
  一种基于属性文法的编译结构设计方法

  赵荣彩

  . 1988, 14(01): 24.

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

  本文介绍了一种基于属性文法的编译结构设计方法。本编译设计方法采用两遍扫描,语法分析采用自顶向下的分析技术,并与属性文法中对继承属性的自顶向下计值过程揉合在一起,而在第二遍处理中,进行自下而上地对综合属性的计值。这样就很自然地将属性文法的思想和办法运用于编译结构设计之中,实践表明,其效果是好的。
• Select
  分布式数据库系统结点失败下无阻塞的提交协议

  赵健,顾君忠

  . 1988, 14(01): 31-39.

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

  分布事务的原子性由分布事务的提交协议来保证。提交协议使公布事务在其执行结点上要么都一致地提交,要么都一致地夭折。如果一个分布事务的提交协议在系统失败时有可能致使某些分布事务的终止或继续运行依赖于此系统失败后的恢复,那么称此提交协议是有阻塞的。本文从提交协议的系统开销和阻塞程度两方面比较了目前常用的几种提交协议,描述了在结点失败下的无阻塞提交协议:带终止协议的三阶段提交协议。同时,本文还提出了在结点失败期间系统的处理策略,给出了保存失败给点悬挂动作以达到屏蔽结点失败的新方法。
• Select
  分布式多总线多处理机结构的自诊断

  吴琪,黄开源

  . 1988, 14(01): 40-44.

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

  本文针对多总线结构的特点建立故障模型和诊断模型,给出多总线结构分布式控制的t_B/t_P可诊断性的定义,并利用关联矩阵找出其判定条件。
• Select
  MARS系统及其自动布线算法

  荘震武

  . 1988, 14(01): 45-50.

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

  本文介绍一个在GW0520C/H微机上开发的印制板自动布线系统MARS。详细阐述了MARS系统的通道布线算法,提出了两种新的空间分配方法,并已在MARS系统中实现,有效地解决了部分空间过分拥挤的问题,提高了布通率。
• Select
  PLA故障测试生成

  董云耀

  . 1988, 14(01): 51.

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

  本文在讨论和分析现有PLA测试生成方法的基础上.综合比较了这些方法的各个特点,针对PLA测试的特殊性,提出了一个折衷的简洁、易理解、易实现的PLA测试生成算法──析优法的思想,以及合理的各种具体要求和启发式措施,便于增强算法的效率,并在VAX-11/780上用PASCAL实现。该算法还能辅助PLA的设计、验证和进行PLA可测试性设计的指导。
• Select
  外围存贮设备接口技术的发展及方向探讨

  高建强,李文焱,陈明珠

  . 1988, 14(01): 56-61.

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

  计算机外围存贮设备接口技术的发展是提高计算机系统效益、性能价格比的中心问题之一。当今计算机系统设计者正密切注视着接口技术的发展动向。本文对国际上接口技术的发展过程、前途进行了初步的探讨。
• Select
  实体造型:现状和研究动向

  何金生

  . 1988, 14(01): 62-68.

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

  <正>一、几何造型的基本概念 几何造型(Geometric Modelling)是研究如何用计算机直接表示三维物体,几何体的布尔运算、几何性质、几何变换及几何模拟等。它涉及怎样有效地定义和构造实物形状并将实物模型转用数学模型表示,进而可以通过计算机反复进行分析和模拟。计算机内的数学模型称为软件模型。几何造型在 CAD/CAM领域中有着广泛的应用。诸如机械加工、土木建筑、飞机及汽车的外形设计等领域。 GMS是 CAD/CAM系统的核心部分,图1说明了GMS在CAD/CAM系统中的作用。
• Select
  数据结构化编程:无数组和指针的程序设计

  HARLAND.MILLS. ,RICHARDC.LINGER ,胡福林

  . 1988, 14(01): 69-75.

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

  结构化程序设计为访问程序的指令引入了一种新的规范。在合适的编程语言中,这个规范可用不带GOTO的程序设计方法来描述。例如可以证明,对一种具有顺序、选择和重复等控制结构的编程语言,使用GOTO语句得到的任何操作效果.均能用同一语言的非GOTO语句实现。GOTO允许随机语句程序指令,而顺序、选择和重复则提供十分有限的、规范的访问方式。