徐田华
- 作品数：34 被引量：265H指数：11
- 供职机构：北京交通大学电子信息工程学院轨道交通控制与安全国家重点实验室更多>>
- 发文基金：国家自然科学基金国家重点实验室开放基金北京市自然科学基金更多>>
- 相关领域：交通运输工程自动化与计算机技术电气工程电子电信更多>>
- 基于SVDD的道岔故障检测和健康评估方法被引量：22
- 2018年
- 为更加精准地提高现场道岔维护质量,减少设备故障,提出了基于支持向量描述(support vector domain description,SVDD)的道岔转换故障检测和健康指标评估方法.首先,通过对道岔设备的动作机理分析,将道岔功率曲线分为3个动作过程:解锁过程,转换过程,锁闭过程,每一过程分别提取道岔功率曲线相应的特征参数;然后,在此特征空间上,设计了基于SVDD的道岔故障检测算法和健康评估算法,从而实现对道岔设备的健康管理;最后,利用道岔系统数学模型仿真数据和现场采集的道岔真实监测数据,对提出的算法有效性进行验证.实验表明,用本文提出的健康指标检测道岔故障和评估道岔健康状态的准确率达95%以上,对现场道岔维护有很大指导意义.
- 钟志旺陈建译唐涛徐田华王峰
- 关键词：道岔支持向量描述故障检测
- 概率模型检验的CBTC系统通信协议的形式化验证被引量：4
- 2009年
- 通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×10-10.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.
- 谢雨飞徐田华唐涛
- 关键词：CBTC系统通信协议形式化验证
- CTCS-3级列控系统规范的建模与形式化验证方法研究被引量：11
- 2011年
- CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。
- 谢雨飞唐涛徐田华赵林
- 关键词：CTCS-3级列控系统形式化验证
- 联锁系统PLC代码的生成方法
- 本发明提供了一种联锁系统PLC代码的生成方法，包括步骤：A、根据实际铁路的运营需求设置符合模型到模型转换语言QVT语法的联锁表元模型到扩展联锁表元模型的转换规则；B、根据PLC模型的转换要求设置符合QVT语法的扩展联锁表...
- 徐田华曹妍鲁秋子
- 文献传递
- 高速铁路信号系统异构数据融合和智能维护决策被引量：20
- 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语法的扩展联锁表...
- 徐田华曹妍鲁秋子
- 文献传递
- 运行时验证及其在列车运行控制系统中的应用被引量：4
- 2011年
- 运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。
- 赵林唐涛徐田华柴铭李宪
- 关键词：多值逻辑列车运行控制系统
- 基于UML的CTCS-3级列控系统需求规范形式化验证方法被引量：9
- 2011年
- 采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证。使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象。根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相关特性的验证,通过反例对错误进行追踪、定位和修改。以需求规范中的模式转换为例,采用给出的形式化验证方法对其进行验证,验证结果确认模式转换满足活性、转移性、无死锁性、确定性及安全性的要求;验证过程表明UML与符号模型检验相结合的方法适用于CTCS-3级列控系统需求规范的验证。
- 刘金涛唐涛徐田华赵林
- 关键词：列车控制系统形式化方法符号模型检验
- 基于贝叶斯网络的高铁信号系统车载设备故障诊断方法的研究被引量：16
- 2014年
- 考虑到高铁车载设备故障诊断的不确定性和复杂性,本文提出了基于贝叶斯网络的车载设备故障诊断系统。在建立贝叶斯网络结构的过程中,基于充分利用现场数据与先验知识的思想,本文通过融合不同方法(K2算法,MCMC算法和专家知识)得到最优的贝叶斯网络结构。最后,本文进行了实例分析与模型验证,并与KNN算法、BP神经网络算法进行比较,测试结果表明该模型的正确性和有效性。文中的验证数据来自武广高铁车载设备故障追踪表。
- 赵阳徐田华周玉平赵文天
- 关键词：贝叶斯网络故障诊断高速铁路车载设备
