李宪
- 作品数：4 被引量：16H指数：3
- 供职机构：北京交通大学电子信息工程学院轨道交通控制与安全国家重点实验室更多>>
- 发文基金：国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域：交通运输工程自动化与计算机技术更多>>
- 基于UML扩展机制的列控系统建模方法研究被引量：7
- 2012年
- 本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确。同时,为进一步的设计和验证提供精确语义支持。
- 赵林唐涛刘金涛刘超李宪
- 关键词：UML扩展机制对象约束语言列车运行控制系统
- 运行时验证及其在列车运行控制系统中的应用被引量：4
- 2011年
- 运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。
- 赵林唐涛徐田华柴铭李宪
- 关键词：多值逻辑列车运行控制系统
- 基于D-optimal设计和Mixed Logit模型的地铁乘客出行时间选择行为研究
- 高峰时段大客流会产生地铁车站客流拥挤及安全隐患等问题,减少高峰时段的乘客出行需求是减缓这一问题的重要手段.基于此,本文利用D-optimal设计和Mixed Logit(ML)模型研究地铁乘客出行时间选择行为.采用D-o...
- 李宪李海鹰许心越
- 关键词：地铁交通
- 基于UML模型的CTCS-3级列控系统功能安全分析方法被引量：10
- 2013年
- 本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件机制对系统的故障情况进行刻画。给出UML模型到PHAVer模型的转化规则以及故障监视器模型的建立方法,利用可达集计算原理验证列控系统的PHAVer模型并对其进行功能安全性分析。以CTCS-3级列控系统的RBC交接为例,使用UML结合可达集计算对系统进行功能安全分析。分析结果表明:UML与可达集计算相结合的方法适用于CTCS-3级列控系统的功能安全分析。
- 刘金涛唐涛赵林李宪
- 关键词：形式化方法UML可达集
