学术研究

承担的科研项目

2018

2017

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家重大专项

2017YFB1002002

面向智慧城市的智能化集成化软件互操作平台

2017.09-2020.08

536

赵俊峰

2

国家重大专项

2016YFB1000704

大数据驱动的航空航天装备创新研发与应用示范

2017.01-2019.12

499

王腾蛟

3

国家重点研发计划课题

2017YFB1001803

数据驱动的软件自动构造与演进方法研究

2017.10-2021.09

718

张路

4

国家重点研发计划课题

2017YFB1001904

应用驱动的智能无人集群系统软件开发方法与工具

2017.10-2021.09

573

郭耀

5

国家自然科学基金重点国际合作研究项目

61620106007

网构软件的自适应性建模和管理方法研究

2017.01-2021.12

220

金芝

6

国家自然科学基金重点项目

61632002

探针计算机模型及实现研究

2017.01-2021.12

265

许进

7

国家自然科学基金面上项目

61672051

基于图论方法的DNA序列编码研究

2017.01-2018.12

32

朱恩强

8

国家自然科学基金面上项目

61672050

基于核与核度理论的在线社交网络拓扑结构研究

2017.01-2018.12

32

朱恩强

9

国家自然科学基金面上项目

61672264

面向虚实网络融合的灵活与透明链路仿真技术

2017.01-2020.12

62

王晓峰

10

国家自然科学基金面上项目

61672052

基于表面等离子激元理论和方法的DNA计算生物芯片杂交信号系统

2017.01-2017.12

16

郭亦鸿

11

国家自然科学基金重大项目课题

61690201

软件开发中海量信息的融合反馈机制与支撑平台

2017.01-2021.12

328

张伟

12

国家自然科学基金面上项目

91646107

基于临床大数据的多模式多视图不合理处方识别模型的构建与优化研究

2017.01-2019.12

10

赵俊峰

13

国家自然科学基金面上项目

61672047

编译器测试程序生成与测试加速研究

2017.01-2020.12

63

张路

14

国家自然科学基金面上项目

61672046

分布式移动应用软件建模及模型转换技术

2017.01-2020.12

63

麻志毅

15

国家自然科学基金面上项目

61672060

未来互联网体系结构XIA中的移动性及其安全机理研究

2017.01-2020.12

62

陈钟

16

国家自然科学基金面上项目

61672045

软件缺陷修复动作的识别与推荐

2017.01-2020.12

63

王千祥

17

国家自然科学基金应急管理项目

61640215

基于分子动力学新计算方法的蛋白质折叠模拟

2017.01-2017.12

16

陈一峯

18

腾讯横向课题


面向机器学习的高性能并行计算框架研究

2017.04-2018.03

100

崔斌

19

教育部联合基金青年人才子课题


基于知识工程的创新设计资源集成方法

2017.01-2018.12

80

黄雨

20

科技部增材专项子课题


在线三维测量、模型重建和路径规划

2017.05-2020.05

20

黄雨

21

横向课题


可用于大工程的程序缺陷自动修复方法

2017.03-2018.03

34

熊英飞

22

华为横向课题


移动应用非功能属性开发测试方法技术合作项目(二期)

2017.01-2020.01

80

郭耀

23

横向课题(专利许可)


移动应用分析技术

2017.06-2032.06

1500

郭耀

24

横向课题


济南房地产大数据分析系统暨大数据指数研发项目

2017.03-2017.08

35

王腾蛟

25

教育部


基于分子自组装的纳米3D打印与制造技术

2017.01-2018.12

80

张成

26

横向课题


自媒体舆情指数研发项目

2017.01-2017.12

15

陈薇

27

华为横向课题


融合自然语言与模型表达的实例化需求质量提升技术

2017.08-2018.07

42

金芝


2016

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家重点研发计划项目牵头单位

2016YFB1000800

基于大数据的软件智能开发方法和环境

2016.07-2019.06

2595

谢冰

2

国家重点研发计划项目分课题

2016YFB1000801

基于多源知识融合的软件构造智能化方法与支撑环境

2016.07-2019.06

518

谢冰

3

国家重点研发计划项目

2016YFB1000105

云际计算中虚拟专用云的动态构建按与应用支撑

2016.07-2018.07

402.37

曹东刚

4

国家重点研发计划项目

2016YFB0800700

网络系统安全度量方法与指标体系

2016.07-2019.06

201

许进

5

国家重点研发计划项目

2016YFB1001203

人机交互自然性的计算原理

2016.07-2020.06

750

张大庆

6

国家重点研发计划项目

2016YFB1001201

交互自然性的计算原理

2016.07-2020.06

100

王亚沙

7

国家重点研发计划项目

2016YFB1000700

面向高端制造领域的大数据管理系统之制造业图数据管理关键技术研究及系统研制

2016.07-2019.06

70

高军

8

国家重点研发计划项目

2016YFB1000804

