论文部分内容阅读
国际大学生程序设计竞赛(ACM/ICPC)是美国计算机协会(ACM)主办的全球性的程序设计比赛。每所参赛学校为了获得更优异的成绩,都会培养优秀的学生去参加ACM比赛。现在随着Internet技术的发展,Web空间里也有许多关于ACM程序设计的解题方法,但是对于很多参赛选手在训练时却很难充分利用这些资源。究其原因:1)现有的Web空间的解题方法还仅仅是一个“信息”的容器,其内容只适合给参赛选手浏览,而不具备机器所能理解的语义。机器在进行资源查找的时候,能够得到的语义信息相当有限。2)现有的Web空间的解题方法的描述比较片面,参赛选手往往由于得不到完整的信息而不能彻底地解决问题,并造成机器在传递语义信息时也有所疏漏。3)现有的Web空间的解题方法相互之间没有联系,造成参赛选手不能有序地去把握所有方法之间的差异,机器传递语义时也不具备结构性。针对以上问题,本文提出基于领域知识的解题方法语义化档案系统,并选取了大量的题目及相关解题方法作为应用的实例展开研究。本文与现有Web空间的解题方法最大的区别在于,将解题方法语义化,并对解题方法建立联系,来帮助参赛选手训练。论文首先将本体论纳入领域知识的模型分析中去,通过对解题方法原理的分析得到领域知识的本体模型。这个模型符合人脑对程序设计解题方法所反映的概念化的模型,适用于整个ACM程序设计的领域,领域中程序设计方法可以通过这个模型表现出来。通过这个模型,将解题方法抽象化,并可以对所有的解题方法的模型进行整合。其次,论文提出了面向ACM领域的解题方法语义化档案系统的结构,该结构整合了语义化的解题方法。通过形式概念分析对解题方法建立概念格,这个概念格直观地描述出语义化的解题方法之间的联系。并且又利用了形式概念分析的理论和网络流中最小费用最大流理论为背景,创新地提出解题方法相似度的概念。解题方法相似度是用来描述各种解题方法的相似程度。通过概念格和解题方法相似度,参赛选手可以对自己解决和未解决的程序设计问题有个整体到局部的认识。最后本文基于上述理论描述了解题方法语义化档案系统的实例应用系统。通过实例应用来验证和检验本文的研究工作。