可信计算中若干问题的研究
| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 本文常用记号 | 第12-15页 |
| 第一章 绪论 | 第15-29页 |
| §1.1 可信验证方法的研究现状 | 第15-17页 |
| §1.2 非线性系统奇异解可信验证的研究现状 | 第17-19页 |
| §1.3 准备知识 | 第19-27页 |
| §1.3.1 区间运算 | 第19-25页 |
| §1.3.2 计算机代数的基本知识 | 第25-27页 |
| §1.4 论文结构和主要工作 | 第27-29页 |
| 第二章 非线性系统奇异解的可信验证 | 第29-57页 |
| §2.1 预备知识 | 第29-31页 |
| §2.2 边界系统 | 第31-35页 |
| §2.3 高阶压缩 | 第35-37页 |
| §2.4 压缩系统序列的有限终止性 | 第37-40页 |
| §2.5 非线性系统奇异解的验证算法 | 第40-46页 |
| §2.6 数值算例 | 第46-57页 |
| 第三章 非线性系统局部极小二范数解的可信验证 | 第57-67页 |
| §3.1 预备知识 | 第57-58页 |
| §3.2 欠定系统极小二范数解的可信验证 | 第58-61页 |
| §3.3 数值算例 | 第61-62页 |
| §3.4 超定系统极小二乘解的可信验证 | 第62-64页 |
| §3.5 数值算例 | 第64-67页 |
| 第四章 半实验点集的近似消逝理想边界基算法 | 第67-85页 |
| §4.1 预备知识 | 第67-70页 |
| §4.2 子理想SOI算法 | 第70-75页 |
| §4.3 子理想NBM算法 | 第75-81页 |
| §4.4 应用与数值算例 | 第81-85页 |
| 结论 | 第85-87页 |
| 参考文献 | 第87-95页 |
| 作者简介及在学期间所取得的科研成果 | 第95-96页 |
| 致谢 | 第96页 |
