论文部分内容阅读
本文利用混杂Petri网建模交通系统。通过分析Petri网，得到交通系统的拥塞性质，提出相对拥塞及绝对拥塞的概念，并给出相对拥塞转化为绝对拥塞的条件。结合真实交通数据，形成符合实际交通状况的Petri网实例，得到车辆分布规律，弥补现有智能交通系统仅依赖出租车GPS数据代表车辆分布情况的缺陷。
基于混杂Petri网的交通网络性能分析
【摘 要】
：
本文利用混杂Petri网建模交通系统。通过分析Petri网，得到交通系统的拥塞性质，提出相对拥塞及绝对拥塞的概念，并给出相对拥塞转化为绝对拥塞的条件。结合真实交通数据，形成符合实
【机 构】
：
同济大学计算机科学与工程系
【出 处】
：
计算机与现代化
【发表日期】
：
2009年9期
其他文献
在讨论可变扩频增益多速率直接序列码分多址（DS-CDMA）系统信号模型的同时，为了保证该检测器能适用于多径衰落信道环境，提出了基于Kalman滤波的盲多速率多用户检测器，并给出了Kalma
基于Specman的硬件验证环境,给出一个嵌入式软件验证的设计流程。利用该设计流程,对Linux下的USB驱动程序进行验证,并成功找到该程序旧版本中的一个缺陷。
主要研究了在LabWindows中实现操作数据库的方法。利用SQLToolkit包并设置ODBC以完成对目标数据库的连接。数据导入LabWindows后，对图形面板中的控件添加代码，以实现在LabWindo
在经费有限的情况下,图书馆应选择能真正满足用户信息需求的数据库,并有效提高资源的利用率。通过对所购买的数字资源特别是外文全文IEL数据库的使用数据的后台统计,可以从检
随着网络中服务和用户数目的增长，服务发现作为服务提供者和用户之间的中介，日益戍为网络服务的主要研究方向之一。本文介绍了一种安全的服务发现架构，着重构建如何基于SLP协议