| 独创性声明 | 第1页 |
| 关于论文使用授权的说明 | 第2-3页 |
| 摘要 | 第3-4页 |
| Abstract | 第4-10页 |
| 第一章 网格研究绪论 | 第10-21页 |
| ·网格发展背景 | 第10页 |
| ·对网格技术的需求 | 第10-12页 |
| ·企业计算的发展 | 第11-12页 |
| ·服务提供商和 B2B计算 | 第12页 |
| ·什么是网格 | 第12-15页 |
| ·网格应用领域 | 第15-16页 |
| ·网格的分类 | 第16-17页 |
| ·国内外网格建设和研究状况 | 第17-19页 |
| ·本文的贡献 | 第19-20页 |
| ·本文的组织 | 第20-21页 |
| 第二章 网格相关研究工作及分析 | 第21-50页 |
| ·Globus | 第21-40页 |
| ·Globus体系结构 | 第22-26页 |
| ·构造层:面向本地控制的接口 | 第22-23页 |
| ·连通层:易用且安全的通信 | 第23-24页 |
| ·资源层:共享单一资源 | 第24页 |
| ·集合层:协调多项资源 | 第24-26页 |
| ·应用层 | 第26页 |
| ·Globus Toolkit | 第26-40页 |
| ·安全性 | 第28-31页 |
| ·信息架构 | 第31-34页 |
| ·资源管理 | 第34-38页 |
| ·资源描述语言 | 第35-36页 |
| ·资源分配管理器 | 第36-37页 |
| ·动态更新的在线请求共同分配器 | 第37-38页 |
| ·数据管理 | 第38-39页 |
| ·通信 | 第39页 |
| ·其他部分 | 第39-40页 |
| ·Vega Grid | 第40-45页 |
| ·Service Grid: Vega Grid的特点 | 第41-42页 |
| ·织女星网格系统的组成与结构 | 第42-45页 |
| ·织女星网格的组成与结构 | 第42页 |
| ·网格处理器 | 第42-43页 |
| ·网格互联系统-系统总线 | 第43-44页 |
| ·网格虚拟设备 | 第44-45页 |
| ·与网格操作系统的接口 | 第45页 |
| ·Vega Grid应用 | 第45页 |
| ·Web Services:网格关键技术 | 第45-48页 |
| ·Web服务相关协议 | 第46-48页 |
| ·XML | 第46页 |
| ·SOAP | 第46-47页 |
| ·WSDL | 第47页 |
| ·UDDI | 第47-48页 |
| ·一个简单的服务实例 | 第48页 |
| ·小结 | 第48-50页 |
| 第三章 有关计算模型和自动机理论的研究 | 第50-63页 |
| ·引言 | 第50页 |
| ·有关计算模型 | 第50-59页 |
| ·图灵机 | 第50-52页 |
| ·随机存储访问模型 RAM | 第52页 |
| ·并行随机存储访问模型 PRAM | 第52-59页 |
| ·PRAM | 第52-53页 |
| ·Asynchxonous PRAM | 第53页 |
| ·Hierarchical PRAM | 第53-54页 |
| ·LogP | 第54-55页 |
| ·CLUMPS | 第55页 |
| ·LoPC | 第55-56页 |
| ·BSP | 第56-57页 |
| ·E-BSP | 第57页 |
| ·D-BSP | 第57-58页 |
| ·QSM | 第58-59页 |
| ·PRAM模型总结 | 第59页 |
| ·自动机理论 | 第59-62页 |
| ·有限自动机 | 第59-60页 |
| ·同步自动机 | 第60页 |
| ·异步自动机 | 第60-62页 |
| ·异步自动机 | 第60-61页 |
| ·Büchi异步自动机 | 第61-62页 |
| ·Rabin异步自动机 | 第62页 |
| ·小结 | 第62-63页 |
| 第四章 网格自动机理论模型 | 第63-85页 |
| ·网格的非形式化定义 | 第63-64页 |
| ·网格自动机模型 | 第64-80页 |
| ·网格自动机 | 第64-65页 |
| ·网格中的两种自动机 | 第65-68页 |
| ·自动机的操作 | 第68-72页 |
| ·组合操作 | 第68-72页 |
| ·隐藏操作 | 第72页 |
| ·公平性 | 第72-76页 |
| ·自动机的性质 | 第76-80页 |
| ·常量 | 第76页 |
| ·迹性质 | 第76-77页 |
| ·保险性和活跃性 | 第77-79页 |
| ·有关组合操作的推理 | 第79-80页 |
| ·不可区分的执行 | 第80页 |
| ·网格理论框架应用实例 | 第80-85页 |
| ·网格资源及互斥问题的定义 | 第81页 |
| ·用户的良序性 | 第81-82页 |
| ·互斥问题形式化 | 第82页 |
| ·基于单向环的互斥问题算法 | 第82-85页 |
| 第五章 通信子系统的形式化 | 第85-89页 |
| ·具有可靠的先入先出信道异步发送/接收系统 | 第85-86页 |
| ·具有广播式信道的广播系统 | 第86-87页 |
| ·功能自动机 | 第86页 |
| ·可靠的广播式信道 | 第86-87页 |
| ·异步广播系统的性质 | 第87页 |
| ·组播系统 | 第87-89页 |
| 第六章 网格自动机的性质和算法 | 第89-107页 |
| ·网格生成树算法 | 第89-92页 |
| ·网格广度优先搜索和最短路径算法 | 第92-96页 |
| ·网格全局快照 | 第96-101页 |
| ·网格运行终止检测 | 第96-97页 |
| ·异步 DijkstraSchoten算法 | 第97-101页 |
| ·一致性全局快照 | 第101-107页 |
| ·网格一致性全局快照 | 第101-105页 |
| ·一致性快照在网格中的应用 | 第105-107页 |
| ·网格死锁检测 | 第105-106页 |
| ·网格软件调试 | 第106页 |
| ·检测批作业终止 | 第106-107页 |
| 第七章 网格强制访问控制模型 | 第107-140页 |
| ·引言 | 第107-108页 |
| ·现有网格访问控制研究 | 第108-109页 |
| ·BLP模型 | 第109-114页 |
| ·主体和客体 | 第109页 |
| ·安全级别 | 第109-110页 |
| ·访问属性 | 第110-111页 |
| ·当前访问集合 | 第111页 |
| ·访问控制矩阵 | 第111页 |
| ·安全级别函数 | 第111-112页 |
| ·BLP模型状态 | 第112页 |
| ·BLP模型安全性质 | 第112-114页 |
| ·网格访问控制模型 GACM | 第114-118页 |
| ·可信通道 | 第114页 |
| ·网格主体和客体 | 第114-115页 |
| ·保序映射和局部平凡 | 第115-117页 |
| ·安全网格自动机和安全结点自动机 | 第117-118页 |
| ·自动机的具体定义 | 第118-131页 |
| ·自动机的状态 | 第118页 |
| ·自动机的安全请求 | 第118-119页 |
| ·自动机的动作 | 第119-120页 |
| ·自动机的变换 | 第120-131页 |
| ·有关自动机变换的定理 | 第120-124页 |
| ·自动机的变换 | 第124-131页 |
| ·网格安全定理 | 第131-133页 |
| ·网格安全原型系统的实现 | 第133-139页 |
| ·网格安全需求 | 第134页 |
| ·网格认证需求 | 第134页 |
| ·网格授权需求 | 第134页 |
| ·网格通信需求 | 第134页 |
| ·网格安全策略 | 第134-135页 |
| ·网格安全体系结构 | 第135-139页 |
| ·User Proxy创建协议 | 第136页 |
| ·资源分配协议 | 第136-137页 |
| ·进程资源分配协议 | 第137页 |
| ·主体映射协议 | 第137-138页 |
| ·网格访问控制 | 第138-139页 |
| ·小结 | 第139-140页 |
| 第八章 网格理论模型在网格软件功能测试中的应用 | 第140-146页 |
| ·有关测试用例设计 | 第140页 |
| ·网格功能测试 | 第140-143页 |
| ·网格测试用例生成 | 第143-145页 |
| ·小结 | 第145-146页 |
| 第九章 总结和进一步的工件 | 第146-148页 |
| 参考文献 | 第148-156页 |
| 致谢 | 第156-157页 |
| 作者简历 | 第157页 |