CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

钢铝混合地铁车辆静强度分析及试验验证

依据钢铝混合地铁车辆结构传力特点,创建了钢铝混合地铁车辆结构性能有限元模型。以某钢铝混合地铁列车的头车为研究对象,根据EN 12663—2010标准,对车体刚度、静强度进行仿真分析。介绍了车体静强度试验情况,并将试验结果与有限元计算结果进行对比分析,结果表明,列车结构测点的测试值与计算值的变化趋势一致,相对误差最大值在13%之内。     

出口突尼斯内燃动车组噪声控制及声学设计

介绍了出口突尼斯内燃动车组噪声控制要求、噪声源频谱特性,制定了车辆断面结构的隔声设计方案,为验证方案的合理性,对车辆所用材料及组合结构进行了隔声试验和振动试验,同时通过预测车内噪声及建立有限元模型,对车内声场进行仿真计算,进一步证明了车辆隔声结构设计合理,能够有效控制车辆内部噪声。     

基于V模型的ATS软件验证方法研究

轨道交通信号系统必须经过严格的验证才能进入工程应用。以ATS自动列车监控系统软件为例,研究信号系统在生命周期V模型下的验证方法,把开发周期简要划分为需求分析、设计实现、测试验证3个阶段,用以论述验证活动,阐述在产品生命周期各个阶段采用如评审、追溯分析、测试分析等不同验证方法,从而更大程度地保证系统的正确性。说明ATS系统的验证活动是一个庞大的工程,在产品开发生命周期的各个阶段都应执行充分的验证活动,收集足够的客观证据证明产品各个阶段的输出满足需求。     

短型热电偶基本误差的检定

介绍使用Fluke 9938 MET_TEMPⅡ系统对K分度短型热电偶基本误差的检定方法.通过对系统基本参数的合理设置测得基本误差,探讨Fluke 9938 MET_TEMPⅡ系统对短型热电偶检定的准确性和可靠性.     

�ձ��е��ٴ�������������Ӧ��ǰ��

本文从我国交通运输的现状出发，分析了我国对中低速磁悬浮技术的需求背景。回顾了我国在磁悬浮技术领域的研究概况，通过作者组织的对日本磁悬浮技术研究的考察结果，比较了中日两国磁悬浮技术的特点及差异，并就日本磁悬浮技术应用的特点及其在我国推广的前景提出了一系列观点。     

单点搁浅船舶脱浅探讨

本文通过对单点搁浅船舶情况的分析，确定船舶脱浅的可行性，进而提出相应的脱浅方法。     

一种多类多水印方案

通过分析多类多水印的特点，讨论了多类多水印的技术难点，提出一种基于小波系数分块嵌入水印的解决方案，将各类型水印归一化处理，但对每种水印单独制定自适应嵌入技术，实现3种类型7个水印的同时隐藏．仿真实验证明了该方案的有效性．     

省级公路网规划中免OD调查的交通量预测方法

交通部颁发的《公路网规划编制办法》中规定的四阶段交通量预测方法需要以现状公路网OD调查结果为基础,而OD调查是一项耗费巨大财力、物力和时间的工作,并且调查所得也仅仅是不稳定的小样本抽样调查结果,实际应用存在一些问题.全国各省近30 a的公路建设积累了大量的工程可行性报告,并且这些可行性报告中关于交通量调查的数据也都曾耗费了大量投入,工程建设完成后就一直没有再被充分利用过.本中利用公路可行性报告数据,探索在区域路网规划中不进行网络OD调查条件下的交通量预测方法.这种预测方法可以节约大量的用于调查的经费和人力投入,也可以显著节省规划工作时间,而实用效果令人满意.     

基于高斯过程的TGDI发动机充气模型试验研究

采用高斯过程(Gauss Process,GP)对增压直喷汽油机充气模型开展研究,首先以发动机进气过程物理特性为理论基础,阐述模型控制原理,并基于高斯过程的发动机充气模型,采用稳态和慢动态数据完成模型精度的验证,结果表明:模型精度较高,可作为黑盒模型用于ECU控制算法开发及离线标定功能开发。此外,研究了减少训练数据点和减少输入参数对高斯模型精度的影响。