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

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万	南京大学	陈振宇