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

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

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