承担的科研项目
2023年立项项目
序号 |
类型 | 课题编号 | 课 题 名 称 | 课题周期 | 经费 （万元） |
负责人 |
1 |
国家自然科学基金面上 |
62273008 | 基于自适应调节机制的DNA电路研究 | 2023.1- 2026.12 |
54 |
张成 |
2 |
国家自然科学基金重点 |
62232001 | 数据驱动的编译器测试关键技术 | 2023.1- 2027.12 |
284 |
郝丹 |
3 |
国家自然科学基金面上 |
62272009 | 基于纳米技术的探针机实现研究 | 2023.1- 2024.12 |
42 |
陈从周 |
4 |
国家自然科学基金面上 |
62272010 | 面向车路协同的可见光反射互联关键技术研究 | 2023.1- 2026.12 |
55 |
许辰人 |
5 |
国家自然科学基金面上 |
62202011 |
联盟链可扩展性技术研究 | 2023.1- 2025.12 |
30 |
高健博 |
6 |
国家自然科学基金重大 |
62232003 | 大规模软件缺陷库的自动构造与应用 | 2023.1- 2027.12 |
69 |
张路 |
7 |
国家自然科学基金青年 |
62202012 | 自适应诱饵口令机制研究 | 2023.1- 2024.12 |
20 | 程海波 |
8 |
国家自然科学基金重点仪器 |
62227809 | 感通算一体化泛在物联现场分析仪 | 2023.1- 2027.12 |
730 | 梅宏 |
2022年立项项目
序号 |
类型 | 课题编号 | 课 题 名 称 | 课题周期 | 经费 （万元） |
负责人 |
1 |
重点研发计划-“生物与信息融合(BT+IT融合)”重点专项 |
基于DNA原理的高密度安全存储系统研发与生物大数据应用示范 |
2022.01- 2024.12 |
525 |
张成 |
|
2 |
重点研发计划“区块链”重点专项 |
2022YFB2703300 |
基于区块链的卫生健康数据可信共享技术及示范应用 |
2022.11- 2025.10 |
1800 |
吴中海 |
3 |
重点研发计划 |
2022YFB2702500 |
链上新型数字内容全链路安全审计与风险处置技术 |
2022.10- 2025.09 |
210 |
谢安明 |
4 |
重点研发计划 |
2022YFB4500700 |
服务器无感知计算系统软件技术 |
2022.10- 2025.09 |
5300 |
金鑫 |
5 |
自然科学基金青年基金 |
62102009 |
数据智能驱动的泛在Web应用服务质量优化方法研究 |
2022.01- 2024.12 |
30 |
马郓 |
6 |
自然科学基金重大项目子课题 |
62192733 | 嵌入式软件智能合成基础理论与方法 |
2022.01- 2026.12 |
90 |
李戈 |
7 |
自然科学基金重点项目 |
62141208 | 基于能力的泛在操作系统构造方法与运行机制研究 |
2022.01- 2024.12 |
250 | 郭耀 |
8 |
国家自然科学基金 |
62172010 | 面向监管科技的智能合约编程语言及可靠性保障机制研究 |
2022.01- 2025.12 |
50 | 陈钟 |
9 |
国家自然科学基金面上 |
62172008 | 面向分布式机器学习的资源解耦合技术研究 |
2022.01- 2025.12 |
58 | 金鑫 |
10 |
国家自然科学基金面上 |
62172009 | 面向异构计算机系统的透明化监控技术 |
2022.01- 2025.12 |
59 | 李锭 |
11 |
国家自然科学基金面上 |
62176005 | 主动学习的观点感知知识图谱与立场判定方法研究 |
2022.01- 2025.12 |
58 | 陈薇 |
12 |
国家自然科学基金面上 |
62172015 | 蚁群优化算法的DNA实现理论与技术研究 |
2022.01- 2025.12 |
60 | 冷煌 |
13 |
国家自然科学基金面上 |
62172014 | 图着色专用探针机理论与实现研究 |
2022.01- 2025.12 |
60 | 刘小青 |
14 |
国家自然科学基金面上 |
62172016 | 资源分配中的隐私保护研究 |
2022.01- 2025.12 |
59 | 曹永知 |
15 |
国家自然科学基金面上 |
62172017 | 逻辑和概率结合的程序分析框架 |
2022.01- 2025.12 |
59 | 张昕 |
16 |
国家自然科学基金面上 |
62172011 | 知识增强的‘急危重症’智能辅助诊疗模型与技术 |
2022.01- 2025.12 |
60 | 赵俊峰 |
17 |
国家自然科学基金面上 |
62172010 | 面向监管科技的智能合约编程语言及可靠性保障机制研究 |
2022.01- 2025.12 |
59 | 陈钟 |
18 |
国家自然科学基金重大 |
62192731 | 基于软件IP的嵌入式软件需求描述语言 |
2022.01- 2026.12 |
250 | 金芝 |
19 |
博士后科学基金特别资助 |
2022T150013 | 自适应诱饵口令生成算法研究 |
2022.07- 2023.06 |
18 | 程海波 |
20 |
横向 |
动态因果关联驱动的智能运维技术研究 |
2022.01- 2022.12 |
25 |
王平 |
|
| 21 |
横向 |
运维知识自主学习的系统级故障诊断技术研究 |
2022.01- 2022.12 |
38 |
王平 |
|
| 22 |
之江实验室开发课题 |
基于仿生分子电路的DNA存储技术研究 |
2022.01- 2023.12 |
50 |
张成 |
|
| 23 |
腾讯 |
面向机器学习的高性能并行计算框架研究 |
2022.04- 2023.03 |
150 |
崔斌 |
|
| 24 |
中兴 |
数据库SQL优化 + 自动化机器学习 |
2022.03- 2023.02 |
100 |
崔斌 | |
| 25 |
字节 |
自动化机器学习 |
2022.03- 2023.02 |
50 |
崔斌 | |
| 26 |
中兴 |
自适应学习型查询优化器 |
2022.11- 2023.11 |
50 |
高军 |
|
| 27 |
华为 |
Bidirectional Transformation for EDSL Ⅱ |
2022.09- 2024.09 |
206 |
胡振江 |
|
| 28 |
横向 |
SGX容器应用技术研发 |
2022.06- 2023.05 |
40 |
吴中海 |
|
| 29 |
华为 |
基于深度学习的缺陷修复技术 |
2022.09- 2023.08 |
50 |
熊英飞 |
|
| 30 |
横向 |
基于神经网络的关联因子分析技术 |
2022.06- 2023.06 |
30 |
张昕 |
|
| 31 |
北大新工科交叉项目 |
基于医疗知识图谱的更年期疾病预测、调控方法及其临床实践研究 |
2022.04- 2022.12 |
20 |
赵俊峰 |
|
| 32 |
腾讯研究院 |
城市操作系统研究报告 |
2022.10- 2022.05 |
35 |
赵俊峰 | |
| 33 |
横向 |
红杉开源高校行-北京大学 |
2022.08- 2022.10 |
30 |
周明辉 |
|
| 34 |
横向 |
泛在操作系统开源生态研究报告 |
2022.10- 2023.02 |
15 |
周明辉 | |
| 35 |
横向 |
开源开发方法、技术和实践 |
2022.09- 2023.10 |
5 |
周明辉 | |
| 36 |
横向 |
云化5G基站资源调度与弹性伸缩技术研究 |
2022.02- 2023.02 |
49.6 |
金鑫 |
|
| 37 |
横向 |
面向能源大数据的数联网标识解析与数据可信流通技术研究 |
2022.10- 2023.02 |
175 |
黄罡 |
|
| 38 |
教育部-腾讯产学合作协同育人 |
基于腾讯工蜂平台的 JavaScript开源软件开发课程建设 |
2022.08- 2023.08 |
10 |
张伟 |
|
| 39 |
中兴 |
编译器智能优化技术 |
2022.06- 2023.05 |
50 |
郭耀 |
|
| 40 | 微软亚洲研究院 |
Model customization and optimization for mobile devices |
2022.08- 2023.07 |
20 | 郭耀 | |
| 41 | CCF-蚂蚁隐私计算专项科研基金 |
多传感器数据融合下的深度学习隐私保护算法研究 |
2022.10- 2023.09 |
30 | 郭耀 | |
| 42 | 横向 |
面向云边一体的移动网络可靠性验证关键技术研究 |
2022.06- 2023.05 |
50 | 许辰人 | |
| 43 | 横向 |
面向超低延时移动流媒体的无线互联技术研究 | 2022.08- 2023.07 |
50 | 许辰人 | |
| 44 | 横向 |
模糊测试及静态分析工具 |
2022.05- 2023.05 |
50 | 李锭 | |
| 45 | 网信办区块链试点 |
国家区块链创新应用试点“区块链+教育”特色领域试点 |
2022.08- 2024.07 |
110 | 陈钟 | |
| 46 | 横向 |
毫米波无线感知技术合作项目 |
2022.11- 2023.11 |
124 | 张大庆 | |
| 47 | 横向 |
基于时空信息建模的货运供需预测 |
2022.11- 2023.11 |
20 | 王乐业 |
2021年立项项目
序号 |
类型 | 课题编号 | 课 题 名 称 | 课题周期 | 经费 （万元） |
负责人 |
1 |
国家重点研究计划课题 |
2020YFB1805400 |
面向内生安全的网络空间安全免疫基础理论 |
2021.01- 2024.12 |
518 | 王平 |
2 |
科技部“云计算和大数据”重点 |
“以链治链”监管架构与关键技术研究 |
2021.01- 2023.12 |
260 | 陈钟 | |
3 |
科技部“云计算和大数据”重点 |
面向区块链关键机制的安全分析与增强技术 |
2021.01- 2023.12 |
260 | 关志 | |
4 |
科技部“云计算和大数据”重点 |
2020YFB1005702 |
区块链密钥安全及安全增强技术 |
2021.01- 2023.12 |
182 | 曹永知 |
| 5 |
科技创新2030-“新一代人工智能”重大项目 |
2020YFB1005802 |
人工智能算子标准制定与编译平台 |
2021.12- 2024.11 |
3609 | 胡振江 |
| 6 |
国家重点研发计划-“生物与信息融合” |
2021YFF1201100 |
大型队列间联合研究柔性化大数据云平台支撑系统研发 |
2021.11- 2024.11 |
2500 | 黄雨 |
7 |
国家自然科学基金面上 |
62072010 |
基于蜜字抗泄露身份认证协议研究 |
2021.01- 2021.12 |
57 | 王平 |
8 |
国家自然科学基金面上 |
62072007 |
面向程序理解的深度神经网络模型及关键技术研究 |
2021.01- 2021.12 |
57 | 李戈 |
| 9 |
国家自然科学基金面上 |
62142201 |
开源生态构建战略研究 |
2021.07- 2022.06 |
20 | 周明辉 |
10 |
腾讯 |
面向机器学习的高性能并行计算框架研究 |
2021.04- 2022.03 |
150 |
崔斌 |
|
11 |
中兴 |
分布式数据库故障智能检测和自愈 |
2021.03- 2022.02 |
50 | 崔斌 | |
12 |
华为 |
基于Rust核心安全语义自主设计函数式编程语言 |
2021.03- 2024.03 |
391.4 | 胡振江 | |
13 |
华为 |
TC20210408011 |
高可信代码提交分析技术合作项目 |
2021.05- 2023.05 |
85.49 | 张伟 |
14 |
中兴 |
“中兴通讯-北京大学基础软件联合实验室”合作共建协议 |
2021.03- 2024.03 |
30 | 熊英飞 | |
15 |
华为 |
基于深度学习的缺陷修复技术 |
2021.04- 2022.04 |
50 | 熊英飞 | |
16 |
专利技术转让 |
20210047 |
一种面向数据交易的可信处理方法与系统 |
2021.01- 2025.12 |
200 | 黄罡 |
17 |
横向 |
20210093 |
基于上下文信息的移动用户群体理解 |
2021.02- 2022.02 |
47.61 | 刘譞哲 |
18 |
国际合作 |
Large-Scale Elastic Distributed Training Systems |
2021.01- 2021.12 |
20 | 刘譞哲 | |
19 |
横向 |
20210439 |
新型AI数据库系统研究 |
2021.09- 2023.12 |
150 | 金鑫 |
20 |
百度 |
2020BD002 |
面向计算社会科学研究的智能数据分析平台 |
2021.01- 2022.12 |
200 | 王腾蛟 |
21 |
中兴 |
交互式静态程序分析技术 |
2021.04- 2022.04 |
30 | 张昕 | |
22 |
横向 |
2021F1-XFTX00-0001149 |
信息资源目录数据接口服务化改造研发合同 |
2021.10- 2021.12 |
24.5 | 张颖 |
23 |
华为 |
云杉软件工程知识图谱技术研究 |
2021.30- 2022.03 |
123.8 | 邹艳珍 | |
24 |
中兴 |
操作系统智能化编译技术 |
2021.04- 2022.04 |
50 | 郭耀 | |
25 |
华为 |
Fabric智能合约代码的形式化验证 |
2021.11- 2022.11 |
66 | 李锭 | |
26 |
腾讯 |
基于浏览器动态语义表征的恶意网页检测技术 |
2021.10- 2022.10 |
5 | 李锭 | |
27 |
横向 |
胎盘植入谱系疾病风险分层及管理之策略的算法研究 |
2021.01- 2021.12 |
10 | 王平 | |
28 |
科技重点实验室基金 |
6142104200103 |
基于轻量级学习模型的边缘智能故障管理技术研究-云中心 |
2021.01- 2022.12 |
30 | 王平 |
29 |
阿里巴巴 |
机器人端到端测试 |
2021.04- 2022.04 |
47.61 | 谢涛 | |
30 |
阿里巴巴 |
智能端侧自动化 |
2021.04- 2022.40 |
47.61 | 谢涛 | |
31 |
国际合作 |
Indoor multi-person presence,location,and activity sensing using multiple WiFi devices |
2021.09- 2022.09 |
93500美元 | 张大庆 |
2020年立项项目
序号 |
类型 | 课题编号 | 课 题 名 称 | 课题周期 | 经费 （万元） |
负责人 |
1 |
国家重点研发计划政府间/港澳台合作专项 |
SQ2019YFE010068 |
深度学习系统测试技术 |
2020.12- 2022.11 |
182 | 熊英飞 |
2 |
国家重点研发计划 |
2020YFB1006001 |
联盟链监管理论、方法与关键技术 |
2020.11- 2023.10 |
73.8 | 孙艳春 |
3 |
国家自然科学基金优秀青年基金 |
61922003 |
软件维护 |
2020.01- 2022.12 |
150 | 熊英飞 |
4 |
国家自然科学基金面上 |
61972006 |
从API到NLI（自然语言接口）的软件复用技术研究 |
2020.01- 2023.12 |
60 | 邹艳珍 |
5 |
国家自然科学基金 |
J1924032 |
国家自然科学基金委十四五信息化规划战略研究 |
2020.01- 2021.12 |
30 | 刘譞哲
|
6 |
国家自然科学基金青年项目 |
61902005 |
基于图着色理论的网络整体性融合预值研究 |
2020.01- 2021.12 |
38 | 王宏宇 |
7 |
国家自然科学基金 |
61972008 |
城市计算钟的跨城市群智知识迁移 |
2020.01- 2023.12 |
60 | 王乐业 |
8 |
国家自然科学基金专项 |
工业互联网发展战略研究（2021--2035年） |
2020.01- 2021.12 |
50 | 梅宏 | |
9 |
国际（地区）合作与交流项目 |
6261146001 |
面向东亚国家智慧健康养老的物联网感知关键技术研究 |
2020.08- 2025.07 |
400 | 张大庆 |
10 |
科技创新2030-“新一代人工智能”重大项目 |
2020AAA0109500 |
智能医生助理关键技术及应用研究 |
2020.11- |
|
金芝 |
11 |
横向 |
端融合数据接入软件 |
2020.07- 2021.07 |
50 | 张颖 | |
12 |
北京市科技计划 |
Z201100007720010 |
大数据透明接入与可信管理关键技术研究及情报分析应用 |
2020.06- 2022.05 |
104 | 黄罡 |
13 |
广东省重大研发计划 |
2020B010164002 |
面向人机物融合的软件定义理论与方法 |
2020.01- 2023.01 |
500 | 刘譞哲 |
14 |
横向 |
基于终端机器学习的个性化推荐系统 |
2020.01- 2020.12 |
90 | 刘譞哲 |
|
15 |
华为 |
YBN2020035106 |
基于代码相似性的Java单元测试用例推荐技术合作项目 |
2020.06- 2021.06 |
61.8 | 谢涛 |
16 |
微软亚洲研究院 |
Automatic Program Generation via Data-Driven Techniques |
2020.01- 2021.01 |
20 | 谢涛 | |
17 |
联合实验室 |
北大--雄帝区块链联合实验室 |
2020.01- 2023.12 |
1000 | 陈钟 | |
18 |
联合实验室 |
北大--奇安信区块链联合实验室 |
2020.01- 2023.12 |
1000 | 陈钟 | |
19 |
横向 |
针对CKB-VM的国密算法实现与优化 |
2020.09- 2021.08 |
50 |
关志 | |
20 |
百度 |
支持机器学习数据管理技术 |
2020.01- 2021.01 |
100 |
崔斌 | |
21 |
快手 |
自动化机器学习调参技术 |
2020.09- 2021.08 |
50 |
崔斌 | |
22 |
腾讯 |
面向机器学习的高性能并行计算框架研究 |
2020.04- 2021.03 |
150 | 崔斌 | |
23 |
实验室开放课题 |
基于图神经网络的异常实体发现 |
2020.01- 2021.06 |
75 | 高军 | |
24 |
横向 |
8410102335 |
Bidirectional Transformation for EDSL |
2020.07- 2022.07 |
103 | 胡振江 |
25 |
企业合作 |
基于国产密码技术的信息安全系统研究 |
2020.01- 2020.12 |
50 | 王平 | |
26 |
蚂蚁金服 |
国际场景基于迁移学习的风险识别算法研究 |
2020.01- 2021.12 |
20 | 王乐业 |
2019年立项项目
序号 |
类型 | 课题编号 | 课 题 名 称 | 课题周期 | 经费 （万元） |
负责人 |
1 |
国家重点研发计划 |
2019QY1700 |
“前沿科技创新”专项项目 |
2019.10- 2021.10 |
2863 | 王亚沙 |
2 |
国家重点研发计划 |
2019QY1703 |
“前沿科技创新”专项项目 |
2019.10- 2021.10 |
521 | 张颖 |
3 |
国家重点研发计划 |
多通道、多语言知识抽取与融合 |
2019.12- 2022.12 |
336 | 吴中海 |
|
4 |
国家自然科学基金重点 |
61832001 |
新型数据管理系统 |
2019.01- 2022.12 |
289 | 崔斌 |
5 |
国家自然科学基金重面上 |
61872008 |
数据驱动的测试用例排序实用理论研究 |
2019.01- 2022.12 |
55 | 郝丹 |
6 |
国家自然科学基金重面上 |
61872010 |
面向数据复用的群智感知质量--成本优化关键技术研究 |
2019.01- 2022.12 |
51 | 王江涛 |
7 |
国家自然科学基金重点 |
61832009 |
面向安全攸关深度学习系统的软件测试技术 |
2019.01- 2023.12 |
84 | 李戈 |
8 |
国家自然科学基金重面上 |
61872007 |
基于荧光传感的DNA计算系统 |
2019.01- 2022.12 |
80 | 张成 |
9 |
国家自然科学基金重面上 |
61872399 |
基于探针机的列车调度 |
2019.01- 2022.12 |
32 | 刘小青 |
10 |
国家自然科学基金重协作 |
61872166 |
建构生成视角的知识网络表示建模与应用 |
2019.01- 2022.12 |
16 | 许进 |
11 |
国家自然科学基金重青年 |
61802008 |
基于动静结合的内存泄漏自动检测技术研究 |
2019.01- 2019.12 |
7 | 高庆 |
12 |
国家自然科学基金重（海外学者） |
61828201 |
数据驱动的编译器测试技术研究 |
2019.01- 2020.12 |
18 | 郝丹 |
13 |
北京市高校卓越青年科学家计划 |
BJJWZYJH01201910001004 |
软件定义的人机物融合计算技术与系统 |
2019.07- 2024.06 |
5000 | 黄罡 |
14 |
微软亚洲研究院 |
Automated Software GUI TEsting with Deep Learning |
2019.05- 2020.04 |
20 | 郭耀 |
|
15 |
横向 |
生物计算技术发展研究 |
2019.07- 2020.06 |
30 | 许进 |
|
16 |
横向 |
某自动发现与利用技术研究 |
2019.01- 2019.12 |
140 | 张世琨 |
|
17 |
国家电网科技 |
配用电设备健康状态在线监测、高效运维和智能评价关键技术研究及应用 |
2019.01- 2021.12 |
105 | 黄雨 |
|
18 |
共建实验室 |
“北大软件工程研究中心--国新健康医疗人工智能联合实验室” |
2019.04- 2024.03 |
500 | 刘学洋 |
|
19 |
腾讯 |
面向机器学习的高性能并行计算框架研究 |
2019.04- 2020.3 |
100 | 崔斌 |
|
20 |
工信部 |
TC190H46G |
工业互联网源代码漏洞检测工具 |
2019.07- 2021.06 |
500 | 张世琨 |
21 |
横向 |
YBN2019115078 |
代码变更智能提交技术合作项目合同 |
2019.12- 2020.12 |
60 | 张伟 |
22 |
国家电网科技 |
面向企业级广域分析的大数据挖掘算法和建模研究 |
2019.01- 2021.12 |
50 | 黄雨 |
|
23 |
中科院战略咨询 |
关于我国基础和前沿技术的差距及对策研究（先进计算技术、数据分析技术） |
2019.05- 2019.07 |
30 | 梅宏 |
|
24 |
阿里巴巴--北大合作 |
多智能体学习方法 |
2019.09- 2020.09 |
50 | 高军 |
|
25 |
横向 |
2019004837 |
勘探开发研究成果资料集成分析方法研究 |
2019.01- 2020.12 |
53 | 陈立军 |
26 |
横向 |
2019110016000245 |
以太坊虚拟机（EVM)的Gas机制研究 |
2019.01- 2019.12 |
55 | 关志 |
27 |
横向 |
上海金融期货信息技术有限公司--国密算法应用研究 |
2019.07- 2019.12 |
29 | 关志
|
|
28 |
基本科研业务费 |
信息科学与技术建设 |
2019.08- 2011.08 |
300 | 胡振江 |
|
29 |
北京市联合研发及大科学计划专项 |
基于DNA自组装复合纳米孔器件的研究 |
2019.12- 2021.12 |
400 | 张成 |
|
30 |
北京大学国际合作基金 |
DNA自组装复合纳米孔的研究 |
2019.10- 2020.01 |
10 | 张成 |
|
31 |
横向 |
基于国产某技术的信息安全系统研究 |
2019.12- 2020.05 |
50 | 王平 |
|
32 |
JF课题 |
KYH2019-03 |
智能软件的成长与动态编程机理研究 |
2019.04- 2020.12 |
460 | 李戈 |
33 |
信息科学与技术建设 |
2019.08- 2022.08 |
200 | 谢涛 |
2018年立项项目
序号 |
类型 | 课题编号 | 课 题 名 称 | 课题周期 | 经费 （万元） |
负责人 |
1 |
国家重点研发计划 |
2018YFB1004800 |
人机物融合的云计算架构与平台 |
2018.05- 2021.04 |
2563 |
黄罡 |
2 |
国家重点研发计划 |
2018YFB10044201 |
云计算和大数据开源社区生态系统--开源生态模式及机制研究 |
2018.04- 2021.05 |
694 |
周明辉 |
3 |
国家重点研发计划“云计算和大数据”专项 |
2018YFB1004403 |
高维大规模机器学习系统 |
2018.05- 2021.04 |
822 |
崔斌 |
4 |
国家重点研发计划 |
2018YFB1004103 |
办公软件和文档工具应用资源服务化封装技术研究与产品开发 |
2018.05- 2021.04 |
30 |
陈立军 |
5 |
国家重点研发计划“云计算和大数据”专项 |
2018YFB1003904 |
基于代码大数据的程序语义学习与现场代码生成技术 |
2018.05- 2021.04 |
521 |
李戈、王捍贫 |
6 |
国家重点研发计划 |
2018YFC130024 |
适用于中国人群的认知筛查和评估系统的建立 |
2018.09- 2022.09 |
161 |
王捍贫 |
7 |
国家重点研发计划网络空间安全重点 |
2018YFB0803600 |
面向移动互联网数据防护的国产密码保障体系研究与应用实现 |
2018.07- 2021.06 |
75.1 |
关志 |
8 |
国家重点研发计划面上项目 |
61772045 |
基于多任务协同的群智感知机理与方法 |
2018.01- 2021.12 |
61 |
王亚沙 |
9 |
国家重点研发计划 |
61702017 |
复合型移动群智感知关键技术研究 |
2018.01- 2018.12 |
8 |
王江涛 |
10 |
国家重点研发计划面上项目 |
61772035 |
不确定性系统隐私性的建模与分析 |
2018.01- 2021.12 |
65 |
曹永知 |
11 |
国家重点研发计划面上项目 |
61772042 |
面向移动设备的细粒度访问控制机制 |
2018.01- 2021.12 |
61 |
郭耀 |
12 |
国家重点研发计划国际（地区）合作与交流项目 |
61861130263 |
基于编程语言差异性分析的软件测试研究 |
2018.03- 2021.02 |
100 |
郝丹 |
13 |
国家重点研发计划 |
新型数据管理系统 |
2018.01- 2020.12 |
70 |
高军 |
|
14 |
国家重点研发计划应急管理项目 |
61751210 |
面向多无人机系统的认知建模理论与自适应协同方法研究 |
2018.01- 2020.12 |
100 |
金芝 |
15 |
华为 |
YBN201808547 |
代码变更智能理解及合并技术开发项目 |
2018.09- 2019.09 |
58.2 |
张伟 |
16 |
华为 |
YBN2018085415 |
缺陷定位修复及缺陷数据集建立 |
2018.10- 2019.10 |
68.2 |
熊英飞 |
17 |
Intel大学资助计划 |
61073020 |
2018.04- 2019.03 |
6.2 |
关志 |
|
18 |
横向 |
支持区块链担保转账的关键密码技术研究与实现 |
2018.06- 2019.05 |
50 |
关志 |
|
19 |
横向 |
OpenVPN国密通信改造 |
2018.06- 2019.05 |
10 |
关志 |
|
20 |
腾讯--横向 |
面向机器学习的高性能并行计算框架研究 |
2018.04- 2019.03 |
100 |
崔斌 |
|
21 |
北大--阿里合作课题 |
大规模分布式类GCN框架优化及其在异构信息网络中的应用研究 |
2018.04- 2019.03 |
50 |
高军 |
|
22 |
横向 |
52110418002W |
基于深度学习的企业经营风险智能分析预警系统研究与应用 |
2018.09- 2019.12 |
75 |
王腾蛟 |
23 |
横向 |
52110418002X |
基于机器学习的智能文档自动编制关键技术研究与应用 |
2018.09- 2019.12 |
50 |
陈薇 |
24 |
横向 |
政府大数据分析 |
2018.09- 2019.09 |
100 |
陈薇 |
|
25 |
教育部联合基金 |
分子自组装纳米3D打印技术的研究 |
2018.01- 2019.12 |
80 |
张成 |
|
26 |
横向课题 |
定向课题 |
2018.09- 2019.04 |
59.8 |
王平 |
|
27 |
横向课题 |
法律知识图谱构造技术研发 |
2018.10- 2019.11 |
100 |
赵文 |
|
28 |
横向课题 |
基于知识图谱的规划文本智能搜索技术研究 |
2018.11- 2019.12 |
80 |
刘学洋 |
|
29 |
国家电网公司科学技术项目 |
SGTYHT/17-JS-199 |
调度自动化软件安全漏洞与风险实验能力提升关键技术研究 |
2018.01- 2019.12 |
364 |
高庆 |
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 |
368 |
张伟 |
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- 2019.12 |
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 |
金芝(首席) |
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 |
北京市教育委员会科学研究与科研基地建设 |
网络软件自适应方法与技术 |
2010.1- 2011.12 |
50 |
黄罡 |
|
12 |
广东省教育部产学研结合项目 |
2010A090200031 |
基于SoSPL 的软件工业化生产管理平台研发及产业化 |
2010.4- 2012.3 |
30 |
王亚沙 |
13 |
国际合作 |
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 |
王亚沙 |