机构

• 软件研究所 [12]
• 长春光学精密机械与物... [4]
• 上海技术物理研究所 [2]
• 合肥物质科学研究院 [2]
• 国家空间科学中心 [1]
• 遥感与数字地球研究所 [1]
• 更多

采集方式

• OAI收割 [23]

内容类型

• 期刊论文 [13]
• 学位论文 [9]
• 会议论文 [1]

发表日期

• 2017 [1]
• 2016 [1]
• 2014 [2]
• 2012 [1]
• 2011 [2]
• 2010 [2]
• 更多

学科主题

• 红外系统与元部件 [2]
• Computer S... [1]
• 微波遥感 [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]
• 更多

筛选

浏览/检索结果: 共23条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 多传感器动态参数实时采集与存储方法研究 期刊论文  OAI收割 液晶与显示, 2017, 页码: 372-379 作者:  韩力;  王世赞;  王军;  王磊;  何昕   |  收藏  |  浏览/下载：30/0  |  提交时间：2018/04/09 可编程逻辑器件  双fifo  双flash  实时存储  Usb   EAST中性束注入器电源故障实时监测系统设计 期刊论文  OAI收割 核电子学与探测技术, 2016, 卷号: 036 -   |  收藏  |  浏览/下载：23/0  |  提交时间：2020/10/26 分布数据采集  远程传输  实时  现场可编程逻辑门阵列   时间自动机模拟器CTAV-Simulator的设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2014 喻灵婧   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/05/30 实时系统  时间自动机  时间Büchi自动机  模型检测  时序逻辑LTL  模拟器   NBI 综合测试台真空监控系统设计 期刊论文  OAI收割 真空科学与技术学报, 2014, 卷号: 34 作者:  宋士花;  刘胜;  蒋才超;  胡纯栋;  谢远来   |  收藏  |  浏览/下载：9/0  |  提交时间：2020/10/26 可编程逻辑控制器  真空  实时监控  人机操作界面   基于红外双波段图像融合的实时信号处理技术研究 学位论文  OAI收割 : 中国科学院研究生院, 2012 作者:  李燕   |  收藏  |  浏览/下载：35/0  |  提交时间：2012/09/11 红外双波段图像融合  空中目标识别  实时信号处理  Pci Express总线  可编程逻辑阵列   构建度量区时序逻辑的时间自动机 期刊论文  OAI收割 计算机工程与设计, 2011, 期号: 2, 页码: 568-571,575 王勤思   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/10/10 模型检测  实时时序逻辑  度量区时序逻辑  基于迁移的扩展时间Bchi自动机  Tableau方法   尺度不变特征提取算法的实时实现 期刊论文  OAI收割 计算机工程与设计, 2011, 卷号: 32, 期号: 12, 页码: 4115-4118 作者:  佟新鑫;  朱丹;  李博 收藏  |  浏览/下载：19/0  |  提交时间：2012/05/29 特征点  实时  尺度不变特征变换  现场可编程逻辑门阵列  高斯差   构建度量区间时序逻辑的时间自动机 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2010 王勤思   |  收藏  |  浏览/下载：38/0  |  提交时间：2010/06/08 模型检测  实时时序逻辑  度量区时序逻辑  基于迁移的扩展时间Büchi自动机  Tableau方法。   改进的以SMT为基础的实时系统限界模型检测 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502 徐亮   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/05/23 限界模型检测  可满足性模块理论  实时系统  时间自动机  时间Kripke结构  带时间参数的计算树逻辑bounded model checking  satisfiability modulo theories  real-time system  timed automata  timed Kripke structure  TCTL (timed computation tree logic)   基于FPGA的红外焦平面阵列实时非均匀性校正 学位论文  OAI收割 : 中国科学院研究生院, 2009 作者:  苗丽峰   |  收藏  |  浏览/下载：21/0  |  提交时间：2012/08/22 红外焦平面  红外成像  非均匀性校正  现场可编程逻辑阵列  实时图像处理