CTCS-4无线通信故障恢复模型的形式化研究

对CTCS-4的无线通信系统的故障恢复模型进行了研究,使用Event-B对CTCS-4无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求.     

水润滑橡胶艉轴承模态分析研究

采用有限元计算与试验模态相结合的方法进行两种模态频率和振型分析,以及模态置信度的计算与对比.结果表明,在计算模态与试验模态相似对应的模态振型中,两者的板条振型弯曲趋势相似;计算模态与试验模态数值接近,两者相关性良好,有限元结构模型可以反映实际结构模型.     

隧道围岩位移的区间分析

不同级别的岩体具有不同的物理力学指标,根据物理力学参数的区间特性,引入区间分析方法,把各个参数当作区间变量,据此分析计算出隧道嗣岩位移大小的区间,为今后工程设计、施工中的同岩变形预留量提供一个定赶的参考范围。     

镁合金AZ31的差热分析及凝固组织观察

利用差热分析(DTA)和在不同温度下加热-急冷,并结合金相组织观察的方法研究了AZ31镁合金的凝固相变温度及凝固组织变化特征.通过对AZ31镁合金DTA曲线的分析和不同温度下金相组织的比较、分析,确定了该合金的相变起始温度为430.1℃,共晶温度为438.5℃,固相线温度为614.4℃,液相线温度为636.4℃.同时,通过对不同温度下急冷试样的组织观察,分析了AZ31镁合金在凝固过程中的相变及组织演变特征,并确定了差热分析所得相变温度的准确性.     

无砟轨道高低和方向不平顺计算方法研究

在无砟轨道精调阶段,轨道静态平顺性控制指标是评判轨道几何形位是否满足验收标准的主要依据。本文针对目前该指标中高低和方向不平顺计算方法在客运专线无砟轨道精调中使用不便的现状,提出利用轨道高程和平面绝对偏差值来对其进行计算的方法;并通过与用三维坐标计算精确结果的对比验证该方法的正确性;同时应用该方法编制无砟轨道精调软件,对其在无砟轨道精调中的应用进行探讨。结果表明:该方法能反映出调后模拟值、调前实测值和调整值的本质关系,且计算简单,有利于调整值的给出。     

曲线上钢轨横向位移影响因素分析

为研究曲线上钢轨横向位移的影响因素,建立了包括钢轨、轨下垫层、扣件的有限元模型,分析了在有、无列车荷载的作用下钢轨的横向位移随曲线半径、升温幅值的变化规律,及钢轨在受温度力这种分布力作用时扣件参数对钢轨横向位移的影响。结果表明在升温幅值较大的小半径曲线上,温度力会使钢轨产生较大的横向位移;扣件对钢轨横向位移的影响与钢轨所受的荷载有关,适当增加弹条的扣压刚度可减少温度力引起的钢轨横向位移。     

关于高速公路联网收费系统管理的探讨

从几个方面说明了高速公路联网收费系统管理。     

浅谈公路设计中环境的保护和设计

根据笔者从事公路工作多年的经验,对公路设计中环境保护设计的重要性,进行一些探讨。     

RTW实时仿真技术在舰船模拟器中的应用

为满足实时仿真系统开发的快速性,提出了一种基于Matlab实时工作间(RTW)的仿真系统开发方法.RTW将Simulink仿真模型转化成可移植的嵌入式C++代码,该方法利用了Matlab强大的建模功能及VC设计人机交互界面的灵活性等特点,缩短了仿真系统的开发时间,降低了系统的开发成本.该方法已在某型舰船动力系统模拟器研...     

浅析交通企业并购及意义

首先叙述了有关企业并购的几种理论和意义．在此基础上对交通企业公司的上市及并购进行了初步探讨。