基于开发者关联分析的智能协作关键技术与支撑环境

2016.07-2019.06

50

邹艳珍

9

国家自然科学基金杰青项目

61525201

软件复用

2016.01-2010.12

400

谢冰

10

国家自然科学基金优青项目

61522201

软件测试

2016.01-2018.12

150

郝丹

11

国家科学基金重点项目

91546203

基于大数据的MSM艾滋病管理和决策范式研究

2016.01-2020.12

56

王亚沙

12

国家自然科学基金面上项目

61572039

支持多执行引的分布式图处理系统关键技术研究

2016.01-2019.12

81.2

崔斌

13

国家自然科学基金面上项目

61572003

基于分离逻辑的云存储管理程序正确性验证方法

2016.01-2019.12

63

王捍贫

14

国家自然科学基金面上项目

61572043

基于“市场机制”的动态数据迁移与查询负载均衡方法研究

2016.01-2019.12

65

王腾蛟

15

国家自然科学基金面上项目


大规模图数据集成关键技术研究

2016.01-2019.12

80

高军

16

国家自然科学基金面上项目

61572048

面向时空稀疏采样的群智感知关键技术研究

2016.01-2018.12

75.72

张大庆

17

国家自然科学基金面上项目


面向虚实网络融合的灵活与透明链路路仿真技术

2016.03-2017.06

34

王晓峰、许进

18

国家自然科学基金面上项目

61672044

模块化自装DNA计算模型的研究

2016.01-2017.12

20

张成

19

国家自然科学基金面上项目


社交化搜索技术研究

2016.01-2018.12

37.8

金舒原

20

国家自然科学基金面上项目


网络取证中的电子证据融合、推理及呈现技术研究

2016.01-2018.12

45.6

金舒原

21

国家自然科学基金面上项目

61502012

基于动态网络结构的膜计算系统及其算法研究

2016.01-2018.12

25.2

牛云云

22

国家自然科学基金青年科学基金

61502014

面向健康管理数据的关联型知识深度挖掘方法研究

2016.01-2016.12

8.1

许焱

23

国家自然科学基金海外及港澳学者合作项目

61529201

基于人机协作的软件分析

2016.01-2019.12

200

谢涛、张路

24

国家自然科学基金国际(地区)合作与交流项目

61611130210

函数语言的测试技术研究

2016.01-2017.12

10

郝丹

25

国家自然科学基金海外及港澳学者合作研究基金

F020202

大数据驱动的移动互联网用户行为建模和体验优化方法研究

2016.01-

18

黄罡、梅俏竹

26

微软横向


移动Web应用浏览体验优化技术研究

2016.01-2016.12

10

刘譞哲

27

北大医学--信息交叉领域合作研究种子基金

048SE-4465-10604

基于大数据技术的心血管疾病的病因分析与慢病管理研究

2016.06-2017.12

6

孙艳春

28

腾讯


面向机器学习的高性能并行计算框架研究

2016.04-2017.03

50

崔斌

29

阿里巴巴--北大合作课题


基于大规模图计算的商家大数据算法应用研究

2016.03-2017.03

20

高军

30

中国电力科学研究院

JS71-16-005

基于电力大数据的新能源政策评价和社会经济分析预测技术研究

2016.01-2018.12

60

赵俊峰

32

北大医学--信息科学研究种子基金


面向全国合理用药监测系统大数据的不合理处方筛选模型研究

2016.07-2017.07

6

赵俊峰


2015

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家973计划

2015CB352200

基于开源生态的网构化软件开发原理和方法

2015.01--2019.12

1200(含子项80)

金芝(首席)

2

国家973计划子项目

2015CB352202

持续演进的自适应网构软件模型、方法及服务质量保障

2015.01--2019.12

80

焦文品

3

国家973计划

2013CB329602

社交网络结构特性与建模

2015.06--2017.12

107

许进

4

国家973计划

2013CB329606

虚拟社区发现与演化

2015.06--2017.12

77

许进

5

国家863计划项目

2015AA01A203

云端和终端资源自适应协同与调度平台

2015.01--2017.12

1533

黄罡

6

国家863计划项目

2015AA011202

基于中国云产品的混合云关键技术与系统

2015.01--2017.12

280

刘譞哲

7

国家自然科学基金委创新群体项目

61421091

可信软件的基础理论、方法和技术研究(三期)

2015.01--2017.12

600

梅宏

8

国家自然科学基金面上项目

61432020

网络环境下基于群体协同的软件需求获取和建模方法研究

2015.01--2019.12

105

张伟

9

国家自然科学基金面上项目

61432001

软件生命期数据组织、分析及应用

2015.01--2019.12

330

周明辉

10

国家自然科学基金面上项目

61472012

基于自组装磁珠光电检测到DNA计算研究

2015.1--2018.12

83

许进

11

国家自然科学基金青年项目

61472007

面向功能挖掘的代码主题建模技术研究

