新闻动态

热点新闻

学术活动

科研动态

所内公告

科研动态
首页 > 新闻动态 > 科研动态
..
2011年中国科学院软件研究所获得国家基金委资助项目清单
时间：2011-08-19
2011年中国科学院软件研究所获得国家基金委资助项目清单
查询日期：2011-8-19         金额：万元
序号 项目批准号 项目负责人 依托单位 项目名称 申请代码1 项目类别 批准金额 开始日期 结题日期
 1 11171323 王明生 中国科学院软件研究所 Groebner 基计算的新理论和快速算法研究 A011503 面上项目 36 2012-1-1 2015-12-31
 2 61100061 王淑灵 中国科学院软件研究所 面向对象程序的形式化规范与验证 F020106 青年科学基金项目 24 2012-1-1 2014-12-31
 3 61100062 吴志林 中国科学院软件研究所 无穷字母表上的形式模型：逻辑与自动机 F020106 青年科学基金项目 21 2012-1-1 2014-12-31
 4 61100063 杨潇潇 中国科学院软件研究所 基于非阻塞同步机制的多核并发系统模块化验证方法研究 F020106 青年科学基金项目 24 2012-1-1 2014-12-31
 5 61100064 马菲菲 中国科学院软件研究所 可满足性问题的扩展研究 F020107 青年科学基金项目 23 2012-1-1 2014-12-31
 6 61100065 乔晓强 中国科学院软件研究所 面向服务协作的分布式适配关键技术研究 F0202 青年科学基金项目 24 2012-1-1 2014-12-31
 7 61100066 邓攀 中国科学院软件研究所 物联网中可信设备协同的建模与验证方法研究 F020201 青年科学基金项目 22 2012-1-1 2014-12-31
 8 61100067 陶秋铭 中国科学院软件研究所 基于历史数据复用的软件回归测试加速技术 F020202 青年科学基金项目 23 2012-1-1 2014-12-31
 9 61100068 王伟 中国科学院软件研究所 面向多租户的弹性平台云的资源管理机制研究 F020202 青年科学基金项目 24 2012-1-1 2014-12-31
 10 61100069 吴鹏 中国科学院软件研究所 基于测试用例多样性的并发软件适应性测试方法研究 F020202 青年科学基金项目 23 2012-1-1 2014-12-31
 11 61100070 薛云志 中国科学院软件研究所 面向实时通信协议的结构化测试用例自动生成方法研究 F020202 青年科学基金项目 20 2012-1-1 2014-12-31
 12 61100071 钟浩 中国科学院软件研究所 基于异构数据分析的软件库规约挖掘方法研究 F020202 青年科学基金项目 23 2012-1-1 2014-12-31
 13 61100072 龙国平 中国科学院软件研究所 基于软硬件协同优化的线程间指令重用研究 F0203 青年科学基金项目 23 2012-1-1 2014-12-31
 14 61100073 王婷 中国科学院软件研究所 空间天气学全球MHD数值模拟的大规模并行计算研究 F020305 青年科学基金项目 23 2012-1-1 2014-12-31
 15 61100074 晏荣杰 中国科学院软件研究所 基于BIP的嵌入式多核软硬件系统建模及其设计方法 F020308 青年科学基金项目 22 2012-1-1 2014-12-31
 16 61100151 姜映映 中国科学院软件研究所 基于手写设备的在线笔迹智能理解和交互技术研究 F020506 青年科学基金项目 23 2012-1-1 2014-12-31
 17 61100152 韩先培 中国科学院软件研究所 面向异构Web信息源的语义知识获取和融合关键技术研究 F020606 青年科学基金项目 22 2012-1-1 2014-12-31
 18 61100162 杨海燕 中国科学院软件研究所 可视分析过程中草图信息的表征与检索 F020506 青年科学基金项目 22 2012-1-1 2014-12-31
 19 61100225 张锐 中国科学院软件研究所 防泄漏加密方案的设计及其可证明安全性分析 F020701 青年科学基金项目 23 2012-1-1 2014-12-31
 20 61100226 陈恺 中国科学院软件研究所 基于矿脉理论的软件安全漏洞测评方法研究 F020704 青年科学基金项目 21 2012-1-1 2014-12-31
 21 61100227 程亮 中国科学院软件研究所 逻辑驱动的跨操作系统安全机制评价方法研究 F020705 青年科学基金项目 21 2012-1-1 2014-12-31
 22 61100228 贾晓启 中国科学院软件研究所 面向虚拟化平台的恶意软件防御方法研究 F020705 青年科学基金项目 21 2012-1-1 2014-12-31
 23 61100237 张敏 中国科学院软件研究所 密文云计算环境数据安全关键技术 F020705 青年科学基金项目 20 2012-1-1 2014-12-31
 24 61150110168 Georgios 中国科学院软件研究所 Computability theory and Informatics F020101 国际(地区)合作与交流项目 20 2011-7-1 2012-6-30
 25 61170072 王永吉 中国科学院软件研究所 云计算环境下的隐蔽信道机理研究 F0201 面上项目 55 2012-1-1 2015-12-31
 26 61170073 李勇坚 中国科学院软件研究所 基于一阶符号轨迹计算理论的模型检测 F020106 面上项目 56 2012-1-1 2015-12-31
 27 61170074 叶丹 中国科学院软件研究所 面向智能化个人软件生产环境的Mashup方法及技术研究 F020202 面上项目 59 2012-1-1 2015-12-31
 28 61170075 杨超 中国科学院软件研究所 数万核环境偏微分方程可扩展解法器若干关键技术研究 F020206 面上项目 57 2012-1-1 2015-12-31
 29 61170182 田丰 中国科学院软件研究所 Reality-based Interaction用户界面模型和评估方法研究 F020506 面上项目 57 2012-1-1 2015-12-31
 30 61170278 张振峰 中国科学院软件研究所 基于格的密码方案设计与分析 F020701 面上项目 56 2012-1-1 2015-12-31
 31 61170279 徐静 中国科学院软件研究所 无线传感器网络密钥管理协议研究 F020702 面上项目 56 2012-1-1 2015-12-31
 32 61170280 薛锐 中国科学院软件研究所 符号化通用复合的密码协议分析方法研究 F020702 面上项目 56 2012-1-1 2015-12-31
 33 61170281 赵险峰 中国科学院软件研究所 非马尔可夫模型下基于数据关联的隐写分析研究 F020703 面上项目 55 2012-1-1 2015-12-31
 34 61170282 卿斯汉 中国科学院软件研究所 Windows 7 操作系统的安全性分析 F020705 面上项目 57 2012-1-1 2015-12-31
 35 61170325 曹建文 中国科学院软件研究所 DAE问题求解软件包中的结构指标约减算法失效与修复技术研究 F020505 面上项目 54 2012-1-1 2015-12-31
 36 61173003 黄涛 中国科学院软件研究所 面向多承租的弹性缓存服务关键技术研究 F0202 面上项目 64 2012-1-1 2015-12-31
 37 61173004 钟华 中国科学院软件研究所 基于统计监测的网构软件异常诊断研究 F0202 面上项目 60 2012-1-1 2015-12-31
 38 61173005 魏峻 中国科学院软件研究所 面向终端用户的情境化服务构造与演化关键技术研究 F020201 面上项目 61 2012-1-1 2015-12-31
 39 61173057 滕东兴 中国科学院软件研究所 基于双曲树的分支分类信息的可视分析模型与方法 F020505 面上项目 57 2012-1-1 2015-12-31
 40 61173058 马翠霞 中国科学院软件研究所 面向视频语义描述与交互的草图界面关键技术研究 F020506 面上项目 57 2012-1-1 2015-12-31
 41 61173059 张凤军 中国科学院软件研究所 基于手持移动设备的三维用户界面研究 F020506 面上项目 58 2012-1-1 2015-12-31
 42 61173134 武传坤 中国科学院软件研究所 非线性密码函数的构造与分析及其在密码学中的应用 F020701 面上项目 59 2012-1-1 2015-12-31
 43 71101138 张文 中国科学院软件研究所 基于网络潜在群体的开源软件缺陷解决研究 G011203 青年科学基金项目 20 2012-1-1 2014-12-31