基于HCSP的列控系统安全性建模与验证分析

高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备，如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程（HCSP ，Hybrid Communication Sequential Process），利用该方法对列控系统进行了形式化描述，并针对典型的场景—注册与启动场景进行了HCSP建模，通过引入转换规则，进行了相应模型转换，应用模型检验工具UPPAAL进行了仿真和功能验证，验证结论表明了场景模型功能的正确性以及方法的可行性。     

浅谈中职新能源汽车国赛中充电设备的装配与调试

2019年6月,第一届全国职业院校技能大赛新能源汽车检测与维修赛项(中职组)在安徽省马鞍山市皖江职业教育中心学校顺利举行。中职组的比赛共有故障诊断、二级维护、动力总成拆装和充电设备装配与调试等4个赛项。本文详细分析了充电设备装配与调试赛项。     

加强企业思想政治工作的三要素

随着市场经济的发展，企业职工的思想政治工作也应该齐头并进。根据本人多年的工作认识到，内容充实、方法灵活，感情真挚是做好思想政治工作的三要素。     

整合物资管理信息系统的建议

随着信息网络技术的发展,物资管理方式也由传统管理向现代化管理转变.物资现代化信息系统的设计思想和发展历程,也从最初的单机版过渡到网络版,从满足单一功能过渡到满足管理过程,从满足物资管理要求过渡到财材信息共享,从独立开发自成体系过渡到系统研发统一版本等.     

人车冲突风险度评价指标计算研究综述

由于交通事故生成特点与事故统计缺陷的客观存在,交通冲突技术逐渐取代交通事故统计被应用于行人安全评价中.瑞典学者首先提出衡量车辆之间冲突严重程度的若干指标,其定义被不断修改和延伸,逐渐应用于人车冲突分析.对瑞典、日本及中国学者提出的人车冲突指标的概念、计算方法以及应用情况进行系统性地阐述,并归纳分析不同人车冲突指标的共性和差异性,探讨其局限性.多数指标并未考虑整个冲突过程,而只是分析某个特定时刻的严重性.此外,部分指标是基于计划轨迹和当前速度所预测的碰撞点提出的,但并未解释预测是如何完成的.最后,提出了人车冲突指标研究的难点,并对其进行展望.指标的可靠度和有效性是提出新指标需要考量的2个重要方面;如何准确、便捷、高效地利用视频数据进行指标提取是下一步研究的内容.      

北京公交客三分公司:“五个先行”推动主题教育走深走实

初心如磐,使命在肩。不忘初心,方得始终。深入开展“不忘初心、牢记使命”主题教育,是用新时代中国特色社会主义思想武装全党的迫切需要,是推进新时代党的建设的迫切需要,是实现党的十九大确定的目标任务的迫切需要。北京公交客三分公司紧密联系本企业实际,创新工作方式,以"五个先行"为抓手,推进主题教育深入开展,取得实效。     

新形势下完善上海市汽车维修行业管理体系的对策思考

随着居民生活水平的不断提高,私家车的普及率不断提升,小汽车在一定程度上已由过去的奢侈品逐渐转变为居民日常生活的代步工具。据公安部统计,2020年全国机动车保有量达3.72亿辆,其中汽车2.81亿辆;机动车驾驶人达4.56亿人,其中汽车驾驶人4.18亿人;据《上海市交通行业发展报告2020》统计,2019年上海市汽车保有量为422.6万辆,私人小客车305.2万辆,近5年年均增幅均超过20万辆。     

层状地基中交通隧道地震反应分析

采用有限元与无限元耦合方法讨论交通隧道在地震波作用下震动反应问题，并考虑地基土的非线性与层状性．运用等效线性模型处理土的非线性，Newmark-β求解动态平衡方程．通过实例计算，给出初砌结构在地震下的反应．