中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [8]
上海微系统与信息技术... [1]
上海光学精密机械研究... [1]
采集方式
OAI收割 [10]
内容类型
期刊论文 [7]
学位论文 [3]
发表日期
2018 [1]
2013 [1]
2009 [1]
2008 [1]
2006 [2]
2005 [1]
更多
学科主题
光存储 [1]
计算机科学技术 [1]
计算机科学技术::人... [1]
计算机科学技术::人... [1]
筛选
浏览/检索结果:
共10条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于词典学习和结构映射的语义解析技术研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2018
作者:
陈波
  |  
收藏
  |  
浏览/下载:46/0
  |  
提交时间:2018/06/11
语义解析
词典学习
结构映射
句子重写
语义图生成
一种基于项重写的密码模块API安全性检测算法
期刊论文
OAI收割
中国科学院大学学报, 2013, 卷号: 30, 期号: 5, 页码: 699-705
刘波
;
陈华
  |  
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2014/12/16
PKCS#11
模型检测
项重写
广度优先搜索
PKCS#11
model checking
term rewriting
breadth-first search
基于空值修复的数据库一致性查询方法
期刊论文
OAI收割
计算机应用研究, 2009, 卷号: 26, 期号: 11
黄飞
;
刘杰
;
叶丹
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2010/08/25
一致性查询
完整性约束
结构查询语言查询重写
修复
数据库
支持属性粒度数据库加密的查询重写算法
期刊论文
OAI收割
计算机研究与发展, 2008, 卷号: 45, 期号: 8, 页码: 1307-1314
成鹤群
;
冯登国
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2010/05/27
DAS模型
属性粒度数据库加密
查询重写
查询谓词
相关子查询
基于时序逻辑的编译优化形式化描述及测试用例生成方法
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2006
夏勇
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2011/03/17
编译优化
循环优化
时序逻辑
关键结点控制图
重写规则
一种基于图重写的计算机安全风险分析系统
期刊论文
OAI收割
计算机科学, 2006, 卷号: 33, 期号: 8, 页码: 271-274
李娜
;
谢冬青
  |  
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2011/07/13
风险分析
图重写
终止
最小覆盖
图重写
计算机
安全风险
分析系统
Graph Rewriting
Analysis Model
重写规则
风险分析
模型
方法
最小覆盖
统一视图
决策集合
基础
攻击步骤
项重写
利用图
复杂度
二分图
证明
DVD的三种可重写光盘格式
期刊论文
OAI收割
激光与光电子学进展, 2005, 卷号: 42, 期号: 5, 页码: 30, 31
赵春梅
;
阮昊
收藏
  |  
浏览/下载:2236/350
  |  
提交时间:2009/09/22
DVD
DVD
可重写光盘
rewritable disc
刻录格式
cutting format
基于幂表的并行加法器的归纳验证
期刊论文
OAI收割
电子学报, 2003, 卷号: 31, 期号: 6, 页码: 932-936
张欢欢
;
邵志清
;
宋国新
  |  
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2011/07/29
重写
归纳
加法器
描述
验证
并行加法器
描述和验证
重写规则
硬件电路
技术验证
归纳证明
功能描述
基础
TbFeCo薄膜的磁场调制直接重写性能研究
学位论文
OAI收割
硕士: 中国科学院研究生院(上海冶金研究所) , 1992
宋惠忠
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2012/03/06
TbFeCo薄膜
磁场
直接重写性能
基于重写技术的自动定理证明
期刊论文
OAI收割
计算机科学, 1992, 期号: 2, 页码: 79-80,24
张健
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2010/08/11
一阶逻辑
自动定理证明
技术
推理规则
重写规则
完备化过程
项重写系统
基本思想
证明方法
不等式