登录
站内检索:
进展情况

        实验室五年共设置了开放课题29项,其中14项课题已顺利结题。五年共投入开放课题经费575万元。五年取得的成果包括论文135篇,其中SCI论文97篇,EI论文33篇,获得发明专利授权8项,软件著作版权3项。

        自2007年来,实验室设置的开放课题情况如下:

序号

负责人

承担单位

课题名称

编号

起止时间

进展

1

王东明

法国巴黎第六大学(北京航空航天大学)

修正演算的代数化、机械化及应用

BUAA-SKLSDE-09KF-01

2007.10-2009.10

结题

2

宋方敏

南京大学

量子程序设计语言及其处理系统

BUAA-SKLSDE-09KF-02

2007.09-2009.09

结题

3

朱梧檟

南京航空航天大学

潜无限数学系统的研究与中介原则在计算机科学中的应用

BUAA-SKLSDE-09KF-03

2007.10-2009.10

结题

4

田播

北京邮电大学

空间等离子体和海洋流体中几种准粒子结构的计算机符号计算

BUAA-SKLSDE-09KF-04

2007.09-2009.09

结题

5

黄文奇

华中科技大学  

求解直形四维时空中调度问题的拟人算法

BUAA-SKLSDE-09KF-05

2007.10-2009.10

结题

6

金天

北京航空航天大学电子工程学院

基于互联网络的定位、导航与授时信息大规模播发技术  

BUAA-SKLSDE-09KF-06

2009.01-2010.12

结题

7

蔡家楣

浙江工业大学

基于逻辑推理的传感器网络安全协议设计方法研究

SKLSDE-2009KF-2-01

2009.01-2010.12

结题

8

李腊元

武汉理工大学

移动网格计算环境中资源分配及调度方法的研究

SKLSDE-2009KF-2-02

2009.01-2010.12

结题

9

白晓颖

清华大学

SaaS软件自适应测试理论与技术研究

SKLSDE-2009KF-2-03

2009.01-2010.12

结题

10

张蕾

四川大学

连续吸引子网络及其在3D表情动画技术中的应用

SKLSDE-2009KF-2-04

2009.01-2010.12

结题

11

何积丰

华东师范大学

安全攸关软件的可信构建与验证

SKLSDE-2009KF-2-05

2009.01-2010.12

结题

12

孙伟

北航软件学院

Android架构与应用开发研究

SKLSDE-2009KF-2-06

2009.01-2010.12

结题

13

林作铨

北京大学

修正演算与辩论

SKLSDE-2009KF-2-07

2009.01-2010.12

结题

14

王洪波

北京邮电大学

数据中心网络的流量控制与优化算法研究

SKLSDE-2009KF-2-08

2009.01-2010.12

结题

15

朱明远

北京科银京成技术管理有限公司

嵌入式实时操作系统内核形式化关键技术研究

SKLSDE-2010KF-01

2010.05-2012.04

在研

16

舒平

中国民用航空总局航空安全技术中心

基于航段的机队油耗模型研究

SKLSDE-2010KF-02

2010.05-2012.04

在研

17

李晓明

北京大学

云计算应用开发环境的关键技术研究

SKLSDE-2010KF-03

2010.05-2012.04

在研

18

朱燕民

上海交通大学

车辆自组织网络(VANET)数据通信若干关键技术研究

SKLSDE-2010KF-04

2010.05-2012.04

在研

19

苏开乐

北京大学信息学院

多智能体系统的模型检测方法研究

SKLSDE-2010KF-05

2010.05-2012.04

在研

20

眭跃飞

中国科学院计算技术研究所

分离逻辑的公理系统的建立与分析

SKLSDE-2010KF-06

2010.05-2012.04

在研

21

蔡开元

北京航空航天大学自动化科学与电气工程学院

软件镜像图模型及故障传播行为研究

SKLSDE-2010KF-07

2010.05-2012.04

在研

22

李腊元

武汉理工大学

服务网格中基于多维QoS的资源调度方法的研究

SKLSDE-2011KF-01

2011.04-2013.04

在研

23

王东明

法国国家科学研究中心、北京航空航天大学

符号计算与知识管理

SKLSDE-2011KF-02

2011.04-2013.04

在研

24

田播

北京邮电大学

等离子体、锁模激光器等专题中若干符号计算

SKLSDE-2011KF-03

2011.04-2013.04

在研

25

朱梧槚

南京航空航天大学

基于中介逻辑的潜无限系统理论与计算机应用基础研究

SKLSDE-2011KF-04

2011.04-2013.04

在研

26

李国安

内蒙古军区

信息云的非结构数据与兵群软件开发方法在军队水文地质工作中的普及应用

SKLSDE-2011KF-05

2011.04-2013.04

在研

27

周刚

中国人民解放军信息工程大学

多在线社区中话题传播模型及炒作行为识别的理论与实践研究

SKLSDE-2011KF-06

2011.04-2013.04

在研

28

蔡家楣

浙江工业大学

面向无线传感网络环境的数字混沌密码算法研究

SKLSDE-2011KF-07

2011.04-2013.04

在研

29

丁杰

扬州大学

R演算的拓展及其极大缩减的算法研究

SKLSDE-2011KF-08

2011.04-2013.04

在研