消息
×
loading..
中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [7]
长春光学精密机械与物... [2]
自动化研究所 [2]
计算技术研究所 [1]
国家空间科学中心 [1]
寒区旱区环境与工程研... [1]
更多
采集方式
OAI收割 [16]
_filter
_filter
_filter
筛选
浏览/检索结果:
共16条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
面向特征学习的图像开集识别方法研究
学位论文
OAI收割
2024
作者:
孙珈因
|
收藏
|
浏览/下载:26/0
|
提交时间:2024/05/23
开集识别
分布建模
层级注意力
频域滤波
反事实去混淆
直推式框架
基于编解码框架的端到端语音识别技术研究
学位论文
OAI收割
中国科学院自动化研究所: 中国科学院大学, 2020
作者:
董林昊
|
收藏
|
浏览/下载:58/0
|
提交时间:2020/06/13
语音识别技术
神经网络
编解码框架
端到端建模
采用滑模观测器的SGCMG框架伺服系统研究
期刊论文
OAI收割
电子测量技术, 2019, 卷号: 42, 期号: 04, 页码: 30-36
作者:
于跃
;
戴路
;
陈茂胜
;
孔令波
;
王超群
|
收藏
|
浏览/下载:21/0
|
提交时间:2020/08/24
单框架控制力矩陀螺
伺服系统
永磁同步电机
数学建模
滑模观测器
硬件设计
基于多Agent的实时自适应数据判读方法
期刊论文
OAI收割
计算机应用, 2017, 卷号: 37, 期号: 7, 页码: 2034
作者:
王静
;
王春梅
;
智佳
;
杨甲森
;
陈托
|
收藏
|
浏览/下载:51/0
|
提交时间:2017/12/19
有效载荷
自适应判读
多agent框架
面向活动建模
地学研究中的集成建模环境综述
期刊论文
OAI收割
科研信息化技术与应用, 2014, 期号: 01, 页码: 3-15
张耀南
;
龙银平
;
程国栋
;
何振芳
收藏
|
浏览/下载:14/0
|
提交时间:2015/11/18
地学e-Science
建模框架
集成建模环境
模型集成
生态水文
陀螺稳定平台中速度环的非线性实验建模
期刊论文
OAI收割
系统工程与电子技术, 2013, 期号: 04, 页码: 807-811
邓科
;
丛爽
;
孔德杰
;
沈宏海
;
尚伟伟
收藏
|
浏览/下载:60/0
|
提交时间:2014/03/07
建模分析
陀螺稳定平台
两轴四框架
模型辨识
可扩展的卫星网络建模与仿真研究
学位论文
OAI收割
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008
徐颖
|
收藏
|
浏览/下载:30/0
|
提交时间:2011/03/17
卫星网络
建模
仿真
高层体系结构
可扩展的建模与仿真框架
双重软件体系结构描述框架XYZ/ADL
期刊论文
OAI收割
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
|
收藏
|
浏览/下载:31/0
|
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
地形数据库增量信息数据建模及其RDF描述
期刊论文
OAI收割
吉林大学学报(地球科学版), 2007, 期号: 1, 页码: 195-199+203
朱华吉
收藏
|
浏览/下载:25/0
|
提交时间:2015/01/05
地形数据库
增量信息
超图数据模型
数据建模
资源描述框架
需求驱动的Web服务建模及其验证:一个基于本体的方法
期刊论文
OAI收割
中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊
;
金芝
;
吴步丹
|
收藏
|
浏览/下载:14/0
|
提交时间:2011/07/13
Web服务
环境本体
自动组合
π演算
形式化验证
需求驱动
Web服务
建模
验证算法
本体
组合模型
环境变化
能力描述
进程表达式
转换机制
验证方法
可满足性
操作
形式化
概念化
π演算
语义
行为
框架
交互
首页
上一页
1
2
下一页
末页