您的位置： 专家智库 > >

刘欢

作品数：1 被引量：5H指数：1
供职机构：西南交通大学信息科学与技术学院更多>>
相关领域：交通运输工程自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇系统模型
  • 1篇系统模型设计
  • 1篇SCADE
  • 1篇测速定位

机构

  • 1篇西南交通大学

作者

  • 1篇刘欢
  • 1篇李耀

传媒

  • 1篇铁路计算机应...

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于SCADE的测速定位系统模型设计被引量：5
2016年
针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题,提出了基于SCADE的测速定位系统模型设计,介绍SCADE需求建模以及模型验证方法,分析了一种测速定位模型;在SCADE平台上建立了测速定位系统的模型,通过仿真与验证,证明模型完全满足测速定位的系统需求与安全性。
刘欢李耀
关键词：SCADE测速定位形式化验证
全选 清除 导出
共1页<1>
聚类工具0