基于数学知识管理方法的线性代数教科书系统研究与实施

发布时间：2022-12-08 22:22

　　数学知识管理主要研究如何利用计算机技术实现对数学知识的高效管理,以满足人们对数学知识的创造、共享、处理及使用等需求。线性代数是数学分支中应用性较强且内容丰富的学科。本文研究数学知识管理方法,并针对目前静态线性代数电子教科书资源交互性不足的问题,研究设计以教科书的形式动态管理线性代数知识的软件系统。首先,通过将线性代数知识整理归类,设计线性代数知识库,用于存储和管理多种形式的线性代数知识及其相互关系和分类体系等元知识数据;其次,为知识内容设计形式化语言以通过外部计算工具来处理和操作知识数据,基于知识库模式研究实现结构和内容的修改与更新、教科书内容正确性与结构合理性验证方法。与传统静态电子教科书相比,所构建的线性代数教科书系统能够为学生提供智能化功能,在一定程度上提高学习效率。 

【文章页数】：53 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
1 绪论
    1.1 数学知识管理研究概述
    1.2 研究问题
    1.3 国内外研究现状
    1.4 研究目标及意义
2 线性代数知识管理方法
    2.1 知识的获取
    2.2 知识的规范化
    2.3 知识数据的封装
    2.4 知识数据的处理与维护
3 线性代数知识库的构建
    3.1 线性代数知识库的设计
        3.1.1 获取线性代数知识数据
        3.1.2 构建线性代数知识对象
        3.1.3 知识对象的关系
    3.2 线性代数知识库的实现
        3.2.1 构建关系表
        3.2.2 知识数据的管理
        3.2.3 知识库的检索与浏览
4 线性代数知识的表示与处理
    4.1 线性代数知识的表示
        4.1.1 形式化语言的设计
        4.1.2 形式化数学表达式的交互与计算
        4.1.3 数学公式的表示与呈现
    4.2 线性代数知识的自动处理
        4.2.1 知识形式化表述的转化翻译
        4.2.2 知识关系的自动发现
        4.2.3 教科书结构的合理性检测
        4.2.4 知识内容的合理性检测
5 线性代数教科书系统的实施
    5.1 系统结构
    5.2 人机交互界面
    5.3 线性代数教科书的自动呈现
    5.4 知识关系的可视化
6 总结
参考文献
致谢
攻读学位期间发表的学术论文目录


【参考文献】：
期刊论文
[1]数学机械化:让数学更加实用——数学机械化领域吴文俊、高小山侧记[J]. 唐琳.  科学新闻. 2015(12)
[2]基于LaTex的Web数学公式提取方法研究[J]. 陈立辉,苏伟,蔡川,陈晓云.  计算机科学. 2014(06)
[3]几何知识资源分享平台的设计与实现[J]. 蒋磊,吴孔逸,陈肖宇.  计算机应用. 2014(S1)
[4]基于Gephi的可视分析方法研究与应用[J]. 关迎晖,向勇,陈康.  电信科学. 2013(S1)
[5]科技期刊常用排版软件的选择[J]. 闫新云.  编辑学报. 2013(03)
[6]Presentation数学公式到Content转换关键问题研究[J]. 蔡川,苏伟,李廉.  计算机应用与软件. 2012(08)
[7]大学知识管理研究综述[J]. 向金.  价值工程. 2011(07)
[8]几何知识库的设计与实现[J]. 王东明,黄荧,陈肖宇.  计算机应用. 2009(02)
[9]NKI中的本体、框架和逻辑理论（英文）[J]. 眭跃飞,高颖,曹存根.  软件学报. 2005(12)
[10]计算机时代的脑力劳动机械化与数学机械化[J]. 吴文俊.  黑龙江大学自然科学学报. 2003(02)

硕士论文
[1]基于Spark的社会网络分析系统的设计与实现[D]. 崔印昌.北京邮电大学 2017
[2]面向数字资源聚合平台的光学字符识别技术的研究[D]. 苏大壮.电子科技大学 2015
[3]论文自动排版系统的设计与实现[D]. 郑根创.华南理工大学 2012
[4]OMDoc在数学文档中的应用研究[D]. 杨韬.江苏大学 2005



本文编号：3714242