×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [15]
内容类型
期刊论文 [9]
学位论文 [6]
发表日期
2021 [1]
2014 [1]
2012 [1]
2007 [2]
2006 [3]
2005 [3]
更多...
学科主题
计算机科学技术::计... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共15条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
扩展正则表达式及其自动机的学习算法的研究
学位论文
博士, 北京: 中国科学院研究生院, 2021
作者:
汪小凡
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2021/06/22
扩展正则表达式,有限自动机,学习算法,成员资格
确定性正则语言的研究
学位论文
博士, 北京: 中国科学院研究生院, 2014
陆平
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2014/05/29
有限自动机
确定性正则表达式
计算复杂性
算法
基于扩展自动机的服务组合静态与动态验证方法
期刊论文
通信学报, 2012, 期号: S1, 页码: 1-8
张广泉
;
狄浩军
;
石慧娟
;
晏荣杰
;
朱雪阳
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/17
Web服务组合
定量属性
有限自动机
CTL
UPPAAL
有限自动机密码体制及其应用研究
学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
韩小西
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2011/03/17
有限自动机
弱(可)逆有限自动机
数字签名
前向安全
同时签名
工作流过程图形建模及基于自动机的动态语义
期刊论文
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 1, 页码: 8-13
董广智
;
田勇
;
柳军飞
收藏
  |  
浏览/下载:130/5
  |  
提交时间:2011/07/01
工作流过程
图形建模
反应式控制
自动机
动态语义
工作流
图形建模
有限状态自动机
动态语义
Dynamic Semantics
过程元模型
语义正确性
图形表示
过程执行
过程模型
运行时
可表示
反应式
中心
应用
行为
活动
有限精度时间自动机的可达性检测
期刊论文
软件学报, 2006, 卷号: 17, 期号: 1
晏荣杰
;
李广元
;
徐雨波
;
刘春明
;
唐稚松
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2010/08/26
有限精度时间自动机
符号化方法
模型检测
可达性
一种基于有限精度时间自动机的模型检测工具
期刊论文
计算机应用研究, 2006, 期号: 5, 页码: 121-125
徐雨波
;
晏荣杰
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2011/07/13
模型检测工具
实时系统
数据结构
有限精度
时间自动机
有限精度时间自动机的时钟表示
期刊论文
计算机应用研究, 2006, 期号: 7, 页码: 23-25,31
刘春明
;
晏荣杰
;
徐雨波
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2011/07/13
有限精度时间自动机
模型检验
符号化方法
FAPKC签名和加密混合使用的安全性分析
期刊论文
计算机研究与发展, 2005, 卷号: 42, 期号: 10, 页码: 1692-1697
韩小西
;
姚刚
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2011/07/28
有限自动机
混合使用
安全性
加密
签名
公钥签名
公钥加密系统
混合使用
密码系统
密码体制的安全性
有限自动机
损害
密钥
关联关系
公开钥
证明
用途
应用
分解弱可逆有限自动机的两个结果
期刊论文
计算机研究与发展, 2005, 卷号: 42, 期号: 4, 页码: 690-696
王鸿吉
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/07/28
有限自动机
弱可逆
延迟
分解
输出权
τ步弱可逆
有限自动机
Finite Automata
严格延迟
不可分解
密码体制的安全性
输出权
公开问题
分解问题
充分条件
有状态
强连通
公开钥
证明
基础
构造
©版权所有 ©2017 CSpace - Powered by
CSpace