2015.01--2018.12

80

赵俊峰

12

国家自然科学基金面上项目

61472433

面向云计算平台的数据安全与隐私保护关键技术研究

2015.01--2018.12

42

许进

13

国家质检总局质检公益项目


智慧城市基础通用29项国家标准研究

2015.01--2016.12

22

赵俊峰

14

微软亚洲研究院合作基金


Enhancing Source Code Mining with Semantics

2015.07--2015.12

10

熊英飞

15

微软合作研究项目


Compressive Crowdsensing for Reliable and Cost-Effective Urban Environment Monitoring

2015.07--2016.06

10

张大庆

16

院士活动与科技咨询专项


面向IT领域的开源适用技术

2015.01--2016.12

30

梅宏

17

横向课题


输变电设备监测流式大数据的快速处理存储及分析服务

2015.01--2016.12

20

陈薇

18

横向课题


"Parry编译器工具软件“技术服务

2015.01--2015.12

14

陈一峯

19

横向课题


机器学习计算平台研究

2015.04--2016.03

60

崔斌

20

横向课题


百度云服务开放平台示范项目

2015.01--2015.12

100

曹东刚

21

横向课题


多语言代码监视规则和风格自动化检查技术

2015.10--2016.08

90

王千祥

22

横向课题

K1300-4432-180-302

国家高科技项目申报与质量提升

2015.07--2017.07

50

许进

23

校企合作研究项目


基于用户预约时间的快递配送任务调度算法的研究

2015.07--2016.04

57.3

孙艳春


2014

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家973计划青年项目

2014CB347701

基于情境的安全攸关软件的构造方法与运行机理研究

2014.01--2018.08

500

熊英飞

2

国家863计划项目


大规模空间数据融合分析关键技术与应用服务系统

2014.03--2016.07

30

陈钟

3

国家自然科学基金重点项目(子课题)

61332010

云计算环境下软件可靠性和安全性理论、技术与实证研究

2014.01--2018.12

300(北大待定)

熊英飞

4

国家自然科学基金青年项目

61300002

网构软件的按需部署关键技术研究

2014.01--2016.12

25

张颖

5

国家自然科学基金面上项目

61370052

二部图上NP完全问题的研究

2014.01--2017.12

73

刘田

6

国家自然科学基金面上项目

61371131

话音码流的加解密算法研究

2014.01--2017.12

78

王昭

7

国家自然科学基金面上项目

61370020

面向移动Web的情境化网构软件开发技术研究

2014.1--2017.12

78

刘儇哲

8

国家自然科学基金青年项目

61370053

移动情境感知系统的实时性与可靠性

2014.01--2017.12

76

曹永知

9

国家自然科学基金面上项目

61300003

面向大规模分布式内存的非结构化数据管理系统关键技术研究

2014.01--2016.12

23

陈薇

10

教育部


大数据混搭架构下透明访问和数据统一管理技术研究与验证

2014.01--2014.12

150

王腾跤

11

北京市优博项目

20131000111

科学研究与研究生培养共建项目----研究生培养----优博论文

2014.01--2014.12

30

梅宏

12

北京大学“985工程”


普适计环境的模型、机理和方法研究

2014.10--2017.12

300

张大庆

13

北京大学医信联合研究种子基金

2014-MI-23

冠心病介入术后临床随访移动化日程管理系统的研究

2014.06--2015.12

2

孙艳春

14

横向课题


大数据实时计算平台

2014.01--2015.02

60

崔斌

15

横向课题


配电网知识库样机

2014.11--2015.09

40

黄雨

16

横向课题


高性能一体化实时仿真平台原理样机开发

2014.12--2015.12

60

黄雨

17

横向课题


基于PaaS的轻应用监控技术

2014.04--2015.03

10

王千祥

18

横向课题


基于技术视角的互联网隐私保护研究

2014.01--2014.06

20

赵海燕

19

横向课题


知件技术在就业服务领域的应用

2014.03--2015.11

100

李戈

20

横向课题

K1300-432-180-302

软件脆弱性分布规律分析方法研究

2014.6--2015.05

50

许进

21

成果转化


面向移动终端的嵌入式软件测试支撑平台建设项目

2014.10--2014.12

35

王千祥

22

成果转化


特定模式缺陷智能检测

2014.11--2014.12

12

王千祥

23

成果转化


在线编程系统

2014.10--2014.12

5

王千祥


2013

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家973计划

2013CB329600

社交网络分析与网络信息传播的基础研究

2013.1--2017.12

386

许进

2

国家863计划(子课题)

2013AA01A605

以人为中心的智慧城市综合服务支持技术与系统

2013.1--2015.12

308

王亚沙

3

国家863计划(子课题)

2013AA01A208

浪潮亿级并发云服务器研制

2013.01--2015.12

200

张颖

4

国家863计划(子课题)

2013AA01A213

云服务和管理平台共性基础核心软件与系统--在线的云

