OMDoc在数学文档中的应用研究

第一章 绪论	第1-15页
·问题的提出	第9-13页
·研究背景	第9-11页
·研究现状及目标	第11-13页
·解决方案	第13页
·研究内容	第13-14页
·本文的组织结构	第14-15页
第二章 相关技术及研究现状	第15-33页
·源语言	第15-23页
·SPARK语言	第15-16页
·SPARK FDL语言	第16-23页
·中间语言	第23-30页
·Openmath概述	第23-25页
·内容字典	第25-26页
·OMDoc文档概述	第26-28页
·理论(theory)	第28-29页
·OMDoc文档及其定位	第29页
·OMDoc文档转换	第29-30页
·目标语言	第30-33页
·PVS语言	第30-32页
·PVS说明文件	第32-33页
第三章 基于OMDoc的文档转换	第33-53页
·概述	第33-36页
·FDL转换为类属OMDoc	第36-51页
·FDL常量声明的转换	第37-41页
·FDL变量声明的处理	第41-44页
·FDL类型声明的转化	第44-46页
·FDL规则声明	第46-49页
·FDL验证条件的转换	第49-51页
·类属OMDoc转换面向PVS的OMDoc	第51-52页
·对元素属性值的修改	第51-52页
·FDLmod操作符	第52页
·将面向PVS的OMDoc文档转换为PVS	第52-53页
第四章 基于OMDoc的转换的实现	第53-64页
·实现工具及XML处理方法	第53-55页
·具体转换流程	第55-58页
·基于OMDoc文档转换的实例仿真	第58-64页
第五章 回顾及展望	第64-67页
·总结	第64-66页
·下一步的工作	第66-67页
参考文献	第67-70页
致谢	第70-71页
硕士期间发表论文	第71页