基于Petri网的一种时序分析方法

Petri网由于有强大的建模能力和成熟的理论支持 ,被广泛应用于各种系统的建模 .本文通过把 Petri网转换成转移系统 ,利用转移系统和 Kripke结构给出了时序逻辑语义的解释 ,从而建立一种在 Petri网上进行时序分析的方法 .这种方法是根据不动点理论 ,用模型检查验证公式正确性 .通过对 Ada程序会合性质进行模型检查 。

并发面向对象语言的组合同步控制模型

要将并发性与面向对象及代码重用结合起来，必须解决“继承异常”问题．目前提出的方案大都针对特定问题，有一定局限性．本文引入了一种新的同步模型，将同步控制分为同步策略控制与同步条件控制，同时引入了策略库，加大了并发对象的代码可重用性，在很大程度上避免或减少了“继承异常”的发生．

继承异常的分析与解决

继承异常是用来描述在并发面向对象语言中继承与并发的冲突 .为分析并解决这种冲突 ,人们做了大量的工作 ,但我们认为以前的分类是不完全的 .本文对继承异常做了系统的分析 ,并设计了一个新的同步模型 ,为每个方法增加了同步策略与同步状态控制 ,加大了并发对象的代码可重用性 .本文用实例说明了该模型 ,在很大程度上避免或减少了“继承异常”的发生 .

Ada中实时结构的Petri网建模与分析

本文从一般时间网出发,派生出一种简单时间网,并建模了延迟、分支选择、异步选择、优先权等Ada实时结构,特别是把优先权处理为一种时间特性。这样不仅扩充了Petri网在Ada中的建模能力,同时可以更加准确刻画Ada程序行为。

并行归纳法推理系统

为提高归纳法推理过程的速度和效率，我们在Ｂｏｙｅｒ－Ｍｏｏｒｅ程序证明方法和自行设计的串行归纳法推理系统的基础上，进行了并行归纳法推理的研究，其中包括推理知识的分布处理，系统初始工作的并行化，并行推理子任务的识别与调度，子任务间的信息通信，以及推理问题的可并行性等方面的探讨。最后文章还介绍了对此并行归纳法推理系统的语言支持。

并行LISP语言——PLISP的设计与实现

介绍了一种由我们自行研制的适合于描述并行系统的、高效的并行程序设计语言PLISP。并就该语言的研制方法、系统控制方式、语言的扩充及系统实现等方面进行了讨论。