tPPT模板hesis_roam.pptVIP

2002-6 博士论文答辩 - 鲁棒灰箱演算 鲁棒灰箱演算的类型系统和代数性质研究博士生：管旭东导师：尤晋元上海交大计算机科学与工程系分布计算技术中心2002 . 6 内容提要 1. 论文的背景 2. 灰箱演算，研究ROAM的原因 3. 演化类型系统 4. ROAM的进程等价性 5. ?演算的翻译及证明 6. 总结论文的创新处 论文的背景 移动计算 硬件移动、软件移动 网络的广域化、全球化 从技术到理论支持 从程序设计理论（programming language theory）角度 寻求支持并发(concurrency)、分布(distribution)、移动(mobility)概念的核心模型（CCS,CSP,?,?,join,ambient,seal,...） 目标：作为支持全球性移动计算编程语言的理论基础 相关研究领域 本论文有关灰箱演算（ambient calculus）的研究工作，属于： 程序设计理论（并发、分布、移动） 进程代数 相关研究领域： OS (distributed/mobile): OS support for Java and mobile agent technology TCS: type theory and semantics Security - Wide area network, software mobility 灰箱演