基于Pi演算的多Agent异构系统任务调度模型的研究与实现

声明

第 1章绪论

1.1 研究背景

1.2 国内外研究现状

1.2.1 任务调度算法研究

1.2.2 Agent技术

1.2.3 Pi演算应用

1.3 研究意义

1.4 主要工作

1.5 论文结构

第 2章相关理论工作

2.1 Pi演算

2.1.1 Pi演算的语法语义

2.1.2 Pi演算的操作语义和结构同余

2.1.3 Pi演算的交互规则和移动规则

2.1.4 Pi演算的行为等价规则

2.2 多Agent技术

2.3 PEFT算法

2.3.1 DAG

2.3.2 PEFT算法的具体过程

2.4 本章小结

第 3章 PMTS模型的构建

3.1 建模所需数据结构

3.1.1 表结构

3.1.2 表编程

3.2 基于Pi演算的PMTS模型构建

3.2.1 对DAG中任务节点分层

3.2.2 主要数据结构

3.2.3 基于Pi演算的建模过程

3.3 PMTS模型的正确性验证

3.3.1 等价性证明

3.3.2 移动进程死锁检测

3.4 本章小结

第 4章使用Nomadic Pict实现PMTS模型

4.1 Nomadic Pict编程语言

4.1.1 Nomadic Pict对Pi演算的支持

4.1.2 Nomadic Pict的基本语法及操作规则

4.2使用Nomadic Pict实现PMTS模型

4.2.1 计算任务优先级的实现过程

4.2.2 选择处理机的实现过程

4.3 本章小结

第 5章实验与分析

5.1 实验所需环境

5.2 横向对比实验

5.2.1 深度较大的DAG对比实验

5.2.2 广度较大的DAG对比实验

5.3 纵向对比实验

5.3.1 深度较大的DAG对比实验

5.3.2 广度较大的DAG对比实验

5.4 本章小结

第 6章总结与展望

6.1 本文工作总结

6.2 未来工作展望

参考文献

作者简介及在学期间所取得的科研成果

致谢