2013 国家自然科学基金中标项目:    软件工程

项目	金额	单位	负责人
基于本体进化的自演化应用服务系统构造研究	76万	上海交通大学	蔡鸿明
面向高可用云服务的虚拟资源敏捷管理技术研究	45万	广西大学	陈宁江
基于元模型的经验方式统一建模语言模型转换规则产生机制研究	45万	海南大学	段玉聪
云环境中容错软件结构模型设计方法	23万	华东理工大学	范贵生
面向软件网络模型的复杂软件系统测试框架和技术研究	73万	南京大学	顾庆
基于实时演算的复杂嵌入式系统实时性能分析方法研究	27万	东北大学	关楠
嵌入式系统的低能耗软件设计方法与技术研究	300万	四川大学	郭兵
按需服务交互的适应性构造及其虚拟化管理的软件机理	77万	武汉大学	何克清
模型转换静态验证方法研究	22万	北京科技大学	何啸
面向嵌入式系统绿色需求的编译理论与方法研究	78万	武汉大学	何炎祥
基于执行反馈的多核软件动态分析方法研究	23万	大连理工大学	胡燕
面向MPSoC的确定性结构化并行程序设计与分析方法研究	23万	北京理工大学	计卫星
社交编程网络的软件项目影响力传播模型的研究	28万	北京航空航天大学	蒋竞
基于Agent的智能化元搜索引擎模型及关键技术	76万	西安电子科技大学	李青山
云计算环境下双模型驱动的面向软件动态演化的建模与分析	73万	云南大学	李彤
基于控制论的软件系统适应性需求的捕获与建模方法研究	28万	河南大学	刘春
克隆代码检测及基于进化的有害性预测研究	45万	内蒙古师范大学	刘东升
混合云中的数据密集型工作流调度策略研究	27万	华东师范大学	刘晓
面向移动Web的情境化网构软件开发技术研究	78万	北京大学	刘哲
基于3值抽象的假设-保证式PCTL*组合随机模型检验方法	26万	泰山学院	刘阳
面向移动互联网的软件测试改进方法研究	73万	华南理工大学	陆璐
汽车嵌入式系统服务与数据融合中间件研究	77万	湖南大学	罗娟
无线网络中QoS感知的多粒度服务组合研究	23万	长沙理工大学	罗元盛
云计算环境下软件可靠性和安全性理论、技术与实证研究	300万	香港中文大学深圳研究院	吕荣聪
基于组织程序设计范型的研究	76万	中国人民解放军国防科学技术大学	毛新军
基于演化博弈的服务系统全生命周期性能演进方法	23万	东北大学	那俊
支持高层决策和按需服务的软件维护技术研究	75万	复旦大学	彭鑫
基于机器学习的控制型软件安全性度量方法	77万	西安交通大学	宋擒豹
面向SOA软件的蜕变测试技术研究	75万	北京科技大学	孙昌爱
大规模异构并行系统软件功耗优化与管理方法研究	23万	中国人民解放军国防科学技术大学	王桂彬
多核实时软件分析理论与技术研究	76万	东北大学	王义
组合测试用例的生成及演化技术	23万	南京邮电大学	王子元
微博事件预测与内容建模方法研究	75万	中国科学院软件研究所	徐罡
安卓软件行为分析与构建的关键技术研究	23万	复旦大学	杨珉
基于冗余消除和邻居"辐射"的动态SPM管理方法研究	28万	华东师范大学	杨艳琴
基于计算与通信协同设计的可组合多安全级别CPS研究	23万	上海交通大学	姚建国
基于事件曝光模型的云服务测试与调试研究	80万	中国科学院软件研究所	叶春杨
面向运行性能改善的SaaS软件部署方案自优化方法	79万	武汉大学	应时
应用模型驱动技术的自主移动机器人软件系统架构的研究	25万	东北大学	张磊
复杂集成软件系统产品线可变性建模与配置技术研究	73万	北京航空航天大学	张莉
移动信息物理融合系统的面向方面建模方法	79万	广东工业大学	张立臣
支持用户交互验证的云服务安全性动态量化评估方法研究	25万	武汉大学	张立强
基于群体记忆的开源软件缺陷预测、诊断和定位研究	73万	中国科学院软件研究所	张文
网构软件的按需部署关键技术研究	25万	北京大学	张颖
并行、多平台“云测试”的关键技术研究	73万	中国科学院软件研究所	张震宇
基于网构代数模型的网构软件体系结构可靠演化方法和技术研究	75万	北方工业大学	赵会群
基于蜕变关系的数值程序稳定性分析	5.25万	南京大学	陈振宇

2013 国家自然科学基金中标项目软件工程相关推荐

