王浩

作品数:3被引量:4H指数:1
导出分析报告
供职机构:中国科学院软件研究所更多>>
发文主题:有限自动机自动机弱可逆AR磁卡更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机学报》《计算机研究与发展》《软件学报》更多>>
所获基金:国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-3
视图:
排序:
关于非线性有限自动机的弱可逆性被引量:4
《计算机学报》1997年第11期1003-1008,共6页王浩 
中国科学院八五重点科研项目;国家自然科学基金
根据RaRb变换所得方程是否有解或至多一解可判定有限自动机M是否为弱逆或弱可逆.本文证明这些充分条件与某类映射为满射或单射是等价的,从而减少了判定所需的工作量.本文还讨论了它们同时也是判定M为弱逆或弱可逆的必要条件的...
关键词:有限自动机 TR变换 自动机 非线性 弱可逆性 
一类约化梯阵的R_aR_b表示
《软件学报》1997年第10期772-780,共9页王浩 
国家自然科学基金;中国科学院"八五"重点科研项目
本文首先阐明线性RaRb变换之间的关系,并提出了算法MRab,再引用标准线性RaRb变换,证明了RaRb变换与算法MRab求解方程组的能力是等价的.然后讨论MRab与算法ALT之间的关系,进而说明受ALT攻击的那些有限自动机包含在线性RaRb类中.
关键词:算法 有限自动机 约化梯阵 线性RaRb变换 
关于复合自动机的一个注记
《计算机研究与发展》1997年第S1期115-119,共5页王浩 
国家自然科学基金
非线性有限自动机M1与线性有限自动机M0的复合M=C′(M1,M0)用来设计公开钥密码体制.已经知道,对M1的一次广义线性RaRb变换,在一定条件下,可诱导出对M的一次广义线性RaRb变换.现已证明,这个条件是不必要...
关键词:有限自动机 有限自动机的复合 R_aR_b变换 
检索报告 对象比较 聚类工具 使用帮助 返回顶部