|
軟件開發環境國家重點實驗室于1988年通過國家計委認證，利用世界銀行貸款建設的國家重點實驗室。1992年后獲得世界銀行貸款共129萬美元，購置了實驗室建設初期的主要設備和基礎設施，1992年10月對外開放。1995年通過了教育部和基金委組織的專家驗收。實驗室是國家對外開放的軟件新技術、軟件開發工具和環境的應用基礎研究與關鍵技術研發基地。由國務院學位委員會委員、中國科學院院士、北京航空航天大學校長李未教授任實驗室主任；學術委員會由12名國內外知名專家組成，中國科學院院士董韞美教授擔任主任，本屆學術委員會成員中的二位外籍專家，分別來自日本筑波大學和德國馬普計算機研究所。
1996年以來，實驗室基于對軟件產業國際國內形勢的分析，確定了“面向軟件產業發展的主戰場，瞄準軟件基礎研究的世界前沿，突破研制大型軟件的關鍵技術，深化原創性的軟件基礎研究”的發展戰略。實驗室根據自身多年的學術積累和研究特色，結合國際學科前沿研究與發展趨勢，以原創性理論研究為基礎，以關鍵技術突破為重點，以研制先進的軟件開發環境和平臺為目標，設立了計算機科學理論與基礎、高速網下的協同工作環境和面向領域服務的軟件支撐技術三個有特色、有優勢的研究方向。
自1996年以來，實驗室共承擔科研項目共156項。其中，國家科學基金項目14項，攀登計劃（子課題）1項，973計劃項目1項（4個課題），863計劃項目23項，部委級重點項目11項，其他課題及橫向協作項目94項，科研經費共計8065萬元。實驗室取得的主要成果有：在軟件基礎研究方面：（1）在國內率先倡導將網絡環境下海量信息的組織、傳輸與處理的研究作為軟件基礎研究的一個重要方向，并制定了詳細的研究計劃。1999年科技部重大基礎研究規劃項目“網絡環境下海量信息的組織、處理和傳輸的理論與方法”正式立項啟動，實驗室主任李未院士任該項目的首席科學家。目前該項目已通過科技部組織的中期檢查，認為“該項目整體研究處于國際先進水平，部分研究成果具有較高的前瞻性和創新性，進入了國際領先行列”。（2）實驗室以李未院士為帶頭人的學術梯隊長期進行“開放邏輯”的原創性理論研究，目前該理論已經得到國內外學術界的初步認同。已有16所國內大學以及德國、日本等國外研究機構參與該理論的研究工作，發表論文155篇，并建立了中日、中德合作研究項目。（3）參與我國Internet2試驗床的建設。實驗室和清華大學共同主持了于1999年正式立項啟動的國家自然科學基金委重大項目“中國高速互聯研究試驗網絡NSFCnet”。 在大型軟件研制關鍵技術的突破方面：（1）實驗室設計并實現了“基礎設施信息網絡管理系統軟件生產平臺”。在國內首次提出并設計完成了“網絡管理系統軟件生產線”；設計了符合我國用戶特點和國際標準的多層分布式體系結構；設計并實現了相應的軟件構件庫；提出了以開發方和用戶方交互為主線的軟件開發管理方法。（2）實驗室在“因特網多媒體會議系統”的研究成果，經過軟件認證和評估也形成了1000萬元的知識產權。實驗室因在“基于結構操作語義的并發和類型程序設計方法研究”上的貢獻于1995年獲得國家自然科學二等獎，并獲得省部級以上的各類獎項多項。
實驗室提出了以培養學術帶頭人為目標的研究生梯隊式培養方法，既培養了我國高技術和高等教育方面的領導型人才，又培養了一批活躍在科研第一線的中青年學術帶頭人。自1997年以來，實驗室培養了6名博士后、18名博士、108名碩士和近300名本科畢業生，目前還有51名博士生、128名碩士生在實驗室攻讀學位。
實驗室面向我國軟件發展的戰略需求，以推動我國軟件產業的迅速發展為己任，積極參與國內外軟件科研、教育和產業發展過程中的各項活動，充分發揮了國家軟件重點實驗室的作用。近幾年來，實驗室先后擔任了國家計委軟件產業基地評審和監督專家組組長單位、教育部軟件示范學院的評審組組長單位、教育部高等學校計算機科學與技術教學指導委員會的主任單位和863計劃計算機硬件與軟件主題組長單位。實驗室已經通過高速因特網與國內的北京大學、清華大學、中國科學院計算所、中國科學院軟件所等建立了緊密協作關系，并通過參加AccessGrid網絡協同聯盟，與美國、德國、日本等六十余所大學和實驗室建立了經常性的學術聯系。研究成果在國內外產生了重要影響。實驗室已經初步達到了“國際知名、國內一流”的目標。
地 址：北京市海淀區學院路37號
郵政編碼：100083 學
電 話：010-82317643
實驗室編號： 1991DA107015 建設年份： 1991
實驗室名稱： 軟件開發環境國家重點實驗室 驗收年份： 1995
實驗室曾用名： 依托單位： 北京航空航天大學
主 管部 門： 國防科學技術工業委員會 所在地區： 北京
學 科領 域： 信息 網址： http://www.nlsde.buaa.edu.cn
|
