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




你可能感兴趣的:(学校单位)