【摘 要】
：
为了克服传统信号灯控制模式下交叉口物理空间使用效率不高的问题,提出一种基于时间自动机的无信号灯交叉路口交通管理模型.将交叉口划分为互不相交的物理空间路权资源,采用时间自动机模型描述每辆到达车辆通过交叉口的动态过程,并在此基础上将交叉口内所有车辆的时间自动模型耦合在一起生成系统模型,在考虑安全性的前提下设计最大化交叉口通行效率的车辆调度策略.实验结果表明,较传统交叉口有信号控制方式,基于时间自动机模型的无信号交叉口控制方法更加充分地利用了交叉路口的物理空间,交叉口的车辆吞吐能力得到进一步提升.
【机 构】
：
上海理工大学光电信息与计算机工程学院,上海200093
论文部分内容阅读
为了克服传统信号灯控制模式下交叉口物理空间使用效率不高的问题,提出一种基于时间自动机的无信号灯交叉路口交通管理模型.将交叉口划分为互不相交的物理空间路权资源,采用时间自动机模型描述每辆到达车辆通过交叉口的动态过程,并在此基础上将交叉口内所有车辆的时间自动模型耦合在一起生成系统模型,在考虑安全性的前提下设计最大化交叉口通行效率的车辆调度策略.实验结果表明,较传统交叉口有信号控制方式,基于时间自动机模型的无信号交叉口控制方法更加充分地利用了交叉路口的物理空间,交叉口的车辆吞吐能力得到进一步提升.
其他文献
讨论利用深度学习方法解决非朗伯曲面问题的未标定光度立体技术,而现有的光度立体算法通常假设光源条件已知或简化反射率模型,限制了其实际应用.因此,提出基于多尺度聚合的生成对抗网络的未标定光度立体技术,直接学习光度图像与法向图之间的映射关系,避免繁琐的光源标定步骤,可精确估计反射率函数表达形式.实验结果表明,该方法相比现有最优的未标定光度立体视觉算法具有更强的鲁棒性,平均角度误差下降了1.92°,MSE下降了1.43％,证明了该网络结构的优越性与有效性.
目的:应用超声斑点追踪成像技术定量分析动脉导管未闭(PDA)患者的左室扭转并探讨其运动同步性.方法:选取我院2009年12月—2010年6月PDA患者进行回顾性分析,将35例PDA患者分为单纯PDA组和合并肺动脉高压组(PAH组),应用超声斑点追踪成像技术测量左室短轴观心底部及心尖部旋转角度峰值及达峰时间,计算左室扭转角度峰值及达峰时间、主动脉瓣关闭时间点扭转角度及时间.并与37例正常对照组获取的上述指标进行组间比较.结果:(1)PAH组患者左室心尖部旋转角度峰值、左室扭转角度峰值及主动脉瓣关闭时间点(A
电子产品随着更新迭代,对零部件胶体质量的要求不断提高.针对补强胶识别分割,传统算法鲁棒性较低,深度学习的语义分割网络Unet分割速度较慢.为此,提出改进的Unet实时语义分割网络fast-Unet.该网络有3个特征提取分支,输出特征图分别为原图大小、原图的1/4大小和原图的1/16大小,每个分支都共享一部分网络权重.并在第二个特征提取网络中加入了通道分割、注意力模块(CBAM)和金字塔池化模块(PPM).实验结果表明,fast-Unet相较于Unet网络,在MIoU和MPA上都提升了0.07,FPS提高了
目的:评估血栓弹力图(TEG)联合凝血象指导肝硬化食管胃底静脉曲张(GOV)出血患者输血治疗的用血量以及其对预后的影响.方法:本研究为随机对照试验,收集2020年1—12月我院收治的肝硬化GOV破裂出血且合并凝血功能障碍的患者,随机分为TEG联合凝血象指导的输血组与常规输血组,比较两组患者住院期间输注各类型血液制品的用量及临床预后,观察时间为14d.结果:TEG联合凝血象组和常规输血组,各30例,两组的基线特征无统计学差异(P>0.05).TEG联合凝血象组新鲜冰冻血浆(FFP)、血小板和冷沉淀的输入量均
随着工业互联网的发展,工业微服务成为流行方式.传统建模大多使用Simulink等工具,所建模型重用性差,无法脱离仿真平台运行.为此,使用OpenModelic进行PMSM建模,使用Python、Java语言对所建模型导出的FMU文件进行封装调用,形成电机模型微服务,最后部署在Spring Cloud架构上.对电机模型微服务进行仿真实验,结果显示传统模型转变成微服务是可行的.该设计提高了模型的重用性,可使模型脱离平台运行.
为改善传统活动轮廓模型对含噪图像的分割精度和效率,提出一种结合局部信息活动轮廓模型的含噪图像分割方法.首先构造局部信息速度函数,使图像局部灰度引导速度函数变化;然后采用拟合图像代替原图像,同时增加拟合中心权重以构造新的拟合项;最后引入自适应权重系数以增加模型对不同图像的分割灵活性.实验结果表明,相较于C-V模型,该方法对3个含噪灰度图像的分割时间分别缩短了72.30％、82.95％和75.79％.C-V模型、LCV模型和RSF模型对含噪灰度图像存在误分割现象,而结合局部信息活动轮廓模型的含噪图像分割方法能
为研究大型深层卷积神经网络在多类别暗网流量检测领域的适用性,基于Resnet、Densenet与Xception网络进行分类性能比较.将3种模型在Darknet2020暗网数据集上进行验证,使用9.3万条Non-Tor数据、1300条Tor数据、2.3万条Non-VPN数据及2.2万条VPN数据进行实验.结果表明,3种模型均能快速处理海量数据,且对Tor与Non-Tor流量的检测结果较好,F1值最高可达到0.91,但对VPN与Non-VPN的分类效果有待提高.选择在测试集上检测性能最好的Densenet网
目的:探讨经超声、CT对单囊型肝囊性包虫病的诊断及指导价值.方法:回顾性分析于我院2013年1月—2019年12月同时进行CT和超声检查的140例行手术病理证实的临床单囊型肝囊性包虫病患者临床资料.通过比较影像学特征,包虫大小与囊壁厚度之间的相关性,超声与CT检查的诊断效能.判断超声、CT对单囊型肝囊性包虫病的指导价值.结果:140例患者手术病理共确定155个病灶,单囊型肝囊性包虫病灶135个,非包虫病灶20个,超声检查的敏感度96.30％、特异性80.00％,准确率94.19％;CT检查的敏感度82.2
为实现超短波理疗仪的数字化和自动化控制,设计了一种可自动调谐超短波理疗仪电路系统.该系统通过推免式自激振荡电路产生频率为40.68MHz的超短波,采用以单片机为主控芯片的步进式调谐法控制可变电容矩阵进行输出功率电路自动调谐.系统包括电源模块、超短波发生模块、单片机控制模块、输入显示模块、自动调谐模块、超短波输出模块,通过单片机实现数字化控制.整机上电测试显示该系统能够实现治疗强度、治疗时间的数字化显示,产生频率为40.68MHz的稳定超短波,产生22～48℃的热效应,实现仪器的数字化和自动化控制.
为降低水下遥控机器人的操作难度,提高其可控性和可操作性,基于Java研制一种水下机器人监控系统.首先介绍水下机器人监控系统的硬件结构,采用Java开发该系统的软件功能结构,包括监视模块、控制模块、特征信息模块和报警模块;然后阐述监控系统软件的通信方式和协议,分别介绍监控系统与主控制板软件流程.实验结果表明,基于Java开发的水下机器人监控系统能很好地协调各模块功能,具备开发周期短、拓展性良好等优点.