|
软件开发环境国家重点实验室 [实验室编号：1991DA107015 ]
建设年份： 1991年
依托单位： 北京航空航天大学
主管部门： 国防科学技术工业委员会
实验室主任：李 未
所在地区： 北京
地 址： 北京市海淀区学院路37号
邮政编码： 100083 学
联系电话： 010-82317643
简 介：软件开发环境国家重点实验室
软件开发环境国家重点实验室于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网络协同联盟，与美国、德国、日本等六十余所大学和实验室建立了经常性的学术联系。研究成果在国内外产生了重要影响。实验室已经初步达到了“国际知名、国内一流”的目标。 |
同领域机构
-
中国科学院计算机网络信息中心 所属学科：自动化/计算机技术 年平均被引率：7.85 -
中国人民解放军理工大学 所属学科：自动化/计算机技术 年平均被引率：3.04 -
西南科技大学 所属学科：自动化/计算机技术 年平均被引率：2.72 -
武汉理工大学 所属学科：自动化/计算机技术 年平均被引率：3.02 -
南京大学 所属学科：自动化/计算机技术 年平均被引率：4
同地区机构
-
北京航空航天大学 所属学科：化学工业 年平均被引率：3.19 -
北京化工大学 所属学科：化学工业 年平均被引率：3.81 -
北京邮电大学 所属学科：自动化/计算机技术 年平均被引率：3.28 -
中冶集团建筑研究总院 所属学科：建筑科学 年平均被引率：4.94 -
中国科学院软件研究所 所属学科：自动化/计算机技术 年平均被引率：3.91
