DDS并行模型及其形式化.pdfVIP

摘 要 DDS 并行模型及其形式化 作者：刘真环 指导教师：王 驹（教授） 专业：应用数学 研究方向：数理逻辑 年级：2005 级 摘 要 DDS 模型是实时系统早期研究中取得的重要成果之一，其具有很强的代表性，很多现 实生活中存在的诸如网络拥塞、生产流程调度、交通运输等问题的解决都可以借助该模型。 由于 DDS 模型未考虑空间限制这一约束条件，而在现实生活中，空间却是一个很关键的 因素，这就限制了DDS 模型在现实工作中的应用。考虑了空间因素后的 DDS 并行模型能 较好地解决这一问题。如果要设计一个大型自动化调度系统，其软件部分首先要解决的， 即是如何将问题形式化。传统的时段演算可以很好地对 DDS 模型进行形式化，但却不能 描述加入了空间限制条件的 DDS 并行模型。注意到分离逻辑能很好地体现空间分离这一 概念，本文重点研究了如何将分离逻辑