行车安全综合监控系统的时序Petri网描述及验证

行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序Petri网,提出了相应的分析和验证方法。然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性。     

移相全桥变换器稳定性分析

系统稳定性分析是设计电路拓扑不可或缺的一个环节.以移相全桥电路作为应用分析实例,分别从小信号建模分析、仿真分析以及试验验证3个方面对系统的频率特性曲线进行了绘制.首先在小信号建模和SABER小信号仿真分析的基础上,理论分析了移相全桥的稳定性,最后通过了实验验证,并给出仪器测试的步骤以及测试结果.     

局科研所研制的“救援台车”成功通过动车组救援验证

为了适应4月18日铁路第六次大提速的要求，配合200km／h动车组的开行，铁道部运输局于2007年3月4日至7日在南车集团四方机车车辆股份有限公司组织了适用于CRH1和CRH2型动车组的救援机具样机的试验验证工作。路局科研所研制的“TKH型铁路客货车辆通用救援台车”参加了这次验证会，并成功通过装车和运行试验验证。     

铁路牵引用直驱式永磁同步电动机的无位置传感器控制

提出了一种表面式永磁同步电动机无位置传感器的控制方法,适用于要求逆变器利用率高且开关频率低等限制条件的大功率牵引驱动系统.采用含电机电压模型和电机电感模型的观测器,在低速时注入测试信号,可以得到位置和速度信号.阐述了基本估计方法的改进.在实验室用28 kW标准伺服电机成功地验证了该方法.     

基于文件交换的设计功能验证

随着ASIC设计规模的不断增大，验证在整个设计中占的比重越来越大。提出了一种基于文件交换的RTL设计功能验证方法。用该方法结合MATLAB对TDSCDMA终端联合检测协处理器进行功能验证，结果表明，该方法特别适合于对数字信号处理ASIC进行黑盒验证。     

单位堤长斜向波浪力的短峰波计算方法及试验验证

从短峰波模式出发，采用数值方法给出斜向波作用于直立堤上的波浪力．着重分析了波浪方向、波陡和相对波高对单位堤长水平波力的影响，并与试验结果加以比较验证。     

正线电码化电路分析与改进

针对正线电码化电路存在的电源瞬间正常转换致使信号关闭，进路内任一区段故障造成信号关闭以及列车冒进信号会错误地连续发码等问题，提出了改进方案，并经基地设备验证，效果良好。     

机械式汽车悬架检测装置试验台控制系统的开发

对机械式汽车悬架装置试验台进行了改进设计，并通过实验验证了本系统的可行性和正确性。     

高速动车组恒速控制策略的研究与仿真

为实现电动车组在0～250 km/h的速度范围内稳定运行,提出一种恒速控制策略.通过牵引控制与恒速控制之间平滑过渡,防止在不同控制方式之间切换时引起较大的转矩和电流波动.在速度低于125 km/h采用准恒转矩控制,速度高于125 km/h采用恒功率控制.采用直接转子磁场定向控制系统,牵引逆变器采用空间电压矢量控制的带中点钳位二极管的三电平拓扑结构.仿真结果验证系统具有良好的动态性能和稳态性能.     

浅谈载货汽车总体布置设计的要素

本文介绍了载货汽车总体布置设计的一般程序。