第1页共14页编号：时间：2021年x月x日书山有路勤为径，学海无涯苦作舟页码：第1页共14页软件开发环境国家重点实验室软件开发环境国家重点实验室简介软件开发环境国家重点实验室于1988年通过国家计委专家认证，并确定为用世界银行贷款建设的国家重点实验室。1992年后获得世界银行贷款共129万美元，购置了实验室建设初期的主要设备和基础设施，1992年10月对外开放。1995年通过了教育部和基金委组织的专家验收。实验室是国家对外开放的软件新技术、软件开发工具和环境的应用基础研究与关键技术研发基地。实验室实行主任负责制和学术委员会评审制。国务院学位委员会委员、中国科学院院士、北京航空航天大学校长李未教授担任实验室主任。1997年12月经教育部批准，成立了第二届学术委员会，由12名国内外知名专家组成，中国科学院院士董韫美教授担任主任。本届学术委员会成员中的二位外籍专家，分别来自日本筑波大学和德国马普计算机研究所。1996年以来，实验室基于对软件产业国际国内形势的分析，确定了“面向软件产业发展的主战场，瞄准软件基础研究的世界前沿，突破研制大型软件的关键技术，深化原创性的软件基础研究”的发展战略。在这个发展战略的指导下，实验室根据自身多年的学术积累和研究特色，并结合国际学科前沿研究与发展趋势，以原创性理论研究为基础，以关键技术突破为重点，以研制先进的软件开发环境和平台为总目标，设立了计算机科学理论与基础、高速网下的协同工作环境和面向领域服务的软件支撑技术三个有特色、有优势的研究方向。自1996年以来，实验室共承担科研项目共156项。其中，国家科学基金项目14项，攀登计划（子课题）1项，973计划项目1项（4个课题），863计划项目23项，部委级重点项目11项，其他课题及横向协作项目94项,科研经费共计8065万元。实验室取得的主要成果有：在软件基础研究方面：1）在国内率先倡导将网络环境下海量信息的组织、传输与处理的研究作为软件基础研究的一个重要方向，并制定了详细的研究计划。1999年科技部重大基础研究规划项目“网络环境下海量信息的组织、处理和传输的理论与方法”正式立项启动，实验室主任李未院士任该项目的首席科学家。2001年,该项目通过科技部组织的中期检查，认为“该项目整体研究处于国际先进水平，部分研究成果具有较高的前瞻性和创新性，进入了国际领先行列。”。2）实验室以李位院士为带头人的学术梯队长期进行“开放逻辑”的原创性理论研究率先将形式系统序列、序列的极限以及收敛过程模式等概念引入数理逻辑，给出了公理化进程的数学描述。目前该理论已经得到国内外学术界的初步认同。已有16所国内大学以及德国、日本等国外研究机构参与该理论的研究工作，发表论文155篇，并建立了中日、中德合作研究项目。3）参与我国Internet2试验床的建设。实验室和清华大学共同主持了于1999年正式立项启动的国家自然科学基金委重大项目“中国高速互联研究试验网络NSFCnet”。实验室作为NSFCnet项目软件方面的组长单位，主持了高速网络环境下的关键软件技术和软件应用示范的研究工作，并研制了具有自主知识产权的、基于高速网络的多媒体、实时、交互式协同工作环境（Admire）。第2页共14页第1页共14页编号：时间：2021年x月x日书山有路勤为径，学海无涯苦作舟页码：第2页共14页1、实验室通过Admire工具，已经成功地与美国国家自然科学基金重点项目AccessGrid中的五十多所大学、科研院所建立了协作关系。2001年11月，实验室成为首次在因特网上进行的国际超级计算大会（SCGlobal2001）的中国分会场，并且是会议中唯一没有使用美国AccessGrid软件工具的分会场。Admire工具由于处理视频音频的质量高，已经被美国LawrenceLivermore国家实验室使用。2、在大型软件研制关键技术的突破方面：1）实验室设计并实现了“基础设施信息网络管理系统软件生产平台”。在国内首次提出并设计完成了“网络管理系统软件生产线”；设计了符合我国用户特点和国际标准的多层分布式体系结构；设计并实现了相应的软件构件库；提出了以开发方和用户方交互为主线的软件开发管理方法。“基础设施信息网络管理系统软件生产平台”取得了2000万元的知识...
