咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 交通运输工程
    • 2 篇 土木工程
    • 1 篇 计算机科学与技术...
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 3 篇 混合通信顺序进程
  • 1 篇 列控系统
  • 1 篇 验证
  • 1 篇 行车许可场景
  • 1 篇 时间自动机
  • 1 篇 混合自动机
  • 1 篇 安全性
  • 1 篇 列车运行控制系统
  • 1 篇 高速铁路列控系统
  • 1 篇 时间约束
  • 1 篇 模型转换
  • 1 篇 rbc切换
  • 1 篇 注册与启动

机构

  • 3 篇 北京交通大学

作者

  • 3 篇 tang tao
  • 3 篇 唐涛
  • 3 篇 吕继东
  • 2 篇 li kaicheng
  • 2 篇 李开成
  • 1 篇 王海峰
  • 1 篇 l(u) ji-dong
  • 1 篇 yuan lei
  • 1 篇 袁磊
  • 1 篇 wang haifeng
  • 1 篇 l(ü) jidong
  • 1 篇 lv jidong

语言

  • 3 篇 中文
检索条件"主题词=混合通信顺序进程"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法
收藏
分享
引用
中国铁道科学 2012年 第5期33卷 91-97页
作者： 吕继东 李开成 唐涛 袁磊 北京交通大学轨道交通运行控制系统国家工程研究中心 北京100044 北京交通大学轨道交通控制与安全国家重点实验室 北京100044
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具... 详细信息
来源： 评论
高速铁路列控系统运营场景实时性的建模与验证
收藏
分享
引用
铁道学报 2011年 第6期33卷 54-61页
作者： 吕继东 唐涛 北京交通大学轨道交通控制与安全国家重点实验室 北京100044
高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限... 详细信息
来源： 评论
基于HCSP的列控系统安全性建模与验证分析
收藏
分享
引用
铁路计算机应用 2017年 第1期26卷 11-17页
作者： 吕继东 唐涛 李开成 王海峰 北京交通大学轨道交通运行控制系统国家工程研究中心
高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备,如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程(HCSP,Hybrid Communication Sequential Process),利用该... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件