期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
一类约化梯阵的R_aR_b表示
1
作者 王浩 《软件学报》 EI CSCD 北大核心 1997年第10期772-780,共9页
本文首先阐明线性RaRb变换之间的关系,并提出了算法MRab,再引用标准线性RaRb变换,证明了RaRb变换与算法MRab求解方程组的能力是等价的.然后讨论MRab与算法ALT之间的关系,进而说明受ALT攻击的那些有限自动机包含在线性RaRb类中.
关键词 算法 有限自动机 约化梯阵 线性RaRb变换
在线阅读 下载PDF
R_aR_b Transformation of Compound Finite Automata over Commutative Rings 被引量:1
2
作者 王浩 《Journal of Computer Science & Technology》 SCIE EI CSCD 1997年第1期40-48,共9页
Some results on RaRb transformation of compound finite automata over finite field are generalized to the case of commutative rings. Properties of RaRb transformation are discussed and applied to the inversion problem ... Some results on RaRb transformation of compound finite automata over finite field are generalized to the case of commutative rings. Properties of RaRb transformation are discussed and applied to the inversion problem for compound finite automata. 展开更多
关键词 Finite commutative ring with identity finite automaton compound finite automaton r_ar_b transformation method
原文传递
关于复合自动机的一个注记
3
作者 王浩 《计算机研究与发展》 EI CSCD 北大核心 1997年第S1期115-119,共5页
非线性有限自动机M1与线性有限自动机M0的复合M=C′(M1,M0)用来设计公开钥密码体制.已经知道,对M1的一次广义线性RaRb变换,在一定条件下,可诱导出对M的一次广义线性RaRb变换.现已证明,这个条件是不必要... 非线性有限自动机M1与线性有限自动机M0的复合M=C′(M1,M0)用来设计公开钥密码体制.已经知道,对M1的一次广义线性RaRb变换,在一定条件下,可诱导出对M的一次广义线性RaRb变换.现已证明,这个条件是不必要的.并且指出,对M1的一次线性RaRb变换可诱导出对M的一次线性RaRb变换.然后讨论自动机复合的一些性质. 展开更多
关键词 有限自动机 有限自动机的复合 r_ar_b变换
在线阅读 下载PDF
基于继承的子类型机制
4
作者 王志坚 朱跃龙 胡吉明 《计算机学报》 EI CSCD 北大核心 1997年第12期1088-1094,共7页
本文扼要介绍继承的一个数学模型.在此基础上,通过对各种继承的形式刻划,研究了各种继承对子类型机制的影响.结果表明:单继承和图式继承支持强类型,线性继承不支持强类型.
关键词 继承 子类型 程序语言 数学模型
在线阅读 下载PDF
关于非线性有限自动机的弱可逆性 被引量:4
5
作者 王浩 《计算机学报》 EI CSCD 北大核心 1997年第11期1003-1008,共6页
根据RaRb变换所得方程是否有解或至多一解可判定有限自动机M是否为弱逆或弱可逆.本文证明这些充分条件与某类映射为满射或单射是等价的,从而减少了判定所需的工作量.本文还讨论了它们同时也是判定M为弱逆或弱可逆的必要条件的... 根据RaRb变换所得方程是否有解或至多一解可判定有限自动机M是否为弱逆或弱可逆.本文证明这些充分条件与某类映射为满射或单射是等价的,从而减少了判定所需的工作量.本文还讨论了它们同时也是判定M为弱逆或弱可逆的必要条件的情形. 展开更多
关键词 有限自动机 TR变换 自动机 非线性 弱可逆性
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部