基于MSC与UPPAAL的列控系统等级转换场景形式化验证

等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。     

DWL-48连续走行捣固稳定车控制系统分析

对DWL-48连续捣固稳定车的捣固装置控制系统进行分析,认为控制策略的滞后是导致设备现场使用故障的重要原因。以捣固架提升与下降控制为例,提出基于BP神经网络的捣固装置控制系统的设计思路。     

中低速磁浮列车牵引杆设计与分析

设计了一种适合中低速磁浮列车的牵引杆.分析了牵引杆在起动、3 g和5 g冲击等工况下的载荷,采用有限元法分析牵引杆在不同载荷工况下的强度,并对牵引杆强度进行评价.结果表明,所设计的牵引杆是合理的,静强度和疲劳强度均符合要求.     

带非线性轴箱悬挂的城轨车辆动力学性能研究

以某种C型轻轨车辆为研究对象,在其基础上提出了转向架新型悬挂方式:一系采用一种连杆摩擦副机构,二系悬挂采用沙漏橡胶弹簧.对该转向架新型悬挂方式的结构和性能进行了分析,建立了非线性车辆动力学模型并进行了仿真.通过对转向架原悬挂方案和新方案在各种工况下的运行情况和动力学性能进行对比研究表明:新方案较好地改善了车辆动力学性能...     

提高地铁工程初步设计概算编制质量的探讨

地铁工程概算编制质量对工程投资的影响较大,提高概算编制质量能有效地控制工程投资.此文阐述了熟悉地铁工程投资构成对提高初步设计概算编制质量的重要性,指出地铁工程概算编制中应注意的细节和加强编制过程控制,提出限额法是合理控制投资的有效手段及其在概算编制中的应用.     

引水隧洞长距离通风技术

在保证安全的前提下,详细介绍了小断面长隧洞施工通风设计标准、设计原则、风量风压计算、风机风管选配、通风防漏主要措施、辅助通风降尘措施方案。     

海外总承包项目勘察设计工作特点及策略

介绍了海外总承包项目勘察设计工作特点,分析了国内设计企业在承担海外项目勘察设计过程中存在的主要问题,就如何更新设计理念、重视策划沟通、加强设计管理、提高设计质量、培养人才队伍、培育当地化勘察力量提出了建议意见,简要探讨了加强与海外咨询公司合作、推动中国标准走向世界等问题。对海外项目勘察设计工作有借鉴意义。     

浅谈尼日利亚沥青路面施工控制

针对当地的材料特性和技术标准,提出常用集料组成的建议值,及拌和、摊铺、碾压的质量控制要点,使沥青混合料达到路面的规范要求。     

地铁车站深基坑降水设计与实施效果分析

根据降水基本原理,针对工程水文地质情况,选取合理可靠的计算参数,通过理论计算并参考已有的经验数据,确定降水设计方案;结合具体工程项目组织实施,通过分析实施效果验证方案的有效性。     

THE GENE EXPRESSION OF BDNF IN NORMAL RABBIT RETINA

Objective To investigate the distribution of brain-derived neurotrophic factor(BDNF) protein in the rabbit retina. Methods Immune response material in the retina was observed using BDNF antibody by the method of immunohistochemistry. Results BDNF gene expression was mainly found in the RGCs, also in innernuclei cells and outernuclei cells in rabbit retina. Conclusion RGC is not only the target cell of BDNF, but also express the BDNF protein. BDNF from multi-sources participates in the regulation of RGCs.