线性有限自动机的输入存贮性及其算法

讨论了线性有限自动机的输入存贮性,得到了线性有限自动机具有有限阶输入存贮的充要条件,并且给出了判断线性有限自动机有无有限阶输入存贮以及求线性有限自动机的输入存贮阶效的一些算法.     

有限自动机化合的一些结果

主要讨论了有限自动机的化合与化合前两个有限自动机的弱可逆性,严格延迟步数,弱逆以及线性的一些关系．     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

弱可逆有限自动机分解的一个结果

研究弱可逆有限自动机的分解可以为分析有限自动机公开钥密码体制的安全性提供一种重要途径。从输出权的角度讨论了一般的延迟r步弱可逆有限自动机M的分解问题,得到了它可以分解出k0（k0≤r）阶延迟元的一个充要条件,即M可以分解成延迟r-k0步弱可逆有限自动机和k0阶延迟元当且仅当M的所有状态的长k0输出权为1。     

有限交换环上的线性元胞自动机

在线性元胞自动机矩阵表示的基础上证明有限交换环上的线性元胞自动机的一组定理,并借此分析某些典型线性元胞自动机的演化性质.     

基于LMI的连续时间线性时滞系统有限频模型降阶

针对连续时间线性时滞系统, 研究了在系统工作频率范围为已知有限区间情形下的有限频模型降阶问题. 通过引入有限频域内误差传递函数的最大奇异值函数作为指标函数, 对模型逼近性能进行了刻画, 进而结合一些基础性的矩阵不等式技术和线性时滞系统性能进行分析, 得到了保持降阶模型稳定性的有限频模型逼近性能优化设计条件, 这些条件以线性矩阵不等式(linear matrix inequalities, LMIs)的形式表示, 易于检验和数值求解. 最后, 算例验证了结果的有效性.     

一类k阶拟Hyper-bent函数的刻画

首次给出k阶拟Hyper-bent函数的概念,研究了其中一类特殊的k阶拟Hyper-bent函数即Semi-bent函数,通过分析多项式GCD的条件,用秩为n-1的循环二元矩阵给出了这类函数的一种刻画.     

ρ-（h，φ）-弱预不变凸函数及其性质

利用BEN—TAL广义代数运算对强预不变凸函数和（h,φ）-η-预不变凸函数进行推广,定义了一类新的广义（h,φ）-凸函数-ρ-（h,Ф）-弱预不变凸函数,给出并证明了它的一些性质。     

可逆n阶k次幂等矩阵的性质

给出并研究了可逆n阶k次幂等矩阵的定义及其性质,讨论了可逆n阶幂等矩阵的性质。     

（k，q）阶分数差分方程的一个新解法

通过构造特殊函数Λ(-μ,λ),利用待定系数法,给出(k,q)阶分数差分方程的一个新解法。     

独立集可去的分数（k，m）-消去图的最小度条件

图G称为分数（k,m）-消去图,若从G中删除任意m条边的剩余子图依然存在分数k-因子．称G是一个独立集可去的分数（k,m）-消去图,如果对G中任意独立集I,G-,是分数（k,m）-消去图．本文给出独立集可去的分数（k,m）-消去图的最小度条件,并说明结论是最好的．     

广义T_（＋m）变换对极限k（k≥2）循环连分式的加速收敛

文章对极限ｋ（ｋ≥２）循环连分式的渐近分式序列定义了广义的Ｔ（＋ｍ）变换，在一定条件下，它用来对极限ｋ（ｋ≥２）循环连分式的加速收敛，根据序列｛ｆｎ｝的收敛性给出了选择最佳过程的可能性。     

k阶拟Bent函数的构造

给出了一类布尔函数为k阶拟Bent函数的充分必要条件，并给出了其循环Walsh谱特征和具体构造方法。另外，还给出了k阶拟Bent函数的一种递归构造方法。由此，可构造出大量的k阶拟Bent函数。     

基于RlGamal公钥体制的动态（k，n）门限密钥托管方案

首先对文献[3]所提出的门限密钥分割方案进行了整理分析,具体分析了其动态性,然后在此基础上提出了一种新的基于ElGamal公钥体制的动态（k,n）门限密钥托管方案。该方案具有如下特点：（1）可以防止闽下信道攻击;（2）在监听过程中,监听机构可以对托管代理交给其的子密钥进行验证;（3）解决了“一次监听,永久监听问题”;（4）具有动态性质。     

一类拟线性脉冲时滞双曲系统的（强）振动性

讨论一类具拟线性扩散项的脉冲时滞双曲系统解的（强）振动性质,利用脉冲微分不等式,得到了该类系统在Neumann边值条件下所有解（强）振动的若干充分条件。     

关于（k—1）容错直径或k直径的最大图

本文确定了阶为ｎ，（ｋ－１）容错直径为ｄ或ｋ直径为ｄ的ｋ连通图Ｇ的边数的最大值，并给出了相应的最大图．     

非线性微分系统的（h0，h，M0）—一致有界性质

给出了(h0,h,M0)—一致有界性质的定义,并用Lyapunov直接方法得到非线性微分系统(h0,h,M0)一致有界性质的若干结果。     

含causal算子分数阶非线性微分方程的拟线性方法

采用拟线性化方法讨论了含causal算子的分数阶非线性微分方程初值问题,通过构造2个单调迭代序列,证明了它们一致且平方收敛于给出问题的解.