《並行程式設計環境及工具的研究》是依託中國人民解放軍國防科技大學,由陳福接擔任項目負責人的面上項目。
基本介紹
- 中文名:並行程式設計環境及工具的研究
- 項目類別:面上項目
- 項目負責人:陳福接
- 依託單位:中國人民解放軍國防科技大學
- 批准號:69073346
- 申請代碼:F0203
- 負責人職稱:教授
- 研究期限:1991-01-01 至 1993-01-01
- 支持經費:4(萬元)
《並行程式設計環境及工具的研究》是依託中國人民解放軍國防科技大學,由陳福接擔任項目負責人的面上項目。
《並行程式設計環境及工具的研究》是依託中國人民解放軍國防科技大學,由陳福接擔任項目負責人的面上項目。中文摘要本項研究發展了一種新的更為簡便實用的方法,可以以對電子全息圖中的微小的位相變化進行放大、測量,可以用來研究異質界...
《模組化柔性加工單元的並行設計軟工具研究》是依託天津大學,由徐燕申擔任項目負責人的面上項目。項目摘要 用面向對象的方法建立了模組化柔性加工單元產品定義模型,解決了複雜產品信息計算機表達問題;研究了計算機網路環境下產品數據管理方法和實現策略,以實現對多用戶參與的並行設計過程支持;對模組化柔性加工單元設計...
自然科學基金項目:SMP集群的並行程式設計環境研究 自然科學基金項目:基於IPv6的Anycast路由研究 科研成果 天網Maze 基於北大網際網路技術的專業p2p社區軟體,過百萬註冊用戶,提供檔案,電影,歌曲搜尋下載,支持好友,即時通訊。論壇,積分刺激共享。個性化搜尋,多點下載,p2p視頻流媒體點播,直播,精品大學課程。天網商搜 ...
12.1.2 並行程式設計環境與工具 12.1.3 並行程式設計方法 12.1.4 並行編程風範 12.2 進程 12.2.1 進程的基本概念 12.2.2 進程的並行執行 12.2.3 進程的相互作用 12.3 執行緒 12.3.1 執行緒的基本概念 12.3.2 執行緒的管理 12.3.3 執行緒的同步 12.4 同步 12.4.1 原子與互斥 12.4.2 高級同步...
強有力的支撐環境 必須有良好的支撐多小組並行協同工作的網路與計算機平台。強有力的管理 強調強有力的管理,保證各種並行活動協調統一地進行。除了來自製造業的啟示外,“並行處理”、“多個程式員同時為同一個系統編碼”、“現實生活中各類非自覺的、偶然的並行行為”進一步為我們解決效率和質量方面的問題給出了啟示...
● 程式設計語言研究室:致力於程式設計語言的原理、設計、實現及其支撐環境的研究,主要研究方向包括:程式設計語言的設計與實現,函式式語言,程式代數與程式演算,程式分析與驗證,程式自動修復,程式變換與自動綜合,並行程式設計等。● 理論計算研究室:致力於計算機科學理論的研究,主要研究方向包括:算法設計與分析,...
據2023年10月實驗室官網數據,中國科學院軟體研究所所屬的計算機科學國家重點實驗室擁有了眾多的基礎設施平台。館藏資源 據2023年10月圖書館官網數據,中國科學院軟體研究所圖書館占地面積為834.19平方米。圖書館具有良好的信息資源獲取與服務環境。擁有館藏中西文計算機科學與軟體技術專業文獻2萬餘種,園區IP可訪問國家...
進化設計對環境知識依賴很少,而且優良樣本的交叉、變異往往是設計創新的源泉,所以在1996年舉辦的“設計中的人工智慧”(Artificialinterlligenceindesign’96)國際會議上,M.A.Rosenman提出了設計中的進化模型,進而進化計算作為實現非常規設計的有利工具。智慧型設計分類 原理方案智慧型設計 方案設計的結果將影響設計的全過程,...
9.1.1實現環境Pin 9.1.2主要功能 9.1.3設計方法 9.2性能級多核模擬器設計 9.2.1SimpleScalar簡介與改進分析 9.2.2流水線設計 9.2.3訪存設計 9.2.4多核模擬方式 9.2.5私有一級Cache的推測支持 9.2.6匯流排支持 9.3小結 第10章SPoTM模型評測 10.1評測方案 10.1.1測試程式集 10.1.2模擬器...
2.4.2環境相關問題15 2.4.3路徑爆炸問題16 2.4.4約束求解問題16 2.5符號執行工具17 2.5.1KLEE17 2.5.2SPF18 2.5.3SAGE19 2.5.4SymCC20 本章小結21 基於程式分析的軟體測試與錯誤定位技術 |目錄| 第3章軟體測試與錯誤定位技術22 3.1軟體測試與錯誤定位的研究背景23 3.1.1軟體測試23 3.1.2...
本書詳細討論了如何使用執行緒、OpenMP、MPI、CUDA和Thrust設計與開發軟體,以充分利用當今異構計算平台上的豐富計算資源。本書凝結了作者十多年來的並行計算教學經驗,不僅充分說明了從串列編程到並行計算的轉變方式,還提供了大量示例和案例研究。通過本書,讀者可以學習如何使用MPI開發運行在分散式記憶體系統上的套用程式,...
高性能並行軟體工具與環境的研究:主要研究並行環境下的作業系統、並行程式設計、並行編譯、編程工具與環境。典型套用領域的並行軟體研製與開發:針對國民經濟建設和國防安全領域的一些典型套用研製與開發並行軟體,主要包括淮河流域的汛期防洪調度、枯水期防污調度和水資源最佳化配置等資源環境方面的套用,災害性氣象預報、城市...
莫則堯的主要研究方向為:基於訊息傳遞(MPI、PVM)、共享存儲(OpenMP)和數據並行(HPF)並行程式設計平台的大規模科學與工程套用程式的並行與性能最佳化;並行算法設計與分析(包括大規模稀疏線性代數方程組疊代解法與預條件技術、PDE問題的多重格線與區域分解算法求解、FFT與離散卷積變換、分子動力學模擬方法、分類問題)...
計算機科學,研究計算機及其周圍各種現象和規律的科學,亦即研究計算機系統結構、程式系統(即軟體)、人工智慧以及計算本身的性質和問題的學科。計算機科學是一門包含各種各樣與計算和信息處理相關主題的系統學科,從抽象的算法分析、形式化語法等等,到更具體的主題如程式語言、程式設計、軟體和硬體等。計算機科學分為理論...
⒑機群並行處理體系結構、互連技術、程式設計環境以及計算密集型套用在機群系統中的實現;⒒超常指令字(VLIW)系統結構;⒓多執行緒機制;⒔並行處理技術;⒕並行算法及環境;⒖並行分散式算法;⒗各種並行與分散式軟體、工具與環境;⒘分散式與多機系統新型計算機系統機構及語言;⒙計算機系統體系結構軟體仿真環境構建方法研究...
他們一直致力於並行工程環境的研製工作,並取得了顯著的成績。發展趨勢 從產品的全壽命周期設計的發展過程來看,它的發展肯定是從簡單到複雜、從小領域發展到大領域。美國的DEC公司的專家提出了建立並行工程自動化環境的幾個階段,套用於全壽命周期設計也同樣適用:內部可操作工具及任務;內部可操作計算環境;產品數據管理...
科學研究 主要研究方向 新型程式設計與軟體方法學、分布計算與並行處理、軟體質量保障與自動化技術、系統軟體及信息安全、以及智慧型化與多媒體軟體支撐技術。具體研究內容包括主體化與可信化的軟體方法學框架、機器學習與智慧型化軟體支撐技術、普適化的分散式計算與套用支撐技術、以及人本化的多媒體信息處理技術及其套用等;...