中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [10]
软件研究所 [4]
电子学研究所 [2]
兰州油气资源研究中心 [1]
自动化研究所 [1]
采集方式
OAI收割 [18]
内容类型
期刊论文 [14]
学位论文 [4]
发表日期
2024 [1]
2019 [1]
2016 [1]
2013 [1]
2012 [1]
2010 [2]
更多
学科主题
Computer S... [1]
筛选
浏览/检索结果:
共18条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
开放集模型自适应方法研究
学位论文
OAI收割
2024
作者:
高正清
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2024/06/04
开放集识别
测试阶段自适应
视觉-语言模型
基于极小碰集求解算法的测试向量集约简
期刊论文
OAI收割
计算机研究与发展, 2019, 卷号: 56.0, 期号: 011, 页码: 2448
作者:
欧阳丹彤
;
陈晓艳
;
叶靖
;
邓召勇
;
张立明
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
电路测试
自动测试向量生成
测试向量集
约简
故障覆盖率
极小碰集
固定型故障
基于处理器硅前性能验证平台的基准程序库设计方法
期刊论文
OAI收割
高技术通讯, 2016, 卷号: 26.0, 期号: 008, 页码: 713
作者:
张华亮
;
刘宏伟
;
刘天义
  |  
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2023/12/04
基准测试程序集
硅前性能验证
处理器验证
仿真加速器
基本块
验证平台
基准程序库
一种基于搭配的中文词汇语义相似度计算方法
期刊论文
OAI收割
中文信息学报, 2013, 卷号: 000, 期号: 1.0, 页码: 7
作者:
王石
;
曹存根
;
裴亚军
;
夏飞
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
语义相似度
词汇搭配
相似度基准测试集
酒东坳陷深部下沟组下段储层特征及控制因素
期刊论文
OAI收割
天然气地球科学, 2012, 卷号: 23, 期号: 2, 页码: 307-312
李伟
;
陈国俊
;
吕成福
;
杜贵超
;
李超
;
杨巍
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2012/08/16
根据大量钻井及岩心资料
结合薄片鉴定
扫描电镜
X-射线衍射和压汞实验等测试手段
对酒东坳陷深部下白垩统下沟组下段储层特征及其控制因素进行研究。研究表明
下沟组下段砂岩以长石质岩屑砂岩和岩屑质长石砂岩为主
成分成熟度和结构成熟度均较低
储集空间主要为次生溶蚀孔隙
同时也发育有原生粒间孔隙和裂缝
储层整体表现为特低孔特低渗的特征。该套砂岩储层储集性能主要控制因素为沉积相和成岩作用。沉积相带控制着砂体平面展布
成岩作用主要影响储层的孔隙结构特征和物性
其中压实作用和胶结作用导致储层的原生储集空间大量损失
储层物性被严重破坏
而溶蚀作用是孔隙得以改善的主要因素。
一种基于安全状态转移的简并测试集生成方法
期刊论文
OAI收割
软件学报, 2010, 卷号: 21, 期号: 3, 页码: 539-547
程亮
;
张阳
;
冯登国
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2011/05/23
安全操作系统测评
形式化方法
模型检测
测试用例化简
简并测试集security operating system verification
formal method
model checking
test case optimization
degenerate test set
蓝鲸文件系统中元数据与数据隔离技术
期刊论文
OAI收割
计算机工程, 2010, 卷号: 000, 期号: 002, 页码: 28
作者:
张建刚
;
许鲁
;
张敬亮
;
张军伟
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2023/12/04
蓝鲸文件系统
集群文件系统
元数据隔离
Dbench测试集
电话语音语种确认系统算法研究
学位论文
OAI收割
博士, 电子学研究所: 中国科学院电子学研究所, 2007
刘长娥
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2011/07/19
语种确认
语言模型
开集测试
电话语音语种确认系统算法研究
学位论文
OAI收割
博士, 电子学研究所: 中国科学院电子学研究所, 2007
刘长娥
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/07/19
语种确认
语言模型
开集测试
基于约束求解的自动化软件测试研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
严俊
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2011/03/17
约束求解
自动化软件测试
测试生成
最优测试集
测试准则