中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [5]
地理科学与资源研究所 [4]
采集方式
OAI收割 [9]
内容类型
期刊论文 [5]
中文期刊论文 [2]
学位论文 [2]
发表日期
2024 [1]
2017 [1]
2014 [1]
2012 [1]
2010 [1]
2009 [1]
更多
学科主题
Computer S... [1]
计算机软件 [1]
筛选
浏览/检索结果:
共9条,第1-9条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
南沙海域搜救可达性评估
期刊论文
OAI收割
热带地理, 2024, 卷号: 44, 期号: 11, 页码: 2015-2024
作者:
石绍宸
;
吴文周
;
张鹏
;
苏奋振
  |  
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2024/12/12
海上搜救
可达性
加权Voronoi图
最小航行时间
南沙群岛
渤海海峡跨海通道客货流量预测分析
期刊论文
OAI收割
地理学报, 2017, 卷号: 72, 期号: 8, 页码: 1486
作者:
孙东琪
;
陆大道
;
王振波
;
徐建斌
;
申晓燕
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2020/03/23
渤海海峡跨海通道
客货流量
预测分析
时间序列曲线估算法
客货流量指数模型
GRNN模型
交通可达性
北京交通网络拓扑结构及可达性格局历史变化研究
中文期刊论文
OAI收割
2014
作者:
王少华
;
钟耳顺
;
张小虎
;
郑怀海
;
张珣
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2015/12/18
交通网络
时间序列
网络拓扑结构
相对可达性
可达性中心
基于可达性的中小文化旅游城市旅游潜力分析
中文期刊论文
OAI收割
2012
作者:
金凤君
收藏
  |  
浏览/下载:74/0
  |  
提交时间:2012/09/01
旅游潜力
交通可达性
时间可达性
中小文化旅游城市
基于Yices对时间自动机的有界模型检测
期刊论文
OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
收藏
  |  
浏览/下载:39/0
  |  
提交时间:2011/05/23
有界模型检测
时间自动机
SMT工具
可达性
安全性
逻辑公式bounded model checking
timed automata
SMT tools
reaehability
safety
logic formula
基于Yices对时间自动机的有界模型检测
学位论文
OAI收割
硕士, 中科院软件所: 中科院软件所, 2009
-
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2009/06/11
有界模型检测,时间自动机,SMT工具,可达性,安全性,逻辑公式
基于整数时间的实时系统符号化模型检测技术
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
晏荣杰
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/03/17
时间自动机
实时系统
模型检测
符号化方法
BDD
可达性
抽象方法
有限精度时间自动机的可达性检测
期刊论文
OAI收割
软件学报, 2006, 卷号: 17, 期号: 1
晏荣杰
;
李广元
;
徐雨波
;
刘春明
;
唐稚松
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2010/08/26
有限精度时间自动机
符号化方法
模型检测
可达性
时间符号迁移图上的可达性分析
期刊论文
OAI收割
计算机学报, 2003, 卷号: 26, 期号: 1, 页码: 19-25
陈靖
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/07/29
模型检测
协议
可达性分析
实时
时间符号迁移图
时间符号迁移图
检测算法
正确性证明
硬件设计
协议验证
建模语言
可达性
通信
模型Algorithms
Computer simulation
Mathematical models
Network protocols
Theorem proving