网络数据采集处理方法及形式化研究
| 内容提要 | 第1-7页 |
| 第一章 绪论 | 第7-17页 |
| ·研究背景 | 第7-9页 |
| ·研究意义 | 第9-10页 |
| ·相关工作和研究 | 第10-14页 |
| ·本文研究内容 | 第14-17页 |
| 第二章 采集方式和数据格式 | 第17-29页 |
| ·网络管理模式 | 第17-19页 |
| ·数据采集方式 | 第19-24页 |
| ·网络数据格式 | 第24-27页 |
| ·小结 | 第27-29页 |
| 第三章 研究的理论基础 | 第29-42页 |
| ·规则方法 | 第29-33页 |
| ·通信顺序进程 | 第33-41页 |
| ·小结 | 第41-42页 |
| 第四章 基于规则的数据采集处理方法 | 第42-76页 |
| ·概述 | 第42页 |
| ·规则引擎 | 第42-49页 |
| ·规则描述 | 第49-62页 |
| ·事实模型 | 第62-64页 |
| ·运行模式 | 第64-74页 |
| ·小结 | 第74-76页 |
| 第五章 形式化研究 | 第76-116页 |
| ·概述 | 第76-77页 |
| ·图形语法 | 第77-88页 |
| ·行为语义 | 第88-101页 |
| ·组合优化 | 第101-105页 |
| ·实例研究 | 第105-114页 |
| ·小结 | 第114-116页 |
| 第六章 总结与展望 | 第116-120页 |
| ·研究成果 | 第116-117页 |
| ·创新之处 | 第117-118页 |
| ·不足及研究展望 | 第118-120页 |
| 参考文献 | 第120-128页 |
| 附录 | 第128-129页 |
| 攻读博士期间发表的学术论文及其它成果 | 第129-131页 |
| 摘要 | 第131-135页 |
| ABSTRACT | 第135-139页 |
| 致谢 | 第139页 |
