基于Agent的电子化政府采购流程的形式化表示
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 1. 绪论 | 第8-13页 |
| ·选题背景和问题的提出 | 第8-9页 |
| ·研究意义 | 第9-10页 |
| ·论文主要工作和研究内容 | 第10-12页 |
| ·论文主要工作 | 第10页 |
| ·研究内容 | 第10-11页 |
| ·创新点 | 第11-12页 |
| ·研究方法和研究路线 | 第12-13页 |
| ·研究方法 | 第12页 |
| ·研究路线 | 第12-13页 |
| 2. 文献综述 | 第13-19页 |
| ·政府采购的相关研究 | 第13-15页 |
| ·国内政府采购的研究 | 第13-14页 |
| ·国外政府采购的研究 | 第14-15页 |
| ·Agent理论的相关研究 | 第15-16页 |
| ·流程形式化表示方法的相关研究 | 第16-17页 |
| ·Petri网和有限自动机的相关研究 | 第17-19页 |
| ·Petri网的相关研究 | 第17-18页 |
| ·有限自动机的相关研究 | 第18-19页 |
| 3. 电子化政府采购和Agent理论 | 第19-28页 |
| ·电子化政府采购 | 第19-20页 |
| ·电子化政府采购的优势 | 第19-20页 |
| ·政府采购流程 | 第20页 |
| ·Agent的相关知识 | 第20-28页 |
| ·Agent定义和特点 | 第20-22页 |
| ·多Agent理论 | 第22页 |
| ·Agent的交互与通信 | 第22-28页 |
| 4. 电子化政府采购流程的形式化表示 | 第28-52页 |
| ·形式化表示方法的提出 | 第28-29页 |
| ·Petri网和有限自动机的基本理论 | 第29-34页 |
| ·Petri网的基本理论 | 第29-32页 |
| ·有限自动机的基本理论 | 第32-34页 |
| ·EGP流程的分析 | 第34-40页 |
| ·EGP的主要流程 | 第34-36页 |
| ·EGP流程中基本要素的定义 | 第36-40页 |
| ·基于Petri网的EGP流程的形式化表示 | 第40-48页 |
| ·EGP流程结构的形式化表示 | 第40-43页 |
| ·EGP流程的形式化表示 | 第43-48页 |
| ·基于多Agent的EGP流程的形式化表示 | 第48-52页 |
| ·多Agent之间并发任务的表示 | 第48-50页 |
| ·多Agent之间的交互表示 | 第50-52页 |
| 5. 结论与展望 | 第52-54页 |
| ·主要结论 | 第52-53页 |
| ·研究展望 | 第53-54页 |
| 参考文献 | 第54-58页 |
| 后记 | 第58-59页 |
