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

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

上海地铁起售45元“三日票”

上海地铁将于2012年3月首次推出地铁"三日票",乘客持有该票72h内可任意乘坐地铁,票价每张45元。这是继"一日票"之后,上海地铁推出的又一新票种。"三日票"最适合来沪旅游、出差、会务等人士使用,     

轨道质量状态预测方法

对轨道不平顺进行预测可以监控轨道质量状态的发展,合理安排养修计划,降低养修成本,保证线路安全性和平顺性,同时也是开发和研究轨道辅助决策系统的关键性技术。因此,预测轨道不平顺的发展规律是近代轨道力学的基本课题,一直是国内外研究的重点。一般来说,轨道不平顺的预测从需求上可分为局部轨道不平顺预测和区段轨道不平顺预测。局部轨道不平顺预测偏重对轨道个别     

CAN总线时间同步协议测试的研究与分析

CAN总线,以其卓越的特性、低廉的价格、极高的可靠性和灵活的结构,是目前车载通信中应用最广泛的总线之一。本文主要介绍CAN总线时间同步技术,对时间同步机制、时间同步报文帧进行剖析,并着重介绍时间同步的主要测试内容、测试方法等,为进一步提高总线系统运行的精度和安全性提供参考。     

无回油燃油供给系统及喷油时间修正的研究

分析了汽油喷射式发动机有回油和无回油燃油供给系统的优缺点、进气歧管压力对喷油量控制的影响 ,探讨了可适用于绝对燃油压力调节器、基于进气歧管压力参数变化的喷油时间修正模型。     

长期荷载作用对FRP约束混凝土轴心受压构件力学性能的影响

进行了12个FRP约束混凝土轴心受压短试件在长期荷载作用下的变形性能以及长期荷载作用后构件承载力的试验研究。基于ACI(1992)方法,提出一种适合于长期荷载作用下FRP约束混凝土轴心受压短构件变形的计算方法,理论结果和试验结果基本吻合。最后,分析了加载龄期和持荷时间、轴压比、含FRP率、FRP和混凝土强度等因素对长期荷载作用下FRP约束混凝土轴压构件变形性能的影响规律。     

喷锚支护的时间效应与空间效应

喷锚支护是新奥法构筑隧道的主要支护手段，为使喷锚支护与围岩形成共同承载结构，必须在适宜的时机及根据适当的围岩变位量来确定恰当的喷锚支护结构。     

现代物流位置服务系统的设计

介绍了一个用于现代物流业的位置服务系统LTLBS，并着重就系统设计中的关键技术和与现代物流业有关的问题进行了分析。针对现代物流的特殊应用，在LTLBS中设计了一些特殊的功能，如货物跟踪，到达时间估计等。系统的性能分析表明定位精度和数据传输时延完全满足要求。     

金沙洲大桥的徐变收缩计算

采用平面杆系结构模型，实现了金沙洲大桥主桥的施工全过程的计算模拟，重点对混凝土徐变收缩的影响进行了计算分析，并对几个徐变收缩计算模型进行了简略的比较。分析结果表明，正确估算徐变收缩效应有重要的现实意义。同时还介绍了金沙洲大桥施工控制中施工监测的一些情况。     

高层建筑底板大体积混凝土施工监理要点

根据高层建筑底板大体积混凝土工程的特点，分析大体积混凝土施工中易产生温度、收缩裂缝质量通病的机理，介绍消除这一质量通病的施工管理及监理要点。