中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [11]
地理科学与资源研究所 [2]
自动化研究所 [2]
计算技术研究所 [1]
南京天文光学技术研究... [1]
采集方式
OAI收割 [17]
内容类型
期刊论文 [12]
学位论文 [5]
发表日期
2023 [1]
2022 [2]
2012 [1]
2009 [3]
2007 [1]
2004 [3]
更多
学科主题
天文技术与方法 [1]
计算机应用 [1]
计算机科学技术基础学... [1]
筛选
浏览/检索结果:
共17条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
南极大型望远镜主轴驱动系统故障模拟平台研究
学位论文
OAI收割
北京: 中国科学院大学, 2023
作者:
顾晓杰
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2023/08/05
望远镜主轴驱动系统
符号有向图
故障模拟
故障注入
半实物仿真平台
通信受限的多智能体系统二分实用一致性
期刊论文
OAI收割
自动化学报, 2022, 卷号: 48, 期号: 5, 页码: 1318-1326
作者:
陈世明
;
姜根兰
  |  
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2024/05/20
多智能体系统
符号图
二分实用一致性
量化数据
通信时滞
具有对抗关系和时变拓扑的耦合离散系统有界双向同步
期刊论文
OAI收割
自动化学报, 2022, 卷号: 48, 期号: 3, 页码: 909-916
作者:
翟世东
;
刘佩
;
高辉
  |  
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2024/05/20
双向同步
有界双向同步
符号图
离散系统
基于带赋值符号迁移图的Monte Carlo模型检测
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2012
马明
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2012/06/13
Monte Carlo 模型检测
线性时序逻辑模型检测
带赋值符号迁移图
有导向的随机搜索
启发式算法
在线草图理解技术研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2009
-
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2009/06/11
在线草图理解,自适应符号识别,手写无机化学公式理解,结构理解,手绘概念图,结构化编辑,多通道交互,IdeaNote
中国1∶100万数字地貌图符号与注记系统库的设计和应用
期刊论文
OAI收割
地球信息科学, 2009, 卷号: 000, 期号: 006, 页码: 778
作者:
钱金凯
;
宋阳
;
程维明
  |  
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2021/03/16
符号库
注记库
数字地貌图
点状符号
线状符号
面状符号
中国1∶100万数字地貌图符号与注记系统库的设计和应用
期刊论文
OAI收割
地球信息科学, 2009, 卷号: 000, 期号: 006, 页码: 778
作者:
钱金凯
;
宋阳
  |  
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2021/03/16
符号库
注记库
数字地貌图
点状符号
线状符号
面状符号
一种基于时间自动机的实时系统测试方法
期刊论文
OAI收割
软件学报, 2007, 卷号: 18, 期号: 1, 页码: 62-73
陈伟
;
薛云志
;
赵琛
;
李明树
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2010/07/05
时间安全输入/输出自动机
实时系统测试
最简稳定符号状态迁移图
测试用例生成
带复杂数据结构的模型检测工具
期刊论文
OAI收割
计算机研究与发展, 2004, 卷号: 41, 期号: 11, 页码: 1990-1999
张轶
;
林惠民
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2010/08/24
模型检测
传值进程
带赋值符号迁移图
谓词μ演算
复杂数据结构 model-checking
value-passing process
STGA
predicate μ-calculus
non-trivial data structures
建筑平面图理解中对墙体符号的识别方法
期刊论文
OAI收割
计算机工程与应用, 2004, 卷号: 40, 期号: 10, 页码: 201-204
贾哲明
;
付永刚
;
戴国忠
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2010/06/01
符号识别
几何约束
建筑平面图