2011年中国科学院软件研究所获得国家基金委资助项目清单----中国科学院软件研究所

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