基于自动机技术的XML复杂数据类型验证

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法.使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率.     

改进的元胞自动机交通流模型

在Nagel-Schreckenberg模型(简称NS)的基础上,提出一种可应用智能交通系统(ITS)信息的新的交通流元胞自动机模型。其中考虑了有效间距及刹车灯的作用,并引入了可变安全间距的新概念。数值模拟表明:对于这种改进的ITS元胞自动机模型,道路交通量有了显著提高,体现了智能交通的优越性———有效地扩大交通流量,减少阻塞生成。当考虑快车和慢车的混合交通流时,发现即使少量的慢车也会导致交通流量大幅度下降,说明了严格实施快慢道行驶的必要性。     

细胞自动机的演化与计算理论’

本文介绍一细胞自动机的基础原理，讨论了细胞自动演化位形序列与形式语言的等价性，并给出９０规则与１５０规则的正则语言集，则时还建立了Ｔｕｒｉｎｇ机仿真９０规则的程序并给出相应的状态转移图。     

基于可接受性标准的复杂产品仿真系统在线评估框架

针对当前复杂仿真系统评估的滞后性问题,提出了基于可接受性标准(Acceptability Criteria,AC)的仿真在线评估方法。通过定性和定量AC到指标的映射模型来建立评估指标体系;引入指标集和评估函数,提出了仿真评估流程有限自动机七元组模型,给出仿真流程到评估自动机的映射关系和基于数据驱动的状态转移机制,实现评估过程自动化执行过程;基于上述成果设计了在线评估工具,通过案例验证了在线评估方法的有效性,表明该方法能够有效解决仿真系统评估滞后性问题。     

对象迁移自动机在TDT中的聚类研究

对象迁移自动机(OMA)是一种能够较好地解决话题识别与跟踪(TDT)中聚类问题的方法,但是,传统OMA模型由于聚类速度慢等缺点,难以满足TDT实时和增量聚类的要求.针对这一问题,本文一方面改进传统的OMA模型中自动机的动作设计,同时提出文档选择策略,加快了OMA的聚类速度.改进的方法在中等文档集上进行了实验,实验结果表明,该方法具有较好的聚类效果.     

分布式制造信息系统单元的Agent模型

建立分布式制造信息系统的多Agent系统模型时,要在对其功能需求进行分析的同时研究其控制需求．文中以柔性耦合自动机为工具建立各个单元的Agent抽象模型、计算结构和算法．在此基础上利用基于双向输出自动机的接口,以设备和原料仓的交互为例,研究了Agent之间的通信．结果表明,该模型可以同时对系统进行功能需求和控制需求分析,便于系统分析和设计．     

一种改进的Nagel-Schreckenberg交通流模型

在Nagel-Schreckenberg交通流模型基础上,通过局域密度及当前车速两个参数来实现对减速概率的控制,同时考虑规则的不同运作次序可能会对系统的演化产生非凡的影响,提出一个改进的一维元胞自动机交通流模型,并进行数值模拟,将模拟结果与实测数据进行比较.结果显示,适当调节系统的相关参数,可以实现畅行相→低速同步相→宽幅运动阻塞相的转变.从系统中可以发现同步流和相分离的存在,弥补了Nagel-Schreckenberg交通流模型无法实现大尺度同步流的缺陷.     

转向概率对平面环行交叉路口交通流的影响

从道路结构出发,建立了具有内、外环道的平面环形交叉路口元胞自动机模型,研究了转向概率对平面环行交叉路口交通流的影响.计算机模拟结果表明.各车道的交通流在转向概率影响下呈现出不同的特点.转向概率均在一定的系统密度区域内对车道的交通流存在影响.     

直线链码和形式语言

本文给出并比较了有关直线链码性质的几种表述,证明了直线链码的一个性质:若将全体直线链码所组成的集CL看作是{0,1,2,3,4,5,6,7}上的语言,则CL是上下文有关的.由于CL不是上下文无关语言,直线链码集CL在语言类中的归属就被完全确定了.     

具有中心车站的元胞自动机城市交通流模型

在Biham等人提出的二维元胞自动机交通流模型基础上,建立了具有中心车站的二维元胞自动机城市交通流模型,该模型考虑了对外交通对城市交通流的影响,推导出了这种二维CA交通流模型的演化方程.在计算机上模拟了在不同对外交通概率情况下的交通状况,得到了车辆在不同参数下交通流模型的基本演化图,进一步还模拟了城市长途车站数量对城市交通的影响.结果表明,较小的对外交通概率就会对城市交通状况产生较大的影响,适当增加中心车站的数量对城市交通状况有一定的改善.