基于互联网上的无纸化阅卷系统性能分析与形式化理论
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 绪言 | 第9-10页 |
| 1. 课题概述 | 第10-12页 |
| ·课题背景及意义 | 第10-11页 |
| ·论文结构 | 第11-12页 |
| 2. 系统总体设计概述 | 第12-16页 |
| ·系统的硬件构架 | 第12-14页 |
| ·系统功能模块划分 | 第14页 |
| ·数据库设计 | 第14-16页 |
| ·本章小结 | 第16页 |
| 3. 系统设计与实现 | 第16-37页 |
| ·设计模式 | 第16-22页 |
| ·MVC 模式 | 第16-19页 |
| ·DAO 模式 | 第19-22页 |
| ·数据库连接池 | 第22-26页 |
| ·数据库连接池设计思想 | 第22-23页 |
| ·数据库连接池的实现 | 第23-26页 |
| ·安全控制 | 第26-31页 |
| ·身份认证 | 第26-28页 |
| ·安全访问控制 | 第28-31页 |
| ·流程控制 | 第31-35页 |
| ·任务分发 | 第32-33页 |
| ·分数形成 | 第33-34页 |
| ·异常卷处理 | 第34-35页 |
| ·人性化设计 | 第35-37页 |
| ·减轻阅卷教师的疲劳 | 第35-36页 |
| ·记忆功能 | 第36页 |
| ·信息图形化表达 | 第36-37页 |
| ·本章小结 | 第37页 |
| 4. 数据分析与评卷质量的实时监控 | 第37-43页 |
| ·数据统计设计 | 第37-41页 |
| ·阅卷总监控 | 第38-41页 |
| ·个人复评监控 | 第41页 |
| ·数据统计的实现 | 第41-43页 |
| ·本章小结 | 第43页 |
| 5. 面向对象多线程的形式化描述 | 第43-49页 |
| ·RCOS 与多线程理论探讨 | 第43-47页 |
| ·rCOS 理论 | 第43-45页 |
| ·表达式和命令 | 第45-47页 |
| ·类声明语义 | 第47-48页 |
| ·对象创建语义 | 第48页 |
| ·线程对象的执行 | 第48-49页 |
| ·本章小结 | 第49页 |
| 6. 结论与应用 | 第49-51页 |
| 7. 展望 | 第51-52页 |
| 致谢 | 第52-53页 |
| 参考文献 | 第53-56页 |
