2009年——2014年计科院科研项目一览表
(部、省级及以上)
项目名称
负责人
项目分类
项目级别
合同经费(万)
立项日期
基于切片技术的可信软件开发过程的B方法的研究
崔梦天
国家自然科学基金
国家级一般项目
33.2
2013-8-16
基于分布式量化信息的无线传感器网络数据融合研究
屈小媚
24
2011-8-16
同步更新模式下复数递归神经网络的多稳定性研究及应用
周伟
22
西部少数民族地区宗教信仰的心理实证研究:基于认知科学的视角
谭颖
国家社会科学基金项目
18
2013-6-10
Tarski模型外可判定命题的机械化研究
徐嘉
17
2010-9-1
云计算时代民族地区网络舆情监控与疏导研究
张建华
15
2012-6-30
逆变分不等式理论及其在网络经济中的应用研究
罗雪萍
3
2012-9-30
基于物联网的监控预警系统关键技术研究与应用示范
谈文蓉
四川省科技支撑计划项目
部、省(直辖市)级重大项目
220
2014-1-1
脑功能磁共振数据分析方法与应用研究
四川省科技项目
部、省(直辖市)级项目
2013-9-26
面向大屏幕投影显示的高性能集群绘制系统
雷开彬
10
2009-09-01
基于云计算的物联网应用及关键安全技术研究
有限反射群上的克里弗得分析及其在小波分析中的应用
李珊珊
2013-8-30
基于PCNN的医学图像处理关键技术研究
刘莉
大规模分布式存储系统体系结构研究
陈建英
2013-1-1
云计算环境下的海量资源部署与搜索策略研究
教育部人文社会科学研究项目
9
2012-2-29
双方逆向选择下供应链协调与效率研究
王新辉
8
2013-6-1
物联网技术发展对电子商务的影响分析
张志杰
6
2012-12-5
基于切片技术的可信软件开发过程的研究
其他省级科技项目
4
2013-9-1
数字多媒体信息库的探索式用户体验模式的研究
陈雅茜
教育部科技项目
2011-9-1
轻量级MC-EZBC媒体内容适配
黄天云
国家民委科技项目
2
2013-1-30
非线性脉冲时滞微分系统的稳定性及其应用
马志霞
2013-1-23
网络安全中基于若干密码新算法的密钥管理技术研究
杨军
2010-10-1
分形图像压缩编码的快速算法研究
李高平
2009-12-1
面向学分制的教学管理与辅助决策系统研究
2009-4-1