中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	南沙海域搜救可达性评估期刊论文 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