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Ⅱ系统对短型热电偶检定的准确性和可靠性.     

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

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

基于 GJB7691-2012的通用数字示波器自动检定关键技术的研究*

作为一款时域电子测试仪器,示波器在科研、电力、医疗等多个方面得到了广泛的应用,随着计算机技术的不断进步,性能强大的数字示波器应运而生,同时,自动控制技术的普及使得数字示波器自动校准检定成为可能。论文以最新的数字示波器检定规程GJB7691‐2012为基础,针对新规程在检定与计算方法上的调整进行了分析,结合虚拟仪器与数据库技术完成了一种基于FLUK E9500B的通用数字示波器自动检定系统的设计,并就其关键技术进行了研究,同时通过试验结果比较验证了该方案的可靠性与可行性,并在计量工作中得到应用。     

基于AHP的指挥控制系统效能评估改进方法

针对指挥控制系统的组成结构特点,建立效能评估指标模型,给出运用层次分析法进行效能评估的数学模型及实现方法,引入灰色理论解决评估过程中指标权重的调优问题,提高评估结果的客观性及合理性,通过实例说明方法的可行性。     

雷达回波波幅推求介电常数的误差分析与提高精度方法研究

介电常数计算误差是雷达路面基层与面层厚度测试误差的主要来源。介绍了雷达回波波幅推求介电常数的原理,分析了当前三种常见雷达回波波幅推求介电常数计算公式的误差和误差来源,并结合工程实际,提出了钻孔取芯法标定介电常数以及由已建的正演模型和雷达回波信息,反算介电常数两种方法提高测试精度,分析结果显示两种方法均能有效提高基层与面层厚度测试精度,效果较好。     

基于有限元分析的水泥混凝土面板脱空的验证模型

板底脱空是水泥混凝土路面的常见病害之一,但进行有效的评定相对困难。提出采用有限元分析软件ANSYS 10.0建立评价水泥混凝土面板脱空的计算验证模型,并结合FWD弯沉实测数据与模型计算出的弯沉值的关系,来判定某处是否发生了脱空。最后结合黑龙江某高速公路的实测数据,验证了该模型的正确性。