共查询到20条相似文献,搜索用时 156 毫秒
1.
本文以铁路车站客票网防火墙为研究对象,提出了一种基于正则表达式的防火墙安全配置核查方法。此方法使用正则表达式匹配代替人工评判,提高了核查的效率;同时,该方法的安全配置基于信息安全国家标准要求和实际业务需求制定,降低了核查的主观性。 相似文献
2.
3.
高速铁路工程建设的开展,包含高速铁路设计施工至开通运营的每一个环节。联调联试作为高速铁路建设过程中的关键环节,旨在对高速铁路系统的功能进行综合调试,确保其达到设计标准和开通运营要求。文章针对高速铁路联调联试,提出由各相关单位组成联调联试的现场管理机构,以试验为主导行车主线的工作机制,将测试项目及测试装备的测试流程分为静态和动态2个阶段,采用逐级提速测试、运营场景类测试以及运行参数类测试的测试方法。提出的高速铁路联调联试总体方案,可为我国高速铁路联调联试方案设计搭建整体框架,具有一定参考价值。 相似文献
4.
信号系统联调联试是新建铁路开通运营的重要组成部分,由于新建高铁引入既有运营枢纽的情况越来越多,信号系统联调联试的工作量成倍增加,技术和组织难度、安全风险非常高。在渝贵铁路信号系统的联调联试过程中,通过合理划分试验区段、精心组织,克服了枢纽站场复杂、信号系统接口多、测试工作量庞大等困难,顺利地按照预定目标一次性全线开通。本文对此进行经验总结,并提出了枢纽信号系统联调联试的相关建议。 相似文献
5.
随着我国铁路客票系统支付方式趋于多样化、网络化,运营管理模式逐步智能化的同时,铁路客票系统的信息安全将面临更大威胁。通过深入分析我国铁路客票系统的信息安全现状及需求,设计符合信息系统等级保护四级要求的信息安全防护体系。提出"一个中心支撑下的三重防护体系"结构,并构造形式化的安全策略模型,划分以铁道部客票中心、地区客票中心和车站客票系统为核心的三级安全区域。采用整合的安全管理中心制定和下发访问控制策略及事件响应机制,对客票系统计算环境安全、区域边界安全、通信网络安全实施统一标记的全程访问控制,跨级对所有设备进行统一配置和监控,以达到系统的信息安全整体防护的目的。 相似文献
6.
基于黑盒测试技术的CTCS-3级列控系统联调联试研究 总被引:3,自引:1,他引:2
CTCS-3级列控系统是高速列车安全、可靠、高效运行的关键技术之一。为检验列控系统的总体设计方案和功能需求,在系统集成工作完成后,应在动态条件下,对系统设计方案、总体功能需求和系统接口关系与安全性等进行联调联试。CTCS-3级列控系统联调联试属于典型的黑盒测试,武广高速铁路CTCS-3级列控系统联调联试以黑盒测试技术为基础,将测试模型、测试案例、测试数据、缺陷管理与试验环境充分结合,促进了列控系统联调联试技术的发展。 相似文献
7.
新建高速铁路线路开通运营前的联调联试,是采用高速综合检测列车对轨道、接触网、通信信号等各类基础设施进行测试,并依据测试结果对缺陷进行整改,直至各系统以及整体满足高速运行及动态验收要求的全过程。动车组动力学专业在联调联试中,通过连续测量测力轮对以及不同位置的振动加速度传感器,实时获取不同速度级下的轮轨力及振动加速度信号,在去除零点漂移和滤波后,计算得到各项平稳性及稳定性指标。脱轨系数、轮重减载率、轮轴横向力、平稳性指标等动力学参数均关系到动车组运行安全、轮轨系统磨耗以及乘坐舒适度,因此,动力学测试保证着联调联试全过程的安全底线。介绍高速铁路联调联试中所使用的动力学测试平台及其未来无人值守方向的发展趋势,分析可知旋转遥测技术是未来轮轨力测试的首选方案。依托动力学测试平台在钢轨缺陷诊断及联调联试过程中保障安全的实例,充分证明采用动力学指标阈值对各类短波不平顺及钢轨波磨进行判断准确有效,具有较高的工程应用价值。 相似文献
8.
9.
10.
11.
12.
铁路工务部门各生产车间与段机关距离较远,点多线长,而且生产业务数据多、变化快.如何在信息技术快速发展的今天,利用现有的计算机网络技术与资源搭建工务系统网络办公平台,快速、及时、准确地传递生产信息,提高工作效率,一直是新乡桥工段研究和探索的课题.在实际工作中,建立了铁路工务系统网络办公平台,该系统仿Windows资源管理操作习惯,整合生产、办公各子系统,实现站段对各车间、班组的公文管理、网络办公、信息传递、安全生产远程管理. 相似文献
13.
14.
15.
基于MSC与UPPAAL的高铁跨界临时限速建模与验证 总被引:2,自引:2,他引:0
《铁道标准设计通讯》2016,(10):126-131
临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。 相似文献
16.
区域控制器(Zone Controller,ZC)边界切换场景是城市轨道交通列车控制系统的重要场景,切换过程中移交ZC、接管ZC和车载子系统之间要进行频繁的信息交互,因而对其安全性和实时性有更严苛的要求。根据ZC子系统特点,将MSC半形式化方法作为切入点,结合时间自动机理论,建立ZC切换场景的MSC模型和时间自动机网络模型,用于ZC切换场景功能和受限活性的安全验证。结果表明:ZC边界切换控制功能满足系统安全性和受限活性的规范要求。因此此种建模验证方法是可行的,可以将其应用于列控系统其他场景的建模与验证过程中。 相似文献
17.
18.
介绍一种基于DMR数字集群通信技术的铁路公安数字无线通信系统,重点介绍系统构成、系统功能、频率配置、越区切换机制以及车载台配置等关键技术。系统所采用的DMR技术可以有效提高频谱利用率,节约频率资源,同时其很强的抗信号衰落能力能够实现高质量的远距离通信。本系统可以满足铁路公安高质量语音通信需求外,还支持数据传输,具有强大的数据通信功能,有助于推动铁路公安信息化建设。 相似文献
19.