回溯自动机的两个基本定理

本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。     

线性循环细胞自动机的动态分析

本文利用线性循环细胞自动机的线性循环特性,把自动机问题归结为有限环R=F_■[x]/(x~■-1)中的一些纯粹代数问题.即用中国剩余定理,把环R 分解成一些子环的直和.然后将与这些子环相对应的小自动机的功态特性合成为原来自动机的动态特性.     

一种扰动混沌跳频码的新方法

针对数字化混沌系统的有限精度效应及单一混沌跳频码相关性差、易被攻击的缺点,提出了利用细胞自动机产生伪随机序列来扰动混沌映射产生跳频码的方法,性能分析和数值仿真实验都表明这种方法极大的增加了系统抗干扰,抗截获的能力,尤其对序列的平衡性、汉明相关性,跳频间隔分布、抗预测性方面都有极大的提高,且结合细胞自动机自身特点,该结构便于硬件高速实现,具有广泛的应用前景.     

细胞神经网络的研究进展

本文综述了细胞神经网络的理论、硬件实现、软件系统以及一些应用。     

基于元胞自动机的复杂系统脆性仿真

复杂系统研究是当前的热点,脆性是复杂系统的一个基本属性．在一个复杂系统中,当一个子系统遭受足够大的打击而崩溃时,整个系统将会崩溃．元胞自动机是一个离散的动力学系统,它可以用来仿真复杂系统的行为．文章应用元胞自动机对复杂社会系统的脆性进行仿真．仿真结果说明传染病扩散对其它社会子系统具有很大的影响．作为复杂系统的一个子系统,传染病的大规模扩散会使社会混乱,进而得出它具有脆性的结论．     

面向网络流的自适应正则表达式分组匹配算法

针对当前的多正则表达式匹配算法占用较大的系统资源,且吞吐量较低的问题,在分析典型的正则表达式匹配算法的基础上,提出了一种自适应的多正则表达式分组匹配算法.该算法通过对正则表达式进行高效分组,将相互之间存在交叠且容易引起状态数指数增长的表达式相互隔离;将每个分组构造为一个确定性有限自动机(DFA),按匹配概率大小建立伸展树进行调度.仿真结果表明,该算法不仅大大节省了存储空间,而且吞吐量提高了大约3倍.     

基于FSA的模型检测算法研究

自动机就是描述系统行为的模型,通过它可以检测出系统实际工作时发生的状态,经过反复测试,诊断,以达到理想的模型。在基于自动机的模型检测中,前提是需要把非确定性FSA转化为确定性FSA,本文给出了非确定性自动机转换为确定性自动机的算法,最后分析该算法。     

ANN-CA模型改进及城市用地动态模拟

针对传统ANN-CA(artificial neural network—cellular automata)模型在城市动态模拟中用地转换阈值确定繁琐以及全局模拟效果不佳的问题?以ArcGIS和Matlab2012b为开发平台,构建了一个“自上而下”和“自下而上”相结合的改进模型,以重庆市南岸区为例进行土地变化模拟,对比模型改进前后的模拟效果并讨论邻域设置对模型精度的影响?结果显示,改进后模型的模拟结果不论是精度还是Kappa系数都高于传统模型的模拟结果,而且改进后模型转换阈值的设置方便灵活,无需经过多次试验来获取,随着邻域设置范围的增大,模型的模拟精度也得到一定的改善?     

概率有限自动机的交换性

提出了一类概率有限自动机并给出其交换的概念,得到了此类自动机交换的一些刻画,定义了两个概率有限自动机的和与积,并且得到了和自动机、积自动机交换的充要条件。     

On design of physical random access channel in high-speed railway LTE systems

For the uplink in the long-term evolution （LTE） systems, the physical random access channel （PRACH） adopts Zadoff-Chu （ZC） sequences as preamble sequences, and each user can choose a unique cyclic shift for user identification. In high-mobility scenario, the Doppler fre- quency shift raises up the false alarm probability by inducing the correlation peak offsetting at the receiver side. Traditional detection method utilizes multiple search win- dows for searching the potential uplink users. When the Doppler frequency shift is larger than the subcarrier spac- ing, the energy of correlation peak leaks outside the search window and increases the false alarm probability. In this paper, we present a novel design for PRACH preamble sequence for high-speed railway scenario. Through numerical observation, we find out that the offset of the correlation peaks only depends on the initial root sequence number and the length of ZC sequences. Therefore, the root number of ZC sequences should be carefully designed to generate a preamble sequence to fight against the Doppler frequency shift. Consequently, those offsets of the corre- lation peaks are concentrated within a single search win- dow, resulting in lower complexity of detection and lower probability of false alarm for random access in LTE uplink.