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

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

通信信息中心电子产品检测“上船”

日前,中国交通通信信息中心所属的交通运输通信信息工程质量检测中心,获得了中国船级社颁发的＂电气电子产品检测和试验机构认可证书＂。该项证书的获得使该检测中心的产品检测范围从路上扩展到了船上。     

浅谈VHF应用于船舶避碰

正确使用VHF无线电话协助船舶避碰，是减少船舶碰撞事故了保证航行安全的有效手段，但目前此种方法尚属探索阶段，还很不完善，为了避免因使用不当或无统一通话规范而影响避让效果，本文仅就避碰通信中的初始呼叫、识别和标准航海用语的使用等问题，从统一性和可行性方面提出几点看法。     

新型太阳能光伏电源控制器

在南疆线库尔勒-喀什段的设计中,车站通信信号设备的电源是通过太阳能光伏电站提供的.太阳能光伏电站由太阳能光伏电池(以下简称光伏电池)、固定式密封铅酸蓄电池(以下简称蓄电池)和控制器组成.     

感应通信的应用及原理

作者在多年应用和研究感应通信基础上，简单明了地论述了感应通信的特点和原理，对于读者了解有关感应通信知识将有所裨益。     

丰田埃尔法车身系统新技术剖析(一)

一、MPX(多路通信)系统 1.总述 埃尔法的MPX使用3种通信协议:CAN、LIN和AVC-LAN. CAN主要用于本系统的通信,如表1所示. 2.MPX系统图 MPX系统:CAN网络系统如图1所示,LIN网络系统如图2所示. 二、照明系统 1.智能AFS(自适应前照灯系统) (1)两种智能AFS控制中高速控制(如图3所示). 低速控制(如图4所示).