您的位置: 专家智库 > >

文献类型

  • 8篇期刊文章
  • 2篇学位论文

领域

  • 6篇交通运输工程
  • 3篇自动化与计算...
  • 1篇电子电信

主题

  • 4篇通信
  • 4篇全通
  • 4篇安全通信
  • 3篇计算机
  • 2篇区域控制器
  • 2篇联锁
  • 2篇控制器
  • 2篇互联
  • 2篇互联互通
  • 2篇计算机设计
  • 2篇轨道交通
  • 1篇动态故障树
  • 1篇信号系统
  • 1篇形式化
  • 1篇形式化建模
  • 1篇行车
  • 1篇有色PETR...
  • 1篇冗余
  • 1篇软件测试
  • 1篇数据驱动

机构

  • 9篇中国铁道科学...
  • 1篇北京交通大学

作者

  • 10篇郑长宗
  • 3篇徐登科
  • 2篇杨霓霏
  • 2篇管伟军
  • 1篇姜庆阳
  • 1篇孟令韬
  • 1篇开祥宝
  • 1篇刘晓斌
  • 1篇卢佩玲
  • 1篇吉喆
  • 1篇李士祥
  • 1篇段武
  • 1篇姚亚平
  • 1篇齐志华
  • 1篇郭伟

传媒

  • 4篇铁道通信信号
  • 2篇都市快轨交通
  • 1篇中国铁路
  • 1篇铁路计算机应...

年份

  • 1篇2023
  • 1篇2017
  • 1篇2014
  • 2篇2013
  • 1篇2012
  • 3篇2011
  • 1篇2008
10 条 记 录,以下是 1-10
排序方式:
安全苛求通信系统的形式化建模及验证
随着计算机、通信和控制技术的深度融合以及通信技术的飞速发展,通信在铁路信号、航空航天等这些安全苛求的控制领域中起到越来越重要的作用。对高速铁路列车运行控制系统这类安全完整性等级要求极高、且具有大量安全相关通信传输需求的安...
郑长宗
关键词:安全通信有色PETRI网
文献传递
基于需求建模的联锁软件自动化测试技术的研究与实现被引量:5
2013年
基于需求的测试是软件测试的本质。通过采用线性关系抽取技术的需求建模方法,设计出一种以需求驱动生成测试用例,并结合相应的软件测试平台,完成其自动执行的测试技术。该技术能够对联锁软件中逻辑关系比较复杂的需求进行整理和化简,并能够以最小数目的测试用例实现最大化功能覆盖率的自动化测试。
徐登科姚亚平齐志华郑长宗
关键词:联锁软件软件测试自动化测试
基于互联互通的区域控制器安全通信计算机设计被引量:2
2017年
为了实现列车在不同厂商提供设备的城市轨道交通线路或网络中安全运营、共线混跑以及资源共享,基于通信的列车控制系统互联互通已成为一个重要课题。根据正在起草的互联互通的行业技术规范,为满足不因通信中断而倒机的需求,提出一种实现区域控制中心与其他信号系统通信的专用二乘二取二安全通信计算机的方案,设计其软硬件系统结构、平台内部冗余的连接方式,对单系内的双CPU同步和数据安全比较、双系间的主备同步等关键算法进行研究,并针对安全通信协议中描述的风险设计相应的防御措施。
魏东冬卢佩玲郑长宗姜庆阳
关键词:城市轨道交通区域控制器互联互通冗余
铁路信号安全协议RSSP的研究被引量:13
2011年
铁路信号安全协议(RSSP)是应用于铁路信号安全设备接口的安全通信协议。给出了应用RSSP设备间的以太网通信网络结构,描述了RSSP-Ⅰ的接口结构与功能特点,及RSSP-Ⅱ的层次结构与功能特点,提出了RSSP的基本实现方法,论述了RSSP在热备结构的设备中的同步方法。
郑长宗刘晓斌徐登科吉喆
城际铁路信号系统通信控制服务器(CCS)的ISDN服务器设计被引量:1
2014年
在城际铁路信号系统中,通信控制服务器CCS是地面中心控制设备的重要组成部分,完成车-地通信、列车运行计划传输和车-地屏蔽门联控功能。ISDN服务器是CCS与车载ATP进行车-地无线信息传输的媒介,具有较高的可靠性和安全性。为此,分析CCS基本功能及ISDN服务器在CCS中的作用,介绍ISDN服务器的软硬件结构,描述ISDN服务器的通信功能模块CFM,设计CFM的层次结构、接口与流程。
郑长宗管伟军徐登科杨霓霏
关键词:CCS
基于ARINC659总线的互联互通ZC安全通信计算机平台的设计
2023年
为了更好地满足城市轨道交通互联互通对信号领域安全通信的要求,将具有数据吞吐量大、传输时间确定、故障隔离严格、容错性好等特点的ARINC659总线用于城市轨道交通信号控制系统领域。提出了一种基于ARINC659总线技术的二乘二取二安全通信计算机平台的方案,用以实现ZC平台的对外通信功能和安全通信协议运算功能。设计其软硬件结构、用户软件和总线间线程的通信序列,并对数据的冗余处理和安全协议运算等关键功能进行研究,以满足系统高安全性、高可靠性和高实时性通信的需求。
魏东冬郑长宗许镇
关键词:轨道交通ARINC659区域控制器互联互通
临时限速服务器自动测试平台的研究与实现被引量:3
2012年
临时限速服务器是高速铁路列车运行控制系统的重要组成,本文采用了测试用例与测试数据相互独立的自动测试方法,搭建了非侵入式闭环的自动测试平台,采用边界值分析和等价类划分的方法,直接读取列控数据表实现测试数据的自动生成。
郭伟开祥宝李士祥郑长宗
关键词:数据驱动测试数据
CTCS-2/3行车仿真平台模型和算法研究
2013年
介绍了列车行车仿真平台的组成和相关算法,阐述了列车精确测速、测距的计算方法,以及列车接收点式信息和连续信息的方法,构建了行车仿真的计算模型。行车仿真平台为列控室内试验提供了有效的方法,为动态仿真提供了计算依据。
管伟军郑长宗孟令韬
关键词:行车仿真
列控系统安全通信计算机设计被引量:1
2011年
CTCS-2级、CTCS-3级列控系统的地面子系统中,列控中心、临时限速服务器、无线闭塞中心都具有安全相关通信功能,且绝大部分采用2oo2×2的软、硬件安全冗余结构,需要采用具备较强通信功能和运算性能、能够适应2oo2×2冗余结构的安全平台来实现。由于通信对象较多及安全通信协议较为复杂的算法和严格的实时性要求,采用专用的安全通信计算机实现与相关系统的安全通信是一种合理可行的解决方案。结合CTCS-3级列控系统地面设备的需求提出一种安全通信计算机的实现方案,设计其硬件结构,研究同步关键算法并实现安全协议的功能。
郑长宗段武杨霓霏
关键词:列车运行控制系统安全通信计算机
操作表示机标准I/O设备切换系统设计与实现
计算机联锁系统中,操作表示机作为系统中重要的人机交互界面,是接收值班员的控制命令、站场设备状态的关键部件。为提高可靠性,操作表示机采用双机热备模式,其标准I/O设备如鼠标、键盘、显示器、音频设备等为单套。标准I/O设备切...
郑长宗
关键词:计算机联锁系统切换系统
文献传递
共1页<1>
聚类工具0