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

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

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

基于元胞自动机的高速铁路列车群追踪运行仿真模型

为分析高速铁路列车在追踪间隔缩小时的运行状态,根据准移动闭塞系统原理,设置列车区间运行和车站运行的演化规则,建立准移动闭塞条件下基于元胞自动机的列车群追踪运行仿真模型。利用元胞自动机对京沪高速铁路线路"上海虹桥—南京南"运行图中追踪运行的10列车进行建模仿真,分析仿真结果验证到达间隔时间是制约追踪间隔的瓶颈,并得出后行列车满足追踪间隔4 min或3 min的情况下,其运行速度不受前行列车的干扰。     

升压型DC-DC开关变换器的混杂建模与控制研究

基于混杂系统理论,建立了升压型开关变换器的混杂自动机模型,使得开关变换器的控制简化为混杂自动机模型的边界选择问题。与传统的状态空间平均法和电路平均法相比,该模型中没有任何假设和线性近似,建模精度高,可以对电力电子电路进行更好的分析与控制。根据开关变换器电感最小电流与输出电流的比较,将电感电流连续模式细分为完全电感供能模式和不完全电感供能模式两种子模式,提出一种新的混杂控制策略,应用电路理论方法给出了理想变换器和考虑输出电容寄生电阻的混杂控制边界的综合方法和计算公式。数值结果和分析表明了混杂建模和控制策略的有效性。     

利用时间自动机理论探讨客专RBC控车流程

基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。     

平面交叉口细胞自动机交通流模型的研究

文章以细胞自动机(cellular automata，CA)理论为基础，结合我国城市道路情况及交通流特性，把车辆在双车道直线行驶开始到通过平面十字独立信号控制交叉口的整个过程用细胞自动机语言进行了描述，完整地建立起一套新颖的细胞自动机交通流模型。该模型符合实际，可灵活转变为各类城市交叉口模型。     

考虑反馈条件的元胞自动机交通流的建模与仿真

将NS模型中存在的车辆倒退现象以及刹车过急等与实际交通状况不相适应的地方进行改进,提出了反馈形式的交通流元胞自动机模型,该改进NS模型引入了前车状态的变化量以及一套全新的速度更新规则来模拟交通流的变化。仿真试验证明该模型更加符合实际交通基本特征,同时该模型使车流总体增大,也成为后续模型的基础模型。     

信号倒计时影响下的进口道交通流分析与建模

为揭示信号倒计时对驾驶决策行为的影响,本文基于实测数据对信号控制进口道各断面的车速分布特征进行了分析,研究发现临近停车线处于不同断面位置的车辆行驶特性由于信号倒计时的有无及剩余绿灯时间的影响而存在差异.提出了考虑信号倒计时下驾驶心理的元胞自动机模型,通过数值模拟剖析了不同时空条件(位置、车速与剩余时间)下微观驾驶心理与行为对中观交通流的作用机理.结果表明,该模型可较好地刻画信号灯控制下城市进口道路车辆运行特性.     

基于交通流元胞自动机模型的车辆当量换算

将一维元胞自动机模型用于模拟周期性边界条件下高速公路的车流运动,用随机慢化FI模型对一定交通环境下车流的车速与密度之间的关系进行仿真分析。探讨了不同车型和车速对道路最大流量(最大通行能力)的影响。依据不同车型在同一道路上的不同通行能力,提出了一种不同车型车辆之间当量换算系数的确定方法。在模拟仿真过程中,考虑不同类型车辆的最大行驶速度及所占空间不同,仿真模型具有不同的参数。通过计算机模拟,得到不同车型的交通流基本图,根据相同道路条件下的最大流量值,给出了以通行能力作为基准时当量换算系数的计算公式。     

角色自律分散系统的RN-C形式化描述方法

旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.