您的位置： 专家智库 > >

程雨

作品数：1 被引量：7H指数：1
供职机构：中国铁道科学研究院基础设施检测研究所更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：交通运输工程更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇交通运输工程

主题

  • 1篇形式化
  • 1篇形式化建模
  • 1篇列控系统
  • 1篇控制系统
  • 1篇UML扩展
  • 1篇UML扩展机...

机构

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

作者

  • 1篇马小平
  • 1篇程瑞军
  • 1篇程雨
  • 1篇赵晓宇

传媒

  • 1篇铁道学报

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于HUML的列控系统形式化建模与参数分析方法被引量：7
2016年
针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;将列控系统安全性需求加入到HYTECH模型,建立安全HYTECH模;利用模型检验工具HYTECH对安全HYTECH模型进行自动分析。根据所提出的基于UML概要文件建模方法,以移动闭塞系统中的追踪模型为例,建立后行列车的控制器HUML模型;通过计算安全HYTECH模型的可达集得到未知控制参数的取值范围;验证结果表明基于HUML的列控系统建模和分析方法的有效性。
赵晓宇程瑞军程雨马小平
关键词：UML扩展机制
全选 清除 导出
共1页<1>
聚类工具0