分析和设计安全协议的新逻辑

现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议.本文提出一种分析和设计安全协议的新逻辑.该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议.通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行.同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性.在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理.如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞.在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议.最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标.我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标.     

一种新型电气设备故障检修校验装置的设计与应用

提出一种新型电气设备故障检修校验装置设计,并通过一起所用变压器故障检修实例对该设计装置进行应用分析,说明该装置设计在电气设备故障检修中的作用。     

基于层次特征的轻轨车身曲面设计方法研究

在车身造型设计技术基础上,根据轻轨车身曲面设计的需求,分析"线-面-体"不同的层次特征及系统因素,提出一种轻轨车身造型及曲面设计方法。对该方法的构建过程、系统作用与技术难点及该方法的构成、技术路线进行阐述,并分析研究该方法应用的可行性。该方法面向车身外观质量的优化,有效解决轻轨车身造型设计过程的方向性与效率性问题。     

一种基于PWM的新型滑模控制器在BUCK变换器中的仿真研究

介绍了滑模控制理论及其在Buck变换器中的仿真研究,提出了一种新型滑模控制器的设计方法,该方法与传统设计方法的不同之处是在三维空间中设计滑模面,该设计方法充分考虑了Buck中各元件的信息.Buck变换器工作在CCM模式下,计算出该方法的滑模可达性条件及其控制器方程,并论述了该种方法的稳定性.最后采用SIMUUNK对该控制器在Buck电路中的应用进行了仿真,通过仿真结果论证了变换器的相关理论,证明了该种方法的可用性.     

沙特麦加轻轨铁路项目旅客逃生和消防设计研究

通过沙特麦加轻轨铁路项目旅客逃生及消防设计的研究分析,介绍了该项目旅客逃生及消防设计的理念、标准,分项总结了该项目的旅客逃生及消防设计,对国内同类工程具有一定的借鉴意义。     

机车车体抗蛇行减振器座结构模块化设计

机车车体抗蛇行减振器安装座是一重要的疲劳受力部件,文章针对该部件在以往运行中所出现的问题,总结不同的结构方案进行计算分析和设计比较,并通过对较优方案的重新设计,达到该部件的模块化设计目的。     

地铁车辆车体快速设计方法

针对地铁车辆车体设计知识重用率不足而导致研发周期较长的问题,提出集成实例推理技术和关联设计技术的地铁车辆车体快速设计方法。首先,构建地铁车辆车体主模型,并以该模型为基础建立地铁车辆车体快速设计流程;然后,研究基于实例推理的产品配置方法,以及基于关联设计的产品变型方法;最后,以地铁车辆车体为例验证了该设计方法的有效性与可行性。     

山西中南部铁路通道重载连续梁设计

山西中南部铁路通道是轴重达30 t的重载铁路,该铁路采用了大量预应力混凝土连续梁结构,该系列连续梁设计充分考虑了重载铁路的特点。介绍重载连续梁主要设计原则和参数,预应力钢束布置、锚固以及设计计算的要点。     

三相变四相电力变压器模型与实验研究

建立了三相变四相四心柱电力变压器的数学模型,提出并证明了设计该变压器绕组阻抗所须满足的中性点接地条件与平衡条件;设计制作了该变压器实验模型,实验验证了理论分析的正确性;理论分析与实验研究表明,在设计该变压器必须满足的阻抗约束关系中,应优先满足中性点接地条件的要求.     

精伊霍铁路克其克苏布台特大桥设计

概要介绍精伊霍铁路克其克苏布台特大桥的设计,包括上部结构、下部结构设计以及抗震设计。该桥是我国第一座位于高风压区、高烈度地震区的高墩大跨铁路桥梁,该桥的建成将对国内高墩大跨铁路桥具有重大意义。     

双DSP磁悬浮控制器的研究与实现

介绍了磁悬浮控制系统的设计原理,选用由TMS320C2812和TMS320LF2407数字信号处理器构成的双DSP系统设计了磁悬浮控制器。该控制器可实现悬浮控制和诊断控制,控制策略采用数字PID算法,并通过实验结果证明了该控制器具有良好的鲁棒性和抗干扰能力。     

基于现场总线的磁浮列车悬浮控制调试系统

根据中低速磁浮列车悬浮控制系统的特点,构建了一种基于USB-CAN接口的悬浮控制调试系统,设计了通信协议,并在悬浮控制器和上位机上予以实现。     

常导高速磁悬浮列车电磁场的分析与测量

常导高速磁悬浮列车采用长定子直线同步电机驱动,依靠电磁场进行悬浮和推进。由于定子齿槽和材料不连续性的影响,其电磁场的分布情况很难通过解析的方式进行精确的描述。采用有限元方法对列车内的悬浮磁场和推进磁场进行了系统的研究,得到了气隙内的磁场分布,计算出了悬浮力和推进力,并发现了6倍频的波动。最后,采用霍尔传感器对气隙磁场进行了测量,验证了分析的正确性。     

磁悬浮列车交会通过时的车辆动力学特性

从研究3辆编组磁悬浮列车交会动力学性能入手,讨论了5辆编组磁悬浮列车交会时的动力学性能,并介绍了为改善乘坐舒适度而新近采用的控制技术。     

线路不平顺对低速磁浮车辆动态响应的影响

线路不平顺与磁浮车辆的动力学性能密切相关,良好的线路状况是车辆稳定、舒适运行的保证。参考各国高速铁路对轨道梁刚度的要求,并考虑轨道梁的动力学特性要求,给出了磁浮列车线路不平顺的具体型式及变量限值,着重分析了线路不平顺的频率对车辆垂向响应的影响。分析结果进一步验证了悬浮控制器的设计思想,即在高频时,应保证列车具有良好的平稳性,而低频时,应与轨道具有良好的跟随性。这些分析结果为以后进一步的研究奠定了基础。     

单铁磁悬浮控制系统的动力学特性研究

建立单铁悬浮控制系统的非线性闭环状态空间模型,研究该系统的动力学特性,推导了三个主要控制参数与系统动力学特性的基本约束关系,特别是对单铁磁悬浮系统的自激振动给出了严格的理论解释。文章所得到的结论与实验结果一致。     

上海中低速磁浮列车辅助电源系统

上海中低速磁浮列车辅助电源系统由高压隔离开关柜、DC 330V悬浮电源、三相辅助逆变器、DC 110V控制电源、紧急逆变器、330V蓄电池系统、110V蓄电池组、低压配电柜、DC 330V配电柜组成。系统采用了短路、过压、欠压、过流、过热等保护,当设备保护动作后,通过网络发送故障代码,供列车事件记录器记录及司机室显示装置显示。     

电磁永磁混合磁悬浮系统自适应控制方法研究

研究电磁永磁混合型EMS磁悬浮列车的悬浮控制问题．根据控制指标要求设计零功率控制器．内环采用次速电流环，外环采用自适应PD环，它能保证系统在全质量范围内悬浮性能保持一致。仿真及试验表明．增加自适应机制后．系统的抗干扰能力强．在质量改变时表现出稳健性.     

基于最优控制的高速磁浮列车垂向动力学模型

研究了高速磁浮列车的最优控制方法.建立了单节整车有47个自由度的磁浮垂向振动模型.模型中考虑了电磁力以及控制规则,以便模拟控制系统对悬浮磁铁与轨道梁间的电磁力的控制.通过时域仿真,基于最优控制的磁浮控制系统能保证垂向磁铁与轨道梁间气隙的稳定.     

韩国磁悬浮列车发展

介绍了韩国磁悬浮列车的发展历程和方向.