- 年份
- 2020（2）
- 2017（1）
- 2013（2）
- 2009（1）
- 2007（1）
- 2005（2）
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)（1）
- 刊名
- 铁路通信信号工程技术（5）
- 数码设计（上）（2）
- 燕山大学学报（1）
- 科技创新与应用（1）
- 更多...
- 作者单位
- 中国铁路通信信号集团公司（1）
- 哈尔滨工业大学（1）
- 燕山大学（1）
- 语种
- 汉语（9）
- 关键词
- ATP系统（9）
- Z语言（2）
- 应用（2）
- 形式化（2）
- 供电设备（1）
- 信号传输（1）
- 信号速度（1）
- 内部故障（1）
- 列车（1）
- 列车自动防护系统（1）
- 更多...
- 作者
- 李夏（2）
- 信太克归（1）
- 刘传华（1）
- 张崇全（1）
- 徐志恒（1）
- 戴洪（1）
- 李堃（1）
- 李志全（1）
- 王祁（1）
- 艾兴阁（译）（1）
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 9 条结果
- 应用于大连快轨的LCF-100型车载ATP系统
- 空间光通信ATP系统粗跟踪平台的混合自适应控制CSTPCD
- 基于ATP系统的闭环可监测供电设备方案设计
- 形式化方法在铁路信号系统软件设计中的应用摘要：首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明.
- 伊朗德黑兰地铁1＆2号线列车自动防护（ATP）系统
- 目标距离控制与移动闭塞之间的竞争
- 安全协同控制下的城轨ATP系统研究
- 城市轨道交通信号速度监督功能在ATP系统中的应用初探
- 形式化方法在铁路信号系统软件设计中的应用摘要：首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明。