计算机工程

Select

HDS-9文件系统结构

瞿兆荣

. 1981, 7(03): 3-12.

摘要 ( ) PDF全文 ( )

可视化

本文介绍HDS-9文件系统的组织、结构以及它的实现。

Select

一种寻找测试值断言证明程序正确的方法

刘清

. 1981, 7(03): 13-21.

摘要 ( ) PDF全文 ( )

可视化

<正> 程序正确性证明采用程序调试虽然有利于检测程序的错误,但不能保证程序是正确的;采用程序验证虽然可以证明程序正确,但困难之处在于用户必须提出一系列的中间断言作为验证条件,而寻找这组中间断言是最困难的,也是程序验证的关键。为此,本文讨论对程序的静态分析产生的解的不变式与动态测试所获得的测试值相符合的方法,以此导出程序正确性的证明。这样既避免了程序验证所须的证明一组验证条件的长而使人腻烦的工作,也避免了程序调试必须选择样品调试数据的较难克服的困难。

Select

用PASCAL进行结构程序设计

王家增

. 1981, 7(03): 22-26.

摘要 ( ) PDF全文 ( )

可视化

<正> 一引言软件的研制风格受到计算机发展的强烈影响。以往计算机运行速度慢,内存量小,用机弗用昂贵时,则要求程序员编制程序讲究技巧,即用最少的指令,力争最快的运算速度,以节省机器时间和空间,并以此作为评价程序质量的标准。如今计算机趋向高速度,大存贮量,用机费用大幅度降低;另一方面,程序员工资等弗用不仅没有下降,反而不断上升时,则强调提高软件生产率,以减少人的费用。除此之外,软件本身的大型化,复杂化也要求编出的程序快、正确、易

Select

生成编译程序的一个系统(Ⅰ):语法分析程序的生成系统

朱瑞香

. 1981, 7(03): 27-32.

摘要 ( ) PDF全文 ( )

可视化

<正> 直接从源语言公式机械地生成相应的编译程序,这是编译系统研究的一个重要方面。它主要是研究如何设计出一个构造系统,将语言的语法公式作为初始信息供给构造系统,通过执行构造系统就可获得相应的编译程序。我们对此进行了初步探索,本文着重介绍语法分析程序的生成系统。此外,也介绍了与此有关的语法分析程序的形式以及对语言的一些规定。

Select

XCZ-3计算机的微程序设计

胡步瀛

. 1981, 7(03): 33-42.

摘要 ( ) PDF全文 ( )

可视化

<正> 在我们研制的小型实时控制机中,采用了微程序设计方法。本文想结合XCZ-3计算机的微程序设计,着重讨论以下几个问题:1,微指令的设计,2,微程序的结构,3,微程序的执行,4,预取和同步,5,辅助硬件。

Select

高效CASSEGRAIM天线程序设计

柴德元

. 1981, 7(03): 43-49.

摘要 ( ) PDF全文 ( )

可视化

<正> 雷达、通信是依靠天线来收发电磁波的,天线的效率直接影响到整机的质量,而一般天线的计算涉及到复杂的运算,冗长的数值计算将耗费我们宝贵的时间,因此本文介绍在656机上一个完整的程序。我们这个Cassegraim天线设计程序能使双镜系统面天线实现高效,做出的样机已在工程上得到满意的结果。本文不仅给出高效天线设计程序,而且只要我们改变初始条件即天线的有关参数就能得到最佳的天线曲线。

Select

最高重复频率为100兆赫兹、最小分辨率为1毫微秒的程控时钟发生器

史济源,蔡惠明

. 1981, 7(03): 50-55.

摘要 ( ) PDF全文 ( )

可视化

本文介绍一台用于中、大规模集成电路自动测试系统的程控时钟发生器,并着重论述了实现高重复频率、高分辨率等技术问题。

Select

JLDH纸带光电输入机

姚智夫,李庆荣,陈迎松

. 1981, 7(03): 56-63.

摘要 ( ) PDF全文 ( )

可视化

<正> 一、概述纸带光电输入机是电子数字计算机的一种输入设备。目前国内使用的大多是呼和浩特电子设备厂生产的摆杆式和无摆杆式的两种形式。前者是快启停的,使用了四个驱动电机,后者是慢启停的,用了三个驱动电机,并且都配有相应的伺服电路。本文叙述的输入机在传动机构上作了特殊的考虑,只用一个驱动电机作动力源,代之伺服电路的只是一个开关电路,因而具有成本低,传动平稳,简单可靠的优点。

