用Petri网对轨道区段和列车的建模研究

应用Petri网理论对轨道区段和列车的运行进行建模,为行车指挥提供了一个系统模拟和仿真的框架.作者在国内首次将Petri网应用于行车指挥自动化的研究,为列车的运行调整提供了列车及轨道区段的模型.     

不分明化拓扑中F-滤子与网的若干性质

本文在[1]的不分明化拓扑新定义基础上,给出了不分明化滤子的定义,并且用逻辑的语义方法讨论了它的若干性质;之后讨论了子网和网的关系;最后给出了不分明化超滤子与超网的定义,同时用逻辑的语义方法证明了超滤子的极限点集与附贴集的等价关系．     

落实司机权益,万顺叫车深耕合规化建设

今年以来,网约车行业监管政策逐步升级不断细化,目标直指网约车司机权益保障.11月30日,交通运输部等八部门联合印发《关于加强交通运输新业态从业人员权益保障工作的意见》(以下简称《意见》)提出,要求各大网约车平台完善平台和从业人员利益分配机制,推动平台抽成的透明化建设,支持从业人员参加社会保险,保障从业人员获得合理休息,...     

Local dimming原理及在车载中的应用

Local dimming（局部调光）是一种低成本提升车载显示器对比度和清晰度的技术。在目前OLED技术尚无法突破严苛的汽车环境要求的状况下,局部调光是一种首选的成本和性能兼顾的技术。在满足汽车环境要求的同时,大幅提升了显示器的清晰度,提高了显示内容的辨识度,同时成本的上升也在合理范围内。它能给客户带来更好的体验,使驾驶更为安全。本文对它的工作原理以及如何应用进行了阐述,给读者提供了一种思路和方法来提升车载显示器的对比度。     

基于轨道交通站点的三网融合发展策略研究——以杭州市为例

轨道交通、公交、慢行三网融合,是对公共交通系统多维度关联分析与国内外公交都市发展的最新研究方向,也是构建高品质、人本化的全过程公共交通出行链的必要路径。本文以杭州公共交通系统协同融合发展为目标,提出网络融合、走廊融合、站点融合、服务融合四大战略,并基于轨道交通站点研究慢行设施、公共汽（电）车以及换乘导向标识等重点领域的布设策略,以指导存量设施的精准调配与增量设施的有的放矢。     

危险化学品常压车载罐体检验问题分析

随着我国社会经济的快速发展,各行各业迎来了新的发展机遇,化工行业也不例外地迎来了高速发展.伴随着危化品罐车数量的增加,危化品车辆事故的发生几率也相应提高,因此,危化品常压罐车在运输过程当中的安全性显得更为重要.危化品罐车罐体壁厚不达标、大梁连接焊缝开裂、罐内防波板脱落等问题都是危险化学品运输车常压罐体定期检测的重点.通...     

面向轨道维护的可变轨距轨道模型与钢轨点云的配准方法

基于车载Lidar技术相关的硬件和算法的快速发展,具备发展成快速车载轨道测量技术手段的潜力,从而替代传统的地面人工轨道测量手段。针对其中根据钢轨点云获取轨道轨距、钢轨位置等参数的问题,定义了可变轨距轨道模型,并在此实现可变轨距轨道模型与钢轨点云的配准方法。新算法在配准迭代过程根据钢轨点云到轨道工作边的距离来动态调整模型轨距,从而在轨道配准精度和轨距测量精度两项关键指标获得了同步提高。通过模拟数分析存在不同轨距偏差、超高等情况下算法性能,并和单钢轨轨道模型和固定轨距轨道模型的配准结果进行比较。最后通过一段干线铁路的实测点云进行测试,试验结果表明单钢轨轨道模型配准后左右钢轨的平行性得不到保证;在直线段与固定轨距轨道模型配准精度和轨距测量精度基本相当,配准精度为0.16 mm;在曲线段可变轨距轨道模型配准精度和轨距测量精度不受轨距变化的影响,显著优于固定轨距轨道模型的结果,精度高88.7%。     

广州市轨道交通工程2010年建设线路高程控制网总体设计

根据广州市快速轨道交通线网规划(2010年线网实施目标),对拟建地铁线路的高程控制网测量方案进行总体设计,既满足拟建地铁线路施工测量的需要,又联测已建或在建地铁水准点,将广州地铁线路的高程控制统一布网,统一数据处理,建立统一的高精度高程控制系统。     

以Petri网为描述工具的分布式数据库系统研究

研究了分布式数据库的各种设计方法,在此基础上,结合分布式数据库设计方法特点、Petri网理论、面向对象技术和抽象数据类型理论,给出了一种以Petri网为描述工具的分布式数据库设计的实用工具设计方法,并详细论述了其设计过程和实现方法。同时,面向实际应用,采用自顶向下分析方法,完成了需求分析、关系模式的规范化和数据分片、分布等工作,最终向用户提供一套合理的分布式数据库设计方案。     

车载智能语音助手综合评估模型建立及应用

车载语音助手是车内人机交互的一级入口,语音系统在综合场景下的业务处理能力和交互能力极大影响用户体验。阐述一套综合评价模型,对车载语音系统功能进行完全解析、导出竞品实现逻辑和生产中的阶段性评估结果。模型包含一套评估用例数据库,支持103条量化指标计算、15条非量化指标、3个综合指标生成。此外,模型包含全流程的指标分析工具及其它自动化工具。在实际生产应用过程中,该模型与人工评估的误差率约为10%,自动化效率提升约70%。