| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-11页 |
| ·什么是数学机械化 | 第8页 |
| ·吴特征列方法的研究现状 | 第8-9页 |
| ·吴特征列方法的研究的内容 | 第9页 |
| ·本文的内容结构 | 第9-11页 |
| 第二章 相关背景知识介绍 | 第11-17页 |
| ·整数线性规划问题是下述形式的优化问题 | 第12页 |
| ·解整数线性规划问题的困难性 | 第12-13页 |
| ·Gomory 割平面法的基本思想 | 第13-14页 |
| ·分枝定界法 | 第14-17页 |
| 第三章 基于特征列算法的 0-1 整数规划问题 | 第17-25页 |
| ·预备 | 第17页 |
| ·问题的提出 | 第17-18页 |
| ·算法原理 | 第18-21页 |
| ·应用与实现 | 第21-24页 |
| ·结论 | 第24-25页 |
| 第四章 基于 Groebner 基与特征列算法的非 0-1 规划问题 | 第25-36页 |
| ·基本定义和定理 | 第25-28页 |
| ·Groebner 算法及其实例 | 第28-30页 |
| ·吴特征列算法及其实例 | 第30-32页 |
| ·两种算法的图表比较 | 第32-36页 |
| 第五章 总结 | 第36-37页 |
| 致谢 | 第37-38页 |
| 参考文献 | 第38-40页 |
| 攻硕期间取得的研究成果 | 第40-41页 |
| 附录 | 第41-47页 |