Select

大型软件的质量管理

高村真司 ,刘琢

. 1981, 7(03): 64-70.

摘要 ( ) PDF全文 ( )

可视化

<正> 1.前言系统的质量依赖于组成系统的硬件和软件的质量。尤其是支配整个系统利用方式的软件(特别是基本软件)左右着系统的质量。为了使高质量的软件实用化,必须在全面质量管理思想指导下,在软件生存周期的各个阶段(如要求定义、设计、制造、试验、维护等)采取适当的提高质量的措施。

Select

西门子7.8XX系列操作系统BS3000

王金生

. 1981, 7(03): 71-72.

摘要 ( ) PDF全文 ( )

可视化

<正> 7.8XX新系列是7.000系列的高档产品,它是7.000系列的扩充。与之相配合,西门子同时提出新的操作系统:BS3000。其特点是完全采用虚拟设计方案:除专用系统区外,对每一用户程序可用16兆字节地址空间;此外,通道和通道程序都虚拟化。内存程序和通道程序均使用虚拟地址,并通过各自固有的动态翻译器将其翻译成物理地址。

Select

“C&C&M”相互关系及其未来

小林宏治 ,高义江

. 1981, 7(03): 73-77.

摘要 ( ) PDF全文 ( )

可视化

<正> 一、“C&C&M”的关系到本世纪末,计算机和通信的结合更为重要,作者曾反复指出过这一论点。众所周知,五十年代的日本计算机的诞生是建立在通信技术这一基础之上的。到了七十年代末这二十多年的时期内,计算机技术和通信技术沿着各自的方向,相当独立地向前发展。不难预料:在八十年代,“C&C”将结合在一起并进入一个全新的应用领域,其发展必将对人类社会带来

Select

IIBM3370用的微处理机的研制

D.A.Brereton ,B.F.Stansbury ,姚立申

. 1981, 7(03): 78-80.

摘要 ( ) PDF全文 ( )

可视化

<正> 前言 IBM公司在确定3370随机存取存贮器初期设计规范时,对逻辑工艺进行了研究,以便决定应采用哪种技术。研究表明,在大规模集成(LSI)为每个电路提供最低硬件费用的同时,设计每个电路所化的计算机执行时间也多了一倍至二倍。而且把最终设计转化成可用硬件所化的时间,也要比以前机器用的逻辑技术多二倍。在机器研制阶段,LSI的主要缺点是

Select

IBM 3370直接存取存贮器的维护装置

GeorgeJ.stephens ,JohnE.Hickman ,徐洪明

. 1981, 7(03): 81-82.

摘要 ( ) PDF全文 ( )

可视化

<正> 本文介绍了用于诊断IBM 3370系统问题的便携式维护装置的设计考虑。简单地说:新的IBM维护装置(MD)通过为用户工程师(CE)诊断系统的问题和自动隔离故障的方法,改善了IBM3370的可维护性。这个维护装置是一种轻便手提箱式的可编程序的维护计算机。

Select

IBM 3370控制器诊断程序

RJayBunten ,陆吉洁

. 1981, 7(03): 83-84.

摘要 ( ) PDF全文 ( )

可视化

讨论IBM 3370诊断微程序包,包括控制器硬件自身测试和面向独立设备的测试

Select

IBM3370编辑和打印(EREP)数据压缩程序

JerryL.Coale ,奚传铮

. 1981, 7(03): 85-87.

摘要 ( ) PDF全文 ( )

可视化

本文给出详细的处理错误记录和打印出对估价系统性能有用的服务程序。

Select

ECL电路的新系列—MECLIOKH——可以直接代替10K电路,不需要改变设计;功耗大致相同,门延迟减少一半

罗时实

. 1981, 7(03): 88.

摘要 ( ) PDF全文 ( )

可视化

<正> 莫托罗拉半导体器件公司最近宣布了一个ECL电路的新系列,即MECL10KH系列,并制成了一批样管即将投入市场。该公司采用氧化隔离离子注入技术(Mosaic)制造10KH电路,同制造10K电路所采用的p-n结隔离技术相比,晶体管的面积缩小约七倍,从而提高了电路的性能。Mosaic工艺还可用于集成1,000门以上的复杂电路。

选择文件类型/文献管理软件名称

选择包含的内容

1981年, 第7卷, 第03期　刊出日期：

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

1981年, 第7卷, 第03期 刊出日期：

1981年, 第7卷, 第03期　刊出日期：