中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共56条，第1-10条 帮助

条数/页： 排序方式：
基于行为特征的CPU漏洞发现与利用方法研究 学位论文  OAI收割
硕士, 北京: 中国科学院大学, 2020
作者:  刘迎辉
  |  收藏  |  浏览/下载：17/0  |  提交时间：2020/06/10
知识驱动下的水文模型参数智能化设置方法 中文期刊论文  OAI收割
2016
作者:  江净超;  余洁;  秦承志;  刘军志;  李润奎
收藏  |  浏览/下载：27/0  |  提交时间：2016/12/27
知识驱动下的水文模型参数智能化设置方法 中文期刊论文  OAI收割
2016
作者:  江净超;  余洁;  秦承志;  刘军志;  李润奎
  |  收藏  |  浏览/下载：24/0  |  提交时间：2017/11/07
汉语词典义的语义理解研究 学位论文  OAI收割
工学博士, 北京: 中国科学院研究生院, 2015
作者:  赵美静
收藏  |  浏览/下载：93/0  |  提交时间：2016/04/25
数据库形式化安全策略模型建模及分析方法 期刊论文  OAI收割
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
  |  收藏  |  浏览/下载：28/0  |  提交时间：2016/12/09
带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割
计算机系统应用, 2014, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松
  |  收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16
连续时间马尔科夫链模型上的模型检测算法研究与工具实现 学位论文  OAI收割
硕士, 北京: 中国科学院大学, 2013
高杨
  |  收藏  |  浏览/下载：31/0  |  提交时间：2013/05/31
基于问题模式的形式化软件规格说明生成方法 期刊论文  OAI收割
计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360
王昌晶; 罗海梅; 左正康
  |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17
CTCS-3级列车运行控制系统的形式建模 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2012
权曌
  |  收藏  |  浏览/下载：26/0  |  提交时间：2012/05/31
基于PAR的排序算法自动生成研究 期刊论文  OAI收割
软件学报, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤; 薛锦云
  |  收藏  |  浏览/下载：10/0  |  提交时间：2013/09/17