【摘 要】
：
工程数据是应答器报文编制的重要依据,现有工程数据验证规则是基于CTCS-2级列控系统应答器应用原则及工程数据表编制规范生成的,这类基于文本语言描述的规则完备性不足,且存
【机 构】
：
北京交通大学电子信息工程学院,北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
工程数据是应答器报文编制的重要依据,现有工程数据验证规则是基于CTCS-2级列控系统应答器应用原则及工程数据表编制规范生成的,这类基于文本语言描述的规则完备性不足,且存在二义性,数据验证不充分,易直接导致数据安全问题。因此,本文深度挖掘各类工程数据间的约束关系,提取数据逻辑验证规则,通过基于SAT的形式化建模、ROBDD构造及深度优先搜索来证明逻辑规则的可满足性。开发基于导出逻辑规则的数据验证工具,并以某城际线路工程数据表为例,与传统工程数据表检查软件进行比较。结果表明,新工具能够识别传统软件无法识别的数
其他文献
根据语篇语言学的研究成果．从自建的小型英语经济新闻语篇语料库中，进行随机选择20篇经济新闻语篇．运用语篇的语法衔接和词汇衔接两大主要手段进行了实证研究分析，试图说明各种衔
工业废水中有一部分废水含盐量高、生化性差,无法采用生化法进行有效处理,需要研究新的方法处理此类工业废水。本文通过研究电絮凝法处理工业废水的影响因素及最佳条件。
本文结合酶联免疫吸附技术的原理,从药物残留检测、微生物检测、生物毒素检测等方面,对酶联免疫吸附试验在食品检测中的应用进行了简单分析,旨在推动酶联免疫吸附技术在食品
本文针对当前不动产数据整合中的重点难点问题,研究提出了数据清理整合的主要内容和技术路线,并针对当前数据整合中存在的问题给出了具体的解决措施,相信对从事相关工作的同
为了培养集基本医学素养、专业能力素养、人文素养于一身的高端技能型护理专门人才,结合我院的护理实训教学实际以及医院、社会对护理人员的需求特点,对高职院校实训教学现状
本文从语类的定义出发,探讨了语类研究的三种发展趋势及语类理论在教学特别是在写作方面的应用,并突出介绍了以语类为基础的ESP和EAP教学法以及对比修辞领域中语类对比的重要
学科建设是一项复杂的整体性、系统性工作,判断与评价学科建设的水平,绝不能仅仅依据那些所谓具有“可显示度”、可量化的“硬指标”,绝不可让学科建设浸透在一种“硬指标崇
天基多角度光学偏振测量技术可以用于探测云和气溶胶信息,而且对温度等先验信息的依赖性很弱。为了验证我国自主研制的TG-2多角度偏振成像仪的云相态探测功能,利用机载多角度
从潘玉良作品的艺术表现形式出发，探讨潘玉良最常使用的创作载体和艺术表现手法，具体从潘玉良的自画像、人体画和彩墨画三个方面来展开研究。重点是潘玉良艺术创作的思想文化渊