上海铁通运行维护信息系统的设计

结合本单位的实际情况,分析当前公司在网络运行、调度指挥上的主要问题,提出建立运行维护系统的解决方案。从网络安全、系统需求、系统结构、系统性能几个方面对运行维护系统进行设计,并对系统的功能和运行流程进行阐述。     

机车用磁电式速度传感器的影响因素研究

分析机车运行速度、工作气隙、齿轮模数及负载电阻4个关键因素对传感器输出性能的影响,通过试验对其进行研究及验证,得出4种关键因素对传感器输出性能的影响关系,为磁电式速度传感器的设计开发和生产工艺提供理论指导。     

基于标签转移系统的二乘二取二系统的形式化验证研究

为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之一。提出基于转移标签系统模型验证系统安全属性的新方法。针对系统的安全需求,利用LTS对系统行为进行建模处理,最后使用LTSA软件对模型的安全属性进行分析和验证,与传统人工验证方法相比,LTS模型产生程序缺陷少64%,同时节省开发工作时间29%。结果表明:该方法有效地实现了对系统属性的安全验证,并对系统的安全设计和开发进行了改进。     

基于误差补偿的二自由度PI控制的永磁同步电机控制策略

提出了一种基于误差补偿的二自由度PI控制方法。利用转速误差量对系统的状态进行判断,通过补偿环节对系统的PI控制器的输出进行补偿,实现了对系统性能的实时控制。与传统PI控制进行了比较,解决了传统PI控制器在满足系统抗扰性能和跟踪性能要求方面存在的缺陷。仿真和试验结果验证了提出的控制方法的正确性和有效性。     

列车通信网络控制器的综合验证

列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一。本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,并对验证结果进行深入分析。实验结果表明:该验证方法增强验证组件的重用性,弥补传统方法的不足,有效提高了验证效率。     

铁路集装箱节点站无线接入系统方案研究

本文根据铁路集装箱节点站无线接入的业务需求,对无线接入技术进行分析比较,提出McWiLL无线接入系统,并对系统功能、系统网络结构、系统组成、网络容量等关键技术进行较为深入的分析.     

网络监控系统设计及性能分析

介绍基于libpcap的网络监控系统设计过程,描述网络探测器的设计,分析影响系统性能的瓶颈.在整个系统中,模式匹配算法对系统性能有重大影响,对常见的模式匹配算法中的KMP算法、RK算法以及AC算法进行比较.     

goTicket性能测试平台的开发与应用

为满足对互联网售票系统进行大并发模拟测试的需求,基于开源Grinder框架设计开发goTicket性能测试平台,并应用该平台对系统进行压力测试和性能调优。     

车地协同下的联锁子系统HCPN建模与验证

联锁子系统作为站内行车安全的关键保障,是车地协同下的列车运行控制系统的重要组成部分。传统联锁子系统存在地面集中控制失效风险大、列车自主化程度低等不足,为顺应精简系统结构、降低运营成本和提升列车自主化的列控技术发展趋势,设计一种车地协同下的联锁子系统用于城际铁路。考虑多车间的进路冲突是影响子系统功能实现的关键因素,提出进路预延伸策略以避免列车间的进路冲突。为确保联锁子系统功能安全,采用一种基于层次着色Petri网(HCPN)的系统功能建模与验证方法。通过对联锁子系统的主要功能实现过程—进路建立过程进行分析,提取子系统的功能需求,以此建立顶层需求模型。为缩小底层实现与顶层需求之间的差距,建立基于数据及行为低抽象度表达的模块层模型,并在其中引入死锁控制策略实现对系统功能逻辑的完整表达。以冲突进路建立场景为模型的输入参数,执行验证过程,通过对模型标准状态空间性能分析,实现对模型正确性的检验。在此基础上,采用分支时序逻辑ASK-CTL公式与状态空间搜索算法相结合的验证方法,完成对子系统功能安全性的检验。研究结果表明:模型的行为特性同子系统预期相一致,能够正确表达系统的行为。所设计子系统满足功能安全需求,可为底层实现提供依据。     

GSM-R网络NSS优化

1 NSS优化概述GSM-R网络维护工作主要分为2部分一部分是日常维护,也就是对硬件设备的日常检查和故障处理;另一部分是对系统性能数据统计和分析.通过对系统性能数据分析,找出网络中隐含的问题,然后对网络数据或网络结构作出调整,这项工作称为优化.     

深圳地铁AFC数据管理中心设计

为满足网络化运营需求,结合深圳地铁AFC系统升级的实际经验,提出AFC数据管理中心的系统功能和设计方案.数据管理中心作为连接各线路的纽带,提供AFC系统与轨道交通清分中心的统一接口,实现不同线路之间用户和参数的同步,并通过部署数据采集、Web和报表等服务,完成对新线路的扩展和线网化报表的统一输出.实践表明,该方案为线网...     

“互联网+”技术在郑州地铁AFC系统中的应用

