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

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

双馈风力发电机系统有功和无功功率的解耦控制

双馈发电机的有功和无功功率的解耦控制是变速恒频(VSCF)风力发电系统的关键技术.文章阐述了变速恒频风力发电系统的工作原理,在分析双馈感应电机的动态数学模型以及定子磁链定向矢量控制的基础上,介绍了一种有效的有功和无功功率解耦控制方法.Matlab仿真结果表明,该控制方案能够很好地实现双馈电机的有功和无功功率的解耦控制,验证了其正确性和有效性.     

战场抢修多目标多分队调度优化研究

基于多目标的战场抢修分队调度优化问题一直以来是装备指挥管理部门关注的问题之一.通过约束转换,确立了采用遗传算法进行多目标优化调度的模型,并详细地说明了遗传操作方法的设计,实例验证了遗传算法在多目标多分队调度问题处理过程中的有效性.     

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

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

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

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

反舰导弹末制导参数对箔条冲淡干扰效果影响分析

箔条冲淡干扰是水面舰艇对抗雷达末制导反舰导弹的重要手段之一,冲淡干扰效果受多方面因素的制约.分析了方位搜索角和距离搜索波门等末制导雷达参数对箔条冲淡干扰效果可能造成的影响,通过计算机仿真进行了验证,并提出了消除影响的初步思路.     

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

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

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

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

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

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

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

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