| 致谢 | 第1-3页 |
| 摘要 | 第3-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-6页 |
| 引言 | 第6-8页 |
| 1 研究背景 | 第6页 |
| 2 研究的主要内容 | 第6-8页 |
| 第一章 软件形式化开发研究 | 第8-15页 |
| ·软件开发所面临的困境 | 第8页 |
| ·软件开发的形式化方法 | 第8-9页 |
| ·典型形式化方法 | 第9-15页 |
| 第二章 PAR方法在数值计算中的有效性 | 第15-25页 |
| ·程序设计和算法设计 | 第15-16页 |
| ·用PAR方法开发高可靠性、高效率的算法 | 第16页 |
| ·用PAR方法开发数值算法 | 第16-18页 |
| ·用PAR方法开发高可靠性、高效率的数值算法 | 第18-25页 |
| ·目前流行的数值计算方法 | 第18-20页 |
| ·PAR在数值计算中的贡献 | 第20-25页 |
| 第三章 PAR方法在数值计算中的运用 | 第25-42页 |
| ·PAR方法在数值中的运用 | 第25-30页 |
| ·PAR方法开发多项式求值的算法 | 第25-26页 |
| ·用PAR方法开发常微分初值问题的算法 | 第26-28页 |
| ·用PAR方法开发数值积分算法 | 第28-30页 |
| ·用PAR方法推导矩阵快速算法 | 第30-42页 |
| ·用PAR方法开发HANKEL矩阵对角化快速算法 | 第30-34页 |
| ·用PAR方法开发SCHUR-COHN矩阵快速相乘算法 | 第34-42页 |
| 第四章 总结与讨论 | 第42-44页 |