报文编制论文-丛远东,蒲星,许梦竹

报文编制论文-丛远东,蒲星,许梦竹

导读:本文包含了报文编制论文开题报告文献综述及选题提纲参考文献,主要关键词:一体化平台,《超短波监测管理一体化平台技术规范SOAP报文结构补充说明》,报文结构,监测管理

报文编制论文文献综述

丛远东,蒲星,许梦竹[1](2019)在《中心编制完成《超短波监测管理一体化平台技术规范SOAP报文结构补充说明》》一文中研究指出本刊讯为解决省级无线电管理机构在按照《超短波监测管理一体化平台技术规范(五部分)》进行超短波监测业务服务化封装时报文不一致、无法实现跨平台调用超短波监测设备等问题,近日,国家无线电监测中心(以下简称"中心")牵头编制了《超短波监测管理一体化平台技术规范SOAP报文结构补充说明》。《超短波监测管理一体化平台技术规范SOAP报文结构补充说明》对《超短波监测管理一体化平台技术规范(五部分)》所规定的报文结构进行了补充细化,统一约(本文来源于《中国无线电》期刊2019年07期)

黄旭,刘中田[2](2019)在《应答器报文编制规则的形式化建模与验证》一文中研究指出应答器报文的正确与否直接关系到列车运行安全。CTCS-2级列控系统应答器的应用原则是C2应答器报文编制的起点和依据,应答器报文的正确性与应用原则的正确性及其是否被正确执行直接相关。基于文本语言描述的应答器应用原则易产生二义性问题,存在较大隐患。通过深度挖掘应答器应用原则,并结合列控数据,从中提取出具体报文编制规则,采用UML与NuSMV相结合的方法对具体的编制规则进行形式化建模与验证,并以一种类型的报文生成为例,构建规则的UML模型,对UML模型进行扩展和抽象,将其转换为NuSMV模型,用模型检验工具验证其活性、转移性和确定性等,可以得到应答器应用原则中存在的问题,对确保应答器报文的正确性有重要意义。(本文来源于《铁道学报》期刊2019年06期)

黄旭[3](2018)在《应答器报文编制规则的建模、验证与应用》一文中研究指出应答器系统作为实现地-车信息传输的重要设备,其向车载传输的报文数据的正确性直接关系到列车运行安全。应答器报文是由编制人员依据应答器应用原则将线路工程数据进行编制而得。然而应用原则只是从列控系统功能需求的角度定义了应答器的设置原则以及报文结构,并未具体描述如何编制报文;此外,基于文本语言描述的应用原则易产生二义性问题,简单地将应用原则转换为相关软件代码存在很大隐患。本论文针对上述问题,首先基于应用原则的要求,结合专家经验,提取出一套具体完备的报文编制规则,之后,针对编制规则的特点,提出一种对其建模验证的方法框架,其主要特点是能够在编制规则、模型、验证过程以及模型检验结果之间建立一条双向跟踪链。通过分析模型检验结果,不断迭代规则模型,最终得到满足质量要求的报文编制规则及对应模型,可用于指导报文编制以及相关工具的开发,这对确保报文数据的正确性有重要意义,且为后续应答器报文相关技术规范的修订提供支持。本文基于以上述过程,具体做了以下叁个方面的工作:(1)从数据生命周期和数据结构的角度分析了应答器报文数据,总结了报文数据从生成、使用、归档到过时的全过程;构建了工程数据和报文数据的结构模型。之后深入挖掘分析应答器应用原则的内容要求,并总结分析了相关的专家经验,作为后续编制规则建模验证的基础。(2)以应答器应用原则等相关规范文档和专家经验为输入,提取出报文编制规则的整体框架,以具体类型的应答器对应的报文生成场景为例,对编制规则进行建模验证。首先对规则进行非形式化分析,输出规则管理报表以实现规则到模型的正向追踪;采用基于UML-NuSMV相结合的建模验证方法,建立报文编制规则的UML模型,之后将其用NuSMV形式化语言描述,输入模型检验工具进行验证,分析验证结果,不断修改、重新验证反例中的错误直至验证结果全部为真,最终得到满足质量要求的编制规则及对应模型。(3)基于编制规则和对应模型,开发自动化报文编制工具。以已开通的实际线路数据为例编制应答器报文,将工具生成的报文与线上使用的正确报文数据进行对比,证明了工具的正确性,且对比结果表明基于编制规则开发的报文编制工具提高了报文编制的自动化程度,再次表明规则模型的正确性和完整性,有助于确保报文数据的正确性,对保障列控系统安全运行有重要意义。(本文来源于《北京交通大学》期刊2018-03-13)

陈志颖[4](2017)在《既有高铁C3车站引入C2高铁线路特殊进路报文编制研究与应用》一文中研究指出为保证宝兰客运专线引入已开通运行的CTCS-3级列控系统宝鸡南站,需对地面应答器进行报文编制及数据测试。首先根据现场存在的由于特殊应答器设置及特殊场景测试不完善导致报文溢出问题进行分析,提出速度报文及距离报文合并和设置有源应答器等多个技术方案,通过车载仿真及数据测算最终采用设置有源应答器解决报文溢出的方案,该方案有效解决应答器报文溢出问题,并为类似项目提供借鉴。(本文来源于《铁道标准设计》期刊2017年11期)

