����Ԫ���Զ���ģ�͵������Ŷ���Ϊģ��

排队行为模型是常态下行人交通仿真系统模型的基础。本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。排队行为模型以邻居方向与目标方向间的修正夹角作为主要因子构造了元胞自动机模型的转移概念率函数。利用C#对行人排队行为模型进行实现,并构造了两个不同数量的售票服务台的仿真场景。从仿真动画来看,该模型逼真地模拟行人的排队活动;从不同场景的队长与时间关系曲线可以看出,增加一个售票服务台明显可以减少队列长度,排队系统性能得到改善。由此说明该模型具有模拟行人排队行为的能力。     

考虑前后车速度和减速幅度的元胞自动机模型

三相交通流理论和基本图方法对自由流到拥挤流的相变过程提出不同的解释,双方争议至今没有解决.基于典型慢启动模型规则,本文提出一个考虑前后车速度和减速幅度的交通流元胞自动机模型来探讨自由流到拥挤流的相变.新慢启动模型的减速幅度大小与前车速度相关,两个减速幅度值分别对应缓慢减速和急减速.新慢启动模型的数值模拟结果表明：同一密度值对应的交通状态可能是自由流,也可能是拥挤流;小堵塞集团可以稳定存在于道路系统并有同步的趋势;当道路系统中存在大量不考虑舒适驾驶并倾向于急减速的车辆,在此条件下,三相交通流理论提出的紧致压缩效应不具有合理性,自由流状态可以直接相变为堵塞状态.     

基于机动车排放的交叉口信号控制仿真与分析

结合微观仿真元胞自动机模型和机动车排放MOVES模型,以十字信号控制交叉口为仿真对象,研究交叉口信号配时与机动车排放之间的关系.元胞自动机模型将交叉口和路段划分为3.5 m×3.5 m的元胞,每辆车占2 个元胞,交叉口内转弯车辆减速慢行,直行车辆速度不受限制,提高了交通仿真的真实性和机动车排放测算的准确性.仿真结果表明：最佳信号周期随着车辆到达率的增加而增加,使得交叉口通行效率达到最大化;行程时间随着左转车比例的增加而增加,对于不同的车辆到达率,均存在一个极限值,当左转车比例低于该极限值时,行程时间变化不大,高于该极限值时,行程时间快速增加;从通行能力、行程时间和尾气排放的角度,交叉口具有不同的最佳信号周期,且差异较大.     

不同信息模式下车辆多站点目标选择及影响分析

特定条件下,车辆能源补给行为会恶化道路交通状况,而交通信息引导、共享技术的应用为这一问题的解决提供了可能性.为分析和明确该应用的效果,本文以道路和多个能源供应站所构成的系统作为对象,通过系统和车辆行驶的特征分析,构建了基于多服务台多排队的干线多站点元胞自动机模型.不同信息共享模式下的模型实验表明：模型能够模拟需求车辆对目标站点的选择过程;信息共享时,需求车辆聚集程度能够得到缓解,进而延缓了交通流饱和状态的出现;站点信息共享的系统优化效果好于路况信息共享,而相应拥堵边界条件的分析也明确了信息共享介入的时机.     

基于元胞自动机的船舶过闸运输组织仿真

三峡水利枢纽船闸设计通行能力与船闸实际通过能力不足的矛盾日益突出,为解决这一尴尬现实,将三峡船闸入口船舶流特征与道路交通中三线轨道交通模型结合起来,运用船舶过闸调度原理和元胞自动机理论构建了水利枢纽区域过闸组织模型,并对双向船闸和升船机组成的过闸系统进行模拟。研究结论反映了船舶达到规律对船舶流聚集和疏散的影响。最后对仿真结果给出具体的分析。     

元胞自动机交通流模型的随机规则

元胞自动机模型是近年刚发展起来的交通流模型,由于其建模简单、易于在电脑上实现及可模拟复杂的非线性交通现象而得到了迅速的发展.本文研究了基于NaSch模型的一维交通流元胞自动机模型,并对模型中随机规则在模拟复杂交通现象中所起的作用进行了分析.通过对NaSch模型和VDR模型的基本图和时空分布图进行分析,得出模型中的随机规则是模拟实际交通流中的很多非线性现象的主要规则.     

Resource Partitioning and Routing Optimization in Relay Enhanced Cellular Network

A joint routing and resource partitioning scheme were proposed to improve cell capacity and user throughput of cellular network enhanced with two-hop fixed relay nodes (FRNs). Radio resources are partitioned under a reuse partitioning based framework, which guarantees effective and efficient inter-cell interference management. At the same time, each mobile terminal was assigned a channel-dependent route by the routing controller, which tries to maximize the cell capacity under the constraint imposed by reuse partitioning. Intensive computer simulations demonstrate the performance superiority of the FRN enhanced cellular network employing this scheme in comparison with conventional network, as well as the validity of the channel-dependent routing mechanism.     

Efficient Accurate Context-Sensitive Anomaly Detection

For program behavior-based anomaly detection, the only way to ensure accurate monitoring is to construct an efficient and precise program behavior model. A new program behavior-based anomaly detection model, called combined pushdown automaton （CPDA） model was proposed, which is based on static binary executable analysis. The CPDA model incorporates the optimized call stack walk and code instrumentation technique to gain complete context information. Thereby the proposed method can detect more attacks, while retaining good performance.     

非常发性瓶颈区可变限速控制方法

通过分析快速路发生非常发性瓶颈时主线通行效率和安全性特征,结合路网均衡分配方法,研究快速路的可变限速控制方法。首先,分析快速路发生非常发性瓶颈时主线通行效率和安全性特征,利用元胞传输模型(CTM)计算可变限速控制下主线通行效率和安全性指标。其次,以快速路主线、辅路和周边主次干道所组成的路网为研究对象,研究限速控制条件下的路网均衡问题。然后,建立可变限速控制条件下的路网均衡双层规划模型。最后,利用算法求解出模型并进行VISSIM仿真,仿真结果表明,可变限速控制能有效提高快速路主线出行的通行效率和安全性。     

时间自动机的自动抽象算法

为对付时间自动机规格分析验证中的状态爆炸问题，提出了一种自动抽象算法．它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象，从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度，实验证明，该算法可应用于任何满足线性复位性质的时间自动机。此外，这种算法还可以用来简化系统描述，提高其可理解性。