登录
站内检索:
进展情况

        实验室近五年共设置了开放课题34项,其中30项课题已顺利结题。五年共投入开放课题经费365万元。五年取得的成果包括论文55篇,其中SCI论文31篇,EI论文18篇,获得发明专利授权2项。自2012年来,实验室设置的开放课题情况如下:

序号

负责人

承担单位

课题名称

编号

起止

时间

进展情况

1

毛新军

国防科学技术大学

自适应软件的运行机制及关键技术

SKLSDE-2012KF-01

2012.4-2014.4

结题

2

张伟

东北大学

开放逻辑的可计算性研究

SKLSDE-2012KF-02

2012.4-2012.12

结题

3

眭跃飞

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

Ambient逻辑和Ambient演算的模态逻辑研究

SKLSDE-2012KF-03

2012.4-2013.4

结题

4

王万森

首都师范大学

基于概率逻辑的不确定性推理研究

SKLSDE-2012KF-04

2012.4-2014.4

结题

5

王卫红

浙江工业大学

基于基因表达式编程的智能学习和优化算法研究及应用

SKLSDE-2012KF-05

2012.4-2014.4

结题

6

刘田

北京大学

难解性的刻画与处理

SKLSDE-2012KF-06

2012.4-2014.4

结题

7

李初民

华中科技大学

引入命题逻辑支持图顶点染色问题的求解

SKLSDE-2012KF-07

2012.4-2014.4

结题

8

刘咏梅

中山大学

程序自动调试的形式化理论和算法研究

SKLSDE-2012KF-08

2012.4-2016.12

结题

9

杜小勇

中国人民大学

非结构化数据管理若干基本问题研究

SKLSDE-2012KF-09

2013.1-2014.12

结题

10

冯启龙

中南大学

参数算法新技术及其应用研究

SKLSDE-2013KF-01

2013.4-2015.4

结题

11

朱梧槚

南京航空航天大学

数学无穷之逻辑基础与数字水印研究中的中介方法

SKLSDE-2013KF-02

2013.4-2014.12

结题

12

李春林

武汉理工大学

面向服务的传感器网格中高能效资源调度方法的研究

SKLSDE-2013KF-03

2013.4-2015.4

结题

13

殷明浩

东北师范大学

自动规划问题相变现象和算法研究

SKLSDE-2013KF-04

2013.4-2015.4

结题

14

眭跃飞

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

指针程序的Hoare逻辑

SKLSDE-2013KF-05

2013.4-2014.4

结题

15

李晓明

北京大学

基于网络社交媒体的层次化用户兴趣模型研究

SKLSDE-2013KF-06

2013.4-2015.4

结题

16

舒平

中国民航科学技术研究院

基于飞行记录数据的环境感知与飞机颠簸检测模型

SKLSDE-2013KF-07

2013.4-2015.4

结题

17

王永孟

上海航天软件测评中心

形式化方法在弹载系统软件测试中的应用研究

SKLSDE-2013KF-08

2013.4-2015.4

结题

18

牟明

中航工业西安计算技术研究所

综合化机电系统软件可重用方法研究

SKLSDE-2013KF-09

2013.4-2015.4

结题

19

田播

北京邮电大学

若干高阶变系数非线性动力学问题的解析符号计算

SKLSDE-2013KF-10

2013.4-2015.4

结题

20

李宁波

北京群力创维科技有限责任公司

开放课程在线教育云平台及其服务体系设计

SKLSDE-2013KF-11

2013.4-2015.4

结题

21

刘兴武

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

面向海量网络数据的动态查询复杂度研究

SKLSDE-2014KF-01

2014.1-   2016.1

结题

22

李雄

湖南科技大学

云存储环境下身份认证与安全数据共享方案的研究

SKLSDE-2014KF-02

2014.1-   2016.1

结题

23

王颖

华中农业大学

基于精化的AADL分区语义构造及其语义保持证明研究

SKLSDE-2014KF-03

2014.1-   2016.1

结题

24

黄智濒

北京邮电大学

支持近似计算的多核CPU共享末级缓存架构

SKLSDE-2014KF-04

2014.1-2016.1

结题

25

李荧

北京朝阳医院

中枢神经系统CT影像三维重建

SKLSDE-2014KF-05

2014.4-2016.4

结题

26

徐圆

北京化工大学

基于时空上下文的跨媒体多模态语义特征融合与关联活化技术研究

SKLSDE-2015KF-01

2015.1-2016.12

结题

27

李春林

武汉理工大学

大规模云环境中基于用户体验的高能效资源提供技术研究

SKLSDE-2015KF-02

2015.1-2016.12

结题

28

沈海华

中国科学院大学

智能移动通信终端功耗检测及benchmark自动生成方法研究

SKLSDE-2015KF-03

2015.1-2017.1

结题

29

杨志斌

南京航空航天大学

基于同步语言的时间可预测多线程代码生成方法研究

SKLSDE-2015KF-04

2015.1-2016.12

结题

30

丁杰

扬州大学

Bio-PEPA模型的Fluid逼近问题研究

SKLSDE-2015KF-05

2015.1-  2017.1

结题

31

刘兴武

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

面向大数据的动态数据结构研究

SKLSDE-2016KF-01

2016.1-2017.12

在研

32

操宜新

香港理工大学深圳研究院

海量信息处理中启发式算法的理论分析

SKLSDE-2016KF-02

2016.1-2017.12

在研

33

商烁

中国石油大学

海量时空轨迹数据搜索研究

SKLSDE-2016KF-03

2016.1-2017.12

在研

34

朱俚治

南京航空航天大学

相似性算法与数学无穷观

SKLSDE-2016KF-04

2016.1-2017.12

在研