中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [15]
计算技术研究所 [5]
沈阳自动化研究所 [3]
金属研究所 [2]
新疆理化技术研究所 [1]
采集方式
OAI收割 [26]
内容类型
期刊论文 [17]
学位论文 [8]
会议论文 [1]
发表日期
2021 [1]
2015 [1]
2014 [2]
2012 [3]
2010 [2]
2009 [2]
更多
学科主题
机器人控制 [1]
计算机科学技术::计... [1]
筛选
浏览/检索结果:
共26条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
扩展正则表达式及其自动机的学习算法的研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2021
作者:
汪小凡
  |  
收藏
  |  
浏览/下载:58/0
  |  
提交时间:2021/06/22
扩展正则表达式,有限自动机,学习算法,成员资格
维吾尔语数词类命名实体的识别与翻译
期刊论文
OAI收割
计算机应用与软件, 2015, 卷号: 32, 期号: 8, 页码: 64-67+109
作者:
张磊
;
杨雅婷
;
米成刚
;
李晓
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2015/12/09
平行语料
数词类
命名实体
维汉机器翻译
有限自动机
确定性正则语言的研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2014
陆平
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/05/29
有限自动机
确定性正则表达式
计算复杂性
算法
基于状态反馈的多水下机器人队形控制研究
会议论文
OAI收割
11th World Congress on Intelligent Control and Automation (WCICA 2014), Shenyang, China, June 29 - July 4, 2014
作者:
李一平
;
阎述学
收藏
  |  
浏览/下载:72/0
  |  
提交时间:2014/12/29
自主水下机器人
队形控制
状态反馈
有限状态自动机(FSA)
基于扩展自动机的服务组合静态与动态验证方法
期刊论文
OAI收割
通信学报, 2012, 期号: S1, 页码: 1-8
张广泉
;
狄浩军
;
石慧娟
;
晏荣杰
;
朱雪阳
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2013/09/17
Web服务组合
定量属性
有限自动机
CTL
UPPAAL
一种提高时序安全属性静态检测实用性的方法
期刊论文
OAI收割
计算机学报, 2012, 卷号: 35.0, 期号: 002, 页码: 244
作者:
霍玮
;
李丰
;
丁兆伟
;
桑春雷
;
张兆庆
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
有限状态自动机
时序安全属性
切片技术
程序静态检测
F-衡量
一种基于智能有限自动机的正则表达式匹配算法
期刊论文
OAI收割
电子学报, 2012, 卷号: 40.0, 期号: 008, 页码: 1617
作者:
张大方
;
张洁坤
  |  
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2023/12/04
深度数据包检测
正则表达式匹配
确定型有限自动机
扩展有限自动机
智能有限自动机
一种面向深度数据包检测的紧凑型正则表达式匹配算法
期刊论文
OAI收割
中国科学. 信息科学, 2010, 卷号: 40, 期号: 2, 页码: 356
作者:
金军航
;
黄昆
;
张大方
;
谢高岗
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
网络安全
深度数据包检测
特征匹配
有限自动机
正则表达式
大规模复杂规则匹配技术研究
期刊论文
OAI收割
高技术通讯, 2010, 卷号: 000, 期号: 012, 页码: 1217
作者:
张树壮
;
罗浩
;
方滨兴
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
串匹配
正则表达式
字符串表达式
扩展字符串匹配
扩展有限自动机
低碳钢热变形中微观组织演变的元胞自动机模拟
学位论文
OAI收割
博士, 金属研究所: 中国科学院金属研究所, 2009
郑成武
收藏
  |  
浏览/下载:252/0
  |  
提交时间:2012/04/10
奥氏体/铁素体
热变形
动态相变
再结晶
晶体塑性有限元
元胞自动机