江西省高性能計算技術重點實驗室

江西師範大學(Jiangxi Normal University)位於具有深厚歷史文化底蘊、素有“物華天寶、人傑地靈”美譽的江西省會城市南昌,學校緣起於廬山白鹿洞書院,肇基於1940年創建的國立中正大學,學校經歷了七易其址、四易其名的風雨歷程,1983年更名為江西師範大學,是一所歷史悠久、聞名遐邇的高等學府,具有優良的學風與深厚的學術傳統,學校多個研究方向的水平處了國際領先地位。

概述,榮譽,對外合作,

概述

江西省高性能計算重點實驗室是由江西師範大學和中國科學院計算技術研究所和共建的省級重點實驗室。該實驗室於2003年8月由江西省科技廳批准成立並正式向國內外開放運行。實驗室主任由國家級有突出貢獻的中青年專家、中科院軟體所和武漢大學兼職博士生導師專家薛錦雲教授擔任。實驗室學術委員會主任是中科院院士陸汝鈐研究員。江西省高校軟體科技中心是經江西省教育廳於2002年批准成立的研究開發機構。目前這兩個研究機構,兩塊牌子,一班人馬,合署辦公,是江西師範大學直屬的正處級單位,也是江西省計算機軟體與理論專業示範性碩士點和省級重點學科的依託單位。本實驗室(中心)在江西師大瑤湖校區和青山湖校區均有實驗、研發和業務辦公場所,以瑤湖校區為主。主要從事軟體形式化和自動化、並行分散式計算、面向服務計算、高可信軟體和網路軟體等學科方向的研究。

榮譽

先後主持承擔國家“863”計畫、國家軍用共性軟體、國家重大基礎研究(973計畫)前期研究專項、國家自然科學基金面上項目和國際合作項目13項、省部級項目20餘項,其中國家自然科學基金面上項目取得七報七中的佳績,國家自然科學基金重大國際合作研究項目是江西省首次獲得。
研製成功支持軟體形式化和自動化開發的PAR方法和PAR平台,其前期研究成果曾獲江西省科技進步一等獎。實踐證明,用PAR方法提供的語言、變換規則和系列算法和程式自動生成工具開發軟體, 具有原理簡單,使用方便,通用性強,可靠性高等特點,可以大幅度提高複雜算法程式和軟體開發的生產效率。
江西省高性能計算重點實驗室和省高校軟體科學技術中心也是中科院軟體所和武漢大學博士生培養點。實驗室(中心)主任薛錦雲教授2000年被中科院軟體所評聘為博士生導師,2009年又被武漢大學評聘為博士生導師,已經在中科院軟體所和武漢大學招收培養博士研究生l4名。

對外合作

與英國萊斯特大學合作培養計算機科學碩士學位教育項目已經獲得中國教育部的批准(批准書編號:MOE36GB1A20111135N)。該項目採用“自主招生”錄取方式,學制兩年,面向全國普通高校成績優良的本、專科畢業生招生,對通過各項考核的學生頒發萊斯特大學“高級計算機科學理學碩士學位證書”,2011年夏季開始招生。本實驗室(中心)實行“開放、流動、聯合、競爭”的運行機制,將以國家自然科學基金重大國際合作研究項目和與萊斯特大學合作舉辦碩士學位教育項目的獲準和實施為契機,將實驗室建設成為國際化,有特色、高水平研究開發機構和高層次創新人才培養基地。

相關詞條

熱門詞條

聯絡我們