硬质合金打印针的发展概况

由于现代社会已进入信息时代,生产、经营与办公自动化装置普及极快,作为自动化象征的电子计算机已获得了广泛的应用,电子计算机输出装置的打字机的生产量也几乎成指数地逐年增长。 作为电子计算机的输出装置的打字机目前研制的类型已有三种:     

氧气电弧等离子体的特性及其应用

简要介绍了氧气电弧等离子体加热法的研究工作。指出它与高频加热法有不同的特性和优点,认为它在气相氧化制取钛白工艺中有很大潜力。     

Modula—2集成环境及其核心

本文描述了Modula-2集成环境的设计思想并介绍了它的核心环境的实现方法。该核心环境支撑Modula-2的增殖编译和分别调试设施,并将编辑与调试集成起来,有利于提高软件生产率。     

ASME B16．34—2004最小壁厚计算公式的改进建议

本文通过对AsMEB16．34-2004阀门最小壁厚计算公式的分析,探讨了利用离散数据进行曲线拟合的方法,并提出改进计算公式的方向。     

抽象数据类型及其代数规格说明

本文介绍抽象数据类型及其规格说明技术中很活跃的一个研究方向——代数描述方法.给出基于抽象数据类型的代数规格说明的语法和语义,讨论一致性、完备性等问题.最后探讨规格说明的实现以及正确性证明的方法.     

公平性分类及其分析

本文对不同通信及协调机制的程序设计语文的公平性问题进行了讨论。本文的讨论基于一般的转换系统模型，此模型为我们统一地处理不同机制的语言提供了一个基础。文中给出了三类公平概念：弱公平性，进程公平性和强公平性。我们进一步对每一类公平性进行了分析。     

对象式逻辑语言LKO的实现技术

本文首先介绍对象逻辑程序设计语言ＬＫＯ的基本概念，然后讨论其转换系统的系统结构，主要数据结构及关键算法。     

软件规范方法比较

软件工程是应用计算机科学、数学及管理科学等原理,借鉴工程化原则与方法,解决软件向题的工程.软件开发过程可划分为若干个从概念直到实现的阶段。一个典型的阶段划分序列包括:问题定义、需求分析、(功能)规范、(层次)设计、详细设计、实现、测试、维护和退役等。各阶段的划分并非固定不变,且其间无一个严格界限。称为“规范”的这个领域可以被划分为更加细致的一个层次,包括从间题定义到层次(总体)设计这几个阶段。一般按规范所包的范围,将规范分为两种类型:一种是需求规范,粗略地对应于上述阶段划分中的问题定义和需求分析两个阶段;另一种是系统规范,粗略地对应于上述划分中的功能规范和层次设计两个阶段(如下图)。