中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [4]
软件研究所 [2]
寒区旱区环境与工程研... [1]
光电技术研究所 [1]
自动化研究所 [1]
采集方式
OAI收割 [9]
内容类型
期刊论文 [7]
学位论文 [2]
发表日期
2013 [1]
2009 [2]
2006 [1]
2005 [1]
2003 [1]
1999 [2]
更多
学科主题
筛选
浏览/检索结果:
共9条,第1-9条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
陆地表层系统模拟和观测的不确定性及其控制
期刊论文
OAI收割
中国科学:地球科学, 2013, 期号: 11, 页码: 1735-1742
李新
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2014/12/19
不确定性
数据同化
尺度
可观测性
可预报性
模型
遥感
光电目标跟踪中的预测滤波技术研究
学位论文
OAI收割
博士, 光电技术研究所: 中国科学院光电技术研究所, 2009
熊茂涛
收藏
  |  
浏览/下载:54/0
  |  
提交时间:2013/11/19
光电目标跟踪
状态估计
机动目标
可观测性
Kalman滤波
粒子滤波
基于CLP模型的HDL设计可观测性分析
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2009, 卷号: 21, 期号: 5
作者:
李晓维
;
李华伟
;
吕涛
;
赵阳
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2010/11/05
功能验证
模拟验证
可观测性
逻辑约束编程
RTL可观测性语句覆盖评估方法
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2006, 卷号: 18, 期号: 1
作者:
李晓维
;
杨修涛
;
吕涛
;
鲁巍
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2010/11/22
可观测性
覆盖准则
模拟
针对可观测性语句覆盖准则的RTL激励生成
期刊论文
OAI收割
计算机研究与发展, 2005, 期号: 第12期, 页码: 2169~2175页
作者:
杨修涛
;
李晓维
;
吕 涛
;
鲁 巍
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2010/10/15
可观测性语句覆盖准则
激励生成
模拟
模拟验证中的覆盖评估准则
期刊论文
OAI收割
微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 40
作者:
吕涛
;
李晓维
;
樊建平
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
模拟验证
覆盖评估准则
电路结构
可观测性
有限自动机
错误模型
集成电路
几种可观性分析方法及在惯导中的应用
期刊论文
OAI收割
北京航空航天大学学报, 1999, 卷号: 25, 期号: 3
王丹力
;
张洪钺
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2010/08/23
惯性导航
可观测性
卡尔曼滤波
初始对准
惯导系统初始对准的次优滤波算法
期刊论文
OAI收割
北京航空航天大学学报, 1999, 卷号: 25, 期号: 4
王丹力
;
张洪钺
;
С.И.ГУЪАРЕНКО
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2010/08/23
惯性导航
可观测性
卡尔曼滤波
初始对准
关于控制系统稳定性、可控可观性若干问题的研究
学位论文
OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1997
作者:
王成红
收藏
  |  
浏览/下载:335/0
  |  
提交时间:2015/09/02
稳定性
可控性与可观测性
线性系统
线性区闻系统
非线性定常系统
连续非线性系统
游荡不存在条件
吸引域估计
Stability
Controllability and observability
Linear interval systems
Nonlinear autonomous systems
Continuous nonlinear systems
wa