中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
自动化研究所 [4]
计算技术研究所 [2]
高能物理研究所 [2]
软件研究所 [2]
长春光学精密机械与物... [1]
电子学研究所 [1]
更多
采集方式
OAI收割 [15]
内容类型
学位论文 [7]
期刊论文 [7]
会议论文 [1]
发表日期
2024 [1]
2022 [1]
2017 [2]
2012 [1]
2011 [1]
2009 [1]
更多
学科主题
Remote sen... [1]
电子、通信与自动控制... [1]
计算机系统结构 [1]
筛选
浏览/检索结果:
共15条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于逐层增量分解的深度网络神经元相关性解释方法
期刊论文
OAI收割
自动化学报, 2024, 卷号: 50, 期号: 10, 页码: 2049-2062
作者:
陈艺元
;
李建威
;
邵文泽
;
孙玉宝
  |  
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2024/10/22
神经网络
可解释性
决策相关性
逐层相关性传播
类激活图
积分梯度
基于深度强化学习的群体协同决策方法研究
学位论文
OAI收割
中国科学院自动化研究所: 中国科学院自动化研究所, 2022
作者:
吴士广
  |  
收藏
  |  
浏览/下载:450/0
  |  
提交时间:2022/06/15
群体系统
协同决策
深度强化学习
多智能体强化学习
图注意力网络
基于目标轨迹停留区域的目标行为分析研究
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2017
罗庭
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2017/06/08
Move ability特征
停留区域检测
改进型DBSCAN算法
决策图
热点区域
Apriori算法
频繁路径
基于稀疏表示的医学图像融合技术研究
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2017
作者:
尹飞
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2017/06/12
医学图像融合
稀疏表示
字典学习
NSCT
决策图
多核DSP
基于二叉决策图的网络可达性计算
期刊论文
OAI收割
计算机工程与应用, 2012, 期号: 4, 页码: 74-76
作者:
朱随江
;
刘宇
;
刘宝旭
;
姜政伟
收藏
  |  
浏览/下载:55/0
  |  
提交时间:2015/12/15
攻击图
网络扫描
网络可达性
二叉决策图
大规模网络
数据通路型电路的形式化验证方法研究
学位论文
OAI收割
北京: 中国科学院研究生院, 2011
作者:
陈博文
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/06/07
形式化验证
数据通路
决策图
模型检测
数据抽象
*phdd
数据标记
自动机裁剪
时间自动机的LTL性质模型检测研究
期刊论文
OAI收割
计算机仿真, 2009, 卷号: 26, 期号: 5
彭云全
;
魏绪凯
;
李广元
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2010/08/26
时间自动机
模型检测
线性时序逻辑性质
二叉决策图共享存储
基于音素识别的语种识别技术研究
学位论文
OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2008
作者:
王士进
收藏
  |  
浏览/下载:67/0
  |  
提交时间:2015/09/02
多语言语种识别
NN-HMM混合模型
Multilingual声学模型
决策树语言模型
随机决策树语言模型
词图
系统融合
multilingual language identification
NN-HMM acoustic model
multilingual acoustic model
binary-decision tree language model
random forest based binary-decision tree language
word lattice
system combination
PRLM
PPRLM
一种基于图重写的计算机安全风险分析系统
期刊论文
OAI收割
计算机科学, 2006, 卷号: 33, 期号: 8, 页码: 271-274
李娜
;
谢冬青
  |  
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2011/07/13
风险分析
图重写
终止
最小覆盖
图重写
计算机
安全风险
分析系统
Graph Rewriting
Analysis Model
重写规则
风险分析
模型
方法
最小覆盖
统一视图
决策集合
基础
攻击步骤
项重写
利用图
复杂度
二分图
证明
整数乘法电路的形式化验证方法研究
期刊论文
OAI收割
计算机研究与发展, 2005, 期号: 第3期, 页码: 404~410页
作者:
王海霞
;
韩承德
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2010/10/14
形式验证
决策图
*phdd
反向替换方法