Distributed and Parallel Computing

这个提议有两个重点。首先，继续对分布式计算的基本模型进行研究。通信协议的基础将使用游戏自动机，知识和时间的逻辑，以及其他合适的工具进行调查。长期目标是帮助开发协议的数学模型和理论，这些模型和理论将具有与当前公认的顺序和并行模型的数学模型和理论相同的基础。第二个重点是开始对计算的联结主义模型进行新的研究。有希望，甚至有证据表明，新的连接主义模型将彻底改变我们的计算方式。在传统的计算模型和联结主义模型之间有许多明显的区别。这项研究的目的是调查这些差异有多深。将使用传统的并行计算模型和连接主义模型的比较来确定连接主义模型是否确实优于传统模型。

There are two foci of this proposal. First, research on fundamental models of distributed computing will be continued. The foundations of communication protocols will be investigated using game automata, logics of knowledge and time, and other suitable tools. The long range goal is to help develop mathematical models and theories for protocols which will have the same footing as the current accepted mathematical models and theories have for sequential and parallel models. The second focus is to begin a new research effort into the connectionist models of computation. There is hope, and even some evidence, that the new connectionist models will revolutionize the way we compute. There are a number of obvious differences between traditional models of computation and connectionist models. The goal of this research is to investigate how deep these differences are. A comparison of the traditional parallel models of computation and the connectionist models will be used to determine if indeed the connectionist models are an improvement over the traditional ones.