基于web本体技术的程序设计网上竞赛系统的研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-10页 |
| 目录 | 第10-15页 |
| 第1章 绪论 | 第15-22页 |
| ·研究背景和意义 | 第15-17页 |
| ·互联网和在线系统的现状 | 第15-16页 |
| ·系统多样性和可变性的需求 | 第16-17页 |
| ·分布式架构的解决方案与基于构件化的本体设计 | 第17页 |
| ·课题背景 | 第17页 |
| ·研究问题与解决方法 | 第17-19页 |
| ·程序设计竞赛系统瓶颈问题 | 第17-18页 |
| ·程序评测系统的需求多样性问题 | 第18页 |
| ·编译环境设置系统的需求可变性问题 | 第18-19页 |
| ·浩大的实现和维护问题 | 第19页 |
| ·论文的主要工作 | 第19-20页 |
| ·论文的组织结构 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第2章 相关理论和技术 | 第22-30页 |
| ·基于本体的分析 | 第22-24页 |
| ·本体论的基本观点 | 第22-23页 |
| ·本体建模方法 | 第23-24页 |
| ·数据模型与操作模型 | 第24-25页 |
| ·构件化系统本体模型 | 第25-26页 |
| ·WEB本体技术 | 第26-30页 |
| ·语义Web技术 | 第26-27页 |
| ·本体与语义 | 第27页 |
| ·描述语义的本体元素 | 第27-29页 |
| ·语义的本体语言描述──OWL语言 | 第29页 |
| ·Protege本体平台工具 | 第29-30页 |
| ·本章小结 | 第30页 |
| 第3章 分布式程序设计竞赛系统的本体模型 | 第30-41页 |
| ·程序设计竞赛系统的研究现状 | 第31-34页 |
| ·程序设计网上竞赛 | 第31-32页 |
| ·程序设计网上竞赛系统的基本模型 | 第32-33页 |
| ·现有程序设计网上竞赛系统中存在的问题 | 第33-34页 |
| ·分布式程序设计竞赛系统的提出 | 第34-37页 |
| ·基于分布式处理的MIX\S架构模式 | 第34-35页 |
| ·评判分布式 | 第35页 |
| ·网络服务分布式 | 第35-36页 |
| ·分布式服务器 | 第36-37页 |
| ·分布式程序设计竞赛系统本体模型的建立 | 第37-40页 |
| ·分布式程序设计竞赛系统中的概念和属性 | 第37页 |
| ·分布式系统中的概念间的关系 | 第37-38页 |
| ·建立的本体模型 | 第38-40页 |
| ·本章小结 | 第40-41页 |
| 第4章 程序代码评判系统的本体模型 | 第41-54页 |
| ·评判系统的研究意义和现状 | 第41-43页 |
| ·评判系统 | 第41页 |
| ·现有系统中存在的问题 | 第41-42页 |
| ·评判系统的系统本体模型 | 第42-43页 |
| ·评判规则 | 第43-44页 |
| ·评判规则的数据模型的研究 | 第44-48页 |
| ·评判结果的本体描述 | 第44-46页 |
| ·评判规则的本体描述 | 第46页 |
| ·面向ACM/ICPC的评判结果样例实例 | 第46-47页 |
| ·面向ACM/ICPC的评判规则样例实例 | 第47-48页 |
| ·评判规则的操作模型的研究 | 第48-52页 |
| ·评判规则的类的操作本体模型 | 第49-50页 |
| ·评判规则的属性的操作本体模型 | 第50页 |
| ·面向裁判的操作模型实例 | 第50-51页 |
| ·面向竞赛选手的操作模型实例 | 第51-52页 |
| ·IPSC竞赛应用实例分析 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第5章 编译环境设置系统的本体模型 | 第54-63页 |
| ·编译环境设置系统研究意义及现状 | 第54页 |
| ·编译环境的数据模型的研究 | 第54-57页 |
| ·编译环境中的概念和关系 | 第55页 |
| ·编译器的本体描述 | 第55页 |
| ·编译环境的本体描述 | 第55-56页 |
| ·ACM\ICPC的编译环境的数据模型示例 | 第56-57页 |
| ·编译环境的操作模型的研究 | 第57-61页 |
| ·编译环境的类的操作本体模型 | 第58-59页 |
| ·编译环境的属性的操作本体模型 | 第59-60页 |
| ·g++和jdk编译器的编译与运行操作模型实例 | 第60页 |
| ·裁判和比赛选手的权限操作模型实例 | 第60-61页 |
| ·编译器设置系统的本体模型 | 第61-62页 |
| ·本章小结 | 第62-63页 |
| 第6章 系统构件化设计 | 第63-71页 |
| ·建立构件化系统本体模型 | 第63-65页 |
| ·接口与实现相分离的概念 | 第63-64页 |
| ·构件化系统本体模型 | 第64页 |
| ·系统本体模型与构件化本体模型之间的映射关系 | 第64-65页 |
| ·程序设计网上竞赛系统的构件化本体模型 | 第65页 |
| ·基于多层结构化模式的构件化系统设计 | 第65-69页 |
| ·系统构件化设计与多层结构化模式 | 第66-67页 |
| ·分布式程序设计网上竞赛系统的多层结构化设计 | 第67-69页 |
| ·从构件化本体模型到构件接口定义的机器映射 | 第69-70页 |
| ·本章小结 | 第70-71页 |
| 第7章 分布式程序设计竞赛系统的实现 | 第71-85页 |
| ·系统应用背景 | 第71页 |
| ·使用软件和相关技术 | 第71-74页 |
| ·Web Service技术 | 第72页 |
| ·Axis | 第72-73页 |
| ·MySQL数据库 | 第73-74页 |
| ·分布式程序设计网上竞赛系统的系统架构 | 第74-76页 |
| ·SOA | 第74页 |
| ·系统网络架构 | 第74-75页 |
| ·系统中提供的服务方法 | 第75-76页 |
| ·本体模型的开发和实现 | 第76-80页 |
| ·本体建模工具Protégé | 第77-78页 |
| ·评判规则操作模型的OWL语言描述 | 第78-80页 |
| ·用户界面 | 第80-82页 |
| ·答题器界面 | 第80页 |
| ·裁判机界面 | 第80-81页 |
| ·排名界面 | 第81页 |
| ·系统发布页面 | 第81-82页 |
| ·系统工作流程示例 | 第82-83页 |
| ·提交程序工作流程 | 第82-83页 |
| ·打分回送工作流程 | 第83页 |
| ·应用结果分析 | 第83-84页 |
| ·本章小结 | 第84-85页 |
| 第8章 结束语 | 第85-88页 |
| ·研究工作总结 | 第85-86页 |
| ·研究贡献及创新 | 第86-87页 |
| ·未来工作展望 | 第87-88页 |
| 参考文献 | 第88-92页 |
| 附录1 XML格式的编译环境数据模型实例 | 第92-97页 |
| 附录2 程序设计竞赛系统的网络架构和构件设计 | 第97-106页 |
| 附录3 评判规则操作模型的OWL概念模型 | 第106-107页 |
| 攻读学位期间的研究成果目录 | 第107-108页 |
| 致谢 | 第108页 |
