中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共16条,第1-10条 帮助

条数/页: 排序方式:
基于深度学习的飞机目标跟踪应用研究 期刊论文  OAI收割
光电工程, 2019, 卷号: 46, 期号: 9, 页码: 1-10
作者:  
赵春梅[1,2];  陈忠碧[1];  张建林[1]
  |  收藏  |  浏览/下载:14/0  |  提交时间:2021/05/06
基于运行阶段特征的虚拟机实时迁移技术 期刊论文  OAI收割
通信学报, 2016, 卷号: 37.0, 期号: 1.0, 页码: 2016021
作者:  
云晓春;  邹庆欣;  郝志宇
  |  收藏  |  浏览/下载:2/0  |  提交时间:2023/12/04
基于等差划分的虚拟机实时迁移技术 期刊论文  OAI收割
高技术通讯, 2016, 卷号: 26.0, 期号: 003, 页码: 215
作者:  
邹庆欣;  郝志宇;  云晓春;  王冲华
  |  收藏  |  浏览/下载:1/0  |  提交时间:2023/12/04
构建度量区时序逻辑的时间自动机 期刊论文  OAI收割
计算机工程与设计, 2011, 期号: 2, 页码: 568-571,575
王勤思
  |  收藏  |  浏览/下载:19/0  |  提交时间:2011/10/10
构建度量区间时序逻辑的时间自动机 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2010
王勤思
  |  收藏  |  浏览/下载:37/0  |  提交时间:2010/06/08
一种基于时间自动机的实时系统测试方法 期刊论文  OAI收割
软件学报, 2007, 卷号: 18, 期号: 1, 页码: 62-73
陈伟; 薛云志; 赵琛; 李明树
  |  收藏  |  浏览/下载:13/0  |  提交时间:2010/07/05
时间符号迁移图上的可达性分析 期刊论文  OAI收割
计算机学报, 2003, 卷号: 26, 期号: 1, 页码: 19-25
陈靖
  |  收藏  |  浏览/下载:18/0  |  提交时间:2011/07/29
使用去调频宽带LFM信号的SAR实时成像处理 期刊论文  OAI收割
电子学报, 2003, 卷号: 31.0, 期号: 012, 页码: 1911
作者:  
李明峰;  王贞松;  张涛;  姚萍;  韩冀中
  |  收藏  |  浏览/下载:4/0  |  提交时间:2023/12/04
时间符号迁移图及其互模拟判定 期刊论文  OAI收割
计算机学报, 2002, 卷号: 25, 期号: 2, 页码: 113-121
陈靖; 林惠民
  |  收藏  |  浏览/下载:13/0  |  提交时间:2010/08/24
土壤中氯苯类化合物的迁移行为 期刊论文  OAI收割
环境科学, 2000, 卷号: 1, 期号: 6, 页码: 32-36
胡枭; 胡永梅; 樊耀波; 王敏健
收藏  |  浏览/下载:29/0  |  提交时间:2015/06/11