应用开发与分析平台

2013.1--2015.12

109

王千祥

5

国家自然科学基金面上项目

61272155

支持互联网级应用的大规模数据库系统研究

2013.1--2016.12

82

崔斌

6

国家自然科学基金面上项目

61272157

面向多维度的测试用例化简技术研究

2013.1--2016.12

80

郝丹

7

国家自然科学基金面上项目

61372191

大规模社交网络的结构支撑理论及其计算方法研究

2013.1--2016.12

80

许进、韩毅

8

国家自然科学基金青年项目

61202071

对象模型上交互式修复生成技术研究

2013.1--2015.12

23

熊英飞

9

国家自然科学基金杰出青年科学基金

61225007

软件分析与测试

2013.1--2016.12

200

张路

10

国家自然科学基金面上项目

61272154

分布并发透明的虚拟计算环境程序设计

2013.1--2015.12

80

曹东刚

11

国家自然科学基金面上项目

61272156

基于分布计算框架的大图数据描述性查询关键技术研究

2013.1--2016.12

82

高军

12

国家自然科学基金面上项目

61272161

自组装DNA纳米颗粒计算模型的研究

2013.1--2016.12

79

张成

13

国家自然科学基金面上项目

61272163

面向特征的协同式需求建模和复用技术研究

2013.1--2016.12

80

赵海燕

14

国家自然科学基金重点项目

61232015

互联网环境下基于知件的需求驱动知识服务理论和技术研究

2013.1--2017.12

280

金芝

15

国家自然科学基金优秀青年科学基金

61222203

软件自适应理论与方法

2013.1--2015.12

100

黄罡

16

国家自然科学基金联合基金重点项目

U1201252

云教育平台构建若干关键技术创新研究

2013.1--2016.12

73

孙艳春

17

国家自然科学基金面上项目

61272159

基于PaaS的云应用软件建模及模型转换技术

2013.1--2016.12

80

麻志毅

18

国家自然科学基金面上项目

61272162

软件服务化环境中基于间接交互的协同式需求建模方法研究

2013.1--2016.12

81

张伟

19

国家自然科学基金面上项目

61272161

自组装DNA纳米颗粒计算模型的研究

2013.01--2016.12

79

许进

20

国家自然科学基金重大研究计划集成

91318301

可信软件理论、方法集成与综合试验平台

2013.2--2016.12

120

金芝

21

国家自然科学基金海外及港澳学者合

作研究基金项目

61228201

移动智能手机能耗管理

2013.1--2014.12

20

周源源、金芝

22

国家自然科学基金海外及港澳学者合

作研究基金项目

61228203

基于人机协作的软件测试与调试

2013.1--2014.12

20

谢涛、张路

23

中美软件合作研究项目

61361120097

基于模型的自治云计算软件关键技术研究

2013.1--2014.12

150

黄罡

24

数工国重开放基金

2013

异构计算系统并行编程模型研究

2013.3--2015.3

8

陈一峰

25

北京市教委


用户驱动的交通拥堵事件检测与个性化智能推送服务平台

2013.7--2014.7

50

黄雨

26

北京市教委


北京市科技新星计划

2013.7--2016.7

12

黄雨

27

横向课题


基于android平台的交通事件报送和展示软件研究

2013.3--2013.11

25

黄雨

28

横向课题


精神科临床研究数据管理平台

2013.4--2014.2

38

黄雨


2012

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家863计划

2012AA011202

网络化软件生产、构造和复用技术与工具

2012.1--2014.12

455

谢冰

2

国家863计划(子课题)

2012AA011002

海量Web数据结构化内容提取与集成及大型示范应用

2012.1--2014.12

198(北大部分)

王腾蛟

3

国家863计划

2012AA010902

面向多核/众核处理器的编程框架和语言支持

2012.1--2015.12

150

陈一峰

4

国家863计划

2012AA011207

大型网构化软件的典型领域示范应用

2012.1--2014.12

50

刘儇哲

5

国家自然科学基金创新群体

61121063

可信软件的基础理论、方法和技术研究(二期)

2012.1--2014.12

600

梅宏等

6

国家自然科学基金重大项目

61127005

自组装DNA纳米芯片分子信号综合检测系统

2012.1--2015.12

280

许进

7

国家自然科学基金面上项目

61170001

基于Petri网和DSM的型号产品协同设计过程和数据建模及分析方法研究

2012.1--2015.12

58

黄雨

8

国家自然科学基金重点项目

61133010

基于机器学习的蛋白质相互作用与功能预测方法研究

2012.1--2015.12

30

许进、张成

9

国家自然科学基金项目

61170054

DNA分子纳米组装体和计算机模型的研究

2012.1--2015.12

58

许进、刘西奎

10

国家自然科学基金项目

61170262

网络隐藏服务识别理论方法及关键技术研究

2012.1--2015.12

56

王佰玲

11

