友情提示:本站提供全國(guó)400多所高等院校招收碩士、博士研究生入學(xué)考試歷年考研真題、考博真題、答案,部分學(xué)校更新至2012年,2013年;均提供收費(fèi)下載。 下載流程: 考研真題 點(diǎn)擊“考研試卷””下載; 考博真題 點(diǎn)擊“考博試卷庫(kù)” 下載
計(jì)算機(jī)軟件與理論(077402授理學(xué)學(xué)位)
多核處理器(MP)和通用圖形處理器(GPGPU)的發(fā)展極大的改變了傳統(tǒng)的軟件開(kāi)發(fā)方法,軟件需要適應(yīng)新的計(jì)算機(jī)的體系結(jié)構(gòu),發(fā)揮功能強(qiáng)大的并行的處理器和圖形處理器的潛力。本方向研究通用圖形處理器在通用計(jì)算中的軟件開(kāi)發(fā)平臺(tái)和專(zhuān)用語(yǔ)言以及算法和軟件。
計(jì)算機(jī)科學(xué)中的形式化方法是利用邏輯和代數(shù)的理論和方法表達(dá)、設(shè)計(jì)和驗(yàn)證計(jì)算機(jī)軟件和硬件。本領(lǐng)域在硬件設(shè)計(jì)形式化驗(yàn)證領(lǐng)域具有很好的基礎(chǔ)。本領(lǐng)域研究利用模型檢驗(yàn)和定理證明的理論和方法驗(yàn)證軟件和硬件的正確性。嵌入式系統(tǒng)是軟件和硬件高度交互的系統(tǒng),利用模型檢驗(yàn)進(jìn)行系統(tǒng)中的軟件和硬件模塊的邏輯和時(shí)序關(guān)系的測(cè)試和驗(yàn)證也是本領(lǐng)域的研究熱點(diǎn)。本方向以省部級(jí)重點(diǎn)實(shí)驗(yàn)室“軟件工程實(shí)驗(yàn)室”和“軟件工程研究所”為依托,先后承擔(dān)了多項(xiàng)國(guó)家自然科學(xué)基金項(xiàng)目和省部級(jí)軟件測(cè)試和驗(yàn)證的科研項(xiàng)目。
免責(zé)聲明:本文系轉(zhuǎn)載自網(wǎng)絡(luò),如有侵犯,請(qǐng)聯(lián)系我們立即刪除,另:本文僅代表作者個(gè)人觀點(diǎn),與本網(wǎng)站無(wú)關(guān)。其原創(chuàng)性以及文中陳述文字和內(nèi)容未經(jīng)本站證實(shí),對(duì)本文以及其中全部或者部分內(nèi)容、文字的真實(shí)性、完整性、及時(shí)性本站不作任何保證或承諾,請(qǐng)讀者僅作參考,并請(qǐng)自行核實(shí)相關(guān)內(nèi)容。
|