并行实时系统在BRCC中的形式化

摘要	第1-5页
Abstract	第5-8页
第1章 前言	第8-10页
·研究背景	第8-9页
·本文研究的意义	第9-10页
第2章 并行实时系统	第10-16页
·DDS并行调度模型	第10页
·实时系统的扩充框架及并行模型	第10-15页
·小结	第15-16页
第3章 空间受限的并行实时系统的可判定性	第16-27页
·线性规划原理	第16-18页
·单纯形方法	第18-22页
·可判定性	第22-23页
·增强贪心判定算法	第23-26页
·小结	第26-27页
第4章 空间逻辑	第27-31页
·空间逻辑的研究背景及现状	第27页
·拓扑空间逻辑	第27-30页
·一阶空间逻辑RCC	第28-29页
·RCC-8	第29页
·BRCC-8	第29-30页
·小结	第30-31页
第5章 模块式CBA语义	第31-40页
·布尔代数及关系布尔代数	第31-35页
·并行实时系统的CBA模型	第35-39页
·小结	第39-40页
第6章 扩充的BRCC语言及并行调度问题的形式化	第40-43页
·带常量个体符的BRCC语言L	第40-41页
·并行调度问题在扩充语言L 中的形式化	第41-42页
·小结	第42-43页
第7章 总结与展望	第43-44页
参考文献	第44-46页
读硕期间发表的论文目录	第46-47页
致谢	第47-48页