1. 2012 国家自然科学基金中标项目：软件工程相关方向

   2012 国家自然科学基金中标项目:软件工程相关方向 项目批准号/ 申请代码1 项目名称 项目负责人 依托单位 批准 金额 项目起止年月 61281220273/ F020202  中美计算机软件研讨 ...

2. 2012年国家自然科学基金中标项目：软件工程相关方向

   项目批准号/ 申请代码1 项目名称 项目负责人 依托单位 批准 金额 项目起止年月 61281220273/ F020202 中美计算机软件研讨会 周毓明 南京大学 1.4 2012-03至2012- ...

3. 国家自然科学基金 计算机视觉,我院教师焦红伟获批2018年国家自然科学基金面上项目...

   焦红伟,博士,副教授,硕士生导师,河南省高校青年骨干教师.2015年毕业于西安电子科技大学,获理学博士学位.主要从事最优化算法及应用.系统优化.智能优化算法及应用等方面的研究工作.近年来对非凸规划问题 ...

4. 国家自然科学基金 计算机视觉,国家自然科学基金重大项目“合成孔径雷达微波视觉三维成像理论与应用基础研究”启动...

   7月23日,国家自然科学基金重大项目"合成孔径雷达微波视觉三维成像理论与应用基础研究"启动暨学术交流会在北京召开. 该项目由中国科学院空天信息创新研究院(以下简称"空天院 ...

5. 关于填报《国家自然科学基金资助项目结题报告》的说明

   一.国家自然科学基金资助项目结束后,项目负责人须按要求认真填报<国家自然科学基金资助项目结题报告>(简称<结题报告>),以此作为资助项目研究工作的重要档案,并作为项目验收和评估 ...

6. 关于2020年度国家自然科学基金申请项目评审结果的通告 （含查询时间和方法））

   生物信息学习的正确姿势 NGS系列文章包括NGS基础.在线绘图.转录组分析 (Nature重磅综述|关于RNA-seq你想知道的全在这).ChIP-seq分析 (ChIP-seq基本分析流程).单细胞 ...

7. 南邮计算机学院院长肖甫,由我院牵头承担的国家自然科学基金重点项目启动会在三牌楼校区召开...

   11月24日上午,由南京邮电大学通信与信息工程学院鲍秉坤教授作为项目负责人承担的国家自然科学基金重点项目-"跨模态社会媒体深度分析与决策"项目启动会在南京邮电大学三牌楼校区顺利召开 ...

8. 国家自然科学基金重点项目启动暨软件定义网络 技术前瞻研讨会

   由大连理工大学牵头,联合清华大学和中国石油集团下属北京中油瑞飞信息技术有限责任公司,共同承担的国家自然基金重点项目--"软件定义网络的基础理论及关键技术"启动会将于2015年8月2 ...

9. 超20亿！2018年国家自然科学基金（重点项目）出炉！

   来源:青塔 摘要:8月16日,2018年国家自然科学基金评审结果正式揭晓. 8月16日,2018年国家自然科学基金评审结果正式揭晓.继昨天发布了2018年国家优青项目各单位的立项情况后,青塔今天又整理 ...

最新文章

1. AI和大数据下，前端技术将如何发展？
2. 在 Android 应用程序中使用 Internet 数据
3. SmartFox中的類型轉換
4. 优秀！港大同济伯克利提出Sparse R-CNN: 目标检测新范式
5. oralce EM企业管理器
6. 换股也是一种解套方法
7. 在etherscan上传合约源码
8. 象棋名手手机版2019最新版_象棋名手手机版下载-象棋名手最新2020游戏下载-7K8K游戏...
9. lena.raw图片文件下载及打开方式
10. 【Matplotlib:隐藏边框，显示单个网格线，设置刻度间隔，隐藏刻度线】
11. mysql 归档_MySQL数据归档的几种操作方法介绍
12. 【专升本计算机】经典Office 2003专升本复习题（Word、Excel、PowerPoint）
13. MySql 报错1548
14. 转圈加载html,web前端入门到实战：纯CSS实现加载转圈样式
15. 长龙航空软件测试招聘,长龙航空空乘面试经验
16. Kafka之消费全流程
17. vertical-align的用法
18. FFmpeg中调用av_read_frame函数导致的内存泄漏问题
19. 信道编码：分组码和卷积码
20. 中国最大的电子图书搜索引擎，提供数万本电子图书（E书）完全免费下载！

热门文章

1. Android自定义键盘的几个小点
2. 【Linux篇】第十五篇——线程安全
3. 后疫情时代，“马太效应”将影响更多人
4. 光电自动避障小车_智能化搬运的实现 AGV小车无人搬运车
5. Android开启odex开关和开机速度优化
6. Linux入门进阶 - 如何在Linux中使用export命令
7. 使用反射实现动态修改@Excel的注解属性
8. 玩转现代家居风格 高冷却处处透着温馨
9. CMU硕士101-千奇百怪的排序算法
10. BaseController