声明
第一章 绪论
1. 1 研究工作的背景与意义
1. 2 国内外研究情况
1. 3 论文的研究内容和创新点
1. 4 论文组织结构
第二章 相关理论与技术
2. 1 参数空间
2. 1. 1 定义
2. 1. 2 关于限定区间的选取
2. 1. 3 流形学习
2. 2 知识表示
2. 2. 1 RDF
2. 2. 2 产生式表示法
2. 2. 3 面向对象的方法
2. 3 推理技术
2. 4 计算工具
2. 5 SVM
2. 6 本章小结
第三章 函数问题中的知识表示
3. 1 集合
3. 1. 1 集合的设计
3. 2 函数
3. 2. 1 函数实体的设计
3. 2. 2 函数关系的设计
3. 3 三元组
3. 3. 1 集合三元组实体设计
3. 3. 2 函数三元组实体设计
3. 4 结论和已知
3. 4. 1 实体设计
3. 4. 2 结论和已知互换
3. 5 求解方法
3. 5. 1 相关理论基础
3. 5. 2 求解方法实体设计
3. 6 本章小结
第四章 基于参数空间的隐变量关系发现算法
4. 1 初始算法
4. 1. 1 定义
4. 1. 2 算法思想
4. 1. 3 性质
4. 1. 4 参数网格
4. 2 发现函数性质
4. 2. 1 发现单调区间
4. 2. 2 发现极值
4. 2. 3 发现最值和值域
4. 2. 4 发现零点
4. 3 解半代数集
4. 3. 1 通过恒成立的不等式求参数范围
4. 3. 2 已知零点个数和不等式求参数范围
4. 4 验证
4. 4. 1 数值计算的验证
4. 4. 2 基于SVM的分类验证
4. 5 本章小结
第五章 HVRDPS在自动解题系统中的应用
5. 1 函数解题预处理
5. 1. 1 函数题干预处理
5. 2 在具体解题算法中的应用
5. 2. 1 函数主干求解算法
5. 2. 2 函数不等式恒成立求参数范围
5. 2. 3 分段函数求解流程
5. 2. 4 函数在定义域上单调求函数中参数的范围
5. 2. 5 相关求解规则文件
5. 3 本章小结
第六章 系统测试与分析
6. 1 系统测试
6. 1. 1 测试依据
6. 1. 2 隐变量关系发现展示
6. 1. 3 解题测试
6. 2 测试结果分析
6. 2. 1 解题正确率分析
6. 2. 2 HVRDPS结果分析
6. 2. 3 横向对比
6. 3 本章小结
第七章 总结与展望
7. 1 本文的主要创新和研究成果
7. 2 研究中的不足和展望
致谢
参考文献
攻读硕士期间参与获奖情况