English Version
当前位置: 首页 > 科学研究 > 科研基地 > 国家级实验室 > 正文

国家级实验室

软件开发环境国家重点实验室

(一)实验室简介

软件开发环境国家重点实验室是国家在计算机和先进网络的软件理论、技术和开发环境等方面开展基础、应用基础与前沿高技术研究的开放式科研基地,是创新型高层次人才的培养基地。1988年通过专家论证,1995年通过专家验收。

(二)实验室建设目标

始终服务国家战略和围绕信息科学的前沿方向,积极争取和承担国家关键项目,开展原创性的基础研究和创新性的技术突破,成为软件开发理论与方法以及群体软件工程研究的开拓者和国际一流的海量信息系统和网络计算的创新基地;努力成为现代物理学国际协作研究的海量数据分析和处理中心之一;服务于国家重大专项和国民经济建设的主战场,支撑国家科技基础条件平台的研发与服务,建成中国物联网技术研发和推广的促进中心;大力培养高层次网络化软件领军人才。

(三)实验室研究方向

实验室始终瞄准国家战略需求和国际软件发展前沿,针对我国在软件领域发展的战略需求和国际研究趋势,在软件基础理论与方法论、网络海量信息的物理学特征、海量非结构化数据模型与管理系统、物联网软件支撑技术与系统、面向服务的软件开发运行环境和多媒体协同网络环境等方面开拓创新。

(四)实验室主任介绍

马殿富,博士,教授,博士生导师。主要研究方向包括:面向服务的软件、安全攸关嵌入式软件等。

(五)主要骨干人员情况

实验室主任:马殿富

实验室副主任:吕卫锋、马世龙、尹宝林

实验室党委书记:张辉

主要方向负责人:李未、许可、郎波、吕卫锋、马殿富、吴文峻

(六)学术委员会成员情况

姓名

性别

出生年月

职称

职务

专业

邬贺铨

1943年5月

院士

学委会主任

网络与软件

怀进鹏

1962年12月

院士

学委会副主任

计算机软件与理论

王鼎兴

1937年10月

教授

学委会副主任

体系结构

陈大吾

1961年2月

教授

学委会委员

通信与软件

何积丰

1943年8月

院士

学委会委员

软件与理论

井田哲雄

1947年11月

教授

学委会委员

计算机科学

李未

1943年6月

院士

学委会委员

计算机软件与理论

吕建

1960年3月

教授

学委会委员

软件与理论

马殿富

1960年3月

教授

学委会委员

应用技术

钱德沛

1952年8月

教授

学委会委员

计算机网络

王秋良

1967年5月

教授

学委会委员

电磁计算理论

祝明发

1945年5月

教授

学委会委员

计算机工程

(七)实验室科研成果

(1)主要获奖情况(限5项)

成果名称

授奖单位

批准日期

主要完成者

类别

基础设施信息网络管理系统生产平台技术

国务院

2004年

李未

国家科技进步二等奖

研究型学院人才培养模式和培养体系的研究与实践

国家教育部

2006年

李未、马殿富、刘旭东、张莉、曹庆华

国家教学成果一等奖

中国下一代互联网示范工程CNGI示范网格核心网

国家教育部

2006年

李未

教育部科技进步一等奖

基于大规模移动位置传感器的城市动态交通信息处理技术与服务系统

北京市

2010年

吕卫锋

北京市科学技术一等奖

(2)主要专利(限5项)

成果名称

批准日期

主要发明人

类别

IPv6因特网网络拓朴自动发现方法

2008年

李未、沈曾伟、宫晨、朗昕培、周刚

发明专利

针对自动测试系统的测试覆盖性自动分析方法及其装置

2010年

吕伟、余丹、马世龙

发明专利

一种基于GIS的动态交通信息发布的方法及系统

2009年

吕卫锋、马殿富、诸彤宇

发明专利

一种基于隐半马尔可夫模型的噪声鲁棒的语音检测方法

2011年

李未、刘祥龙、梁苑、单宝松、楼奕华

发明专利

一种大规模多媒体接入网关的方法

2008年

李未、金天、盛向治、喻湘宁

发明专利

(3)主要发表论文(限5项)

论文名称

发表日期

作者

刊物

R-calculus: an inference system for belief revision

2007

Li Wei

The Computer Journal

A Tetrahedral Data Model for Unstructured Data Management

2010

Li W, Lang B

Sci China Inf Sci

Random constraint satisfaction: Easy generation of hard (satisfiable) instances

2007

K. Xu, F. Boussemar, F. Hemery, C. Lecoutre

Artificial Intelligence

Modeling the IPv6 Internet AS-level Topology

2009

B. Xiao, L. Liu, X. Guo, K. Xu

Physica A

A heuristic path-estimating algorithm for large-scale real-time traffic information calculating

2008

WeiFeng Lü, TongYu Zhu, DongDong Wu, Hong Dai, Jian Huang

Science in China Series E: Technological Sciences