本刊十周年纪念征文之五 试论结构问题

无论是计算机系统或软件系统,结构问题都是影响系统质量的内在因素。本文讨论“系统结构”、“软件结构”、“程序结构”,以及“模块结构”,结合作者近年来的工作,分别提出了一些想法。     

软件工程支撑环境

要大力发展计算机科学技术,就必须大力发展软件工程,迅速建立软件产业。而支撑环境则是其中的必要组成部分,是一项具有长远意义的基本建设。本文着重讨论四个问题,即什么是支撑环境?为什么要发展支撑环境?支撑环境的基本组成,如何发展支撑环境。     

情形实例驱动的软件需求模型自动生成

通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序。由于每一个情形实例都只从特定的使用者的角度，根据所需达到的特定使用目的，针对特定的使用条件，来描述一个复杂系统中的一个局部，与对整个复杂系统的需求进行分析和描述相比，在特定情形实例下对软件需求进行分析与描述较简单。然而，如何保证情形实例描述之间的一致性，如何从情形实例的描述获得整个软件系统的需求定义则是以情形实例分     

基于实验本构关系的接触电阻预测方法研究

双极板与扩散层之间的接触电阻是导致质子交换膜燃料电池功率损失的重要因素.研究接触电阻的影响因素与形成规律并对其进行准确预测,对提高和优化质子交换膜燃料电池性能具有重要意义.提出了接触电阻本构关系的概念和基于实验本构关系的接触电阻预测方法.通过平板压缩试验测得了石墨-扩散层的接触电阻与接触压力实验本构关系.采用实验本构关系预测了不同装配压力下石墨双极板与扩散层间的接触电阻,并与实测结果进行了对比.结果表明,提出的基于实验本构关系的接触电阻预测方法是可行的.     

熔喷法非织造布结构与性能分析

介绍了熔喷法非织造布的生产流程、应用领域、性能测试、实验分析、结构性能与适应产品,对熔喷非织造布结构与性能进行了分析。     

Modula:一种用于模块多道程序设计的语言

本文定义了一种称作Modula的语言,这种语言主要是打算用来编写计算机系统(包括小机器上的过程控制系统)程序的。语言大部分是以Pascal为基础的,但是除了通常的分程序结构以外,还引进了一种所谓模块结构。模块是一组过程、数据类型和变量,在其中程序员可以对由环境移入的或移出到环境的各个名进行准确的控制。Modul(?)包含一些一般性的多进程设施;亦即,进程,界面模块以及信号。本语言还允许指明出一些表示计算机特定外围设备的设施。本文中所给出的这些设施都是适用于PDP——11的。     

从功能规格说明到设计规格说明的自动转换

本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术.     

浮点計算的誤差分析

本文包含两个主要部分,在第一部分中导出了基本浮点算术运算中舍入误差的界。在第二部分中把第一部分的一些结果用来分析求矩障的特征值的若干计算方法。在每一种情形中所算的解都表示成原矩障的某一个攝动矩障的准确解,并且对攝动求出相应的界。我们还就一种计算方法,导出了对特征值本身的误差进行先验估计的界。     

纺粘非织造布生产中静电现象分析及防治措施

阐释了静电产生的原理: 摩擦带电原理;接触带电原理;金属与静电.分析了纺粘法非织造布生产过程中静电的来源, 同时提出了几种静电防治措施.