《汽车与安全》杂志介绍

以"珍惜生命、把握安全"为办刊宗旨以促进道路交通安全、创建和谐社会为目的推进汽车产品安全技术进步关注汽车安全产品质量提升宣传车辆安全检验和道路交通安全政策传播机动车和道路交通安全文化知识创刊于1995年的《汽车与安全》杂志,是由中华人民共和国公安部主管,中国机动车辆安全鉴定检测中心主办,全国发行,目前市场上唯一一本以汽车安全和交通安全为主要内容的国家一类科技期刊。2001年获得新闻出版署"双效期刊"奖.     

基于MSC与UPPAAL的高铁跨界临时限速建模与验证

临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。     

全国船检工作会议召开

5月26日，全国船检工作会议在山东省烟台市召开。会议回顾总结了近年来船检工作的成绩和经验，分析了新形势下船检工作面临的机遇和挑战，进一步提出将以提高检验质量为中心，全面建设质量船检、科技船检、和谐船检，努力开创我国船检事业的新局面。     

利用移动式驻车制动力检验台检测机动车驻车性能的可行性研究(测试)报告

<正>一、利用移动式驻车制动力检验台检测机动车驻车性能的依据1.1依据国家标准GB 7258-2012《机动车运行安全技术条件》7.10.4条款中关于驻车制动性能检验的规定,"在空载状态下,驻车制动装置应能保证机动车在坡度为20%(对     

影响计量检定的相关因素及措施

本文主要研究影响计量检定的主要因素，并针对已发现的计量检定中的有关问题进行深入研究，从而找出解决对策。     

基于熵权-物元模型的轨道交通建设时序研究

结合轨道交通建设特点,基于物元可拓数学方法、熵权理论和关联度函数,建立轨道交通建设时序决策的熵权物元可拓模型。该方法首先结合熵权理论,根据指标差异度对评价指标进行客观赋权;其次通过客观标准对评价指标的经典域进行区间界定,利用综合关联度将多指标的评价模型转化为单目标决策;然后依据定量测算的加权综合关联度值综合判定建设时序,最后以成都市轨道交通线网进行实例分析。结果表明:该决策算法所确定的结果与实际建设时序一致,且该算法可以极大拓展研究范围,表征更多分异信息,有效支撑城市轨道交通线网建设时序的综合决策。     

检测场检验制动前做什么？

对于有车族来讲．每年都要到检测场去车辆年检．这样车才能继续使用。那么，年检前或平时．我们注意什么呢？