一种A da95分布计算的实现模型

在研究 Ａｄａ９５ 分布计算语义的基础上，提出了一个支持 Ａｄａ９５ 的分布计算的实现模型 并讨论了在该环境下实现 Ａｄａ９５ 分布计算所存在的问题和解决方法，以及如何实现非 Ａｄａ９５ 分布计算语义的 Ａｄａ 程序的分布并行计算的问题对于后者。

基于Agent的Ada95分布计算调度算法

为实现 Ada95的分布并行计算 ,本文探讨了如何利用 Agent实现分布计算的基本模型 ,提出了一个综合考虑计算量、通讯量的预分配算法和基于 Agent的动态负载平衡算法 ,预分配算法旨在均匀分配计算量和减少分布单元间的通讯开销 ,基于 Agent的动态负载平衡算法是为了弥补静态分配的不足 ,根据各工作站完成的计算量来进行均衡调度 .

两种死锁分析的逻辑方法

从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中；然后用时序逻辑方法进一步给出了一个更通用的死锁表示用逻辑方法表示死锁，便于程序的安全性验证 最后，把这些方法用于 Ａｄａ

FLL语言的说明性语义与过程性语义

阐明了 Ｆ Ｌ Ｌ（ Ｆｕｚｚｙ Ｌｏｇｉｃ Ｌａｎｇｕａｇｅ）语言的说明性语义，并从过程性角度提出了 Ｆ Ｌ Ｌ的执行模式。