信号交叉口行人过街形式适用性分析

为确定十字信号交叉口行人过街形式的适用条件,基于行人过街和机动车通行的服务水平分级,提出了不同行人过街形式适用性的判别依据;通过对人车冲突行为分析,构建了信号交叉口人车交互运行元胞自动机模型。按照单因素影响下的多变量梯度变化分析的方案构建思路,选取机动车流量、右转车比例、信号周期、左转相位绿信比、行人流量作为机动车和行人主导影响因素,建立了多变量组合影响下的仿真方案。以主主相交的双向六车道信号交叉口为例,确定了信号交叉口行人过街形式适用性方案。结果表明：交叉口机动车流量、右转车比例、信号周期、左转相位绿信比、行人流量等5个主导影响因素值确定时,可根据其对应的机动车服务水平和行人过街服务水平组合,确定具体的行人过街形式。     

基于TA的等级转换场景变异测试方法研究

针对等级转换场景下的变异测试集不完备问题,提出基于时间自动机(Time Automa-ta,TA)的等级转换场景变异测试研究方法.该方法结合时间自动机理论和等级转换操作流程建立TA模型,同时设计15种变异算子对模型进行变异测试,通过计算加权变异分数评估测试案例集的完备性,并对加权变异分数较低的算子进一步修改补充,最终得...     

基于细胞自动机的软键盘布局随机化方案

软键盘被广泛应用于敏感信息输入,但攻击者有可能通过消息截获、控件分析、偷窥、截屏或鼠标记录等方法得到软键盘的输入信息.本文总结和拓展了攻击方法并对相应防御措施进行了探讨;针对键盘布局随机化这一重要防御措施,对现有各方案进行分析;最后设计实现了一种基于细胞自动机的,与输入信息内容和输入过程相关联的软键盘布局随机化方案CAR,实验表明,这一方案具有良好的安全性和可用性.     

基于改进PFV策略的双车道连续元胞自动机模型

根据道路实际情况,提出考虑多车信息的改进PFV策略,并进行参数标定;将跟驰策略和换道规则相结合,建立双车道连续元胞自动机模型,采用周期边界式条件进行模型仿真,比较不同密度下双车道交通流变化情况和车辆换道行为,通过仿真结果的时空图显示车辆换道造成的系统速度延迟,通过比较双车道系统的交通流密度-交通流量、交通流密度-行驶速...     

基于元胞自动机的地震触发崩塌滑坡分布规律

为了从物理角度对地震触发崩塌滑坡分布规律的机理进行诠释,通过汶川震区典型路段考察和遥感资料解译发现:位于IX度地震烈度区,崩塌滑坡方量与出现频率之间存在良好的负幂律关系;在X度区,崩塌滑坡面积与出现频率的关系仍可用负幂律描述;在XI度区,这一关系转为对数正态分布.元胞自动机模拟表明:以扰动值递增模拟地震强度的增大,沙堆模型的动力特性也经历了幂律—幂律弱化—对数正态分布的演变过程,从而在自组织临界性的概念框架下,证明了上述不同烈度区地震触发崩塌滑坡分布概型的演变规律具有普适性,为汶川地震崩塌滑坡编目以及高烈度地震山区灾势预估等提供了科学依据.      

固定闭塞下具有容错性质的车次追踪模型

本文在对调度集中系统车次追踪问题进行分析的基础上,以提高车次号的准确性为目标,结合有限自动机理论,利用抖动抑制算法降低车站信号状态可能出现的抖动干扰,提出了一种基于车站简单对象并具有容错性质的车次追踪模型,并对模型的运行机制进行了论述.该模型已在实际系统中得到了应用,并取得了良好的效果.     

车辆长度和速度对双车道交通流的影响

为研究大型车辆转道及敏感驾驶行为对公路交通的影响,在SDNS(Sensitive Driving Nash)交通流模型基础上,引入长短车辆转道规则,假定双车道上同时存在长度和最大速度均不同的车辆,建立混合交通流模型.在周期性边界条件下,模拟得到当转道概率、混合比例、减速概率、车辆长度、速度等参数改变时,混合交通流的速度、流量与密度的基本图.仿真结果表明,系统临界密度、最大平均速度、流量随减速概率增加而减小;当慢速长车占总车辆比例大于50%时,更容易产生阻塞,此时车辆转道成功率小于5%;当系统中长车比例为50%时,流量峰值仅为0.42,比全小车的情况减少了20%;长车是造成转道困难的主要因素,当转道概率均为50%时,系统长车比例从25%增加至75%,转道成功率最大值由6.32%减少至2.78%.      

CTCS-3级列控系统临时限速建模与验证

为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF语法对临时限速系统待验证的属性进行了形式化描述,并应用UPPAAL验证工具对临时限速模型的安全性和受限活性进行仿真验证.验证结果表明:与现有临时限速系统的时间参数设置相比,修正后的时间参数设置避免了出现系统死锁现象;在不影响安全功能属性和受限活性的基础上,提高了临时限速系统的实时性,可在规范规定时间5 s内做出响应.      

非港湾式公交停车影响下的交通流元胞自动机模型

文章以包含非港湾式公交停靠站的城市单向双车道路段为研究对象,在分析其相关交通特性的基础上,对路段元胞自动机模型做出改进,建立反映真实交通流的元胞自动机模型,通过模型可以得出公交车道路占有率与路段交通流量和车辆平均速度的关系.     

一种基于方向模糊可视域的行人流疏散仿真研究

通过定义行人方向模糊可视域,改进了层次域元胞自动机模型.模型中,行人目标位置选择行为受到距可选位置的相对距离、方向模糊可视域内的行人之间的排斥力和吸引力三种因素的共同作用.分别模拟单个出口和四个出口,行人服从均匀分布的疏散场景.仿真结果显示,该模型不依赖于各因素的影响系数,从而避免了影响系数量化过程的主观性和疏散系统的限制性;该模型能够有效地模拟阻塞聚集,双拖尾等宏观自组织现象;在疏散过程中,如果行人保持一个适中的视野半径,就能够有效地提高行人流疏散效率.该研究有助于相关行人流疏散策略和方案的制定.