作业系统中计算类主观题处理技术研究
| 第1章 绪论 | 第1-19页 |
| ·研究背景和意义 | 第12-16页 |
| ·问题的提出 | 第12-13页 |
| ·国内外研究情况 | 第13-15页 |
| ·研究意义 | 第15-16页 |
| ·本文主要工作 | 第16-17页 |
| ·本章小结 | 第17-19页 |
| 第2章 识别控制模型 | 第19-26页 |
| ·概述 | 第19-20页 |
| ·控制策略与控制流程 | 第20-25页 |
| ·本章小结 | 第25-26页 |
| 第3章 知识表示 | 第26-37页 |
| ·概述 | 第26页 |
| ·知识及其分类 | 第26-27页 |
| ·运算知识 | 第27页 |
| ·非运算知识 | 第27页 |
| ·知识表示方法 | 第27-36页 |
| ·人工智能技术中常用的知识表示方法 | 第28-29页 |
| ·学科理论知识的表达 | 第29-35页 |
| ·学科专家知识的表达 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第4章 推理控制与搜索策略 | 第37-69页 |
| ·概述 | 第37-38页 |
| ·例子 | 第38-42页 |
| ·控制策略 | 第42-57页 |
| ·识别控制流程 | 第42-49页 |
| ·识别控制策略 | 第49-55页 |
| ·错误评价 | 第55-57页 |
| ·搜索策略 | 第57-68页 |
| ·基本概念 | 第58-61页 |
| ·非理想“AND/OR”图的最大超越搜索法 | 第61-62页 |
| ·算例 | 第62-63页 |
| ·作业批改搜索策略 | 第63-67页 |
| ·不确定性计算 | 第67-68页 |
| ·本章小结 | 第68-69页 |
| 第5章 步骤识别 | 第69-104页 |
| ·最大公因式提取 | 第70-85页 |
| ·基本概念 | 第71-74页 |
| ·一元多项式最大公因式提取 | 第74-79页 |
| ·多元多项式的最大公因式提取 | 第79-85页 |
| ·因式分解 | 第85-94页 |
| ·无平方因式分解 | 第86-88页 |
| ·Berlekamp算法 | 第88-91页 |
| ·算例 | 第91-92页 |
| ·一元多项式因式分解的Hensel提升法 | 第92-93页 |
| ·多元多项式的因式分解 | 第93-94页 |
| ·非多项式的处理 | 第94-100页 |
| ·实系数多项式的处理 | 第95-96页 |
| ·三角函数的处理 | 第96-98页 |
| ·对数函数、指数函数的处理 | 第98-100页 |
| ·表达式识别 | 第100-102页 |
| ·本章小结 | 第102-104页 |
| 第6章 应用 | 第104-115页 |
| ·智能型远程作业系统的功能和结构 | 第104-105页 |
| ·整体方案的拓扑结构 | 第105-106页 |
| ·作业系统的功能设计 | 第106-113页 |
| ·系统应用 | 第113-114页 |
| ·本章小结 | 第114-115页 |
| 结论与展望 | 第115-117页 |
| 致谢 | 第117-118页 |
| 参考文献 | 第118-131页 |
| 附录 1 | 第131-139页 |
| 附录 2 | 第139-140页 |
| 附录 3 | 第140-141页 |
| 攻读博士学位期间发表的论文 | 第141页 |
| 参与研究项目及获奖情况 | 第141页 |
