水晶

作品数：1被引量：1H指数：1
导出分析报告
供职机构：兰州交通大学自动化与电气学院更多>>
发文主题：车载设备CTCS-2级列控系统符号模型检验形式化建模与验证形式化方法更多>>
发文领域：自然科学总论更多>>
发文期刊：《计算机工程》更多>>
所获基金：甘肃省教育厅研究生导师科研项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
CTCS-2级列控系统的形式化建模与验证被引量：1
《计算机工程》2013年第3期12-15,共4页董昱 水晶 黎磊 
国家自然科学基金资助项目(61164010);甘肃省教育厅硕导基金资助项目(210110)
由于CTCS-2级列控系统设计复杂,因此提出一种将统一建模语言(UML)与符号模型检验相结合的形式化建模与验证方法。分析CTCS-2级列控车载设备的模式转换场景,对其进行UML建模得到UML类图和状态图,制定转换规则对UML模型进行扩展和抽象,使...
关键词：列控系统 符号模型检验 形式化方法 车载设备 模式转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部