输入存贮线性有限自动机的弱可逆性

应用输入存贮线性有限自动机的结构矩阵讨论了输入存贮线性有限自动机的弱可逆性,得出输入存贮线性有限自动机延迟0步弱可逆的充要条件、延迟τ步弱可逆和严格延迟τ步弱可逆的充分条件,由此条件得出延迟τ步弱可逆和严格延迟τ步弱可逆的输入存贮线性有限自动机的构造方法并且求出延迟0步弱可逆输入存贮线性有限自动机的一个弱逆.     

弱可逆有限自动机的化合与分解

本文证明了任何素数元延迟1步WIFA可以分解出一个延迟元与一个无延迟WIFA。故而k个素数元延迟1步WIFA的化合可以分解为一个无延迟WIFA与k个延迟元。另外对于二元延迟τ步WIFA,上述分解可行的充要条件是其所有状态的延迟步数均为τ。     

有限自动机公钥密码体制的密码分析

提出一种针对有限自动机公钥密码系统的攻击算法,它可在多项式时间内破译有限自动机公钥密码方案FAPKCO.这一算法的基本思想,原则上也可用来攻击其他有限自动机公钥密码方案,因而在设计新的有限自动机公钥密码系统时,必须讨论它是否经得住这种方法的攻击.     

线性有限自动机的可逆性*——传输函数的分类与枚举

记X为有限域F上弱可逆线性有限自动机所可能有的一切传输矩阵集合,对X进行了分类和枚举.     

输入存贮线性有限自动机的极小化

由输入存贮线性有限自动机的线性系数组成的矩阵得出输入存贮线性有限自动机极小的等价定理,由此定理得出输入存贮线性有限自动机的极小化方法.     

概率有限自动机的代数性质

研究了概率有限自动机的同态(弱同态)、有效划分等代数性质.首先,提出了完全的、不可约的概率有限自动机,概率有限自动机的并积等概念.然后,讨论了两个概率有限自动机的级联积、圈积、并积的有效划分与其因子的有效划分之间的关系,证明了在一定条件下两个概率有限自动机的级联积(并积)的商概率有限自动机与其因子的商概率有限自动机的级联积(并积)是相等的.最后,得到了概率有限自动机的极大有效划分的一个刻画.     

线性映射视角下矩阵的秩

向量空间之间的线性映射是线性代数研究的主要内容之一.从线性映射的视角考察线性代数知识可以更清晰地认识线性代数中重要知识点的本质.利用线性映射知识,对矩阵秩的几个重要命题给出了比较简洁的证明.     

用迹表示研究序列的线性复杂度

本文用迹表示式证明了序列的线性复杂度等于其秩矩阵的秩，并由此导出了正规基的计数公式．     

有限序列线性复杂度和的研究

本文对有限序列线性复杂度和的界、分布与期望进行了研究,得到一些新的结果。     

RAINBOW分组密码的线性密码分析

本文在对RAINBOW分组密码的基础模块深入研究和测试后,利用扩散层的特点,对RAINBOW分组密码进行了线性密码分析,攻击的数据复杂度为294,计算复杂度小于218.此结果显示RAINBOW分组密码对线性密码分析是不免疫的.     

自内射环与线性自动机的线性(弱)逆

设R为含幺有限交换环 ,τ为非负整数 .证明了 :(i)R上任意延迟 0步弱可逆的线性有限自动机都有线性延迟 0步弱逆 ;对τ≥ 1 ,R上任一延迟τ步弱可逆的线性有限自动机都有线性延迟τ步弱逆的充要条件是R为自内射环 . (ii)下列条件等价 :i)R为自内射环 ,ii)R上任一延迟τ步可逆的线性有限自动机都有线性延迟τ步逆 ,iii)对R上任一延迟τ步可逆的线性有限自动机 ,总存在τ′≥τ,使得它有线性延迟τ′步逆     

基于Rabin算法的超递增背包公钥密码体制的研究与改进

超递增背包公钥密码体制是基于超递增背包问题的密码体制,它使得加密解密的过程变得相对简单.但是,由于该体制本身存在一定的弱点,不少国内外学者都提出了破解方案.在超递增背包公钥的基础上,结合了Rabin算法,使得原先的密码体制变得更为灵活.改进后的算法不但在性能上保持了高效率,而且将原先的密钥变为公钥,可以根据用户需求动态地改变公钥,实现安全性的成倍提高.     

基于矩阵模型表示的(线性)有限自动机的同步序列判定

在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.     

线性次序统计量和线性秩统计量的渐近正态性

本文用凸函数构造了线性次序统计量和线性秩统计量,并证明了它们的渐近正态性．     

关于线性秩统计量的渐近正态性及其收敛速度

本文讨论线性秩统计量的渐近正态性的条件及其收敛速度．推广了Hajek关于线性秩统计量收敛于正态分布的条件的重要定理，并得出了一个较易验证的充分条件．对于一般形式的计分函数，在一定条件下得出了相应线性秩统计量收敛于正态分布的速度．     

复合有限自动机系统的不透明度

本文研究了由两个有限自动机组成的复合系统的不透明度的性质.利用J.-Y.Yao在其工作中给出的单个有限自动机系统的基本性质与算法,得到了复合系统是透明的和不透明的充要条件.     

矩阵空间上保弱伴随矩阵的线性映射

为了刻画矩阵空间上保弱伴随矩阵的线性映射f,引入了保弱伴随矩阵的概念,以矩阵的弱伴随矩阵为不变量,得到了当n≥3时数域F上从线性矩阵空间Mn×n（F）到Mm×m（F）的保弱伴随矩阵的线性映射f的形式．     

有限自动机的积与路代数的张量积

讨论了两个有限自动机积的路代数,得出了这些积的路代数与这两个有限自动机路代数的张量积的一些关系.     

Banach空间中有限秩拟线性投影算子的逼近问题

证得:在Banach空间中,相对紧集上的恒等算子可由一列有限秩连续拟线性投影算子一致逼近.由此得到:线性算子为紧线性算子必须且仅须它可由一列有限秩连续齐性算子一致逼近.     

一类基于秩次的稳健线性回归估计与诊断方法

线性回归模型的误差项不服从正态分布或存在多个离群点时,可以将残差秩次的某些函数作为权重引入估计模型来减少离群点的不良影响。本文从参数估计、稳健性质、回归诊断等方面对基于残差秩次的一类稳健回归方法进行介绍.通过模拟研究和实例分析表明,R和GR估计是一种估计效率较高的稳健回归方法,其中GR估计可同时避免X与Y空间离群点,而高失效点HBR估计可通过控制某个参数在稳健性与估计效率之间进行折衷.