国家自然科学基金青年科学基金

61103024

软件构件自动标签及应用技术研究

2012.1--2014.12

22

邹艳珍

12

国家自然科学基金面上

61170053

众核集群程序设计机制研究

2012.1--2015.12

56

陈一峰

13

国家自然科学基金青年科学基金

61103026

面向移动计算的能耗优化技术研究

2012.1--2014.12

21

郭耀

14

国家自然科学基金面上

61170299

基于分离逻辑的程序验证方法研究

2012.1--2015.12

52

王捍贫

15

国家自然科学基金面上

61170263

无线射频识别系统中继攻击的抵御机制研究

2012.1--2016.12

56

陈钟

16

国家自然科学基金面上

61143003

基于DNA链置换检测技术的分子密码系统

2012.1--2012.12

15

许进、杨静

17

国家重点实验室开放课题

SKLSDE-2012K

难解性的刻画与处理

2012.4--2014.4

10

刘田

18

国家重点科技成果转化项目


构件化应用服务器技术在市民卡运营平台中应用实践和产业化推广

2012.1--2013.12

40

赵俊峰

19

教育部科技研究重大项目

313004

网构操作系统关键技术研究

2012.7--2015.6

50

梅宏

20

教育部高等学校博士学科专项科研基金

20110001130016

DNA自组装碳纳米管分子集成电路芯片研究

2012.1--2014.12

40

许进

21

公益性行业科研专项

201210256

云计算及新型计算技术关键标准研究

2012.1--2013.12

196

赵俊峰

22

北京市自然科学基金

4122036

云应用软件建模技术研究

2012.1--2014.12

11

麻志毅

23

横向课题

121071178

通用仿真建模工具平台研发

2012.6--2013.12

50

黄雨

24

横向课题


基于移动互联网的交通信息采集和应用

2012.1--2013.12

40

黄雨

25

横向课题


面向节能的能效建模与分析平台

2012.3--2013.9

20

冯浩然

26

横向课题


面向主动维修的智能化监控系统

2012.3--2014.3

35

冯浩然

27

横向课题


面向油气田分析与预测的云计算并行数据挖掘系统开发

2012.6--2013.12

40

陈薇


2011

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家自然科学基金青年基金课题

61003010

最终用户驱动的服务化网构软件开发技术研究

2011.1-2013.12

18

刘譞哲

2

国家自然科学基金面上项目

61073018

外包数据库中敏感数据保护和查询处理关键技术研究

2011.1-2013.12

33

高军

3

国家自然科学基金面上项目

61073019

社会化媒体中的数据管理和挖掘研究

2011.1-2013.12

34

崔斌

4

国家自然科学基金面上项目

61073020

基于自主构件的开放分布式自适应软件系统的开发方法

2011.1-2013.12

30

焦文品

5

国家自然科学基金面上项目


纳米型DNA计算机的研究

2011.1-2013.12

36

赵东明

6

国家自然科学基金面上项目


基于DNA折纸术的碳纳米管分子逻辑电路研究

2011.1-2013.12

42

张勋才

7

国家自然科学基金面上项目

61073016

软件开发中软件体系结构和社会协作结构的一致性研究

2011.1-2013.12

30

周明辉

8

国家自然科学基金重点项目

61033006

面向服务的软件理论、方法及其应用

2011.1-2014.12

220

王千祥

9

国家自然科学基金重点项目


生物计算机研究

2011.1-2014.12

50

张成

10

国家自然科学基金国际合作项目

61111130185

科学计算的算法基础研究

2011.1-2011.12

4.6

苏开乐

11

国家“核高基”重大专项

2011ZX01043-001-002

网络化应用支撑工具

2011.1-2011.12

1807.15

苗 莉

王亚沙

12

国家863计划子课题

2011AA01A202

以支撑电子商务为主的网络操作系统

2011.1-2013.12

580

郭 耀

13

国家973计划项目

2011CB302604

领域特定的虚拟计算环境程序设计

2011.1-2015.8

380

邵维忠

14

国家973计划子课题

2011CB302704

物联网服务提供机理和方法

2011.1-2013.12

40(北大部分)

金 芝

15

国家重大专项

2011ZX01042-001-001

微博数据建模与检索

2011.1-2011.12

20

崔 斌

16

国家科技支撑项目

2008BAH32B02

劳动保护公共服务接入支撑系统研究

2011.4-2012.6

46

张 伟

17

北京市自然科学基金

4112027

面向GPU集群的可移植大规模FFT并行算法库研究

2011.1-2013.12

11

陈一峯

18

华为公司

IRP-2010-07-04

基于GPU的分布式并行计算系统

2011.1-2011.12

10

陈一峯

19

教育部专项

C11606

云计算数据安全关键技术研究

2011.6-2012.12

5

关 志

20

横向课题


安全硬件虚拟化

2011.10-2012.6

25

关 志

21

横向课题

111071088

