基于对流效应的寒区路堤块石层临界高度研究

为了研究块石路堤降温效应与块石层高度之间的关系,基于多孔介质自然对流理论和热传导理论引入了表征寒区块石路堤自然对流降温效应的自然对流指数,利用热传导温度分布函数获得了路堤自然对流指数随块石层高度变化的近似公式。分析表明:自然对流指数最小值对应于路堤块石层的最小高度,而其最大值对应于路堤块石层的最大高度。另外介绍了一种利用自然对流指数近似公式估算路堤块石层临界高度的方法,并具体给出了算例,最后进行了数值验算。结果表明:通过自然对流指数确定的临界高度可为寒区工程的路堤设计提供参考。     

加强领导落实责任认真做好青藏铁路建设用地管理工作

铁路建设用地验收交接的技术性、专业性、政策性较强,涉及面广。青藏铁路公司建设管理部采取“结合实际、突出重点、全面指导、整体推进”的做法,加强与地方政府土地管理部门的联系,参加建设用地的征用和施工用地的管理工作;主动与建设单位沟通,共商建设用地管理的对策;统一竣工资料的标准,保证竣工资料的齐全、规范;牢固树立为运输生产服务的理念,依法、规范、科学地管理铁路建设用地,保证建设用地交接完整、准确、规范地进行。     

状态维修系统的指数分布检测策略

系统有4种运行状态：正常、异常、隐患和故障，系统从正常依次经异常、隐患到达故障。正常状态、异常状态和隐患状态为系统的工作状态，系统处于哪种工作状态检测诊断后才能知道，系统故障时不需检测诊断就能知道。系统每次开始正常工作后，每隔一段随机时间对它检测诊断一次，直到系统故障或检测诊断出系统处于异常或隐患状态为止，并且诊断正常和异常时结果有可能出现错误，隐患诊断结果不会出错。在系统的寿命为连续型随机变量，检测间隔时间服从指数分布的假设下，利用向量Markov过程方法求出了系统的可靠性指标、系统的最优检测策略。     

铁道信号系统安全保障研究

在信号系统的设计、制造、施工、调试等阶段进行安全保障很重要。重点介绍按照欧洲铁路安全标准对铁道信号系统进行交叉接收以及安全管理。     

HX_D1B型机车车轴磁粉探伤工序验收

机车车轴磁粉探伤工序是制造过程中一个非常重要的工序,对该工序的验收是当前机车验收工作一项不可缺少的内容。文章详细介绍了HXD1B型机车车轴磁粉探伤工序的验收。     

CIT400动车组单辅变流器箱体研究

单辅变流器是CIT400动车组上重要的大型电气设备,作为电器部件的载体变流器箱体的强度非常重要,应用Solidworks/COSMOS软件完成了对单辅变流器箱体的有限元分析,通过分析对箱体静强度进行了校核,在标准要求冲击载荷作用下,箱体的强度设计满足实际应用的需要;同时完成了对箱体的模态分析,得到箱体的固有振动特性,为后续设计过程中有效的避免共振对箱体产生不良的影响提供数据支持。     

关于铁路光传输工程色度色散指标的研究

针对铁路光传输系统,阐述了光纤色散指标对传输系统技术性能的影响,建议修改现行光缆线路工程验收标准的有关规定,增加光纤色度色散指标验收测试项目,有效保证高速铁路传输系统的质量要求。     

共轨蓄压式电控喷油器的泄漏分析与试验

全面分析了共轨蓄压式电控喷油器的泄漏部位及影响因素,进行了静态和动态的密封性试验。试验结果验证了电控喷油器的设计精度与加工工艺的合理性。     

A cross-country study of fairness and infringement on freedom as determinants of car owners' acceptance of road pricing

Jakobsson et al. (2000) found that in Sweden public acceptance of road pricing decreases if it is perceived to be unfair and to infringe on freedom. The present study reports a survey investigating whether the same effects are found in the Asian countries of Japan and Taiwan. The results indicate that fairness plays the same role. However, income had a direct effect on acceptance in Taiwan but not in Japan or Sweden.     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。