国家需求与学科建设北大软件学科发展之路.ppt

国家需求与学科建设—北大软件学科发展之路
梅宏北京大学信息科学技术学院
高可信软件技术教育部重点实验室
北京-清华大学
1
目录
北大信息、计算机及软件学科发展回顾
国家需求和项目驱动的北大软件学科建设
新形势下的软件学科建设思路
软件产业的国家需求和技术前沿
北大软件学科现状及未来之路
若干思考
2
北大信息学科历史回顾
北大信息学科的发展可追溯到50多年前,伴随和见证了我国信息学科的创建和发展
为国家培养了一大批杰出人才,包括在北大工作的若干杰出学者!
石青云院士
(2002年病故)
吴全德院士
(2005年病故)
王选院士
(2006年病故)
杨芙清院士
王阳元院士
何新贵院士
3
北大信息学科历史回顾
计算数学
半导体物理
物
理
系
无线电物理
电子物理
光学
数
学
系
心
理
系
计算机硬件
无
线
电
系
1958年
无线电物理
电子物理
波谱-量子电子
声学
计
算
机
系
1978年
微电子
计算机软件、理论
1985年
信息科学中心
4
历史上的重要成果
1964年研制出灵敏度达到世界先进水平的顺磁共振波谱仪
1965年底研制成功我国第一台原子钟
1973年自行设计、研制成功我国第一台百万次电子计算机DJS11机(即150机)
1974年研制成功中型DJS18机(即6912机),同时完成了我国第一个多通道操作系统和编译系统的设计
1975年研制成功我国第一块三种类型大规模集成电路1024位MOS随机存储器
1975年,发明汉字的高倍率信息压缩技术和高速复原方法,研制我国计算机汉字激光照排系统和电子出版系统
1979年,提出银氧铯阴极光电发射的物理模型,被国际上称为吴氏输运函数和吴氏理论
1980年代,指纹自动识别技术得到当时世界最高水平,并以该项成果为基础建立了国内最大的指纹技术产业
从“六五”至“九五”的青鸟工程-软件产业基础设施建设
1998年,我国第一个全光纤通信实验网
5
计算机科学技术学科
1955年建立的计算数学专业,培养了我国第一批程序设计专业人员
1960-1970年代,无线电工厂,厂办专业
1978年,正式成立计算机科学技术系
1984年获计算机软件和计算机科学理论博士学位授予权
1985年获计算机应用博士学位授予权
1996年成为国内首批获得计算机科学与技术一级学科博士学位授予权的单位之一
2001年计算机软件与理论、计算机应用技术被评为全国重点学科,其中计算机软件与理论支持率为100%
2007年计算机软件与理论、计算机应用技术再次被评为全国重点学科,其中计算机软件与理论指标得分居同行第一,计算机科学与技术被认定为一级重点学科
6
早期学科建设的重要特点
面向国家需求,国家项目驱动
发展中国家的必然选择、必由之路
国立名校的立校之本
技术学科的现实途径
项目特点
目标:面向产业需求,解决有无问题为先
内容:强调完整性、实用性、可用性
手段:自主发展,允许合理的借鉴和必要的重复
承担:需要团队协助
缺点:和国际前沿存在一定差距
9
北大软件学科的国家支持
软件生产手段的变革
工业化生产
观念创新
机制创新
技术创新
青鸟工程的关键
创新
基础研究
工程化
工业化
生产技术
实用化
产品化
技术
青鸟工程产业化道路
“六五”核心支撑环境BETA-85
“七五”集成化软件工程支撑环境-青鸟I型系统(JB1)
“八五”大型软件开发环境-青鸟II型系统(JB2)
“九五”(一) 青鸟III型系统(JB3)
“九五”(二) 青鸟软件生产线系统
基于构件/构架应用系统集成组装环境(JBAIE)
青鸟工程发展历史
工程化开发方法
工业化生产技术
标准规范体系
支撑环境与工具
手工作坊式
TRDC模式
市场
技术
工程
生产、管理
工具、标准
“十五”
863:、以构件库为核心的软件开发平台
973:环境下,基于Agent的软件中间件理论及方法研究
10