×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
贵州大学 [12]
软件研究所 [6]
武汉大学 [4]
大连理工大学 [3]
山东大学 [3]
重庆大学 [2]
更多...
内容类型
期刊论文 [25]
学位论文 [12]
会议论文 [3]
发表日期
2015 [2]
2013 [2]
2012 [2]
2011 [1]
2010 [4]
2008 [7]
更多...
学科主题
计算机科学技术基础学... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共40条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
自动机和拦截器在信息系统中的实现和应用-A设备公司管理信息系统
学位论文
: 河北大学, 2015
作者:
郭梓平[1]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/21
有穷自动机
权限
数据库
拦截器
管理信息系统
Pebble模糊有穷自动机和传递闭包逻辑
期刊论文
2015, 卷号: 29, 期号: 4, 页码: 38
作者:
范艳焕[1,2]
;
耿生玲[3]
;
李永明[2]
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
模糊有穷自动机
单体二阶逻辑
有界传递闭包模糊逻辑
Pebble模糊有穷自动机
改进的多模式串匹配算法及GPU并行化研究
期刊论文
中国科学院大学学报, 2013, 卷号: 30, 期号: 5, 页码: 706-712,719
钱权
;
朱伟
;
车弘毅
;
张瑞
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
多模式匹配
正则语句匹配
GPU
CUDA
multi-pattern string matching
regulation expression matching
GPU
CUDA
“编译原理”教学实践探究
期刊论文
计算机教育, 2013, 页码: 64-67,85
作者:
姚卫红
;
赵晶
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/11
编译原理
文法
有穷自动机
下推自动机
启发教学
教学策略
一类双向模糊有穷自动机
期刊论文
淮南师范学院学报, 2012, 卷号: 第3期, 页码: 8-11
作者:
郑兆岳
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/18
双向模糊有穷自动机
即时描述
正则语言
等价
一种非确定型有穷自动机的极小化方法
期刊论文
2012, 卷号: 33, 期号: 2, 页码: 148-151
作者:
张丽
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2020/01/02
自动机
非确定型自动机
子语言自动机
同态
极小化
多模式匹配自动机的构造与极小化
期刊论文
2011, 卷号: 13, 期号: 3, 页码: 129-131
作者:
张丽
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2020/01/02
有穷自动机
多模式匹配
等价关系
极小化
卫命令模型检测工具的设计与实现
学位论文
硕士, 北京: 中国科学院研究生院, 2010
王绍春
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2010/06/07
模型检测,卫命令,线性时序逻辑,自动机,偏序规约,双深度优先搜索,时序滤网
确定型有穷状态自动机的同态压缩
期刊论文
2010, 卷号: 27, 期号: 4, 页码: 95-99
作者:
文杰
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2020/01/02
确定型自动机
状态等价
极小化
同态压缩
基于前序关系的非确定型有穷自动机极小化算法
期刊论文
2010, 卷号: 45, 期号: 7, 页码: 34-38
作者:
张明明
;
秦永彬
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/31
非确定型有穷自动机
前序关系
状态合并
极小化
©版权所有 ©2017 CSpace - Powered by
CSpace