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

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

线性有限自动机的UIO序列及其生成算法

对线性有限自动机的UIO序列进行了讨论,得到了线性有限自动机的任意一状态有某一长度的UIO序列的充要条件,得到了线性有限自动机的(所有)状态有UIO序列的的充要条件,还给出了有UIO序列的线性有限自动机的状态的最短UIO序列长度的上界,最后给出了判断线性有限自动机的所有状态有无UIO序列以及有求其UIO序列的两个算法.

线性有限自动机的同步序列及其生成算法

文章主要讨论了线性有限自动机的同步序列,得到了线性有限自动机有同步序列的充要条件,还讨论了一类输入存贮线性有限自动机及可等价嵌入输入存贮线性有限自动机的极小线性有限自动机的同步序列。最后给出了判断线性有限自动机有无同步序列以及求线性有限自动机(最短)同步序列的一些算法。

关于等价嵌入于存贮线性有限自动机问题

本文应用模的手段研究域上线性有限自动机等价嵌入于其中存贮类型的问题，分别得到可等价嵌入的一个充分条件与不可等价嵌入的一个充分条件．

非线性伺服电动机的神经网络逆控制

伺服电动机由于存在接触过程的非线性、温漂等非线性因素的影响,很难建立其精确的数学模型,使得基于数学模型的控制困难。针对伺服电动机存在的非线性问题,提出了一种新颖的基于BP神经网络直接逆控制方法。首先,利用BP神经网络建立系统的正向模型(NNI),然后,设计基于神经网络的直接逆控制器(NNC),实现了对伺服电动机的自适应控制。在Lyapunov稳定性分析的基础上,给出了BP算法学习算子的选择方案,保证神经网络权值训练的快速收敛,同时,对训练BP神经网络控制器的专用算法(specialized learning)进行改进,利用NNI的输出求取权值调整的灵敏度函数。数字仿真结果表明提出的控制算法是简单有效的。

T形交叉口信号配时的周期线性微分自动机建模与分析

本文将周期线性微分自动机(CLDA)理论应用于T形交叉口的信号配时问题.建立了T形交叉口排队的一类特殊形式的CLDA模型–切换服务系统.在假定车辆到达率和驶离率满足某种条件的情况下,基于该模型证明了在定相序情况下按照车辆排空后切换信号的配时策略能使车辆排队长度全局周期稳定,并给出了信号配时周期的计算公式.以北京市怀柔区富乐大街处的T形交叉口为例,针对全天候的车辆到达率和驶离率变化情况,应用本文结果进行了分时段信号配时.并使用CheckMate 3.6混杂系统工具箱进行了仿真,仿真结果进一步验证了本文结论的正确性.

有限自动机的线性化

采用多值逻辑函数的结构理论，首次定出了有限自动机线性化的充要条件；证明了基本线性内动机等价于序列密码中具有既约特征多项式的ＬＦＳＲ。

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

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

有限布尔代数上的线性自动机

自动机理论是计算机科学理论的重要组成部分。论文研究了布尔代数上的线性自动机,证明了任意一个线性有限自动机是函数布尔代数上的一个内动机。定出了有限布尔代数上的一类可逆线性内动机,给出并证明了有限布尔代数上内动机图型为下向森林的充分必要条件,给出了树型内动机中每一层节点数的计算公式,进而证明了有限布尔代数上的非可逆内动机图型为恰等叉支下向树的充分必要条件。

叠片磁轭式线性振荡电动机铁损研究(英文)

介绍了一种磁轭采用叠片结构的线性振荡电动机。在基于Steinmetz方程的前提下,借助有限元分析方法模拟了电动机铁损在磁轭中的位置分布情况以及在随电流和频率的变化规律,并设计实验对模拟结果进行了验证,得到了较为一致的吻合度。同时,实验比较了实心磁轭式与叠片磁轭式电动机样机的铁损大小,结果表明,在高频工况下,具有叠片结构磁轭的线性振荡电动机对铁损具有明显的抑制效果。

