黎磊
- 作品数：4 被引量：4H指数：1
- 供职机构：兰州交通大学自动化与电气学院更多>>
- 发文基金：甘肃省教育厅研究生导师科研项目国家自然科学基金更多>>
- 相关领域：交通运输工程自然科学总论机械工程更多>>
- 基于网络时间协议(NTP)的城市轨道交通时间服务器的设计被引量：1
- 2013年
- 设计了一套基于嵌入式的城市轨道交通GPS(全球定位系统)时间服务器。系统硬件采用GPS OEM板和ARM9开发板,并在开发板上增加了Zigbee无线传输模块和扩展了的RS 485接口,可满足城市轨道交通时间信息传输多样性的要求。通过分析网络时间协议(NTP)的基本原理,设计并完成了嵌入式Linux下的服务器程序和Windows下的客户端程序;客户端程序采用Windows系统内部的高精度定时器,提高了时间分辨率,可以使局域网内计算机的授时精度达到微秒级。利用真实的网络环境对其进行测试,结果能够满足城市轨道交通行车控制和运营管理的特定要求。
- 黎磊武晓春
- 关键词：城市轨道交通嵌入式网络时间协议
- 城市轨道交通NTP时间服务器的研究与设计被引量：1
- 2013年
- 根据城市轨道交通控制系统的控制中心与车站的二级控制模式,设计了基于NTP的时间同步网络结构.采用基于S3C2410的ARM9开发板,并扩展串口和增加Zigbee无线传输模块,设计了一套基于嵌入式Linux的城市轨道交通NTP时间服务器.服务器通过GPS接收机采用NMEA-0183协议获取GPS卫星的高精度时间信息,通过Ethernet接口和NTP协议为网络内的计算机提供精确的授时服务.根据NTP授时原理,设计了客户端和服务器端的校时程序,其中Windows下的NTP客户端授时精度可达10ms,能够满足轨道交通行车控制和运营管理的特定要求.
- 武晓春黎磊张壮
- 关键词：城市轨道交通嵌入式NTP协议时间服务器
- 城市轨道交通时间同步子系统的研究与开发
- 时钟系统是城市轨道交通系统的重要组成部分，随着城市轨道交通计算机网络应用的深入以及行车密度的增加，对城轨时钟系统提出了新的要求，而传统时间同步方法存在很多问题。目前NTP(NetworkTimeProtocol，网络时间...
- 黎磊
- 关键词：城市轨道交通网络时间协议模块电路
- CTCS-2级列控系统的形式化建模与验证被引量：1
- 2013年
- 由于CTCS-2级列控系统设计复杂,因此提出一种将统一建模语言(UML)与符号模型检验相结合的形式化建模与验证方法。分析CTCS-2级列控车载设备的模式转换场景,对其进行UML建模得到UML类图和状态图,制定转换规则对UML模型进行扩展和抽象,使其转化为NuSMV模型。将待验证的系统性质和转化后的检验程序输入符号模型检验系统进行验证,验证结果都为true,表明CTCS-2级列控车载设备的模式转化场景具有活性、可达性和安全性。
- 董昱水晶黎磊
- 关键词：列控系统符号模型检验形式化方法车载设备
