【国家自然科学基金】_源代码_基金支持热词逐年推荐_【万方软件创新助手】_20140731
合集下载
【国家自然科学基金】_有效_基金支持热词逐年推荐_【万方软件创新助手】_20140801
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
20 19 19 19 19 19 19 18 18 18 17 17 17 16 16 16 16 16 16 16 16 15 15 15 15 14 14 14 14 14 14 14 13 13 13 13 13 13 13 13 13 13 13 13 12 12 12 12 12 12 12 12 12 12
科研热词 遗传算法 数值模拟 无线传感器网络 支持向量机 故障诊断 小波变换 神经网络 数据挖掘 rna干扰 仿真 粗糙集 特征提取 图像分割 图像处理 优化 预测 聚类 大鼠 模型 稳定性 影响因素 蚁群算法 聚类分析 粒子群优化 服务质量 数据融合 自适应 力学性能 算法 主成分分析 混沌 本体 细胞凋亡 有限元 网络安全 图像融合 凋亡 计算机应用 基因治疗 建模 复合材料 基因表达 图像去噪 分类 供应链 人脸识别 非线性 粒子群优化算法 特征选择 小波分析 边缘检测 鲁棒性
电力系统 模式识别 有限元分析 最小二乘支持向量机 优化设计 遗传多样性 转染 负载均衡 混凝土 可靠性 信息融合 gis 正交频分复用 层次分析法 小鼠 人工神经网络 认知无线电 粒子群算法 检测 属性约简 卡尔曼滤波 有限元法 数学模型 参数估计 骨髓间充质干细胞 评价 粒子滤波 数学形态学 多输入多输出 因子分析 合成 关联规则 非线性系统 近红外光谱 时间序列 数字水印 安全 多目标优化 合成孔径雷达 公司治理 传感器网络 互信息 不确定性 p2p bp神经网络 遥感 路由 线性矩阵不等式 数据包络分析 数值分析 振动控制 博弈论 决策树 网格
【国家自然科学基金】_移动代码_基金支持热词逐年推荐_【万方软件创新助手】_20140802
2011年 科研热词 无线传感器网络 安全 门限秘密共享 计算任务迁移 第三代移动通信 移动代码 移动agent 电子地图 标量替换 服务器端javascript 文献计量指标 文物 数据库 承诺 手工代码 循环展开 富客户端 富互联网应用 容延迟网络 容延迟移动传感器网络 可重构计算 协议扩展 加密电路 关键技术 仿真 任务编译器 任务分配 任务分割 代码分发 云计算 不等接触率 webgis技术 ns2 leach flash技术 citespace 推荐指数 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 6 7 8 9 10 11 12 13 14 15 16 17
2014年 科研热词 zigbee 隐私 重打包 超声波 节能 网关 移动应用 电力移动智能终端 智能手机 操作系统加固 恶意代码检测 安全 传感网 代码克隆 mcl3213 android平台 4g 推荐指数 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
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
科研热词 高斯频移键控 算法 移动代理 短信息 白盒 性能优化 实现 安全两方比较 多级噪声整形 复合服务 同态加密系统 可演化网络 发射机 加密算法 减法同态 公平协议 全球移动通信 保密函数计算 乘法器 vc++ ras拨号 at指令 3g无线上网卡
【国家自然科学基金】_频率源_基金支持热词逐年推荐_【万方软件创新助手】_20140802
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
2011年 科研热词 推荐指数 高精度测量 1 高稳定度正弦信号 1 频率直接合成:优化方法 1 锁相环 1 远程监测 1 线性调频 1 相位噪声 1 直接数字频率合成 1 电离层斜测 1 电离层斜向返回探测 1 电离层垂测 1 环路滤波器 1 毫米波雷达 1 杯形波动陀螺 1 抖动分离 1 多通道 1 多普勒测量 1 低杂波电流驱动系统 1 三次变频 1 tsc mms 1 hmc440 1 east 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
科研热词 推荐指数 频率源 2 频率合成 1 行为 1 等离子体刻蚀 1 海沟 1 杂散抑制 1 无线电频率 1 数值模拟 1 拉普拉斯方程 1 光阻 1 低相位噪声 1 pll 1 matlab 1 ion behavior, plasma sheath, monte-carlo, 1 rf, pho dds 1 ads 1
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2014年 序号 1 2 3 4 5 6 7
2014年 科研热词 频率跟踪 阈值 软件锁相 瞬态稳定度 相位重合检测 电源 搜索电流最大值技术 推荐指数 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
科研热词 频率校准 链路延时 透明时钟 群相位量子化 群周期 相位群同步 法布里-珀罗腔 数字锁相环 恒温晶振 同步精度 可调谐半导体激光器 压电陶瓷 卫星导航 光频梳 中介频率源 phy ieee1588 fpga
【国家自然科学基金】_等效源_基金支持热词逐年推荐_【万方软件创新助手】_20140802
科研热词 漏磁检测 涡流检测 扰动磁场 集群系统 舰船 积分方程 磁饱和 磁荷 磁场 磁化 并行策略 平面波谱-表面积分法 天线罩 mpi
推荐指数 2 2 2 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7
科研热词 波叠加 遗传算法 波束形成 数据扩展 声源识别 噪声源识别 噪声源定位
推荐指数 2 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
2011年 科研热词 重叠平面波 混响室 时域有限差分法(fdtd) 场均匀性 频率域 重建过程 近场声全息 虚拟 航磁异常 细节信息 等效源 点质量模型 正则化方法 正则化技术 正则化参数 梯度 曲面拟合 曲面 数值仿真 插值-迭代法 指挥模式 心脏模型 导体 奇异值 基础 分部优化 体积 仿真结果 两种方法 (似)大地水准面 推荐指数 2 2 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
2012年 序号 1 2 3 4 5 6 7 8 9 10 11
科研热词 推荐指数 磁异常 1 模量反演 1 左手材料 1 南海东北部陆缘 1 十字环 1 二维 1 三维磁性结构 1 magnetic anomalies 1 continental margin of the northeastern 1 south chin amplitude inversion 1 3d magnetic structure 1
2013年 序号 1 2 3 4 5 6 7 8 9 10
科研热词 近场声全息 等效源法 高k材料 超短沟道 质点振速测量 寄生电容 声源识别 声场分离 半解析模型 labview
【国家自然科学基金】_群组_基金支持热词逐年推荐_【万方软件创新助手】_20140802
科研热词 群组通信 群组密钥管理 群组 密钥树 一致性 镍 组播 无线传感器网络 密钥协商 安全组播 动态群组 鱼类浮游生物 验证 饮酒 预留节点 雪冰化学 雉鸡甘肃亚种 集群 集结方法 集线器 阴、阳离子 门限群签名 长江口 钙激活蛋白43 钙激活蛋白 量子零知识证明 量子密码学 醛脱氢酶 酶联免疫吸附试验 遗传结构 进入模式 迁移工作流 迁移实例 路由协议 访问策略 计算机应用 覆盖多播安全 血脂异常 血脂 血清 自路由 背景特征 肺癌 聚类算法 群组育种模式 群组活动 群组成员管理 群组对照分析 群组密钥交换 群组密钥 群组安全 群组型港口城市
推荐指数 3 3 3 3 3 2 2 2 2 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
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
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
多播水印协议 多播安全 多态现象(遗传学) 多密共享 基因流 城市群组 城市用地 后向安全性 可靠性 可生存 双调 双线性对 双抗体夹心酶联免疫吸附测定 双向匿名 双向令牌 参照点群移动模型 单向函数 动态对等群组 动态 功能优化 前向安全性 准则函数 冠心病 公钥加密 全同胞育种模式 信息用户满意 信任评估 体系结构 伪随机函数 人群组 交换结构 主观信任 中国对虾 中国剩余定理 东北老工业基地 业务流程建模 专家赋权 δ 18o zigbee传感器网络 xml twinspan rsa lagrange相关系数 k-means算法 j2ee gps位置差分定位 ghz态 epr对 ebs cca blup arm7 ad hoc网络 ad hoc网
【国家自然科学基金】_专家发现_基金支持热词逐年推荐_【万方软件创新助手】_20140802
膜污染机理 肿瘤疫苗 肿瘤抗原 羽毛球 网络化治理 绩效信息来源 组织样本 系统进化 系统回顾 粗糙集理论 类风湿性关节炎 穿透 科学复原 神经网络 社区影响 研究范式 知识表达 知识管理评价 知识管理 知识等价概念 知识发现 知识包含关系 矛盾问题 相关 病理学 电解铝 生物医学研究 生态工程 理论构建 现代研究 特征选择 物理化学参数 灵敏度 海南岛长昌盆地 海南坡鹿 治疗指南 治疗 油丹 樟科 案例研究 材料特性 权重比较 权重合成 权重优化 机械故障诊断 机器学习 暴发流行 时间比对 文献计量分析 文本挖掘 数据挖掘 数据库知识发现* 数据处理 政府绩效评估
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
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
改进算法 报警系统 抗肿瘤血管生成治疗 抗肿瘤血管生成拟态治疗 抗体 批处理 急性呼吸窘迫综合征,成人 德尔菲法 张衡地动仪 延性指数 客观评价法 实验研究 定性研究 守时系统 始新世 太阳能电池产业化 多层次灰色评价 地震学研究 地方政府 喀纳斯村 命名实体识别 史料研究 可拓知识 古气候 变换产生式 双库协同机制 卫星任务规划 化疗 动态学习率 力采集 刚度 内在认知机理 关键技术 关联分析 共指消解 公共行政 免疫预防 免疫治疗 元知识 元数据 修饰基因 信息抽取 信息可视化 保护 作者共被引 人粒细胞无形体病 人-人传播 交叉熵 中间型β 珠蛋白生成障碍性贫血 中药水提液 中心度 严格评价 专家假说 wtp
【国家自然科学基金】_字段_基金支持热词逐年推荐_【万方软件创新助手】_20140802
1 1 1 1 1 1 1
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71
协议攻击 动态管理 分组合并 分类汇总 分类方法 分簇算法 信息隐藏 交集型歧义字段 交换式工业以太网 串行 xilinx tcp/ip swat模型 sap qt应用程序框架 mac层 ipid excel vba aurora协议
搜索引擎 报文序列 扩展报文头 性能 属性字段建立 局域网组播 对称加密算法 对称-关系模型 审计风险 审计 字段 国际地球参考框架(itrf) 协议 包 加密数据库 加密数据 分词 分级 关系抽取 全切分 信任 伪歧义 代数 交集型歧义切分字段 临床研究 中文自动分词 中文缩写字段匹配 中文信息处理 个人信用评分 专业领域语料库 三元组结构 一致性测试 wordnet web service tos字段 sdvia sas radius pap p2p oracle oci mapobjects jackson ixp2400 ipv6网络 igmp ieee802.1x eapol crf
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 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
科研热词 中文分词 路由 语法规则 词语搭配规则 访问控制 组合型歧义 时间戳 可用带宽 信息检索 交集型歧义 ipv6 链路状态 软件复用 路径重构 评分方法 评分函数 计算机应用 角色 虚拟文档 肾替代治疗 网络安全 网络处理器 统计语言模型 组播认证 组合歧义 组件模型 组件内部结构 组件 神经网络 真歧义 甚大规模对称矩阵 瓶颈 消歧规则 消息队列 消息中间件 海量数据 流量控制 汉语自动分词 椭圆曲线 查询分析 查询 最长公共子序列 最长交集字段 数据质量 数据管理 数据引擎 数据式审计 数据库安全 数据库 数据交换 攻击源追踪 操作(operation)
【国家自然科学基金】_开源信息_基金支持热词逐年推荐_【万方软件创新助手】_20140802
科研热词 hibernate 飞行仿真 静电势图 隐蔽通道标识 运动模型 过滤驱动 车载导航 词义消歧与标注 计算机网络 计算机应用 虚拟磁盘 网络gis 织物 空间数据库 空间回归分析 移动gis 瑕疵检测 特征筛选 源代码 深层网 流式传输 框架 服务器 最大熵模型 文件加密 数据流 数据挖掘 插件 扩展性 开源软件 开源gis 审计 安全存储设备 存储安全系统 多通道滤波 多协议边界网关协议 垂直搜索 地理信息软件 地理信息系统 图形渲染引擎 可扩展开放路由平台(xorp) 反射技术 制图 别名 分子图形学 函数式编程 六自由度飞行 公交查询 信息流 人工免疫算法 主题爬行 上下文特征
推荐指数 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 1 1
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
科研热词 推荐指数 无线网络 2 开源软件 2 化学信息学 2 web 2 ajax 2 龙芯2f处理器 1 高性能计算机 1 通用对等网仿真器 1 通信优化 1 选择 1 远程控制:proc 1 计算机视觉 1 虚拟研究环境 1 网络特征类服务 1 网络模拟 1 网络安全 1 网格 1 糖尿病信息管理系统 1 突发性分组业务流 1 硬实时 1 相似度曲线 1 特征抽取 1 混合模式 1 流媒体播放器 1 汶川地震 1 框架 1 文件下栽 1 数据预处理 1 数据共享 1 持久层 1 房地产估价 1 开源项目 1 开源软件(open source software)1 开源信息 1 开源 1 应急管理 1 工作流 1 密钥 1 宏模型 1 存储安全 1 存储区域网 1 天网工程 1 地震减灾 1 地理标记语言 1 图像处理 1 千兆以太网 1 化学深层网 1 化学浅层网 1 化学数据库 1 化合物子结构检索 1 动态数据库 1 加密算法 1
【国家自然科学基金】_表格_基金支持热词逐年推荐_【万方软件创新助手】_20140729
推荐指数 2 2 2 2 2 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
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
推荐指数 2 2 2 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
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
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 39 40 41 42 43 44 45 46 47 48 49 50 51 52
107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142
【国家自然科学基金】_码字搜索_基金支持热词逐年推荐_【万方软件创新助手】_20140731
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
科研热词 矢量量化 波束成形 有限反馈 码字快速搜索 快速搜索 hadamard变换 误码率 自适应搜索 等误差原则 树形码本 容量 多输入多输出(mimo) 多输入单输出-正交频分复用 多入单出-正交频分复用 哈夫曼编码 双测试算法 单测试算法 初始码书 初始匹配码字 hamming距离 golay码 euclidean距离 dna计算 dna编码 chebyshev距离 aei算法
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
科研热词 鲁棒性 量化水印 运动模糊复原 自适应 置换矩阵 编码曝光 移位系数 矢量量化 环长 渐进添边算法 深空通信 最优码字 数字水印 快速码字搜索 归一化相关系数 幅值缩放 差错平底 子矢量划分 准循环码 准循环低密度奇偶校验 光子噪声 低密度校验码 1维特征量
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 道 1 联合信源信道解码 1 码字搜索 1 码书设计 1 矢量量化 1 图像压缩 1 变长码 1 人工蜂群 1 上下文自适应二进制算术编码 1
2014年 序号 1 2 3 4
2014年 科研热词 盲识别 共轭根系 信道编码 bch码 推荐指数 1 1 1 1
2008年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
科研热词 陪集 链路失败 量子ldpc码 量子css码 网络编码 离群点检测算法 码书 矢量量化 波束成形 树形码本 有限域 有限反馈 最大距离可分码 多输入多输出 保护间隔 bp译码
【国家自然科学基金】_码_基金支持热词逐年推荐_【万方软件创新助手】_20140802
科研热词 推荐指数 光码分多址 21 turbo码 20 ldpc码 17 低密度奇偶校验码 13 码分多址 11 光通信 11 超宽带 8 误码率 8 多输入多输出 7 多址干扰 7 光纤通信 7 迭代译码 6 空时分组码 6 码间干扰 6 低密度校验码 6 fpga 6 超结构光纤布拉格光栅 5 线性码 5 测试数据压缩 5 循环码 5 对偶码 5 多用户检测 5 和积译码 5 高斯近似 4 遗传算法 4 贝尔实验室分层码 4 编码 4 环 4 正交频分复用 4 密度进化 4 卷积码 4 光正交码 4 rs码 4 cdma 4 译码算法 3 视频编码 3 自正交码 3 编码复杂度 3 盲均衡 3 比特交织编码调制 3 无线通信 3 数字水印 3 多载波码分多址 3 围长 3 光纤通信技术 3 信道编码 3 信号跟踪 3 低密度奇偶校验(ldpc)码 3 matlab仿真 3 h.264标准 3 gray映射 3 零相关窗 2
107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160
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 4 量子纠错码 量子ldpc码 量化译码 重复累积码 远近效应 软判决 软件接收机 转码 跳时 译码器 自对偶码 联合界 置信传播算法 置信传播 编/解码器 结构光 线性疏散码 级联码 级联倍频和差频 系统仿真 等效相移 空时编码 空时块码 秩 码间串扰 码链 码率分配 码字的广度 码型转换 码 相关 电磁兼容 现场可编程门阵列 率控制 混沌序列 混和自动请求重传 构造 有限域 最小和 最优扫描结构 时间扩展 时间反转 数据矩阵码 数字喷泉 支持向量机 捕获 扩频码 快速傅里叶变换 循环置换矩阵 循环相关 度分布 平板显示 差拍噪声
【国家自然科学基金】_字节码_基金支持热词逐年推荐_【万方软件创新助手】_20140802
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
科研热词 推荐指数 java处理器 2 软件过程仿真 1 计算统一的设备架构 1 自合成 1 最坏情况执行时间 1 无干扰性 1 抽象机 1 微指令 1 实时java平台 1 多线程 1 基于图形处理单元的通用目的计算1 可达性分析 1 即时编译器 1 加权下推系统 1 信息流 1 二进制翻译 1 中间语言 1 jpor-32指令集 1 java虚拟机 1 cache锁机制 1
2013年 序号 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
2013年 科研热词 集群 逆向分析 远程执行 软件资源库 软件水印 软件安全 虚方法 自动构建 程序转换 污点分析 永假式 正反码 方法摘要 控制流图 按需占有资源 性能 开源软件 层次分类 安全策略 字节码 在线属性 共享类集 依赖检测 代码保护 java反射机制 android平台 推荐指数 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 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
2011年 序号 1 2 3 4 5 6 7 8
科研热词 虚拟机 自定义工具 编译原理 智能相机 java编译器 java类文件 java字节码 javac
推荐指数 1 1 1 1 1 1 1 1
科研热词 字节码 java字节码 鲁棒性 错误重现 软件胎记 超标量 置信性 网络 线程 类hoare逻辑系统 类hoare逻辑 程序设计 程序模块化验证 确定性回放 相似性度量 版权保护 测试 模块化验证 最坏执行时间 并发程序 并发 已验证虚拟机 嵌入式系统 实时java 字节码插装 图像处理 动态程序切片 剽窃检测 事件 java虚拟机 java源代码 jav 7 8
【国家自然科学基金】_高可信_基金支持热词逐年推荐_【万方软件创新助手】_20140802
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 39
科研热词 软件安全 指针逻辑 hoare逻辑 高可信 需求诱导 近似查询 软件需求 软件测试自动化 软件体系结构 规约精化 自适应 自动化测试工具 网构软件 类型系统 算法设计 算法 特征模型 模型验证 模型检测 模型检查工具 模型拟合 携带证明的汇编程序 指针分析 形式化方法designware 定制 多视图 多余因子 场景 可信 协同 利益相关者 出具证明编译器 传感器网络 代码生成 中间件 smv dixon结式 dixon矩阵 cafeobj
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
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
最小入库序列 时态逻辑 数据建模 数据仓库 数字水印 数字权利管理 数字内容 描述语言 指针安全 扩展库所网 恰当参数化 形式化验证 形式化推导 工作流过程建模 工作流模式 审计 实视图 实时调度 实体识别 定理证明器 定理机械证明 定位 安全边界 安全日志系统 增量聚类 在线主题检测 在线 图顶点着色问题 图转换 固定路径 和谐定理 命名实体 后缀树聚类 可靠 可能世界模型 可变路径 可信计算 可信编译系统 半代数系统 动态网页 功能描述 分类数据 分块缓存 出具证明编译器 决策条件 内核线程 内核模块 借阅模型 信任过滤 传感器网络 仿射簇 主机日志 不确定数据模型 μ 基
科研热词 软件安全 指针逻辑 hoare逻辑 高可信 需求诱导 近似查询 软件需求 软件测试自动化 软件体系结构 规约精化 自适应 自动化测试工具 网构软件 类型系统 算法设计 算法 特征模型 模型验证 模型检测 模型检查工具 模型拟合 携带证明的汇编程序 指针分析 形式化方法designware 定制 多视图 多余因子 场景 可信 协同 利益相关者 出具证明编译器 传感器网络 代码生成 中间件 smv dixon结式 dixon矩阵 cafeobj
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
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
最小入库序列 时态逻辑 数据建模 数据仓库 数字水印 数字权利管理 数字内容 描述语言 指针安全 扩展库所网 恰当参数化 形式化验证 形式化推导 工作流过程建模 工作流模式 审计 实视图 实时调度 实体识别 定理证明器 定理机械证明 定位 安全边界 安全日志系统 增量聚类 在线主题检测 在线 图顶点着色问题 图转换 固定路径 和谐定理 命名实体 后缀树聚类 可靠 可能世界模型 可变路径 可信计算 可信编译系统 半代数系统 动态网页 功能描述 分类数据 分块缓存 出具证明编译器 决策条件 内核线程 内核模块 借阅模型 信任过滤 传感器网络 仿射簇 主机日志 不确定数据模型 μ 基
【国家自然科学基金】_no2-_基金支持热词逐年推荐_【万方软件创新助手】_20140802
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
科研热词 推荐指数 离子选择性电极 2 中性载体 2 颗粒活性炭 1 非线性过程 1 降雨 1 铜 1 铁屑 1 诱导痰 1 薄膜 1 苯并[a]芘 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
科研热词 亚硝酸盐 阴离子 自由基 离子色谱 烟草 大鼠 anammox 黄酮类化合物 高氧 香港 顺序注射 锡矿山 重金属 部分亚硝化 近地面臭氧 诱导型一氧化氮合酶 褪黑素 萌发 菌群变化 荧光素钠 荧光定量pcr 草酸 苦荞 脱硫 肺损伤 肺 结缔组织生长因子 纤维化 稀释效应 硬度 硫酸盐 硝酸盐还原 硝化细菌 矿化度 甲酸 溶存浓度 海绵 水样 水化学 水体 水-气界面 氨氮 氨基胍 新生 排放通量 损失率 抗氧化酶 抗氧化 微环境 平原河网 岩溶槽谷 岩溶地下水示踪
【国家自然科学基金】_毕业设计_基金支持热词逐年推荐_【万方软件创新助手】_20140802
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
科研热词 锰氧化物薄膜 采矿工程 通用网 过程控制 虚拟裂纹闭合法 自由空间光通信 自动化 脉冲爆震火箭发动机 综合能力 现场总线 爆震波 毕业设计 格式检测 极化子 晶格失配 无人开采 文档管理 文档生成 教学 控制网络 平均推力 屏蔽数据 实验教学 复合材料 声表面波滤波器 可靠性估计 变截面 双参数指数部件 双交换作用 动态负载交换 光诱导效应 串联系统 ⅰ型断裂 z-pin
推荐指数 5 2 2 2 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
动态硬度 初探 分布式 准liga技术 光生伏特效应 光学系统 信息管理系统 保持率 任务分解 二进制偏移载波 二维条码 不对称性 ssh2 sql shpb server rtp jbpm gis设计与开发 adhoc
推荐指数 2 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
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 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
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
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
107 108 109 110 111 112 113 114 115 116 117 118 119 120 121
net平台 1 mvc框架 1 mda(model driven architecture)1 matlab语言 1 java 1 imdct算法 1 gps 1 eda 1 dsp 1 cobol 1 c55x 1 bootloader 1 blob 1 arm-linux 1 构件运行支撑平台 条件提取 方法依赖 数字图像 控制系统 持久化 拥塞控制 抽象状态图 开放源代码 嵌入式系统 导数 对象状态机 实现 实时视频流系统 存储安全 大气辐射传输 大气效应 基线误差 基于角色的访问控制 基于角色-页面的访问控制 地面沉降 图形建模语言 后缀树 反射技术 博客 单片机 区分 动态菜单 初始化 分布式检索 再工程 光纤传感微弱信号检测 元模型 元建模 信息检索 信息抽取 优化 人工免疫算法 产品线工程 产品线体系结构 串口通信 wincc tcpw srtm spin socket通信 s3c2410a rtlinux ogg vorbis标准 ogc wps o/r映射
科研热词 软件工程 行为协议 程序理解 qt/embedded linux 高精度 驱动程序 驱动式调用 音频解码 静态分析 重磁异常 重构 配置 遥感图像 遗产代码 通用检索表达式 逆向软件工程 逆向工程 远程控制:proc 进程间通信 达尔文流媒体服务器 软件维护 软件复用 软件agent 语音编码 访问控制:web应用 设计 计算机视觉 角色-页面 装配件(构件) 表示法 自主构件 翻译 网构软件 编程 组态软件 组件容器 组件 系统验证 类型封装和嵌套方式 硬实时 矩阵键盘 电阻 状态分析 演化阶段 演化 温度 测量 波数域 汇编语言 水压机 模板
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 1 1
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
推荐指数 2 2 2 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
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
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156
程序依赖图 白盒测试 电网故障诊断 电力电子与传动 状态机 状态分析 特征选择 特征分析 版本演化 漏报 源程序验证 源代码审核 源代码变更 源代码分析 测试过程管理 泛型程序设计 泛型概念 汇编语言 比较算法 模型检验 模型检测 模型抽取 有限状态机 智能算法 时钟同步 时钟偏差 整数溢出 数控系统 数据流 数据建模 数学软件 数字高程模型 数字地球 控制系统 控制流逻辑 接口规范 指针 抽象状态图 抽象求精 度量模型 度量指标 度量 应用程序接口 并发程序 平台 布尔可满足性 工具 工业以太网 嵌入式系统 嵌入式操作系统 密码学 实验平台 实时应用程序接口 实时代码生成工具
实时 安全通信 多层感知器 图形用户界面 回调函数 合成孔径雷达干涉 合成孔径雷达 可执行代码 可信编译系统 反编译代码 反汇编分析 双pwm变换器 参数注入 原子子程序 升级 动态表达式匹配 功能点分析 别名 分类方法 函数调用序列 内存访问错误 内存腐败攻击 全矢谱 全信息小波分析 信息流图 信息流分析 伪深度搜索 代码调式器 丰满水库 中间代码 三电平 μ cosⅱ worldwindjavasdk web应用模型 vb stl sgems openssl omap5912处理器 java程序 java应用 javabean技术 java web start ieee1588 epa codex-m3 c++0x arm applet api
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 39 40 41 42 43 44 45 46 47 48 49 50 51 52
科研热词 源代码 软件安全 缓冲区溢出 移植 版本控制 漏洞检测 信息流 面向对象 静态单一赋值 静态分析 隐通道 隐蔽通道标识 隐蔽通道 防洪调度系统 错误定位 链接提取 重构 遗传算法 逆向工程 远程证实 软件重构 软件适应性 软件维护 软件测试 软件模型检测 软件工程数据 软件复用 路径松弛 贝叶斯决策 谓词抽象 误报 语义抽象 词法分析 计算机代数系统 虚拟化 自动调试 网络本体语言 网络安全 编译器 编译 组件 线路延时 约束分析 算法平台 策略模式 符号与数值混合计算 符号与数值混合应用 程序验证 程序静态分析 程序流程图 程序控制流 程序分析