面向控制系统的仿真建模平台框架研究

2011.12-2012.3

40

黄 雨

22

北京大学GF科技培育项目

PKU-PY2011-008

基于故障注入的导弹控制系统仿真建模技术研究

2011.9-2012.8

4

黄 雨

23

北京大学GF科技培育项目

PKU-PY2011-007

射频识别系统安全关键问题研究

2011.9-2012.8

8

王 昭


2010

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家自然科学基金青年基金基金项目

60903001

面向Web应用的集成体系结构研究

2010.01-2012.12

18

胡文惠

2

国家自然科学基金面上项目

60973004

噪音环境下移动进程的可靠性与安全性

2010.01-2012.12

30

曹永知

3

国家自然科学基金重大国际合作项目

60910002

大规模图信息处理DNA计算模型研究

2010.01-2012.12

100

许进

4

国家自然科学基金面上项目

60970969

基于图论方法的生物神经网络结构与功能研究

2010.01-2012.12

30

许进

5

国家自然科学基金面上项目

60974112

纳米型图信息处理DNA计算模型研究

2010.01-2012.12

31

强小利

6

国家自然科学基金面上项目

60971085

活体生物分子计算模型的一些研究与探讨

2010.01-2012.12

35

刘向荣

7

国家自然科学基金面上项目

60973033

约束满足问题的结构特征和算法分析

2010.1-2012.12

29

刘田

8

国家自然科学基金中港合作项目

60931160444

隐私无泄漏网络数据发布

2010.01-2012.12

32

梅宏

9

国家自然科学基金重点项目子课题

60933003

网络环境下软件老化模式及再生方法研究

2010.1-2013.12

63(北大部分)

黄罡

10

973课题

2010CB328103

信息服务的构造与验证

2010.1-2014.8

406

苏开乐

11

北京市教育委员会科学研究与科研基地建设项目

XXX

网络软件自适应方法与技术

2010.1-2011.12

50

黄罡

12

广东省教育部产学研结合项目

2010A090200031

基于SoSPL 的软件工业化生产管理平台研发及产业化

2010.4-2012.3

30

王亚沙

13

国际合作项目

XXXXX

Research on Privacy Preserving Data Mining in Cloud Platform

2010.11-2011.12

20

王腾蛟

陈薇

14

北京大学GF科技培育项目

PKU-PY2010-005

面向数据安全的云计算安全框架

2010.9-2011.9

8

关志

15

高等学校科技创新工程重大项目培育资金项目


基于组合公钥的可执行程序鉴别技术研究

2010.1-2011.12

18

胡建斌


2009

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

973课题

2009CB320700

体系结构为中心的网构软件开发和演化方法及质量度量

2009.1-2013.8

750

梅宏

2

973课题

2009CB320701

网构软件的可信和服务质量需求建模与分析

2009.01-2013.08

455

金芝

3

863探索导向

2008AA01Z139

基于自主构件的自适应网构软件的自动化集成技术

2009.1-2010.12

92

焦文品

4

863探索导向

2008AA01Z133

基于体系结构的低功耗模拟开发环境

2009.1-2010.12

100

郭耀

5

863探索导向

2009AA01Z16

模型驱动的网构软件自适应关键技术

2009.1-2010.12

64

黄罡

6

863探索导向

2009AA01Z413

大数分解DNA计算机模型研究

2009.1-2010.12

78

许进

7

863子课题

2009AA01Z139

混合协议存储系统的研究与实现

2009.1-2010.12

72.5(北大部分)

曹东刚

8

863子课题

2009AA010307

基于Trustie 的神州数码软件生产线改造及应用示范

2009.1-2010.12

60(北大部分)

赵俊峰

9

863目标导向

2009AA01Z150

无缝集成的关系-XML双引擎数据库管理系统研制及其示范应用

2009.1-2010.12

140

黄锦辉, 王腾蛟

10



基于RFID公共服务平台的城市公园应用示范

2009.6~2011.6

190

赵文

11

核高基子课题

2009ZX01043-002-002

集成化中间件套件产品研发及产业化

2009.1-2010.12

250(北大部分)

黄罡

12

核高基子课题

2009ZX01039-001-001

面向新型网络应用的网络化操作系统

2009.1-2010.12

181(北大部分)

陈钟

13

核高基子课题

2009ZX01043-001

国产中间件参考实现及平台

2009.1-2010.12

1014(北大部分)

曹东刚

14

核高基子课题

2009ZX01036-001-002

支持国产CPU的编译系统及工具链

2009.1-2010.12

175(北大部分)

陈一峯

15

水专项子课题


流域水环境风险评估与预警平台构建共性技术研究

2009.1~2011.12

351(北大部分)

张世琨

16

国家自然科学基金面上项目

60873063

闪存数据库索引与查询优化技术研究

2009.1-2011.12

36

崔斌

17

国家自然科学基金面上项目

60873059

