王栋
- 作品数：3 被引量：6H指数：1
- 供职机构：兰州交通大学机电工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：交通运输工程理学机械工程更多>>
- 3自由度单碰振动系统的Lyapunov指数谱和周期泡现象被引量：1
- 2018年
- 给出了一类3自由度单碰振动系统运动方程和状态方程,引入局部映射得到Poincaré映射和Jacobi矩阵,通过Gram-Schmidt正交化和范数归一化得出该系统Lyapunov指数谱的计算方法。通过分岔图、相图和Lyapunov指数谱的表现形式,通过数值仿真分析该系统在一定参数下的动力学行为。结果表明,利用Lyapunov指数谱可以有效判断系统的稳定性,同时发现系统在一定参数下存在周期泡和混沌泡的现象,并且随着质量比的减小,系统运动由倍周期分岔序列进入混沌运动,导致周期泡和混沌泡现象的消失。
- 王栋张艳龙王丽
- 关键词：振动与波LYAPUNOV指数谱
- 电力机车电机过流与励磁过流保护试验的简便方法：检测技术及其自动化装置
- 2012年
- 针对SS34000系电力机车在大修出厂时，对电机过流保护，励磁过流保护的试验提供一个轻便的试验台，提出利用功率器件模拟列车牵引、制动工况时机车电流传感器的值，实现电机过流保护与励磁过流保护的试验。
- 王栋
- 关键词：电子柜
- 基于UML顺序图与UPPAAL的列车追踪模块建模研究（英文）被引量：5
- 2019年
- 区域控制器(zone controller, ZC)是一个实时复杂系统,它要求过程控制的准确性。列车追踪场景是城市轨道交通(communication based train control, CBTC)系统中ZC的一个重要功能。在对系统进行深层次的开发设计过程中需要对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。通过分析ZC系统结构及列车追踪分界点处理过程,给出满足系统安全性的功能要求和性能要求,并采用统一建模语言(unified modeling language, UML)与时间自动机相结合的方式建立列车追踪场景中列车筛选和列车追踪分界点的时间自动机网络模型。同时,应用UPPAAL验证工具对系统进行仿真模拟,验证了系统的功能和性能要求。结果表明,列车追踪分界点功能满足系统安全性和受限活性的规范要求。因此,此种建模方法是可行的,可以将其应用于列控系统其他场景的建模与验证过程中。
- 陈永刚杨璐王栋
- 关键词：列车追踪CBTC系统区域控制器时间自动机UPPAAL
