【国家自然科学基金】_自动代码生成_基金支持热词逐年推荐_【万方软件创新助手】_20140731

2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
科研热词 代码自动生成 逆变器 模型驱动架构 面向服务架构 静态检查 静态分析 集成开发环境 量子框架 重用 遗传算法 转换规则 轨迹设计 调度 虚拟样机 自动微分 自动并行 网络安全 统一建模语言扩展 组合 目标代码生成 正弦脉宽调制 模犁 模型驱动构架 模型驱动体系结构 模型驱动 模型转换 梯度 有限状态机 有限元模拟 方面 数控系统 控制系统 控制/目标代码生成 恶意代码 张臂式拉弯 并行离散事件仿真(pdes) 平台无关模型 嵌套循环 嵌入式软件 对象分发 实时特性 实时代码生成工具 安全相关行为模型 多面体模型 多线程java程序 基于组件的平台无关模型 基于组件开发 型材 周期 参数化扩展上下文无关文法 参数化分析 动态分析
1 1 1 1 1 1 1 1 1 1 1 1 1 1
53 eclipse插件 54 eca规则 55 adol-c
1 1 1
2011年 科研热词 推荐指数 面向方面 1 通用处理器(gpp)/可重构加速单元(rau) 1 软硬划分 1 软件测试 1 设备驱动 1 视频火灾探测 1 覆盖测试 1 自动化单元测试 1 自动代码生成 1 联合仿真 1 程序验证 1 白盒测试 1 状态模型 1 火焰特征 1 漏洞 1 污点分析 1 汇编级验证 1 横切关注点 1 模型集成计算 1 携带证明代码 1 打桩 1 循环 1 处理器在回路 1 基于模型设计 1 可重构编译 1 反编译 1 动态测试 1 动态仿真 1 出具证明编译器 1 代码自动生成 1 代码生成 1 二进制 1 uml扩展机制 1 pim 1 aspectj 1
Hale Waihona Puke 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
53 54 55 56 57 58 59 60 61 62 63 64 65 66
元模型 伴随模式 任务调度 代码生成器 二次开发 xslt xml tms320f2812 matlab hessian矩阵 dsp aspectj ansys .net
推荐指数 3 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
科研热词 高层次建模 验证 领域建模 面向方面软件设计 非线性最小二乘 非球面 随机实时时序逻辑 铣床 车床 跨平台 计算机数字控制 计算机控制抛光 视频监控 视角-特征-构件 自动微分 自动代码生成 网格计算 统一建模语言 笔式用户界面 电力系统 现场可编程门阵列 状态估计 特定领域建模 模糊时间petri网 模块化可达图 服务组合 数控系统 抛光轨迹 形式化文档 实时系统 多阶段编程 基础算法库 基于场景的设计 可视化编程 可移植性 参数化设计 医学图像处理 动力灾变 元模型 代码自动生成 代码生成 中介器 wsdl web服务 vhdl ui编辑 tr069 ocaml nc代码 hmmer gsoap fft
科研热词 模型驱动 代码自动生成 代码生成 飞行器控制系统 错误可跟踪 链状数据结构 软件体系结构 路径回溯与引导 计算模型 行为路径 自动编程 自动测试 翻译器 编译器 细粒度锁 符号执行与实际执行 程序流程图 硬件在环仿真 相容性 激光 混合编程 测试用例 测试数据自动生成 模糊控制技术 模型开发环境 文件解析 数值模拟 操作语义 抬刀 快速原型控制 微细电火花加工 并行编程 并发软件 嵌入式系统 嵌入式实时软件 实时控制系统 实时性 基于模型的设计 基于平台的设计 同步数据流 可适配性 可视化编程 功能安全 关键代码区域 公共信息模型 光纤微加工 代码转换 人机界面 产生式规则 业务逻辑 x在环仿真 web服务
2008年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38
科研热词 代码生成 软件维护 软件测试自动化 软件工程 自测试 自动机 自动攻击响应 自动化测试工具 程序理解 汇编代码验证 模式 模型驱动的架构 服务合成 映射规则 攻击特征自动提取 循环展开 形式规范 异常场景诊断 建模工具 并行指令 子字并行 场景 商业组件 向量编译 后缀树 反射 前(后)条件 出具证明编译器 关键路径 体系结构分析设计语言 代码自动生成技术 代码自动生成 业务构件模型 业务构件 soa hoare逻辑 bepl adl