黎磊

作品数：3被引量：4H指数：1
导出分析报告
供职机构：兰州交通大学自动化与电气学院更多>>
发文主题：城市轨道交通NTP嵌入式时间服务器网络时间协议更多>>
发文领域：交通运输工程自然科学总论机械工程更多>>
发文期刊：《城市轨道交通研究》《兰州交通大学学报》《计算机工程》更多>>
所获基金：甘肃省教育厅研究生导师科研项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
城市轨道交通NTP时间服务器的研究与设计被引量：2
《兰州交通大学学报》2013年第4期18-22,共5页武晓春 黎磊 张壮 
根据城市轨道交通控制系统的控制中心与车站的二级控制模式,设计了基于NTP的时间同步网络结构.采用基于S3C2410的ARM9开发板,并扩展串口和增加Zigbee无线传输模块,设计了一套基于嵌入式Linux的城市轨道交通NTP时间服务器.服务器通过GPS...
关键词：城市轨道交通 嵌入式 NTP协议 时间服务器 
基于网络时间协议(NTP)的城市轨道交通时间服务器的设计被引量：1
《城市轨道交通研究》2013年第4期24-27,43,共5页黎磊 武晓春 
设计了一套基于嵌入式的城市轨道交通GPS(全球定位系统)时间服务器。系统硬件采用GPS OEM板和ARM9开发板,并在开发板上增加了Zigbee无线传输模块和扩展了的RS 485接口,可满足城市轨道交通时间信息传输多样性的要求。通过分析网络时间协...
关键词：城市轨道交通 嵌入式 GPS时间服务器 网络时间协议 
CTCS-2级列控系统的形式化建模与验证被引量：1
《计算机工程》2013年第3期12-15,共4页董昱 水晶 黎磊 
国家自然科学基金资助项目(61164010);甘肃省教育厅硕导基金资助项目(210110)
由于CTCS-2级列控系统设计复杂,因此提出一种将统一建模语言(UML)与符号模型检验相结合的形式化建模与验证方法。分析CTCS-2级列控车载设备的模式转换场景,对其进行UML建模得到UML类图和状态图,制定转换规则对UML模型进行扩展和抽象,使...
关键词：列控系统 符号模型检验 形式化方法 车载设备 模式转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部