摘要：本文论述了作者设计的一种并发PASCAL语言,语言中采用了作者提出的“可更换式进程调度”思想,使本语言不但能满足不同用户对调度策略的需求,同时还可以使本系统开销保持在很低的水平.“可更换式进程调度”的含义是:在并发PASCAL语言的进程调度中,不是采用传统的固定的调度算法模式,而是允许程序员按照不同需求,使用不同算法的进程调度内核程序.

摘要：提出了一种用于并行程序符号调试系统的分布式监控方法。首先在并行程序中插入可监控的＂探针＂，并将并行程序的受控运行分为用户状态、活跃状态、通讯状态和等待状态，在分析这些状态的基础上设计了对并行程序进行分布式管理的监控算法。这一算法已经在ＰＤ－１００并行计算机上实现，实践表明这种监控机制是简便而有效的．

摘要：本文对一个新的PASCAL结构编辑器PSE(PASCAL StructuredEditor)的系统结构和功能进行了概括的描述。在设计和实现PSE时,作者提出了一种新的程序内部表示法,即所谓“文本-树”表示。与以往的程序内部表示相较,这种表示方法具有占用内存量小,光标控制及编辑操作简便以及无须进行内部语法树与行式文件间的转换等特点。实践证明,基于此种表示的语法制导编辑器是易于实现的,其工作效率是较高的。

摘要：本文简要地介绍了一个对JOVIAL编译器进行系统测试的测试用例自动生成系统.在设计此生成系统时,作者吸收了Purdom算法的某些思想,并通过在系统中引入多级文法及设置功能模块等途径,较好地消除了Purdom算法无法解决程序生成过程中前后文相关的局限性。本系统还提供了一种自动修改输入文法的功能,以便能产生一些含有典型语法错误的测试用例。程序的生成按自顶向下、逐步细化的方式进行,且能保证系统的输出是最短JOVIAL程序的最小集合。此外,由于在系统内部处理上采取了一些措施,使算法的执行速度得到了提高。

摘要：本文以并行３ＬＦＯＲＴＲＡＮ源程序为分析对象．阐述了并行程序运行可视化技术中的关键环节──有关并行程序运行时性能数据的采集系统的设计思路及实现方案，并通过一实例进行了说明．

摘要：研究和开发了一个性能分析系统，它能自动地提取描述程序运行过程的真实数据，依据这些数据描述并行ＦＯＲＴＲＡＮ程序的各种性能指标，并对影响程序运行性能的原因作出直观的图形表述，本系统的实现策略也可用于其它并行语言编写的并行程序的性能分析。