产品自动机后座到位速度低原因浅析

某产品自动机在９８年产品验收中，由于机框后座到位速度低而影响一次交验合格率，本文分析了其产生的原因及采取的措施。     

无灯控行人过街元胞自动机交通模型研究

以无灯控行人过街对交通流影响为分析目标,在综合考虑行人穿越行为及车辆行为的基础上,建立了相应的行人及车辆元胞自动机模型规则,尤其是在模型中提出了行人等待区的概念及基于等待区内有无行人的车辆行为规则。以上述模型为基础,通过对不同行人产生概率及速度快的行人比例情况时路段交通流演化趋势进行了仿真。     

考虑驾驶行为异质性的城市快速路合流区仿真模型

为研究城市快速路合流区车辆运行规律，基于车辆自然轨迹数据，提出考虑驾驶行为异质性的合流区元胞自动机仿真模型。模型将合流区分为上游区域、合流区域及下游区域，3个区域由11条路段组成。首先，利用Kalman滤波算法对自然轨迹数据进行降噪处理；然后，计算每辆车驾驶行为特征参数并进行K-means聚类分析，结合聚类效果评价指标Silhouette系数将驾驶行为分为：保守-谨慎型、激进-谨慎型、保守-轻率型及激进-轻率型这4种类型；最后，依据分类结果， 建立考虑加速度、随机慢化概率异质性的跟驰模型和考虑换道安全间距、换道决策的多级异质性换道模型。在各空间占有率的情境下，基于Matlab进行数值仿真，统计同质驾驶行为和异质驾驶 行为条件下，合流区域车道的流量、密度、速度、时空位置及换道频率等参数。仿真结果表明：在空间占有率为10%~20%时，同质交通流相比异质交通流更容易产生局部交通拥堵和交通流失效情境，并且同质交通流量峰值比异质交通量小27.1%；随着空间占有率的增加，同质车辆和异质车辆驾驶频率均呈现增加-稳定-下降的趋势，而异质驾驶行为换道频率的极大值比同质交通流高 20.74%。     

考虑洪水漫延过程的地铁车站人员疏散研究

提出一种基于元胞自动机同时分析洪水漫延和人员疏散的新方法,以此研究洪水漫延对行人疏散过程的动态影响.基于元胞自动机原理,利用元胞及其周围相邻元胞上一个时间步长的相关状态变量进行水量转移计算,结合洪水漫延对行人的移动速度和运动方向的影响,建立洪水漫延下人员疏散的分析模型,通过数值仿真研究洪水漫延和人员疏散的动力过程.详细分析不同进水口位置和进水流量对地铁车站应急疏散效率的影响.研究结果表明:有洪水时人员疏散的效率显著低于无洪水的情况;进水流量的增加会导致人员疏散效率降低;进水口位置的不同也会对人员疏散的效率造成很大的影响.     

系统模型和扩展的有限状态自动机

系统是相互关联的事物组成的整体。系统有层次。系统的内部与系统整体在不断运动。运动有方向性。欲使系统达到预定目标，必须实施控制。控制需要信息来实现。要研究系统的运动，控制运动向量优化方向发展，必须抽象出适合系统的数学模型。用扩展的有限自动机理论的方法可以抽象出系统的数学模型，进而实现对系统控制与模拟。     

扩展奇偶规则的元胞自动机模型和分析

对奇偶规则的元胞自动机模型，进行了大量的计算机实验，引入Hamming距离和总密度关联，并对其演化作了数据分析．通过对奇偶规则的元胞自动机的研究，提出了一种扩展奇偶规则的元胞自动机，对它的演化规则进行了研究，并对这种模型的Hamming距离和总密度关联也作了深入的讨论和计算机模拟．     

基于元胞自动机的交通流状态研究

为方便交通部门能够更直接地掌握道路交通流状态,对交通流进行管理、调节和诱导,从而提高路网交通效率,本文主要围绕交通流状态统计、交通流状态仿真和不同交通状态的决策方案三个方面进行研究。研究基于物理公式和格林希尔治模型理论构建交通流流量与车辆平均速度的基础模型,根据不同道路的最大流量判断道路交通状态;利用matlab将道路简化为元胞自动机的运动过程进行分析;并根据交通流状态分析结果提出合理的决策方案。     

基于MSC与UPPAAL的列控系统等级转换场景形式化验证

等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。     

基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

公路超限运输效率成本测算研究

通过分析车辆超限对公路运输效率的影响,提出采用效率成本来衡量公路超限运输条件下因公路运输效率下降所引起的相关费用,并分析该效率成本的影响因素以及其与公路超限车辆比例、超限程度的影响关系;建立高速公路超限运输条件下多速混合交通流的元胞自动机模型,模拟公路上各类车辆的交通行为,在此模拟结果的基础上,计算公路超限运输的效率成本.算例分析表明,超限车辆比例较小时,公路运输效率不受影响,而超限车辆比例达到一定量后,公路运输效率逐渐降低,相应超限车辆所需承担的效率成本逐渐增加.