×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [4]
北京大学 [1]
大连理工大学 [1]
武汉大学 [1]
内容类型
期刊论文 [5]
学位论文 [2]
发表日期
2017 [1]
2008 [1]
2006 [2]
2003 [1]
1995 [1]
1992 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共7条,第1-7条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
有限度的规避——凯亚尔司法规避观点评析
学位论文
2017
作者:
吴兵
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/05
规避规则
重写权
创造性规避
反新颖原则
含假结RNA二级结构类的图语法
期刊论文
计算机工程与应用, 2008, 卷号: 44, 页码: 23-25,105
作者:
高世乐
;
丁克诠
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/27
假结
RNA二级结构
重写规则
图语法
基于时序逻辑的编译优化形式化描述及测试用例生成方法
学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
夏勇
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2011/03/17
编译优化
循环优化
时序逻辑
关键结点控制图
重写规则
一种基于图重写的计算机安全风险分析系统
期刊论文
计算机科学, 2006, 卷号: 33, 期号: 8, 页码: 271-274
李娜
;
谢冬青
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/13
风险分析
图重写
终止
最小覆盖
图重写
计算机
安全风险
分析系统
Graph Rewriting
Analysis Model
重写规则
风险分析
模型
方法
最小覆盖
统一视图
决策集合
基础
攻击步骤
项重写
利用图
复杂度
二分图
证明
基于幂表的并行加法器的归纳验证
期刊论文
电子学报, 2003, 卷号: 31, 期号: 6, 页码: 932-936
张欢欢
;
邵志清
;
宋国新
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/07/29
重写
归纳
加法器
描述
验证
并行加法器
描述和验证
重写规则
硬件电路
技术验证
归纳证明
功能描述
基础
软件开发过程中的形式化方法
期刊论文
计算机科学, 1995
朱冰
;
梅宏
;
杨芙清
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2015/11/10
形式化方法
软件开发过程
形式化规范说明
规范描述
软件系统
重写规则
谓词逻辑
谓词演算
模块库
软件生命周期
基于重写技术的自动定理证明
期刊论文
计算机科学, 1992, 期号: 2, 页码: 79-80,24
张健
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2010/08/11
一阶逻辑
自动定理证明
技术
推理规则
重写规则
完备化过程
项重写系统
基本思想
证明方法
不等式
©版权所有 ©2017 CSpace - Powered by
CSpace