【国家自然科学基金】_状态空间爆炸_基金支持热词逐年推荐_【万方软件创新助手】_20140729
合集下载
【国家自然科学基金】_状态变换_基金支持热词逐年推荐_【万方软件创新助手】_20140802
维纳滤波 统一硬化模型 统一硬化参数 结构性 线性移位寄存器 线性矩阵不等式(lmi) 线性时变系统 线性可逆性变换 级联极化变换 累加生成运算 累减还原 精确线性化 粗粒度 算子稳定 符号执行 符号建模 程序分析 移动荷载 积分有限差分法 积分控制 积分变换 积分不等式 离散系统 离散奇异系统 离散余弦变换 离散事件系统 离散t-s模糊系统 离子液 磁控溅射 磁弹性 硬度 矩阵 瞬态响应 睡眠剥夺 相对强度 相同步 直通 直流斩波 直接转矩控制 目标跟踪 目标识别 白噪声泛函解 疲劳驾驶 电阻-压力复合焊 电网故障 电离层状态 电磁波 电磁干扰 电梯层间交通分布 电子背散射衍射(ebsd) 电压源换流器 甲醇水蒸气重整 生物传热 生成函数
预报 非静力模式 非连续控制 非线性链式级联 非线性系统 非线性时滞系统 非线性控制 非线性微分几何 非完整系统 非各态历经 非刚性配准 非markov布朗运动 霍尔传感器 零稳态误差 集成光学 隐马尔可夫模型 随机相关系数 随机性 随机平均 降维观测器 钢管混凝土框架粱柱连接 量子进化算法 重试排队 配电网静止同步补偿器 速度控制 递推表达式 透射率 退化 连续复小波变换 进水碳氮比 边坡工程 输入时滞 输入-状态稳定性 载流薄板 轴承 软化 轮载 转子磁场方向 转子断条 车体振动加速度 超级电容器 超固结 走路模式 资料同化 贝叶斯法则 谐波电流 谐波平衡 识别方法 访问控制 记忆库 计算机应用 计算奇异扰动 解调 视频监视
科研热词 线性矩阵不等式 滑模控制 故障诊断 小波变换 非线性系统 球形机器人 状态反馈 特征提取 极化 时滞相关 不确定性 h∞控制 输出反馈 超固结土 脑电 稳定性 电力电子 混沌同步 最优控制 时滞和 时滞依赖 局部放电 对比增强 大坝 多层地基 图像处理 合成孔径雷达(sar) 初始应力各向异性 传递矩阵 仿真 不确定 rbf神经网络 poisson重建 biot固结 齐次平衡法 鲁棒预测控制 鲁棒无源控制 鲁棒控制 高速列车 高增益k-滤波器 高压电气设备 高动态 饱和半空间 风力发电 频谱分析 频带分离 预测 非线性控制器 非线性 非完整约束 非匹配不确定 静力可靠度
【国家自然科学基金】_情绪状态_基金支持热词逐年推荐_【万方软件创新助手】_20140730
心理理论 心理渴求 心理应激 应对方式 幼儿 帕金森病 工作记忆 定势转换 学习 大鼠 多样化寻求行为 基本情绪理论 垂体 加味逍遥丸 功能磁共振成像(fmri) 刺激转移过程 刷新功能 创伤 光镜 儿茶酚胺 促进定向 促肾上腺皮质激素释放激素 促肾上腺皮质激素 体验性决策 任务转换 人工生命 人工情感 人工心理情感模型 事件相关电位 丹栀逍遥散 中央执行系统 个人机器人 丘脑底核 下丘脑 七情量表 scl-90量表 ptsd pad情绪维度 f-trp 5-羟色胺 5-hiaa "阴阳喜怒"
科研热词 磁共振成像 病例对照研究 状态焦虑 特质焦虑 抑郁症 情绪 军人 风味嗜好学习 面部动态表情 非直接利益冲突 非注意 镜像神经元 运动性失眠 自然灾害知觉 脑电非线性分析 脑机制 胃肠道症状 肝气郁结证 社会心理行为园素 睡眠剥夺 痛觉情绪 痛觉共情 疼痛 状态空间模型 焦虑 灾害调适 清醒动物 横断面研究 明确识别 抑郁 情绪应激 情绪反应与表达 情绪主导型群体事件 情感建模 心理理论 心理测量 心理噪声 心理健康 工读学生 家庭 失言理解 基本情绪论 团队情绪规范 团队情绪 回归分析 咀嚼肌 原发性肝癌 北京 内隐社会认知 共情 儿童 伤害性感觉
53 54 55 56 57 58 59 60 61
人格 人工情感 二级错误信念 乐观偏差 临床研究 个体情绪 不明确识别 β -内啡肽 d型人格
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
情绪差异性 情绪冲突 情绪偏向 情感预测 情感认知模型 情感计算 情感自发转移 情感建模 情感图式 情感刺激转移 悲伤性心境 恐惧 心理治疗 心理模拟 心理学试验 心理健康 强迫游泳 延髓 度量多元尺度分析 广泛性焦虑 干预研究 常年性 层次分析法 定向 学习疲劳 外显性加工过程 回馈 变应性 反馈信息 功能磁共振成像 功能性磁共振成像 功能性磁共振 前额叶皮质 切断膈肌下迷走神经 内隐记忆 内隐性加工过程 催眠疗法 偏差 促进作用 人脸检测 人格 人机交互(hri) 交易行为 事件相关电位 个性空间 下丘脑 tip p300 fos
【国家自然科学基金】_wiener空间_基金支持热词逐年推荐_【万方软件创新助手】_20140802
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
科研热词 零息票债券 超分辨 线性最小方差信息融合准则 状态矢量空间 物价指数 标准wiener过程 最大后验 无线移动网络 无源毫米波 实时性 太赫兹通信 多传感器信息融合 增广状态空间模型 债券定价 信号wiener滤波器和平滑器 介质镜
2008年 序号 1 2 3 4 5 6 7 8 9
2009年 科研热词 推荐指数 序号 频谱外推 1 超分辨 1 维纳滤波器 1 无源毫米波成像 1 图像空间重构算法 1 图像恢复 1 wiener空间 1 egervary-turan修正hermite-fejer插值多项式 1 chebyshev多项式 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
科研热词 随机噪声 维纳滤波 线性核函数 柱面波传播 局域化 二维随机介质 主分量 ricker子波
推荐指数 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 1ቤተ መጻሕፍቲ ባይዱ 13 14
推荐指数 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
2014年 序号 1 2 3 4
2014年 科研热词 平均误差 一重积分wiener空间 hermite-fejer插值 推荐指数 2 2 1 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 27 28 29 30
科研热词 平均误差 一重积分wiener空间 非圆信号 随机吸引子 随机动力系统 阻塞矩阵 阵列信号处理 速降集 退化 语音增强 维纳过程 白噪音 波达方向估计 极值 数值求积公式 拟hermite插值 多项式求根 多级维纳滤波 复化simpson公式 声学矢量传感器(avs) 剩余寿命 光纤陀螺 三角链 wiener过程 wiener空间 wiener滤波 wiener指数 r-重积分wiener空间 l_p-范数 ginzburg-landau方程
【国家自然科学基金】_类模板_基金支持热词逐年推荐_【万方软件创新助手】_20140731
科研热词 分子印迹聚合物 黑曲霉 鲈 领域实体 领域命名实体识别 鞘磷脂酶类溶血素 静态平衡结合法 阳极氧化铝模板 问号钩端螺旋体 销钉零件 链霉菌4353 铵离子通道 量子可逆逻辑 重组表达 重组慢病毒 遗传载体 遗传算法 选择性 选择吸附 进化树 软模板 转录水平 调控生长 词性规则模板 识别机理 设计重用 表面印迹 行为识别 行为描述 行为分析 苹果皱果类病毒 自动生成与优化 腺病毒科 肺结节 肺癌cad 聚苯胺 置信变换 结构映射 细菌多样性 纳米管 纳米材料 类胡萝卜素 类球红菌 笔划组合 碳酸钙晶体 硬模板 知识模板 目标识别 白纹伊蚊 瘤胃细菌 疑似病灶 状态空间算法
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
107 108 109 110 111 112 113 114
hash函数ti_3o_(12) ahba合酶 16srrina基因
推荐指数 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
热聚合 滑动相关分类器 溶血活性 溶致液晶模板 溶胶-凝胶 波形设计 水仙 模板匹配算法 本体 木聚糖酶 无模板 无抽样 方向滤波器组 数字串分割 手性 成组技术 强啡肽类 建立和优化 序列分析 局部模板匹配 小麦(triticum aestivum l.) 宽带雷达 孔雀草 多尺度形态学滤波 基因分离 基因克隆与表达 基因克隆 地龙 图像增强 后验概率 可逆逻辑综合 可逆逻辑优化 反应体系 叉车 参数化 原核表达 原位rt-pcr 功能分解 利福平 分类器组合 分离纯化 分子克隆 全序列分析 克隆 低分子量麦谷蛋白 仿生合成 主曲线 丹参酮ⅱa 丙型肝炎病毒核心蛋白 α -珠蛋白 sba-15 s-naproxen rh类糖蛋白 issr
【国家自然科学基金】_辅助工具_基金支持热词逐年推荐_【万方软件创新助手】_20140730
科研热词 钉螺 软件安全 模拟 模型 智能体 数据仓库 形式化验证 复杂适应系统 人机交互 olap 食源性致病菌 飞机 静态切片 青铜器 需求获取 陶瓷材料 降阶 锈蚀 鉴定 重金属 遗传算法 遗传分析 递阶结构 透明细胞肉瘤 进近序列 过程框架 辅助工具 辅助决策系统 软件采购 软件系统 软件攻击 软件可视化 距离衰减 资源适配器 资源服务化封装 贝叶斯网络 说明技术 诊断策略 诊断,计算机辅助 诊断 评价方法 设计方法学 计算独立模型 计算机辅助软件工程 计算机辅助分析 角度最优化算法 视网膜母细胞瘤 蛋白质谱 蛋白质结构预测 蛋白质组 虚拟制造技术(vmt) 荧光素酶
本体 1 末非司酮 1 有限元法 1 最佳一致逼近 1 智能辅助系统 1 早期诊断 1 旁路攻击 1 方法论 1 文档信息与地图信息紧密结合 1 文件系统 1 数据组织与维护 1 数据显示与分类 1 数据挖掘 1 数据分析 1 数宇波形 1 数值模拟 1 携带证明的代码 1 指挥决策 1 指挥/控制/通信/作战效能 1 拟线性抛物型方程 1 抗豆象 1 投资决策 1 扰动法 1 扩展效应 1 成本估算 1 快速计划 1 微波辅助加工 1 形状优化 1 形式化 1 建模 1 应用实例 1 应急管理系统 1 平台独立模型 1 常微分方程 1 布尔公式 1 差异蛋白 1 工艺参数 1 工作流 1 岩体分级 1 层次平台 1 层次分析方法 1 实物期权 1 安全验证 1 安全约束 1 安全操作系统 1 安全soc 1 安全 1 奥卡西平 1 大豆 1 多专题信息提取 1 多agent系统建模 1 复杂网络 1 复杂系统 1 基质辅助激光解吸/电离飞行时间质谱 1
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
【国家自然科学基金】_状态方程_基金支持热词逐年推荐_【万方软件创新助手】_20140731
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
科研热词 状态方程 数值模拟 卡尔曼滤波 稳定性 非线性 最优控制 本构模型 损伤 滑模控制 流固耦合 鲁棒性 颤振 降阶模型 铝 遗传算法 道路工程 超临界二氧化碳 计算机仿真 蠕变 线性系统 精细积分法 精细积分 相态 相平衡 爆炸力学 湿蒸汽 混流式水轮机 混沌 沥青路面 气动弹性 有限元 时滞系统 时滞 弹塑性 应力 岩石力学 奇异值分解 大涡模拟 多孔介质 响应面法 吸附 同步 可靠性 可靠度 动态 凝析气井 体系可靠度 仿真 主动控制 两相流动 kalman滤波 h∞控制
boost变换器 非结构网格 非线性控制 非线性动力学 非定常旋转流动 非darcy流 阻尼 采矿工程 逆变器 迭代映射方程 运动方程 边界层分离 边界元 软岩 轨道保持 车辆工程 谱分析 观测器 被动行走 表面张力 自然发火 自发凝结 自动控制技术 联邦滤波器 细观结构 线抽样技术 约化摄动法 精确线性化 等离子体 等熵压缩线 第四体引力 第一性原理 离心级联 神经网络 相变 电力系统 甲板上浪 状态空间法 状态空间 状态变量 状态反馈 熔化曲线 热力学状态方程 灵敏度 渗流 测定 汽液平衡 步态方程 模型 概率密度演化 概率密度函数 核物质 机器人 本构方程
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
【国家自然科学基金】_路径爆炸_基金支持热词逐年推荐_【万方软件创新助手】_20140803
科研热词 黑盒测试 静态分析 软件测试 路径敏感 误报 缺陷检测 统一建模语言 经验正交函数(eof) 粒子系统 程序切片 漏洞检测 测试场景 活动图 彩色污点传播 并发 布尔函数 外观景象 声速剖面 基准电路 域敏感分析 地面核爆炸 反蚁群算法 匹配场反演 动态检测 分组 冗余识别 优先级 上下文敏感分析 torque 3d引擎 sop表达式
推荐指数 2 2 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 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
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
科研热词 问卷 车辆路径问题 能量函数 网络计算 神经网络 碳氮 知识表示 现场调查 状态空间 状态格局 物理机制 爆炸过程 泄漏 氧元素 模糊聚类分析 模拟退火 权值扩展有限状态机 整数规划模型 大爆炸核合成 可达性分析 危险化学品 协议一致性测试 区域疏散 全局路径规划 主要路径 串列加速器 中子反应 不稳定核
推荐指数 1 1 1 1 1 1 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 12 13 14 15 16 17 18 19 20 21 22
科研热词 路径爆炸 符号执行 马尔可夫链 限界模型检测 路径敏感分析 经验格林函数 着色petri网 源码缺陷检测 测试序列 汇聚节点 模型检测 概率计算树逻辑 数据挖掘 恶意代码分析 属性 层裂 地下核爆炸 函数摘要 关联变量模式 二进制程序分析 pco concolic测试
【国家自然科学基金】_空间变异_基金支持热词逐年推荐_【万方软件创新助手】_20140731
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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
成土年龄 微量元素 形态 季节变化 太湖地区 多样性 地统计 地球化学 地下水波动带 土壤特性 土壤污染 土壤含水量 土地利用方式 土地利用变化 吸收光谱 各向异性 变异函数 区域优化配置 养分 关中地区 全氮 免疫算法 克隆选择算法 克里格插值 优化 人类活动 人工智能 人工免疫系统 人力资本 中寒武世 esda方法 黄花杓兰 黄河口埕岛海域 黄土高原 黄土丘陵区 鸭 高频变异 高寒草甸 驱动力 预取 非线性运输问题 非线性系统 青铜峡灌区 青藏高原 青蒿素 集聚 集约度 随机连续模型 随机模拟 随机场理论 随机场 随机duffing方程 降雨 阳洼流域
土壤盐渍化 土壤盐分 土壤水分入渗 土壤有机质 土壤属性 土壤含水量 土壤侵蚀 变异系数 华北落叶松 分形理论 六盘山 克立格插值 仿真手术 中国 em38 黑河流域 黄河三角洲 黄土高原东北缘 黄土高原 黄土性土壤 鸟类 鲜水河-安宁河-则木河断裂带 高寒草甸 饱和导水率 预测模型 非饱和带 非线性模糊随机损伤 非灌溉景观 非劣个体 青藏高原 青蒿素 青蒿人工种植 随机波动 随机场理论 阔叶红松林 闽江河口湿地 长白山 长江河口地区 镉 铵态氮 钢铁工业 金沙江流域 金昌市 量子进化 野生甘蓝 邮电通信业 遥感 遗传结构 遗传多样性 遗传变异 造船 速效磷 速效养分 通行成本
【国家自然科学基金】_动态弹性_基金支持热词逐年推荐_【万方软件创新助手】_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 40 41 42 43 44 45 46 47 48 49 50 51 52
科研热词 边界积分 有限元 应力强度因子 黏弹性 颤振 静态裂纹 输入输出线性化 胶接材料 精细积分法 积分变换 界面裂纹 状态空间法 爆炸力学 液化土 气泡 模态分析 机电耦合 打靶法 微分求积法 弹性模型 弹性动力学 并联柔性机器人 奇异积分方程 埋地管道 地震响应 压电驱动 势流理论 动态裂纹 动态应力强度因子 动态 动应力 动力学分析 功能梯度材料 保角映射 位移跟踪控制 仿真 上浮反应 三维分析 三维 一维六方准晶 ked方法 高速铁路 骨 飞机 频率 预算约束 面板数据模型 非饱和土 非结构网格 非线性滞回 非线性气动弹性 非线性本构关系
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
【国家自然科学基金】_状态切换_基金支持热词逐年推荐_【万方软件创新助手】_20140802
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
船舶、舰船工程 1 53 计算机系统结构 自适应 1 54 视觉反馈 自组织网络 1 55 航姿测量系统 自主机器人 1 56 自适应调制 脉冲系统 1 57 自主导航 能量流控制策略 1 58 脉冲系统 网络生存时间 1 59 脉冲功率开关 网络仿真 1 60 耦合 综合校正 1 61 网络化切换系统 统一lyapunov函数 1 62 线路切换 线性离散切换系统 1 63 线性离散切换系统 线性混杂系统,最优控制,数值解,monte 1 carlo统计预测 64 线性切换时滞系统 系统辨识 1 65 系统乖构 系统超调 1 66 空闲时间 系统建模 1 67 稳定性切换 稳定控制 1 68 稳定域 稳定性 1 69 稳定化 稳定区域 1 70 移相空间矢量调制 移动预测 1 71 离轴式拖车 移动计算 1 72 离线示教 移动agent 1 73 离散趋近律 磁浮列车 1 74 离散切换系统 磁流变阻尼器 1 75 磁浮列车 直立姿态 1 76 磁力泵 目标跟踪 1 77 矩形混杂自动机 电路实验 1 78 目标定位 电压暂降 1 79 电源管理 生存域 1 80 状态转换 状态转换 1 81 状态观测器 状态约束 1 82 灰色预测模型 状态切换参数 1 83 滞后切换规则 燃料电池 1 84 滑行力 热点 1 85 温度监测 滑行力 1 86 混沌 滑模 1 87 混杂自动机 混杂状态反馈 1 88 浪涌电压 流量自适应 1 89 流体力学 永磁同步电机 1 90 模糊输出反馈 水下超高速航行体 1 91 模糊控制 欠驱动系统 1 92 模型预测控制 模糊输出反馈 1 93 李亚普诺夫函数 模糊观测器 1 94 有限状态markov模型 模糊开关控制器 1 95 最大比合并 模糊pi控制器 1 96 最优控制 模型预测控制 1 97 晶闸管 模型融合 1 98 时间-状态能控形 柔性功率调节器 1 99 时滞相关 极点配置 1 100 时滞 服务质量 1 101 时延 有向图 1 102 时变参数 时滞系统 1 103 无线网卡动态关闭 时延 1 104 无线传感网 时域法 1 105 无线传感器网络 无线web访问 1 106 方案设计
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
科研热词 状态爆炸 模型检测 马尔科夫链 连续petri网 车辆路径问题 线性时序逻辑性质 精化 知识表示 目标计划 状态空间 状态格局 死锁检测 模糊聚类分析 模型检验 模块化分析 权值扩展有限状态机 时间自动机 整数规划模型 数字媒体 抽象解释 抽象精化 抽象模型检验 抽象与组合 强保留 并发程序 常微分方程 层次petri网 完备性 安全协议 多主体系统 可达标识图 可达性分析 反例引导 协议一致性测试 动态故障树 偏序化简 二进制决策图 二叉决策图共享存储 petri网 cegar算法 burst mode异步控制电路,burst mode状态机,
53 54 55 56 57 58 59 60ห้องสมุดไป่ตู้
uppaal pvs obdd ltl jpf工具 data-race算法 cache一致性协议 büchi自动机
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 1 1 1 1 1 1 1 1 1
推荐指数 5 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
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
科研热词 模型检测 限界模型检测 测试序列 安全协议 验证 马尔可夫链 非线性 链式模型 谓词抽象 语义web服务组合 规则推理 自适应搜索 绝热剪切 约减 等价类划分 离散事件仿真模型验证 知识库 着色petri网 电弧薄层 电弧 状态约简 状态空间爆炸 状态格局 状态 爱因斯坦谜题 爆炸气流 爆炸容器 爆炸力学 温度分布 测试用例生成 模型转换 概率计算树逻辑 概率时态认知逻辑 构件系统 时间行为协议 时间接口自动机 时间接口 数字媒体 扩展有限状态机 形式系统 形式推理 形式化分析 强度准则 应力不变量组合 并行模型检验 工作流 属性 层次srn 实时构件 安全性验证 失效模式 多智体系统
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
科研热词 自省 自律计算 性能评价进程代数 常微分方程 验证 马尔科夫模型 顺序图 非否认协议 重要度测量 重要度指标 过程总线 贪心策略 节点关联关系 脆弱性分析 网络脆弱性分析 网络安全 约束消息覆盖准则 相对重要度 特征匹配 爆轰 爆燃 爆炸力学 灵敏性分析 深度数据包检测 测试用例 正则表达式 模型检验 模块化可达图 模块化分析 构件 服务组合 有限自动机 攻击意图 攻击场景 抽象 扩展串空间 弱点遍历 多目标攻击图 多处理机系统 圆锥激波 可靠性 参数化系统 协议验证 化学反应诱导区 公平性 保护系统 二值决策图 事件分离状态 中介器 不稳定 web应用 petri网
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
53 iec61850 54 eca规则 55 cache一致性协议
1 1 1
2011年 科研热词 状态空间爆炸 状态和内存管理 模型检验 模型检测 形式化方法 随机进程代数 进程代数 软件可达性 网构软件 综述 线性代数 约束满足问题 等效模拟 符号算法 空间信息处理平台 瞬态卸荷 着色petri网 爆破 深埋隧洞 求解算法 模型确认 桶消元 有序二叉决策图(obdd) 时间事件模型 时序分析 故障树分析 形式化验证 开挖 岩石力学 层次建模 安全性 同构节点 可靠性分析 动态故障树 仿真 任务间通信与同步 任务调度 web应用 sat qbf pepa on-the-fly验证 bittorrent协议 推荐指数 4 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
推荐指数 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 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
科研热词 模型检验 谓词抽象 抽象求精 sat petri网 非空性检测 运行信息 软件验证 赋时变迁 蒙特卡罗仿真 自动规划 自动机ttoa 翻译器 网络安全 线性时态逻辑 线性时序逻辑性质 等价关系 离散时间自动机 状态爆炸 深度报文检测 测试生成 正确性 正则表达式 模式匹配 模型调试 模型检测 构件组合 显式状态枚举 时间输入输出 时间自动机 故障 操作语义 插值 形式表示 形式化验证 形式化分析 广义随机petri网 并行程序 工作流网 实时测试 多处理机系统 启发式搜索 可达性分析 可视化建模工具 反例引导的抽象精化 反例 协议识别 协议测试 动态可靠性 分层模型 分层任务网格 互操作性测试