网络环境下场景驱动的需求获取与分析技术研究

2009.1-2011.12

28

赵海燕

18

国家自然科学基金面上项目

60873060

软件体系结构驱动的中间件协同式自治管理研究

2009.1-2011.12

28

黄罡

19

国家自然科学基金面上项目

60873239

传感器网络中以数据为中心的安全机制研究

2009.1-2011.12

30

胡建斌

20

国家自然科学基金青年基金

60803012

基于测试信息的交互式错误定位技术研究

2009.1-2011.12

17

郝丹

21

国家自然科学基金青年基金

60803011

Web Service QoS的多维多尺度模型及评估、预测方法的研究

2009.1-2011.12

19

赵俊峰

22

国家自然科学基金青年基金

60803010

软件构件自适应分类管理原理与支持技术研究

2009.1-2011.12

19

李戈

23

国家自然科学基金青年基金

60803014

基于时段逻辑和时间Petri 网的RFID 复杂事件描述与检测模型及验证研究

2009.1-2011.12

20

黄雨

24

国家自然科学基金面上项目

60874036

基于网络核与核度理论的基因网络研究

2009.01-2011.12

37

王淑栋

25

国家自然科学基金面上项目

60873061

基于Petri网的构件组装正确性研究

2009.01-2011.12

38

王捍贫

26

国家自然科学基金面上项目

60873062

大规模图数据正则路径查询关键技术研究

2009.1-2011.12

32

高军

27

国家自然科学基金重点项目

90818026

环境知识驱动的软件可信性需求工程方法与技术研究

2009.01-2012.12

260

金芝

28

创新群体

60821003

可信软件的基础理论、方法和技术研究

2009.1-2011.12

500

梅宏

29

高等学校科技创新重大项目培育基金

708001

高可信大型数据库系统安全与灾难恢复技术

2009.1-2010.12

40

王腾蛟

30

国际合作

231167

CONNECT: Emergent Connectors for Eternal Software Intensive Networked Systems

2009.2-2013.8

7万欧元(北大部分)

黄罡

31

济南市信息化发展专项资金项目

Z005

基于领域工程的软件构件技术人才培养工程

2009.7-2010.12

4(北大部分)

王亚沙

32

国际合作

XXXXX

IBM 共享大学研究 (SUR)项目

2009.7-2010.6

16.8

黄罡


2008

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家863计划探索导向

2008AA01Z203

面向流化业务的分布式网络控制、融合与管理的架构及协议体系

2008.7-2010.6

93

张蓓

2

国家863计划

2008AA01Z133

基于体系结构的低功耗模拟开发环境

2008.5-2010.12

100

郭耀

3

国家863计划

2008AA01Z139

基于自主构件的自适应网构软件的自动化集成技术

2008.5-2010.12

92

焦文品

4

国家自然科学基金杰出青年科学基金

60725207

计算机科学技术的基础理论

2008.1-2011.12

200

苏开乐

5

国家自然科学基金面上项目

60773151

基于自主构件协同的软件自动化集成技术

2008.1-2010.12

27

焦文品

6

国家自然科学基金面上项目

60773160

基于中间件的服务迁移技术研究

2008.1-2010.12

27

王千祥

7

国家自然科学基金青年基金

60703065

基于特征模型的软件体系结构设计研究

2008.1-2010.12

20

张伟

8

国家自然科学基金项目

60733152

模型驱动开发中的元模型研究

2008.1-2010.12

23

麻志毅

9

国家自然科学基金重大计划项目

90718016

基于模式的程序代码可信性度量方法研究

2008.1-2010.12

50

张路

10

中澳科技合作特别基金

60710053

支持有效视频数据查询的索引技术研究

2008.1-2010.12

9

崔斌

11

霍英东教育基金会第11青年教师基金

114004

新一代软件技术研究

2008.1-2009.12

2(美元)

黄罡

12

横向项目


轧辊车削工艺控制系统的开发及应用

2008.11-2009.11

50

许进

13

横向项目


北京渲染平台门户网站建设

2008.5-2009.5

30

李戈

14

博士学科点专项科研

010802

NP-完全问题DNA计算机模型研究

2008.1-2010.12

8

许进

15

校企合作


移动通信数据仓库联合实验室

2008.12-2011.11

300

王腾蛟


2007

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家973计划(外协子课题)

2005CB321902

基于RB模型的随机约束满足问题研究

2007.10-2010.10

8

刘田

2

国家973计划(外协子课题)

2005CB321902

模型检测多智能体系统

2007.10-2010.10

15

苏开乐

3

国家863计划重点项目

2007AA010301

可信的国家软件资源共享与协同生产环境

2007.12-2010.12

1500

谢冰

4

国家863计划重点项目

2007AA010304

面向嵌入式软件的生产线

2007.12-2010.12

140

陈向群

5

国家863计划

2007AA01Z123

面向方面的文档驱动的需求工程技术研究

