On relations between R_aR_b transformation and canonical diagonal form of λ-matrix

RaRb transformation over λ-matrix is defined and explored. Relations between Ra Rb transforma tion over λ-matrix and canonical diagonal form of λ-matrix are investigated and some results are given     

一种有限自动机公开钥密码体制和数字签名

本文提出一种基于有限自动机可逆性理论的公开钥密码体制,它的公开的加密算法由一个非线性延迟O步弱可逆γ阶输入存储有限自动机M和一个延迟τ步可逆(τ,τ)阶存储线性有限自动机M_1经过复合后所得的(τ γ,τ)阶存储有限自动机M所实现,它的秘密的解密算法由M_1的延迟τ步逆M_1′和M的延迟O步弱逆M所实现,这种有限自动机公开钥密码体制的保密性建立在求非线性有限自动机的弱逆的困难性和矩阵多项式因式分解的困难性之上,文中又讨论了用这种密码体制建立数字签名的方法。     

Structure of weakly invertible semi-input-memory finite automata with delay 2

Semi-input-memory finite automata,a kind of finite automata introduced by the author of this paper for studying error propagation,are a generalization of input-memory finite automata by appending an autonomous finite automaton component.This paper gives a characterization on the structure of weakly invertible semi-input-memory finite automata with delay 2 in which input alphabets and output alphabets have two elements and autonomous finite automata are cyclic.For the structure of feedforward inverse finite automata with delay 2,Zhu first gave a characterization;from a result on mutual invertibility of finite automata,the result mentioned above also leads to a different characterization on the structure of feedforward result mentioned above also leads to a different characterization on the structure of feedforward inverse finite automata with delay 2.     

适应成组编码记录方式的一种磁带编码译码系统

1.引言用成组编码记录(GCR)方式提高磁带记录密度引起了国内外的注意。成组编码记录方式采用不归零制记录1和0,但要求先将数据进行同步编码,使得记录的编码后数据在每一道中相邻的0的个数至多为2。在 IBM 6250位/时系统中,同步编码采用“四变五”方案,即将4位数据转换为5位数据,在这五位中至多2个0相邻,边上至多1个0。在读出时,从带面读出的是经过同步编码的数据,故需要经过译码才能得出原来的数据。对于四变五同步编码,这种同步译码为“五变四”即将5位数据还原为4位数据。为了提高可靠性,当记带时,在同步编码     

一些非一次相关置换和对合的产生方法

本文讨论非一次相关置换和对合的产生问题.对于置换，首先给出了由给定置换进行仿射变换产生一类相关次数相同置换的方法，然后给出了由低维非一次相关置换递归产生高维非一次相关置换的方法，并估计了这些方法产生的置换个数.对于对合，给出了一个从特定非一次相关对合的不动点上构作不相交p-组产生非一次相关对合的方法，并估计出一个对合个数的松下界.     

矩阵多项式的几种特殊分解

在对有限自动机公开钥密码（ＦＡＰＫＣ）的分析中也提出了矩阵多项式的分解问题,本文研究几种特殊分解,即线性ＲａＲｂ变换导出的分解、化标准对角形导出的两种分解、线性本原分解和左本原分解。文中讨论了这些分解的关系,讨论了积Ｂ（λ）Ａ（λ）与Ａ（λ）的分解间的关系。最后,论述了这些结果在ＦＡＰＫＣ分析上的应用和意义。     

Input-trees of finite automata and application to cryptanalysis

In this paper,Weights of output set and of input set for finite automata are discussed.For a weakly invertible finite automaton,we prove that for states with minimal output weight,the distruibution of input sets is uniform.Then for a kind of compound finite automata,we give weights of output set and of input set explicitly,and a characterization of their input-trees.For finite automaton public key cryptosystems,of which automata in public keys belong to such a kind of compound finite automata,we evaluate search amounts of exhaust search algorithms in average case and in worse case for both encryption and signature,and success ful probabilities of stochastic search algorithms for both encryption and signature.In addition,a result on mutual invertibility of inite automata is also given.     

一种有限自动机密码及其软件实现

本文讨论一种有限自动机密码及其在微机上的软件实现.这种密码的编码和译码的速度是相当快的,在Z-80 8位微机上,其速度可达24000bps.假如用更快的机器,如IBM-PC机,即可得到更快的速度.这种有限自动机密码有非常强的保密性,它可以抵抗统计和机器识别的攻击.     

（4,4）—拉丁阵在密码设计上的一种应用

密钥流由m序列产生的流密码是可破的.【2,3]中提出了拉丁阵概念并给出了(4,4)-拉丁阵的枚举和计数.本文提出m序列冠以(4,4)-拉丁阵对应的置换族密码体制并论证了它的安全性.同时讨论了密钥中(4,4)-拉丁阵的产生方法.将m序列换为其它伪随机序列也是可行的.     

关于自动机功能的一些问题

本文旨在讨论自动机功能函数类的性质。在第一节中,我们证明了自动机与图灵机器的等价性。由于图灵机器理论与别的能行性理论,例如递归函数论是等价的,所以,我们可以充分利用数理逻辑中已有的工具来一般地研究自动机的功能问题。在第二节中我们初步考察了单一自动机的功能。所谓一个自动机是单一的,如果它的每一个境都是单一的,即该境的输入位数和输出位数至少有一个是0。已经证明:单一自动机