1978年, 第4卷, 第03期　刊出日期：

  

• 全选
  |

论文
• Select
  程序设计语言Pascal的评注

  Niklaus ,Wirth ,王家增

  . 1978, 4(03): 3-12.

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

  ——评论程序设计语言Pascal是以“可靠的程序设计”为指导思想并在使用此语言达五年经验这一背景下进行的。选择的一些特点指出其存在的问题,或是固有的或是特有的,从中我们可以得出一些关于可靠的程序设计之语言的设计或选取的启示。在讨论的一些特点中有数据类型概念,顺序的文件结构和并类型。
• Select
  PASCAL的二义性和不安全性

  J.WELSH ,W.J.SNEERINGER ,C.A.R.HOARE ,邵瑧浩

  . 1978, 4(03): 13-22.

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

  讨论了程序设计语言Pascal中的二义性和不安全性。
• Select
  PASCAL的历史

  G.Richmond ,王家增

  . 1978, 4(03): 23-25.

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

  <正> Pascal是Dr.Niklaus Wirth通过扩充数据定义设施的范围确定Algo160后继这一早期努力的成果。1965年,对IFIP工作小组提出了关于这种后继的一个方案。据认为,它並不比Algo160先进,因此不作广泛发行而在CACM上刊登[Wirth66]。这个方案的某些意图是:定义一个能被可靠的翻译程序快速编译的语言;将语言的实用性越出严
• Select
  数据库管理系统

  JAMRSMARTIN ,杨振家

  . 1978, 4(03): 26-31.

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

  <正> 数据库管理系统要用到类表和子类表[注]。该系统的基本功能是通过执行其数据操作为应用程序服务。 应用程序通过数据库管理系统,读一个记录所出现的主要事件,在图1中表示出来了。依赖于软件的细节,还要出现若干其它的事件,我们将在后面讨论它们。下面11个事件是主要的事件,在图1中已标了号。
• Select
  HITAC VOS1/VOS2/VOS3数据管理系统PDM概述

  刘琢

  . 1978, 4(03): 32-53.

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

  随着数据处理领域大规模地采用电子计算机,数据库和数据库管理系统便随之产生了。反过来它的发展又为数据处理带来了极大的方便。 日本HITAC M系列的VOS1/VOS2/VOS3均提供了数据库管理系统功能,所谓PDM(Practical Data Manager)和ADM(Adaptable Data Manager)就是日本HITAC M系列使用的数据库管理系统。 本文概略地说明了主语言型网络数据库管理系统PDM概念、PDM数据库和功能概要、PDM执行过程,最后用一个应用例子简略说明如何构成数据库。
• Select
  产生时序电路测试的九—值电路模型

  Peter ,Muth ,周和瑛

  . 1978, 4(03): 54-61.

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

  为了产生测试引进了九一值电路模型,此模型考虑了时序电路中的故障的多重和重复的影响。利用这个模型测试序列可以被确定,它允许时序电路的内部状态的多重和重复的虚设。因此有效的测试序列被导出,而其他熟知的过程像D—算法,虽然有测试存在却无法找到任何测试。 模型被定义且测试产生的过程被指出,它类似于D—算法。异步电路必须变换成同步电路或叠接组合电路,对这类电路测试被产生。因为冒险或振荡可以使测试变成无效所以异步电路测试序列的有效性必须通过测试模拟来确定。作为例子这模型被应用到一个异步电路中“常驻”一型的单故障和多故障,并且给出测试产生程序的总框图。
• Select
  离散数学结构及其在计算机科学中的应用(三)

  J.P.TREMBLAY ,R.MANOHAR ,陆菊康 ,马蓓蓓

  . 1978, 4(03): 62-78.

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

  <正> 1—2·15 二值器件(设备)与命题逻辑 至今我们所讨论的命题逻辑,称为二值逻辑。因为我们所采用的命题只有“真”或“假”这样的真假值。类似的情况存在于许多电子的与机械的设备,它们称为二值器件(设备)。我们首先给出这种共知的设备的例子,并说明它们与二值逻辑间的联系。