122号元胞自动机的演化语言复杂性

研究了122号初等元胞自动机的演化语言,证明了其宽度为1的演化语言是正规的,宽度大于1的演化语言不是正规的。结果表明:仅用有限自动机是无法接受由122号初等元胞自动机产生的演化语言。     

禁止字方法在元胞自动机中的一个应用

给出了使用禁止字理论、计算机搜索和符号动力学研究初等元胞自动机演化语言的一种方法，并且使用该方法得到了27号初等元胞自动机演化语言在数学上的精确描述．     

126号初等元胞自动机的演化语言复杂性

元胞自动机是结构简单但行为复杂多样的离散动力系统.通过形式语言和符号动力学工具研究了126号初等元胞自动机的演化语言,证明了宽度大于1的演化语言不是上下文无关语言,而是上下文有关语言.     

126号初等元胞自动机的演化复杂性

用形式语言理论和符号动力学对126号初等元胞自动机的演化复杂性进行研究.证得其1-演化语言为正规的,而n≥2时其n-演化语言为非正规的.     

126号初等元胞自动机时间序列的非周期性

元胞自动机是结构简单但行为复杂多样的离散动力系统.本文以模拟90号初等元胞自动机为基础,证明了126号初等元胞自动机下任意有限初始条件迭代产生的时间序列是非周期的.     

基于元胞自动机的单向行人道行人交通仿真

行人仿真的研究可为行人设施的设计和管理提供有力的分析工具.近年来,元胞自动机已应用于机动车交通流的仿真.介绍了元胞自动机的相关概念,借鉴机动车交通流的元胞自动机仿真思想,结合前人行人交通仿真的研究,以单向行人道行人交通为研究对象,利用Java开发语言,编程实现了行人仿真.     

地理元胞自动机研究综述

从地理元胞自动机的应用范围、地理元胞自动机转换规则的获取、地理元胞自动机空间划分、元胞自动机与GIS的集成等方面回顾了地理元胞自动机模型的研究,对地理元胞自动机模型研究的发展趋势进行了分析,认为地理元胞自动机模型研究在以下几个方面需要进一步深入：（1）应用范围应进一步扩大;（2）在确定地理元胞自动机的转换规则时应综合考虑自然因素和社会经济因素;（3）应加强地理元胞自动机与多智能体系统的集成研究;（4）应加强对地理元胞自动机的尺度划分及尺度效应的研究;（5）应进一步深化地理元胞自动机与GIS的集成研究。     

初等元胞自动机在加法规则下的演化

本文总结了经典元胞自动机模型理论,并在此基础上定义了初等元胞自动机的加法规则。引入代数方法探讨了初等元胞自动机在其中一种加法规则下的演化性质,由此推出了一些相关性的结论。它是初等元胞自动机在其加法规则下所特有的,使其在模拟事物时更具有方向性,不但丰富了初等元胞自动机的理论,而且为研究元胞自动机的理论提供了可行的方案。为了便于直观的验证某些结论,本文利用了初等元胞自动机的状态迁移图来加以描述它的演化过程。     

基于元胞自动机理论的协同设计任务调度模型

分析了设计任务调度的特点,提出了基于元胞自动机理论的调度模型。对元胞自动机任务调度模型进行了数学描述,对设计任务调度的策略进行了分析,建立了元胞自动机目标调度模型,通过具体算例对所提出的模型进行了验证,表明元胞自动机模型可以有效地进行任务调度的优化。     

基于模糊元胞自动机的复杂图案、纹理生成实现

结合模糊规则和元胞自动机的机理,分析了模糊元胞自动机的基本原理,根据元胞自动机的不同构形,提出多种模糊元胞自动机演化规则,并根据这些基本规则,分别用3邻元、5邻元以及9邻元进行元胞状态更新,生成了多颜色\复杂、漂亮的图案和织物纹理,其结果在针织织物设计中意义重大.     

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

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

模糊极小自动机与约简模糊自动机

引进了模糊极小自动机与约简模糊自动机的概念 ,讨论了模糊有理语言与二者的关系 ,得到了几个重要结论 .     

Active XML Document Rewriting Based on Tree Automata Theory

The problem of document rewriting is a fundamental problem in active XML（AXML） data exchange and usually has a higher complexity. Prior work was focused on string automaton theory. This paper tries to solve it by using tree automaton. More precisely, the paper firstly defines a new tree automaton, active XML tree automaton （AXTA）, which can efficiently represent the set of AXML documents produced by an AXML document or AXML document schema. And then, an algorithm for constructing AXTA automaton is also proposed. Finally, a polynomial time（PTIME） determining algorithm for AXML document rewriting is presented based on AXTA automaton.     

7号初等元胞自动机生成的时间序列的复杂性分析

使用禁止字理论、计算机搜索和符号动力学的方法对7号初等元胞自动机生成的时间序列从形式语言的角度进行复杂性分析,确定了禁止字集及其Chomsky层次,确定了演化语言的一个精简的Chomsky层次,并由此得到了时间序列的完整描述.     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

有穷自动机中的等价性与等价归并算法

通过引入等价性原则，简化了对正则语言判定的步骤，并在有限自动机的状态集上引入等价关系，利用等价归并算法将给定的自动机中的等价状态进行归并，生成与其等价的最小自动机。     

自动机和形式语言结构的理论研究

利用半群代数理论进一步讨论了自动机和形式语言的理论结构．首先构造了一个简单的有穷自动机的么半群，用代数理论分析了其性质，并推广到非确定性有穷自动机的情况．然后对字母表关于连接运算构成的么半群的性质作了进一步探讨，并给出了二进制串生成的半环，及研究了它的结构理论。     

构件化嵌入式软件设计的能耗性质分析与验证

从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法.     

模糊树语言与模糊树文法的等价性

考虑采用正则表达式,有限自动机和文法来描述,提出了模糊树正则表达式的概念,得到了模糊树正则语言的可识别性,并证明了模糊树语言是正则的充分必要条件,这为进一步讨论模糊树自动机奠定了基础.