中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [25]
长春光学精密机械与物... [4]
高能物理研究所 [3]
合肥物质科学研究院 [2]
西安光学精密机械研究... [2]
计算技术研究所 [1]
更多
采集方式
OAI收割 [41]
内容类型
期刊论文 [27]
学位论文 [14]
发表日期
2022 [1]
2017 [2]
2014 [1]
2013 [1]
2012 [1]
2011 [2]
更多
学科主题
信号与信息处理 [1]
核技术及应用 [1]
电子、通信与自动控制... [1]
计算机软件 [1]
筛选
浏览/检索结果:
共41条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
集无源精密延时与有源抖动补偿结合的同步模块设计
学位论文
OAI收割
北京: 中国科学院大学, 2022
作者:
  |  
收藏
  |  
浏览/下载:38/0
  |  
提交时间:2022/09/06
精密同步系统
时序同步
数字延时芯片
触发晃动
实验物理和工业控制系统在极向场电源控制系统中的应用
期刊论文
OAI收割
强激光与粒子束, 2017
作者:
何诗英
;
黄连生
;
高格
;
王广红
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2020/12/12
热核聚变实验装置
控制系统
设备支持
时序控制
极向场电源
实验物理和工业控制系统在极向场电源控制系统中的应用
期刊论文
OAI收割
强激光与粒子束, 2017, 卷号: 029
作者:
何诗英
;
黄连生
;
高格
;
王广红
;
朱黎黎
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2020/10/26
热核聚变实验装置
极向场电源
控制系统
设备支持
时序控制
时间自动机模拟器CTAV-Simulator的设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2014
喻灵婧
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/05/30
实时系统
时间自动机
时间Büchi自动机
模型检测
时序逻辑LTL
模拟器
强流质子RFQ加速器时序控制系统的开发
期刊论文
OAI收割
核电子学与探测技术, 2013, 期号: 2, 页码: 146-148
作者:
白娇妮
;
曾磊
;
肖帅
;
李芳
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2015/12/14
强流质子射频四极场加速器
时序扩展
VME
实验物理及工业控制系统
视频面阵CCD相机多模式成像技术
期刊论文
OAI收割
半导体光电, 2012, 期号: 06, 页码: 875-878
作者:
韩双丽
;
金龙旭
;
李国宁
;
张然峰
;
王文华
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2013/03/11
成像系统
面阵CCD
时序驱动
工作模式
重力时序变化系统稳定性的研究
期刊论文
OAI收割
大地测量与地球动力学, 2011, 期号: 5, 页码: 61-64+70
郭树松
;
祝意青
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2012/02/11
重力时序变化
慢时变系统
差分方程
参数序列
河西重力观测网
强流质子加速器时序控制系统
期刊论文
OAI收割
核电子学与探测技术, 2011, 期号: 11, 页码: 1210-1214
作者:
肖帅
;
曾磊
;
郭娴
;
徐韬光
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2015/12/14
强流质子加速器
时序系统
RS232
FPGA
LabVIEW
太阳能电池刻蚀机的控制系统研究
期刊论文
OAI收割
电子工业专用设备, 2008, 卷号: 37, 期号: 8, 页码: 4,20-22,31
作者:
张育胜
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2010/05/27
树形构
逻辑控制
系统
组合逻辑
时序逻辑
时序图
一种基于离散时间自动机的LTL性质检测工具
期刊论文
OAI收割
计算机仿真, 2008, 期号: 4, 页码: 80-83
张文亮
;
彭云全
收藏
  |  
浏览/下载:67/2
  |  
提交时间:2011/06/10
离散时间自动机
非空性检测
线性时序逻辑性质
时间自动机
检测工具
Timed Automata
状态空间爆炸
线性时序逻辑
利用模型
指数增长
压缩存储
性质验证
系统规模
时间空间
检测效果
检测速度
检测过程
检测方法
存储延迟
效率
算法
实验
技术