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

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

帮助

条数/页：排序方式：
	GIS中基于拓扑的简单线要素多边形化方法期刊论文 OAI收割计算机工程, 2013, 卷号: 39.0, 期号: 005, 页码: 57 作者: 周玉科; 周成虎; 马廷; 高锡章; 范俊甫 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2021/03/16 地理信息系统拓扑简单线要素多边形化图深度优先搜索
	GIS中基于拓扑的简单线要素多边形化方法期刊论文 OAI收割计算机工程, 2013, 卷号: 39.0, 期号: 005, 页码: 57 作者: 周玉科; 周成虎; 马廷; 高锡章; 范俊甫 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2021/03/16 地理信息系统拓扑简单线要素多边形化图深度优先搜索
	基于DFS的工程图多层次图块信息提取期刊论文 OAI收割计算机工程, 2012, 卷号: 38, 期号: 11, 页码: 192-195 作者: 尚文利收藏 \| 浏览/下载：16/0 \| 提交时间：2012/10/24 工程图信息提取深度优先搜索引用图块坐标变换引用路径
	卫命令模型检测工具的设计与实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2010 王绍春 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2010/06/07 模型检测，卫命令，线性时序逻辑，自动机，偏序规约，双深度优先搜索，时序滤网
	基于SCC空性检测中状态空间的缩减方法期刊论文 OAI收割计算机学报, 2008, 卷号: 31, 期号: 6, 页码: 979-988 晏荣杰; 张文亮; 唐稚松 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/06/10 空性检测基于迁移的扩展Büchi自动机可接受条件检测算法状态空间强连通图深度优先搜索最坏情况优势结合搜索算法接受条件检测过程布尔变量自动机性能迁移内存扩展标识Cellular radio systems Ketones
	裂隙岩体三维网络流的渗透路径搜索期刊论文 OAI收割岩石力学与工程学报, 2005, 期号: 04, 页码: 622-627 作者: 赵红亮; 陈剑平 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2018/06/25 岩石力学岩体水力学三维网络模拟深度优先搜索渗透路径