摘要：本文引入描述传值并发系统的新模型“带赋值符号迁移图（STGA）”．STGA推广了Hen－nessy和Lin提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图．STGA的另一优点是在并行运算下封闭．文中给出了STGA的操作语义，在此基础上定义了STGA的互模拟等价关系．为了刻划STGA的互模拟，以谓词等式系的形式在一阶逻辑的正子集中扩充了最大和最小不动点，并设计了一个算法将STGA的互模拟归结为谓词等式系的最大不动点．

摘要：本文介绍函数式语言SML窗口系统的设计和结构。该窗口系统实现了“事件驱动”的思想,主要面向于交互式应用。我们还描述了其中的一个工具包,并通过一个实际的例子来说明其应用。

摘要：提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动点的存在.还设计了一个算法来自动地检测移动进程是否具有用该逻辑公式所描述的性质,并证明了该算法的正确性.

摘要：Simula 67首先将类、次类、超类和继承的概念引入程序设计语言。这些思想在Smalltalk、C++等语言中得到了进一步的发展,形成了一种独特的、面向对象的程序设计风格。通过继承机制,次类可以共享超类中的代码,从而便利于增量式的软件开发方式,提高产品的可扩充性。 继承有单一和多重两种。单一继承即一个次类最多只能有一个直接超类。

摘要：提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutationscore和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.

摘要：固体硫磺受存放、运输等因素影响,经常出现杂质、水分含量过高现象,给硫磺制酸的原料预处理带来了困难。针对原来过滤介质的不足而研制开发的刚性烧结金属丝网多孔材料,具有强度高、刚性好、孔道均匀稳定、阻力小、反洗再生性能好,用其制造的液硫过滤器采用多罐并联切换操作,可实现连续化、自动化生产,使用证实其性能稳定、操作简便,效果好。