曾晓海[5](2012)在《客运专线有源应答器报文编制解析的仿真研究》一文中研究指出在高速铁路现代信号系统中,应答器被大量用于地面向列车传输点式信息。应答器报文包含列车运行前方线路的各类静态信息和实时信息,通过编制和加密等步骤生成二进制形式的安全传输报文,再向经过的列车传输信息。车载列控设备在接收到数据后对其做解密运算以及解析报文,可以从中提取大量的线路基础信息及列车运行数据传至车载ATP设备生成能够保障高速列车运行安全,以及最大能力的缩短行车间隔,提高运输效率的一次连续制动的目标距离模式曲线。有源应答器报文主要包括进路信息及临时限速信息等,利用外接电缆将有源应答器接至存储有动态信息报文模板的地面车站列控中心TCC, TCC实时控制及选择对应报文信息的传送。本文主要是基于“列控中心离线数据系统”选题的,关于有源应答器报文编译码、校验及报文解析方面的研究工作。论文首先阐述了应答器系统的主要结构、接口设计、编号与命名原则,接着总结了客运专线中应答器布置规则,且重点研究了有源应答器链接关系及数据覆盖范围,这部分主要包括进站口处、出站口处和出站信号机处、进路信号机处等有源应答器。然后详细研究了有源应答器的用户数据表、用户报文的结构及类型、报文中主要用户信息包、各处用户信息包构成等。最后基于Microsoft Visual Studio2008软件平台,仿真实现了用户数据储存、数据验证处理、数据提取、报文编制、加密、解密、校验、解析等子系统,以及临时限速报文的处理情况,并通过结合包西客专线路实际工程数据导入验证分析,取得了理想的效果,理论分析的正确性及软件的可行性得到了充分验证。报文编制解析系统的理论分析及仿真实现对于我国客运专线应答器报文的研究,以及仍在不断修订中的技术规范具有参考意义。论文详细阐述了有源应答器编译码、加解密、校验及解析等子系统基本原理,编制软件仿真实现了各子系统,并结合相关技术规范及实际工程数据,验证了各子系统的实现过程,较好的达到了论文的目的。(本文来源于《西南交通大学》期刊2012-05-01)

庞东明[6](2008)在《应答器报文编制与管理软件的研究》一文中研究指出查询应答器(Balise)和地面电子单元(Line Electronic Unit)是中国列车控制系统CTCS(China Train Control System)中的关键设备。查询应答器基于电磁耦合的原理,用于在特定地点校准列车位置,以实现车-地间的高速的数据信息交换。它向ATP车载设备传输的列控安全信息有线路信息、进站信息、定位信息、限速信息等。这些信息都存储在应答器报文中。所以,应答器报文直接涉及到行车安全。但是由于我国应答器系统的研制起步较晚,应答器设备配套使用的维护手段和管理的经验明显不足。尤其是大量的应答器报文信息的编制与管理工作尚处于人工操作为主的阶段,这不仅效率低下而且容易发生错误。本文对应答器报文的编制和应答器报文管理工作进行了研究,并设计与实现了适合于应答器报文编制及管理的软件。本论文的主要工作如下:1.先是简要分析了查询应答器的发展状况,特别是国内外列控系统中应答器报文编制与管理的现状,阐明了本论文的研究意义;2.分析了应答器报文编制与管理软件的总体需求,提出了软件的总体设计方案,并详细阐述了应答器报文编制与管理系统的网络结构设计和功能模块划分;3.系统软件整体设计包括两部分:一部分软件基于B/S模式,实现应答器报文信息管理工作;另一部分软件基于C/S模式,实现应答器报文编制及部分数据管理工作。论文详细描述了实现这两部分软件的相关技术和具体的数据结构、模块功能、人机界面等内容;4.简要介绍了欧洲应答器报文的编码策略,分析了编码规则对应答器报文安全性的影响。同时针对软件系统的安全性,也进行了一些研究;5.基于JSP和Visual C++6.0编程环境,开发了应答器报文信息管理软件和应答器报文编制软件,基本实现了设计功能;最后对软件应用的前景作了分析。(本文来源于《北京交通大学》期刊2008-06-01)

报文编制论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

应答器报文的正确与否直接关系到列车运行安全。CTCS-2级列控系统应答器的应用原则是C2应答器报文编制的起点和依据,应答器报文的正确性与应用原则的正确性及其是否被正确执行直接相关。基于文本语言描述的应答器应用原则易产生二义性问题,存在较大隐患。通过深度挖掘应答器应用原则,并结合列控数据,从中提取出具体报文编制规则,采用UML与NuSMV相结合的方法对具体的编制规则进行形式化建模与验证,并以一种类型的报文生成为例,构建规则的UML模型,对UML模型进行扩展和抽象,将其转换为NuSMV模型,用模型检验工具验证其活性、转移性和确定性等,可以得到应答器应用原则中存在的问题,对确保应答器报文的正确性有重要意义。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

报文编制论文参考文献

[1].丛远东,蒲星,许梦竹.中心编制完成《超短波监测管理一体化平台技术规范SOAP报文结构补充说明》[J].中国无线电.2019

[2].黄旭,刘中田.应答器报文编制规则的形式化建模与验证[J].铁道学报.2019

[3].黄旭.应答器报文编制规则的建模、验证与应用[D].北京交通大学.2018

[4].陈志颖.既有高铁C3车站引入C2高铁线路特殊进路报文编制研究与应用[J].铁道标准设计.2017

[5].曾晓海.客运专线有源应答器报文编制解析的仿真研究[D].西南交通大学.2012

[6].庞东明.应答器报文编制与管理软件的研究[D].北京交通大学.2008

标签:;  ;  ;  ;  

报文编制论文-丛远东,蒲星,许梦竹
下载Doc文档

猜你喜欢