● 摘要
几何学经历了上千年的发展历史。随着计算机科学的发展，人们开始重视几何软件的开发及几何知识管理的研究。几何软件有强大的几何计算、几何动态作图及几何命题自动证明功能，但由于对几何知识描述和形式化的不一致性，不同几何软件无法共享数据，实现互操作，由软件计算产生的结果数据也无法重用，造成了资源和人力的极大浪费。本文研究设计通用几何知识库，实现不同动态几何软件的数据重用与共享。为几何软件提供数据支持是目前知识管理工程研究的新方向。本文通过分析几何软件自动化功能及搜索查询对数据的需求，研究几何知识数据的标准化和结构化问题，提出了将几何知识标准化和结构化的思路和框架。为了应对几何知识数据的复杂性，我们采取先封装再组织的策略，将几何知识封装成不同的几何知识类型，为每种几何知识类型提取不可再分的数据元，根据数据元取值不同确定几何知识对象。我们还进一步研究几何知识对象间的关系，抽象出几何知识的结构框架，并据此设计实现了一个初级的几何知识库系统，可以应用于互联网，提供用户操作界面，实现数据查询、添加、删除、修改等初级功能。论文最后讨论了该课题存在的问题，并提出今后进一步的研究方向和研究重点。