语义Petri网在电子政务中的应用研究
| 摘要 | 第1-5页 |
| abstract | 第5-8页 |
| 1 前言 | 第8-11页 |
| ·课题研究背景 | 第8-9页 |
| ·研究意义 | 第9页 |
| ·研究内容 | 第9-11页 |
| ·研究目标 | 第9页 |
| ·本文工作 | 第9-10页 |
| ·论文组织 | 第10-11页 |
| 2 相关研究 | 第11-20页 |
| ·我国电子政务发展现状 | 第11-12页 |
| ·本体理论 | 第12-16页 |
| ·本体 | 第12-13页 |
| ·通用上层本体 | 第13-15页 |
| ·基于本体的电子政务建模研究 | 第15-16页 |
| ·Petri网理论 | 第16-19页 |
| ·Petri网 | 第16-17页 |
| ·Petri网的种类 | 第17-18页 |
| ·基于Petri网的电子政务系统建模研究 | 第18-19页 |
| ·基于语义的Petri网研究 | 第19页 |
| ·本章小结 | 第19-20页 |
| 3 电子政务领域本体建模 | 第20-33页 |
| ·电子政务领域特点 | 第20-21页 |
| ·扩充ABC本体 | 第21-25页 |
| ·ABC本体与SUMO本体比较 | 第21页 |
| ·扩充ABC本体 | 第21-25页 |
| ·电子政务领域本体模型 | 第25-28页 |
| ·模型定义 | 第25-26页 |
| ·模型的形式化表示 | 第26-28页 |
| ·基于电子政务领域本体模型的应用 | 第28-31页 |
| ·科技计划项目审批知识片段 | 第28-29页 |
| ·科技计划项目审批知识归档表 | 第29-30页 |
| ·科技计划项目审批的Protege类层次结构图 | 第30-31页 |
| ·本章小结 | 第31-33页 |
| 4 电子政务领域语义Petri网模型 | 第33-44页 |
| ·电子政务领域特点 | 第33-34页 |
| ·语义Petri网 | 第34页 |
| ·电子政务领域语义Petri网建模特点分析 | 第34-35页 |
| ·电子政务领域语义Petri网模型 | 第35-38页 |
| ·模型定义 | 第35-36页 |
| ·模型的形式化表示 | 第36-38页 |
| ·模型特点 | 第38页 |
| ·基于电子政务领域语义Petri网模型的建模实例 | 第38-43页 |
| ·本章小结 | 第43-44页 |
| 5 电子政务领域系统设计与实现 | 第44-51页 |
| ·系统分析 | 第44-45页 |
| ·系统设计 | 第45-48页 |
| ·开发平台及工具简介 | 第45-46页 |
| ·总体流程图 | 第46-48页 |
| ·原型系统实现 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 6 结论与展望 | 第51-53页 |
| ·工作总结 | 第51-52页 |
| ·研究展望 | 第52-53页 |
| 7 参考文献 | 第53-59页 |
| 8 攻读硕士学位期间论文发表情况 | 第59-60页 |
| 9 致谢 | 第60页 |
