您的位置: 专家智库 > >

国家科技支撑计划(2006BAG02B04)

作品数:4 被引量:27H指数:3
相关作者:郜春海马连川宁滨郭志良朱力更多>>
相关机构:北京交通大学北京交控科技有限公司更多>>
发文基金:国家科技支撑计划北京市科技计划项目更多>>
相关领域:自动化与计算机技术交通运输工程更多>>

文献类型

  • 4篇中文期刊文章

领域

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

主题

  • 2篇仿真
  • 1篇地铁
  • 1篇形式化
  • 1篇形式化验证
  • 1篇时间自动机
  • 1篇实时系统
  • 1篇视景仿真
  • 1篇屏蔽门系统
  • 1篇子系统
  • 1篇自动机
  • 1篇自动机模型
  • 1篇自主创新
  • 1篇无线
  • 1篇无线局域
  • 1篇无线局域网
  • 1篇系统仿真
  • 1篇列控系统
  • 1篇局域
  • 1篇局域网
  • 1篇计算机

机构

  • 4篇北京交通大学
  • 1篇北京交控科技...

作者

  • 2篇郜春海
  • 1篇吕继东
  • 1篇朱力
  • 1篇郭志良
  • 1篇宁滨
  • 1篇刘丽娟
  • 1篇马连川
  • 1篇李开成

传媒

  • 2篇铁道学报
  • 1篇北京交通大学...
  • 1篇现代城市轨道...

年份

  • 1篇2014
  • 2篇2011
  • 1篇2009
4 条 记 录,以下是 1-4
排序方式:
自主创新CBTC系统的核心技术研究被引量:8
2014年
自主创新的CBTC系统项目实现了"安全、快捷、可靠、准点、舒适、节能、自动化"城市轨道交通的目标。文章从自主创新的CBTC信号系统的研究背景、发展历程、技术创新点及成果转化几个方面进行详细阐述,对我国的自主创新项目的研究具有指导意义。
郜春海
关键词:城市轨道交通自主创新
视景仿真的屏蔽门系统在地铁列控系统中的应用被引量:3
2009年
研究了一种基于视景仿真的虚拟测试方法,并将其应用于地铁列车CBTC系统的仿真测试平台中,利用Multigen Creator及Vega软件构建车站、站台屏蔽门及列车的虚拟现实环境,在实验室模拟了地铁站台屏蔽门的工作,解决了CBTC系统开发工作对现场环境依赖过高的问题.
李开成刘丽娟
关键词:视景仿真CREATOR/VEGA
基于时间自动机模型的安全计算机平台的形式化验证被引量:8
2011年
众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。
郭志良郜春海马连川吕继东
关键词:实时系统安全计算机时间自动机UPPAAL
基于802.11g的CBTC车地通信子系统建模与分析被引量:8
2011年
CBTC系统是利用连续、大容量的车地双向数字通信实现列车控制信息、列车状态信息传输的先进列车控制系统,CBTC系统中车地通信子系统对于保障列车安全高效的运营具有重要作用。本文根据CBTC移动闭塞系统中的列车追踪模型,分析系统对通信的要求;利用OPNET的三层建模机制,建立基于802.11g的CBTC车地通信系统的系统仿真模型;利用该仿真平台仿真列控业务下的通信系统性能;仿真结果表明,在区间追踪阶段,基于802.11g的无线局域网完全满足列车控制的需要;需要保证车站附近的AP信号覆盖以满足列车进入中间站停车时对通信的要求。
朱力宁滨
关键词:车地通信OPNET系统仿真无线局域网
共1页<1>
聚类工具0