与线性混杂自动机等价的状态依赖空间模型

混杂系统可以由多种等价系统进行描述,本文研究用状态依赖空间模型对线性混杂自动机进行描述.线性混杂自动机是一类自治的不确定性系统,而状态依赖空间模型是含有输入的确定性系统.在状态依赖空间模型中,通过增加输入变量可以描述线性混杂自动机转换过程中的不确定性,进而将其转换成等价的状态依赖空间模型.本文所提到的等价性是指两个系统产生的轨迹是相同的.

交换环上的可逆线性有限自动机的维数讨论

在域上GF(P)和线性自动机文献 [1][2 ]给出较全面的研究。文献 [3]进一步对一般有限交换环上线性自动机的可逆性作了研究 ,本文在此基础上对输入、输出维数作了进一步的讨论。得到了一般环上可逆自动机必有l≤m ,并且当A可逆时l=m 。

线性有限自动机的线性τ-弱逆

本文研究有限域F上-给定τ-弱可逆线性有限自动机M的线性τ-弱逆的构作问题(τ为非负整数),把它归结为找出相应的自由响应生成矩阵,并且,①刻画了M的给定一个传输函数矩阵的所有线性τ-弱逆的自由响应模;②对一特殊情形,给出了求上述自由响应模中具最小F-维数者的一种计算上可行的方法。

混沌映射与可逆线性记忆元胞自动机相融合的图像认证加密算法研究

为了使加密系统拥有图像认证功能,能够防止图像在存储与传输过程中被各种攻击肆意篡改,并提高其加解密速度以及安全性,使可逆线性元胞自动机具备记忆贮存功能,提出一种可逆线性记忆元胞自动机。采用混沌映射与可逆线性记忆元胞自动机相融合的图像认证加密算法来增强加密系统的性能,采用的是图像块加密算法,而非传统的密码流。首先采用二维分段线性混沌映射对初始明文图像进行置乱,改变像素位置;然后对置乱图像进行分块,并利用Logistic映射和可逆线性记忆元胞自动机对每一块进行扩散加密处理,改变其像素值,随后将这些加密后的分块密文组合起来形成密文图像;将HASH方程引入到本文算法中,使其拥有图像认证功能。借助MATLAB仿真软件来验证本文算法,结果表明:所提出的图像认证加密新算法具有优异的加密性能,扩散机制高度安全,计算效率高,其密钥空间足够大,抗攻击能力大幅度提升。

(r,t)阶存贮拟线性有限自动机的极小化

实现将一个有限自动机极小化是一个困难的问题。通过零状态考虑了一类(r,t)阶存贮拟线性有限自动机极小化的判断方法,给出了极小线性有限自动机的描述,最后给出了基于系数矩阵的极小化算法实现。

线性有限自动机输入输出集的性质

证明了两个线性有限自动机化合而得到的自动机具有输入输出均匀的性质,建立了由两个延迟1步弱可逆线性有限自动化合后得到的自动机的输入集个数与化合前自动机输入集个数的等式关系。

基于矩阵模型表示的线性有限自动机弱可逆性的判定

主要讨论了基于矩阵模型表示的线性有限自动机的弱可逆性,利用矩阵模型得出了线性有限自动机延迟有限步弱可逆的充分必要条件,并且给出了线性有限自动机是否具有弱可逆的算法。

基于矩阵模型表示的极小线性有限自动机的最短初态试验序列判定

在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。

基于控制周期特征式的线性混合自动机验证

提出了一种基于归纳法思想的验证方法 ,通过控制周期上特性的描述 ,发现了基于控制周期特征式的线性混合自动机验证方法。这一方法采用定理证明过程来得出归纳证明的结构 ;采用模型检查方法来得出归纳证明的奠基和迭代步。这一方法同时兼顾了模型检查和定理证明的特点 ,用此定理证明更高的自动化程度解决了单用模型检查不能解决的问题 ,得出了对著名案例 GasBurner问题中的参数 3non- leakking≥ 76的最优范围。

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

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