轨道交通户外站台门与列车间隙背景灯带图像分割算法研究

轨道交通在发车前需要清空站台与列车间隙,否则异物入侵会对乘客与列车运行造成安全隐患,基于背景灯带的异物入侵检测需要对灯带在图像中进行图像分割、提取、识别。针对在户外站台场景下,复杂背景和日光等因素为背景灯带提取带来困难的问题,提出一种无监督的图像分割算法。首先通过卷积神经网络进行特征提取,然后将特征图输入到后续分类器中对所有像素进行类别输出。在训练过程中,使用的损失函数从三方面进行设计：考虑特征相似度和空间连续约束、基于深度支持向量描述以及基于几何与光度增强。算法能够实现单样本无监督对神经网络参数进行调优。通过对某城轨站台真实数据采集及实验结果表明,本文提出的方法在与训练样本不同光照条件、拍摄角度条件下,对背景灯带进行分割的F1分数为78.47%;在性能优于其他方法的同时,耗时最多能减少97.1%;算法为基于背景灯带的异物检测方案提供一种行之有效的图像分割方法,为后续的异物自动检测提供基础。     

基于SVDD与D-S证据理论的发动机故障诊断研究

提出了一种基于支持向量数据描述(SVDD)和D-S证据理论相结合的故障诊断新方法,通过SVDD算法分别判断来自单个传感器的数据,然后运用D-S证据理论对各传感器的诊断结果进行信息融合,最终实现对发动机的故障诊断.试验表明,该方法充分利用各信号源的冗余互补信息,降低了诊断的不确定性,提高了故障诊断的可靠性.     

基于本体的铁路客运枢纽内部设施建模研究

按照设计功能不同,将铁路客运枢纽内部设施分为行人步行设施、交通服务设施和辅助服务设施3类。运用本体建模方法,分析了枢纽内部不同类型设施使用与行人行为之间的关系,建立了设施功能与行人行为关系概念模型,并运用Z语言对其进行了形式化描述。该模型揭示了行人在每一设施内的行为特征以及设施与行人的交互关系,为系统设计、实现和验证提供了准确的、一致的文档依据,为下一步软件结构建模奠定了基础。     

汽车前照灯开发

前照灯的前期策划 功能描述 根车型、级别、产量、销售市场法规要求、客户的特殊要求、竞争产品的分析等,初步制定出所开发车型灯具应该具有的功能。主要包括以下几个方面：     

基于支持向量数据描述的驱动桥异响检测

针对驱动桥异响检测缺乏故障样本的问题,提出了异响检测的单值分类法———支持向量数据描述法(SVDD)。这种方法只需要正常运行状态的数据样本,就可以建立单值分类器,区分出正常和异常状态。试验中,提取驱动桥振动信号频谱的二维谱熵作为特征指标,输入到SVDD分类器。结果表明SVDD算法计算效率高,分类效果好,可以满足在线检测的要求。     

采用面向对象的ASN.1 BER编译器的研究

传统ASN．1编译器有占用空间较大、运行效率不高的矛盾以及升级困难等缺点．采用面向对象的C＋＋语言实现的编解码系统,利用一种新的、更为简单有效的方式来标识变电站通信报文的信息内容以及类型特征,从而大大提高编解码效率和占用更小的空间．     

一种新型电子式电流互感器

本文介绍了一种基于rogowski线圈的新型电子式电流互感器，并对其原理、结构等进行了描述。     

列车运行控制系统中安全通信协议的形式化分析

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。     

计算机联锁控制逻辑的模型检验方法

描述了符号化模型检验策略和相应的工具软件SMV,通过该工具验证了铁路计算机联锁控制逻辑的设计符合其安全规范,最后分析了模型检验面临的困难以及今后的努力方向.     

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

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