徐田华
- 作品数：36 被引量：296H指数：11
- 供职机构：北京交通大学更多>>
- 发文基金：国家自然科学基金国家重点实验室开放基金北京市自然科学基金更多>>
- 相关领域：交通运输工程自动化与计算机技术电气工程电子电信更多>>
- 基于SVDD的道岔故障检测和健康评估方法被引量：32
- 2018年
- 为更加精准地提高现场道岔维护质量,减少设备故障,提出了基于支持向量描述(support vector domain description,SVDD)的道岔转换故障检测和健康指标评估方法.首先,通过对道岔设备的动作机理分析,将道岔功率曲线分为3个动作过程:解锁过程,转换过程,锁闭过程,每一过程分别提取道岔功率曲线相应的特征参数;然后,在此特征空间上,设计了基于SVDD的道岔故障检测算法和健康评估算法,从而实现对道岔设备的健康管理;最后,利用道岔系统数学模型仿真数据和现场采集的道岔真实监测数据,对提出的算法有效性进行验证.实验表明,用本文提出的健康指标检测道岔故障和评估道岔健康状态的准确率达95%以上,对现场道岔维护有很大指导意义.
- 钟志旺陈建译唐涛徐田华王峰
- 关键词：道岔支持向量描述故障检测
- 概率模型检验的CBTC系统通信协议的形式化验证被引量：4
- 2009年
- 通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×10-10.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.
- 谢雨飞徐田华唐涛
- 关键词：CBTC系统通信协议形式化验证
- CTCS-3级列控系统规范的建模与形式化验证方法研究被引量：13
- 2011年
- CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。
- 谢雨飞唐涛徐田华赵林
- 关键词：CTCS-3级列控系统形式化验证
- 联锁系统PLC代码的生成方法
- 本发明提供了一种联锁系统PLC代码的生成方法，包括步骤：A、根据实际铁路的运营需求设置符合模型到模型转换语言QVT语法的联锁表元模型到扩展联锁表元模型的转换规则；B、根据PLC模型的转换要求设置符合QVT语法的扩展联锁表...
- 徐田华曹妍鲁秋子
- 文献传递
- 基于有色Petri网的ETCS通信系统与列车间隔分析被引量：7
- 2007年
- 利用分层赋时有色Petri网(CPN),综合信道失效模型、概率传输延迟,信道恢复行为,提出了欧洲列车控制系统中列车追踪运行无线通信系统的分层结构,分析了无线通信系统中列车运行速度、列车位置报告周期对列车时间间隔的影响,给出对应的列车安全间距指标。研究结果对于优化列车间隔时间、提高列车运行效率和保障列车运行安全具有重要意义。
- 徐田华唐涛
- 关键词：有色PETRI网欧洲列车控制系统无线通信
- 列车运行超速防护混成监控方法
- 本发明提供了一种列车运行超速防护混成监控方法，涉及轨道交通列车运行控制技术领域，该方法首先根据列车的机械特性，构建列车的运动学模型，确定影响列车行为的离散变迁参数；基于运行时验证技术实时获取与列车当前的运行信息相对应的控...
- 王海峰张勇柴铭徐田华陈坦汤圣杰
- 高速铁路信号系统异构数据融合和智能维护决策被引量：21
- 2015年
- 针对高速铁路智能维护决策中的信息多源异构问题,提出了高铁信号系统异构数据融合和智能维护决策架构。通过本地数据库资源描述框架（resource description framework（schema）,RDF（S））到全局RDF（S）的转换和基于RDF（S）图的本体合并,实现了多源异构信息的融合。利用适合缺失数据的结构期望最大化（SEM）算法,结合专家知识,构建了高铁信号系统的智能维护贝叶斯网络（BN）决策模型。最后,利用高铁武广线2011-2012年的监控数据,分别对基于RDF（S）图的全局RDF（S）合并算法性能和故障诊断结果的准确性进行了分析对比,实验结果表明所提出的本体融合算法具有多项式级的计算复杂度,同时融合专家知识和SEM算法的智能维护BN决策模型的一级故障诊断准确率为92.4%。因此,所提出的异构数据融合和智能维护架构可以有效提高高铁信号系统维护决策的准确性和有效性。
- 徐田华杨连报胡红利王小鑫
- 关键词：高速铁路信号系统本体融合
- 安全数据空间构建方法研究及其应用被引量：1
- 2016年
- 近年来,我国电子政务的快速发展带来一系列数据安全问题:数据与用户关联不够紧密、数据与业务流程映射关系不清晰、缺乏应对新的数据安全风险等问题.针对上述问题,提出安全数据空间构建方法(包括二维和三维2个层次的空间).其中二维数据空间通过梳理业务流与数据流的关系并确定数据关联用户,构建数据主权和边界明确、数据流向清晰的二维区域;三维安全数据空间在二维基础上,结合数据防护手段,保护数据主权和边界、分析和管控数据流向.安全数据空间方法在现行电子政务系统中进行了实践应用,取得了较好的效果.安全数据空间方法还可以扩展到其他行业信息系统,帮助指导改进其数据安全性.
- 孙伟陈振浩陈建译徐田华
- 关键词：数据空间数据流分析数据防护
- 基于长短焦图像融合的城轨列车自主障碍物检测方法及系统
- 本发明提供一种基于长短焦图像融合的城轨列车自主障碍物检测方法及系统，属于城市轨道交通列车障碍物检测和环境感知技术领域，获取城轨列车场景中的采集的长焦图像和短焦图像；利用预先训练好的远距离小目标检测模型对获取的长焦图像和短...
- 徐田华李锦鹏蔡伟阳黄雨凡
- 联锁系统PLC代码的生成方法
- 本发明提供了一种联锁系统PLC代码的生成方法，包括步骤：A、根据实际铁路的运营需求设置符合模型到模型转换语言QVT语法的联锁表元模型到扩展联锁表元模型的转换规则；B、根据PLC模型的转换要求设置符合QVT语法的扩展联锁表...
- 徐田华曹妍鲁秋子
- 文献传递
