基于多核的并行軟件工程的CDT模型的研究.pdf

1、隨著計(jì)算機(jī)技術(shù)的不斷發(fā)展，并行計(jì)算作為一種旨在降低運(yùn)算時(shí)間、增加問(wèn)題求解規(guī)模、提高求解精度的方法，在科學(xué)以及工程應(yīng)用的計(jì)算模擬、商業(yè)應(yīng)用的數(shù)據(jù)挖掘及事務(wù)處理等許多領(lǐng)域，已經(jīng)產(chǎn)生了巨大的作用和影響力。近幾年來(lái)隨著多核的逐漸普及，基于多核的并行計(jì)算的研究逐漸成為新的研究熱點(diǎn)。范疇數(shù)據(jù)類(lèi)型(CDT)模型是以范疇理論為基礎(chǔ)，以數(shù)據(jù)類(lèi)型的構(gòu)造為目的的形式化描述模型。CDT模型具有非常嚴(yán)格的數(shù)學(xué)基礎(chǔ)，并在軟件工程中的函數(shù)式程序設(shè)計(jì)與并行計(jì)算得到了一

2、系列的應(yīng)用，已經(jīng)取得了不少的研究成果。雖然CDT模型的理論工作方面已取得了很多成果，CDT構(gòu)造的原理已經(jīng)有了較為完善的理論系統(tǒng)，但是將CDT模型的理論與實(shí)際應(yīng)用相結(jié)合，CDT構(gòu)造的原理與應(yīng)用還有許多的問(wèn)題值得探討與研究。本文將CDT模型創(chuàng)造性的應(yīng)用于多核平臺(tái)之上，對(duì)CDT理論的進(jìn)行進(jìn)一步的驗(yàn)證分析。 本文在研究國(guó)內(nèi)外相關(guān)文獻(xiàn)的基礎(chǔ)上，從范疇數(shù)據(jù)類(lèi)型的當(dāng)前研究背景出發(fā)，首先介紹了CDT模型構(gòu)造及基本原理等基礎(chǔ)知識(shí)；詳細(xì)研究了CDT