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

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

【學(xué)位級別】：碩士

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


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

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



本文編號：3714242