中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [2]
计算技术研究所 [1]
采集方式
OAI收割 [3]
内容类型
期刊论文 [3]
发表日期
2006 [1]
2003 [1]
1997 [1]
学科主题
筛选
浏览/检索结果:
共3条,第1-3条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
ISO 2022的有限状态机描述
期刊论文
OAI收割
中文信息学报, 2006, 卷号: 20, 期号: 6, 页码: 97-103
谢谦
;
芮建武
;
吴健
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2010/08/24
计算机应用
中文信息处理
编码字符集
ISO2022
有限状态机
有限信念集上修正的一种方法
期刊论文
OAI收割
软件学报, 2003, 卷号: 14, 期号: 5, 页码: 911-917
栾尚敏
;
戴国忠
  |  
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2010/06/01
信念修正
命题逻辑
一阶逻辑
有限信息集
用于协议一致性测试序列生成的状态规范化算法
期刊论文
OAI收割
通信学报, 1997, 卷号: 18.0, 期号: 002, 页码: 75
作者:
程时端
;
苏彤
;
倪群
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
协议一致性测试
测试集
有限状态机
信息论