數(shù)學知識管理主要研究如何利用計算機技術實現(xiàn)對數(shù)學知識的高效管理,以滿足人們對數(shù)學知識的創(chuàng)造、共享、處理及使用等需求。線性代數(shù)是數(shù)學分支中應用性較強且內容豐富的學科。本文研究數(shù)學知識管理方法,并針對目前靜態(tài)線性代數(shù)電子教科書資源交互性不足的問題,研究設計以教科書的形式動態(tài)管理線性代數(shù)知識的軟件系統(tǒng)。首先,通過將線性代數(shù)知識整理歸類,設計線性代數(shù)知識庫,用于存儲和管理多種形式的線性代數(shù)知識及其相互關系和分類體系等元知識數(shù)據(jù);其次,為知識內容設計形式化語言以通過外部計算工具來處理和操作知識數(shù)據(jù),基于知識庫模式研究實現(xiàn)結構和內容的修改與更新、教科書內容正確性與結構合理性驗證方法。與傳統(tǒng)靜態(tài)電子教科書相比,所構建的線性代數(shù)教科書系統(tǒng)能夠為學生提供智能化功能,在一定程度上提高學習效率。 

【文章頁數(shù)】：53 頁

【學位級別】：碩士

【文章目錄】：
摘要
abstract
1 緒論
    1.1 數(shù)學知識管理研究概述
    1.2 研究問題
    1.3 國內外研究現(xiàn)狀
    1.4 研究目標及意義
2 線性代數(shù)知識管理方法
    2.1 知識的獲取
    2.2 知識的規(guī)范化
    2.3 知識數(shù)據(jù)的封裝
    2.4 知識數(shù)據(jù)的處理與維護
3 線性代數(shù)知識庫的構建
    3.1 線性代數(shù)知識庫的設計
        3.1.1 獲取線性代數(shù)知識數(shù)據(jù)
        3.1.2 構建線性代數(shù)知識對象
        3.1.3 知識對象的關系
    3.2 線性代數(shù)知識庫的實現(xiàn)
        3.2.1 構建關系表
        3.2.2 知識數(shù)據(jù)的管理
        3.2.3 知識庫的檢索與瀏覽
4 線性代數(shù)知識的表示與處理
    4.1 線性代數(shù)知識的表示
        4.1.1 形式化語言的設計
        4.1.2 形式化數(shù)學表達式的交互與計算
        4.1.3 數(shù)學公式的表示與呈現(xiàn)
    4.2 線性代數(shù)知識的自動處理
        4.2.1 知識形式化表述的轉化翻譯
        4.2.2 知識關系的自動發(fā)現(xiàn)
        4.2.3 教科書結構的合理性檢測
        4.2.4 知識內容的合理性檢測
5 線性代數(shù)教科書系統(tǒng)的實施
    5.1 系統(tǒng)結構
    5.2 人機交互界面
    5.3 線性代數(shù)教科書的自動呈現(xiàn)
    5.4 知識關系的可視化
6 總結
參考文獻
致謝
攻讀學位期間發(fā)表的學術論文目錄


【參考文獻】：
期刊論文
[1]數(shù)學機械化:讓數(shù)學更加實用——數(shù)學機械化領域吳文俊、高小山側記[J]. 唐琳.  科學新聞. 2015(12)
[2]基于LaTex的Web數(shù)學公式提取方法研究[J]. 陳立輝,蘇偉,蔡川,陳曉云.  計算機科學. 2014(06)
[3]幾何知識資源分享平臺的設計與實現(xiàn)[J]. 蔣磊,吳孔逸,陳肖宇.  計算機應用. 2014(S1)
[4]基于Gephi的可視分析方法研究與應用[J]. 關迎暉,向勇,陳康.  電信科學. 2013(S1)
[5]科技期刊常用排版軟件的選擇[J]. 閆新云.  編輯學報. 2013(03)
[6]Presentation數(shù)學公式到Content轉換關鍵問題研究[J]. 蔡川,蘇偉,李廉.  計算機應用與軟件. 2012(08)
[7]大學知識管理研究綜述[J]. 向金.  價值工程. 2011(07)
[8]幾何知識庫的設計與實現(xiàn)[J]. 王東明,黃熒,陳肖宇.  計算機應用. 2009(02)
[9]NKI中的本體、框架和邏輯理論（英文）[J]. 眭躍飛,高穎,曹存根.  軟件學報. 2005(12)
[10]計算機時代的腦力勞動機械化與數(shù)學機械化[J]. 吳文俊.  黑龍江大學自然科學學報. 2003(02)

碩士論文
[1]基于Spark的社會網(wǎng)絡分析系統(tǒng)的設計與實現(xiàn)[D]. 崔印昌.北京郵電大學 2017
[2]面向數(shù)字資源聚合平臺的光學字符識別技術的研究[D]. 蘇大壯.電子科技大學 2015
[3]論文自動排版系統(tǒng)的設計與實現(xiàn)[D]. 鄭根創(chuàng).華南理工大學 2012
[4]OMDoc在數(shù)學文檔中的應用研究[D]. 楊韜.江蘇大學 2005



本文編號：3714242