为提升轨道交通AFC(自动售检票)系统的服务水平,降低系统的运维成本,以"互联网+"技术应用为背景,以自动售检票系统服务为基础,阐述基于"互联网+"的AFC技术应用于轨道交通领域的优越性。对郑州地铁互联网接入自动售检票系统的独立运行方式、ACC(AFC清分中心)方式和SC(车站中心)方式进行比选,决定采用接入SC的运行方式,其次对采用的信息安全方案进行介绍说明,并介绍第三方支付平台(支付宝或微信)的购票方法及流程。郑州地铁AFC系统使用"互联网+"技术后,其效果明显,通过互联网购票的乘客日益增加,全线乘客兑零金额日益减少,自动售票设备TVM的周故障也在逐渐降低,相应的TVM钱币模块维护费用也有明显减少,有效解决了地铁运营过程中的零钱问题、现金处理问题和现金模块故障率高的问题,可降低运营公司的现金处理相关成本,提高乘客的出行速率和服务质量。     

智慧城轨自动售检票系统的技术发展趋势

针对自动售检票(AFC)系统建设存在标准各异、互通性差等问题,通过分析新形势下的AFC系统需求,从精简化系统架构、交易数据实时上传、票卡虚拟化、支付多元化、安检票检一体化、乘车实名制化、互联互通等多个方面,提出AFC系统的技术发展趋势,为智慧城轨AFC系统的发展、建设和运营提供参考。     

城市轨道交通自动售检票系统监理要点

轨道交通自动售检票系统(AFC),是近年来随着城市轨道交通的发展而形成的高新技术,是集计算机技术、通信技术、网络技术、数据库技术、系统集成技术和信息处理技术等的综合性系统在轨道交通领域的典型应用,而自动售检票系统监理是随之产生的集建筑监理、设备监理和信息系统监理于一体的新型工程监理.本文就实际监理过程中遇到的问题谈谈工作体会,并总结、归纳自动售检票系统监理的若干工作要点.     

南京轨道交通线网AFC系统的数据传输

阐述数据传输是轨道交通自动售检票系统（AFC）的基础和必要条件,数据传输系统的安全性、可靠性、快速性会直接影响轨道交通AFC系统的性能。在轨道交通线网AFC系统的体系框架下,分析AFC数据传输系统的功能和性能需求;在比较各种数据传输方式的基础上,提出南京轨道交通AFC系统数据的传输方案,同时给出基于PKI的数据传输安全方案。     

AFC设备运维信息管理平台的开发与应用

郑州地铁融合信息化技术提出建设AFC设备的运维信息管理平台,该平台使用手持终端实现对AFC设备维护数据的快速采集,用信息管理系统完成对设备维护数据的快速分析,并通过估算各模块的动作次数和设备运行状态良好率来预测设备模块的运行稳定度,辅助维修进行决策。通过对设备和其内部模块进行统一编码及关联映射,实现从设备到模块的跟踪管理,以及对设备维护记录、运行负荷度、疲劳度的历史追溯。此外,建立AFC设备维护保养台账的数据仓库,实现备品备件消耗、设备故障、设备保养记录等数据的快速检索,从而减少维护人员工作量,提高工作效率。     

手机支付在城市轨道交通自动售检票系统中的应用

介绍了手机支付在城市轨道交通自动售检票(AFC)系统中的设计应用,包括手机支付AFC系统设计目标、各参与方需完成的功能及对接方案、系统部署方案,以及手机支付AFC系统终端设备应满足的条件及支付流程。通过移动互联网技术构建新型手机支付AFC系统,对推动城市轨道交通AFC系统的创新、降低运维管理成本、加快传统行业的互联网+升级、全面提升轨道交通行业的创新服务水平具有重要意义。     

现代有轨电车售检票系统方案的研究

简要分析地铁售检票模式、快速公交售检票模式和公交汽车售检票模式的特点,结合分析现代有轨电车售检票系统技术的特点。以此为基础,从现代有轨电车售检票方案、系统票制方案、车票方案等方面内容重点阐述现代有轨电车售检票系统方案的研究。     

轨道交通虚拟票务支付模式探讨

虚拟技术在轨道交通AFC(自动售检票)系统的应用,可以有效分散现金支付在地铁车站现场实现所带来的时间压力和现金安全压力。以NFC(近场支付)技术为代表的虚拟票务技术在移动金融领域的应用是一个发展方向,通过与轨道交通AFC系统的有效结合,实现地铁小额支付的各种应用是完全有可能的。对4种票务支付模式进行了对比分析,致力于找到对现有自动售检票支付模式进行补充、更有利于缓解地铁车站现场售检票设备压力的有效手段。针对实现3种虚拟票务模式需要对AFC系统的改造内容进行比较,提出建设地铁信用服务管理平台的建议。     

地铁自动售检票系统的互联标准裴顺鑫

提出地铁自动售检票(AFC)系统网络化的概念,详细分析AFC系统互联标准对地铁建设的重要性.研究地铁AFC系统标准中的主要内容:体系的结构功能、系统之间的数据接口规范、密钥管理系统规范、票务系统规范、票卡结构规范和票卡交易流程规范、业务流程规范、面向客户的界面规范、信息结构体系和编目编码规划、网络规划等,并重点分析AFC系统的关键问题.