国家自然科学基金(61202257)
- 作品数：3 被引量：3H指数：1
- 相关作者：符红光蒋彦张鑫丁盘苹孙媛媛更多>>
- 相关机构：电子科技大学中国科学院大学西南民族大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于本体的平面几何规则自动生成方法的研究被引量：1
- 2014年
- 平面几何领域规则生成主要是对领域内的内在联系进行提取或进行问题求解。关键规则目前主要依赖领域专家的编写,不具有扩展性和可持续性。通过对自然语言描述的平面几何定理的分析,构建其对应的对象和关系模型,提出了一种自动提取和生成几何关系模型对应规则的方法,以平面几何定理的机器证明为例,验证了此方法的可行性。改进方法还可进一步扩展至其它领域规则的自动生成。
- 贺锦敖丁盘苹
- 关键词：定理证明
- 基于WordNet与Wikipedia的平面几何本体的构建被引量：1
- 2014年
- 针对目前本体构建中存在的如手工构建难以确保高效性和可扩展性,且自动构建难度大,可操作性不强等研究现状,提出了一种基于WordNet和Wikipedia的学科领域本体半自动构建方法。首先构建一个领域顶层本体,在此基础上,重用WordNet的结构,从深度上对其进行术语和术语层次的扩展;同时根据Wikipedia中的页面信息,从广度上对其进行术语间关系的扩展和术语的补充;并将该本体构建方法应用于平面几何领域。实验表明该方法能大大提高本体构建的效率,并在一定程度上保证了本体的质量。
- 符红光刘莉钟秀琴蒋彦孙媛媛
- 关键词：领域本体维基百科WORDNET
- 平面几何题目图形识别与理解被引量：1
- 2015年
- 平面几何题目图形识别是智能教育,特别是平面几何题目自动推理重要问题。传统的推理机需要人工录入顶点和其坐标的值,工作量较大且效率低下。针对该问题,提出了平面几何题目图形自动识别的方法,首先对图形采用Otsu方法进行二值化,之后用改进的基于连通域的版面分析的方法进行版面分割,将图像中的字母部分和图形部分相互分离。对分割出来的字母部分,使用模板匹配方法进行识别;对分割出来的图像部分,分别使用Hough变换和修正的Shi-Tomasi角点识别方法进行识别,再使用顶点匹配方法,将字母与对应顶点相联系,选择出需要的顶点信息;最后使用点线匹配的方法,完美地识别出图像中存在的各个三点共线性质。在243道中考题目上测试该方法,与人工标注的顶点坐标相对比,得到完全识别正确率61.5%、邻域像素识别正确率82.1%的结果。实验结果表明,该平面集合题目图形识别算法的正确性较高,基本满足推理机对识别精度的要求。
- 张鑫符红光
- 关键词：版面分割
