《高性能數學機械化計算研究》是依託清華大學，由武永衛擔任項目負責人的面上項目。
基本介紹
- 中文名：高性能數學機械化計算研究
- 依託單位：清華大學
- 項目負責人：武永衛
- 項目類別：面上項目
- 批准號：60373004
- 申請代碼：F0204
- 負責人職稱：教授
- 研究期限：2004-01-01 至 2006-12-31
- 支持經費：22（萬元）
項目摘要
本項目的主要內容有兩個方面：其一是集群環境下並行數學機械化計算的研究，主要解決適合數學機械化計算任務特點的並行計算算法、負載平衡和訊息傳遞等問題，提供一個完整高效的數學機械化計算並行程式開發和運行環境，讓程式設計師能夠方便地使用並行的數學機械化計算程式或將要解決的數學機械化計算問題實現並行編碼。其二是在格線環境下，充分考慮到數學機械化計算分支動態增加，且各個分支之間沒有訊息傳遞的特點非常適合在格線上進行計算，研究將數學機械化計算分支和格線結點有效匹配的計算模型，將一組通過廣域網連線起來的性質不同的計算資源集合起來，作為一個單獨的計算環境向用戶提供非平凡的高性能數學機械化計算服務。通過本項目的研究，使得我國處於國際領先地位的數學機械化理論研究成果有望實實在在地解決若干項技術領域的實際計算問題，為促進我國技術產業的發展做出積極的貢獻。
