中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [5]
生态环境研究中心 [4]
计算技术研究所 [3]
沈阳自动化研究所 [2]
电子学研究所 [1]
光电技术研究所 [1]
更多
采集方式
OAI收割 [16]
内容类型
期刊论文 [11]
学位论文 [5]
发表日期
2019 [1]
2016 [2]
2011 [1]
2010 [1]
2007 [1]
2003 [2]
更多
学科主题
环境科学::环境化学 [3]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
筛选
浏览/检索结果:
共16条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于深度学习的飞机目标跟踪应用研究
期刊论文
OAI收割
光电工程, 2019, 卷号: 46, 期号: 9, 页码: 1-10
作者:
赵春梅[1,2]
;
陈忠碧[1]
;
张建林[1]
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2021/05/06
FDLAT
迁移学习
飞机目标
鲁棒跟踪
实时跟踪
基于运行阶段特征的虚拟机实时迁移技术
期刊论文
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
模型检测
实时时序逻辑
度量区时序逻辑
基于迁移的扩展时间Bchi自动机
Tableau方法
构建度量区间时序逻辑的时间自动机
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
王勤思
  |  
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2010/06/08
模型检测
实时时序逻辑
度量区时序逻辑
基于迁移的扩展时间Büchi自动机
Tableau方法。
一种基于时间自动机的实时系统测试方法
期刊论文
OAI收割
软件学报, 2007, 卷号: 18, 期号: 1, 页码: 62-73
陈伟
;
薛云志
;
赵琛
;
李明树
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2010/07/05
时间安全输入/输出自动机
实时系统测试
最简稳定符号状态迁移图
测试用例生成
时间符号迁移图上的可达性分析
期刊论文
OAI收割
计算机学报, 2003, 卷号: 26, 期号: 1, 页码: 19-25
陈靖
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/29
模型检测
协议
可达性分析
实时
时间符号迁移图
时间符号迁移图
检测算法
正确性证明
硬件设计
协议验证
建模语言
可达性
通信
模型Algorithms
Computer simulation
Mathematical models
Network protocols
Theorem proving
使用去调频宽带LFM信号的SAR实时成像处理
期刊论文
OAI收割
电子学报, 2003, 卷号: 31.0, 期号: 012, 页码: 1911
作者:
李明峰
;
王贞松
;
张涛
;
姚萍
;
韩冀中
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
SAR
去调频
实时成像处理
距离单元迁移校正
LFM
时间符号迁移图及其互模拟判定
期刊论文
OAI收割
计算机学报, 2002, 卷号: 25, 期号: 2, 页码: 113-121
陈靖
;
林惠民
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2010/08/24
并发
实时系统
数据传送
互模拟
时间符号迁移图 concurrency
real-time system
value-passing
bisimulation
timed symbolic transition graph
土壤中氯苯类化合物的迁移行为
期刊论文
OAI收割
环境科学, 2000, 卷号: 1, 期号: 6, 页码: 32-36
胡枭
;
胡永梅
;
樊耀波
;
王敏健
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2015/06/11
土壤污染
氯苯类化合物
迁移行为
实时模拟