机构

• 软件研究所 [3]
• 成都山地灾害与环境研... [1]
• 高能物理研究所 [1]
• 声学研究所 [1]

采集方式

• OAI收割 [6]

内容类型

• 学位论文 [4]
• 期刊论文 [2]

发表日期

• 2016 [1]
• 2013 [1]
• 2011 [1]
• 2010 [1]
• 2009 [1]
• 2008 [1]
• 更多

学科主题

• 计算机科学技术基础学... [2]
• 摄影测量与遥感技术 [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 扩展时序协作逻辑的模型检测方法研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 纪玮   |  收藏  |  浏览/下载：19/0  |  提交时间：2016/06/27 时序协作逻辑  博弈逻辑  模型检测  扩展时序协作逻辑   强流质子RFQ加速器时序控制系统的开发 期刊论文  OAI收割 核电子学与探测技术, 2013, 期号: 2, 页码: 146-148 作者:  白娇妮;  曾磊;  肖帅;  李芳 收藏  |  浏览/下载：38/0  |  提交时间：2015/12/14 强流质子射频四极场加速器  时序扩展  VME  实验物理及工业控制系统   构建度量区时序逻辑的时间自动机 期刊论文  OAI收割 计算机工程与设计, 2011, 期号: 2, 页码: 568-571,575 王勤思   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/10/10 模型检测  实时时序逻辑  度量区时序逻辑  基于迁移的扩展时间Bchi自动机  Tableau方法   构建度量区间时序逻辑的时间自动机 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2010 王勤思   |  收藏  |  浏览/下载：38/0  |  提交时间：2010/06/08 模型检测  实时时序逻辑  度量区时序逻辑  基于迁移的扩展时间Büchi自动机  Tableau方法。   粒子滤波理论及其在水下目标跟踪问题中的应用 学位论文  OAI收割 博士, 声学研究所: 中国科学院声学研究所, 2009 刘斌 收藏  |  浏览/下载：29/0  |  提交时间：2011/05/07 数据关联  扩展卡尔曼滤波 不敏卡尔曼滤波  粒子滤波  状态/参数估计 水下目标跟踪  序列蒙特卡罗  纯方位目标跟踪  杂波  传感器时序  协方差矩阵控制  二维分配  奇异值分解   基于时序遥感影像和面向对象分类技术的城市扩展信息提取研究 学位论文  OAI收割 硕士, 成都: 中国科学院水利部成都山地灾害与环境研究所, 2008 兴光 收藏  |  浏览/下载：44/0  |  提交时间：2010/10/14 时序遥感影像  面向对象分类技术  城市扩展信息提取