2007.9-2009.12

10

赵海燕

6

国家863计划

2007AA01Z127

模型驱动的体系结构建模中的元建模技术研究

2007.7-2009.12

94

麻志毅

7

国家863计划

2007AA01Z133

面向分布实时嵌入式环境的构件模型与运行支撑

2007.5-2009.12

91

曹东刚

8

国家863计划

2007AA01Z19

基于内容的Web数据提取、集成与挖掘方法研究

2007.7-2009.7

89

王腾蛟

9

国家863计划

2007AA01Z153

基于网格的科研数据流上适应性查询处理系统

2007.7-2009.12

79

陈立军

10

国家863计划

2007AA01Z462

新型桌面操作系统安全评估检测模型与隐形软件技术研究

2007.5-2009.12

90

陈向群

11

国家自然科学基金

60603045

高维数据库的有效相似查询处理

2007.1-2009.12

29

崔斌

12

国家自然科学基金

60673182

基于无线传感器网络的安全体系结构研究

2007.1-2007.12

7

胡建斌

13

国家自然科学基金

60603038

Internet 环境下基于中间件的可信服务环境

2007.1-2009.12

24

周明辉

14

国家自然科学基金

30670540

DNA计算中的核酸序列设计研究

2007.1-2009.12

27

许进

15

横向项目


开放软件服务构件库的建设

2007.11-2008.10

26.62

李戈

16

横向项目


软件复用方法与技术应用推广

2007.7-2008.12

13

李戈

17

横向项目

200754

自适应软件中间件理论与技术研究

2007.1-2009.12

56

黄罡

18

横向项目


软件公共技术支撑体系公益性服务与设备补充

2007.5-2008.4

30

李戈

19

横向项目


NP-完全问题DNA计算模型研究

2008.1-2010.12

6

许进

20

欧盟第六框架(FP6)

国际合作

EchoGRID(European and Chinese Cooperation on Grid)

2007.1-2008.12

20(3.47万欧)

周明辉

21

中国博士后科学基金

20070420006

面向非功能属性的模型构建及验证

2007.9-2008.12

5

张岩


2006

序号 类型 课题编号 课题名称 课题周期 经费(万元) 负责人

1

国家科技支撑计划

2006BAH02A02

现代服务业共性服务集成化技术研究

2006.12-2008.12

1198

梅宏、谢冰

2

国家863计划

2006AA01Z189

面向软件专业孵化器的分布式公共技术综合服务平台

2006.12-2008.12

468

王亚沙

3

国家863计划

2006AA01Z175

基于监测的软件质量分析与评价技术

2006.12-2008.12

93

王千祥

4

国家863计划

2006AA01Z156

特征驱动的领域工程技术研究

2006.12-2008.12

98

赵海燕

5

国家863计划

2006AA01Z160

基于正确性验证的web服务可信性研究

2006.10-2008.12

76

王捍贫

6

国家863计划

2006AA01Z104

NP-完全问题DNA计算机模型研究

2006.10-2008.12

89

许进

7

国家863计划

2006AA01Z230

自组织网络环境中描述性查询服务的关键技术研究

2006.12-2008.12

67

高军

8

国家自然科学基金

90612011

面向网络计算环境的开放软件模型研究

2006.1-2008.12

29

梅宏

9

国家自然科学基金

60503029

构件化软件中关注点分离技术及支撑机制研究

2006.1-2008.12

22

曹东刚

10

国家自然科学基金

60503028

网络分布式环境下软件体系结构动态变化的分类框架和设计模型的研究

2006.1-2008.12

22

孙艳春

11

国家自然科学基金

60503037

基于XML自适应组件式数据集成理论方法研究

2006.1-2008.12

24

高军

12

国家自然科学基金

60505011

具有不确定性的多Agent系统的监控

2006.1-2008.12

14.7

曹永知

13

国家自然科学基金

60528006

语言及其支撑环境

2006.1-2008.12

40

胡振江、梅宏

14

国际合作


北京大学-IBM方案工程联合实验室

2006.11-2009.11

230

梅宏

15

国际合作(HP合作)


电信行业实时动态可扩展的并行处理数据仓库

2006.4-2007.7

36

杨冬青

16

国际合作(IBM合作)


A Model Driven Approach to Performance on Demand

2006.3-2007.3

14

黄罡

17

横向项目


软件构件技术推广应用及北京第二届优秀构件

2006.9-2007.12

25

李戈

18

北京市自然科学基金

4062018

关于XML数据流的主动服务关键技术的研究

2006.1-2008.12

12

高军

19

北京市科委计划

京发改[2006]1996号

分布式数据集成平台的产业化

2006.7-2007.9

120

赵文

20

纵向项目

06H108051

软件构件技术推广应用相关研究

2006.4-2007.5

20

王亚沙

21

纵向项目


系统化复用软件生命周期过程框架研究

2006.12-2007.11

10

王亚沙