程雨

作品数：1被引量：7H指数：1
导出分析报告
供职机构：中国铁道科学研究院基础设施检测研究所更多>>
发文主题：UML扩展机制形式化建模控制系统列控系统更多>>
发文领域：交通运输工程更多>>
发文期刊：《铁道学报》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于HUML的列控系统形式化建模与参数分析方法被引量：7
《铁道学报》2016年第11期80-87,共8页赵晓宇 程瑞军 程雨 马小平 
国家高技术研究发展计划(2011AA11A102)
针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;...
关键词：高速铁路列控系统 UML扩展机制 混成自动机 移动闭塞控制系统 控制参数分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部