确定型有穷自动机状态极小化的研究

在树图分割法基础上,对确定型有穷自动机的极小化进行了研究.利用树图分割法,可以在状态的3次方时间内对确定型有穷自动机状态进行极小化.     

基于自动机的XML数据流查询处理技术

XML已成为Internet上数据表示和交换的标准,在许多涉及 海量数据交换的重要应用系统中,XML数据是以流的形式存在的,如何在XML数据流上有效地 执行大量的XPath查询,成为数据流应用中一个迫切需要解决的关键问题.针对XML数据 流的特点,分析了基于确定有穷自动机DFA和非确定有穷自动机NFA的XML数据流查询处理技术,总结了两种查询处理技术的特点并给出了下一步研究目标.     

波动方程二阶差分方法的研究及在矩形波导中的应用

通过中心差分法可将电场满足的波动方程化为一组耦合二阶差分公式形式。在所研究的问题仅涉及横向(X方向)时,此耦合电场二阶差分方程组简化为一非常简洁的形式,即一个单一电场(E1)去耦合二阶差分方程。它具有计算简单,节省计算机内存的特点。文中研究了其稳定条件,空间网格的划分特性和吸收边界条件,并与相应的FDTD方法进行了对比。在研究矩形波导中电感不连续问题中,计算出的数据与已发表的数据吻合得很好。     

有限自动机与多路自动机的关系

简单介绍了多路自动机的定义，分析了多种自动机和有限自动机的关系，包括确定的有限自动机和非确定的有限自动机，并且给出了例子，本文的结论推广了计算学习理论中可有效学习的类的范围。     

构造型的D2FA生成算法

Delayed input DFA (D²FA)中引入默认边来对确定状态机(DFA)进行状态转移精简. 为了提高D²FA生成算法的效率,分析了对正则表达式X得到的DFA(^∧X)与DFA(X)间的相关性,提出一种从DFA(^∧X)到D²FA(X)的构造型算法. 该算法将DFA(X)中的状态用DFA(^∧X)中的状态序列进行表示,从而基于状态序列进行默认边的选择,而不需要生成实际的DFA(X). 理论分析和实验结果表明,该算法降低了构造D²FA的算法复杂度,同时仍能保证进行模式匹配时的解析时间下限,以及对DFA的状态转移精简能力.     

元胞自动机模拟在市场营销中的应用

元胞自动机(CellularAutomata,CA)模拟技术为探索市场等复杂的经济和社会系统开创了新途径.本文运用CA模拟方法,研究具有消费行为依赖性的网络扩展市场的动力学演变行为,为新产品及新技术的扩散理论提供了微观经济学的机制.     

一种字符串模式匹配算法的实现

为寻求更有效的字符串搜索方法,利用有穷自动机的定义,分析KMP算法以及自动机状态转换规律,提出了一种新的字符串模式匹配算法.结果表明此算法具有比基本的串匹配算法更优越的算法复杂度,并且相对KMP算法而言更简洁易懂,在计算机上容易实现.     

外部连带效应商品场的元胞自动机模拟

建立了一种用于模拟外部连带效应市场的元胞自动机模型。模型的基本方法是将每个人视作元胞自动机的一个单元，它的演化规则取决于它的邻居在前一时刻的状态。模拟得到了一些基本的结果：（1）当所有人都倾向于购买和别人相同产品的时候，系统通常在若干周期后达到平衡，其平衡时的状态取决于初始状态；（2）在一些特殊区域中，最终的演化结果对于初始分布条件十分敏感，所谓的“蝴蝶效应”会发生。     

自动机及形式语言理论在网络分析中的应用

文中应用自动机及形式语言理论对网络流进行了描述,并给出了计算网络最短路径的两种方法。     

细胞自动机及其在模拟城市时空演化过程中的应用

对城市发展与演化过程的模拟和预测 ,需要地理信息系统 (GIS)等相关技术的支撑 .但目前的商用GIS不能完整地表达地理实体的时态信息和时空关系 ,缺乏时空分析和动态模拟的能力 .细胞自动机 (CellularAutomata ,简称CA)是一种“自下而上”的动态模拟建模框架 ,具有模拟地理复杂系统时空演化过程的能力 .文章从细胞自动机的原理和特征入手 ,介绍了CA模型的构造方法 ,对CA模型应用于城市时空演化过程的模拟及预测的可行性和可操作性进行了探讨 .     

细胞自动机原理及其在混凝土碳化模拟中的应用

在介绍细胞自动机建模基本原理的基础上,结合混凝土碳化的特点,将碳化看作是CO2在混凝土内部的扩散过程,建立了细胞自动机模型.算例分析表明:细胞自动机能较好地模拟混凝土碳化的演变过程,由CO2粒子在细胞间的随机扩散导出的局部规则在宏观上符合Fick第二扩散定律,通过进一步的扩展,将能对碳化过程中更为复杂的现象进行模拟.     

Logistic-Map混沌序列在二维置换网络中的应用

利用混沌映射产生的轨道点的遍历性及良好的相关特性，采用Logistic-Map映射产生的序列作为置换阵列的行地址和列地址，设计了一种二维置换网络，首先研究了Logistic-Map映射的性质，其次对混沌序列的遍历性和置换网络的时间复杂度进行了分析，同时还对置换网络的各种置乱指标进行了理论分析和统计验证，最后将所提出的置换网络用于图像的加密，计算机模拟结果显示，这种置换网络具有良好的置乱性质，可以增强信息系统的安全性。     

一类Kirchhoff型方程解的存在性和多重性

研究一类全空间上的下方无界Kirchhoff型方程,通过引进满足某种假设的位势函数使得所考虑问题的紧性得到恢复.首先证明带该位势函数的非线性项所对应的泛函是弱连续和连续可导的,然后证明所考虑问题的泛函在某个水平下是紧的,最后通过验证满足山路定理的几何条件证明该问题至少有一个非负非平凡解.由于所考虑问题具有对称性,因此同时又证得该问题至少存在一个非正非平凡解.