安全苛求系统综合功能危险源分析方法的研究

基于经典方法改进的安全分析方法--综合功能危险源分析(IFHA),综合了功能故障分析(FHA)、故障模式及影响分析(FMEA),瞬时故障和可操作性研究(HAZOP)以及故障树分析(FTA)的分析原理,通过不同分析阶段结果的关联以及统一的故障树表示,保证系统分析全过程的一致性,克服了分别使用经典分析方法所出现的问题以及矛质.IFHA应用于CBTC的地面子系统--ZC系统,帮助识别在系统设计阶段ZC软件功能可能出现的危险源,此例既可作为一个案例也可作为继续分析的项目.将ZC系统的软件和硬件结合进行的安全分析将是下一步的分析工作.     

安全苛求系统下的嵌入式C语言程序调试技巧

介绍安全苛求系统下的嵌入式C语言程序调试的技巧.总结安全苛求系统的编码和程序调试工作中的嵌入式C语言调试经验,介绍正式代码调试之前的3件准备工作,代码调试的“版本升级比较法”,打印添加技巧以及其它调试技巧和经验.     

苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数武程序设计以及可靠度评估模型等.总结比较各自适用的开发阶段、面向的目标错误类型及优缺点.     

IFE开发了新门驱动系统

Knorr—Bremes的列车自动门专业厂家IFE，开发了一种RLS2002系统，即增加其RLS驱动系统应用性的创新项目。RLS是一种用于带电子操作和微处理机控制的塞拉门的细小驱动系统。     

安全论证方法及其在铁路信号开发安全保障中的应用

随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上,构建信号系统的论证驱动安全设计框架,以GSN论证语言为基础设计安全论证的软件系统。     

基于模型的CBTC区域控制系统安全软件开发

传统的软件开发方法不能满足基于通信的列车控制(CBTC)区域控制系统(ZC)的开发需求.结合北京地铁亦庄线研究项目,介绍一种基于模型的系统开发方法,给出ZC系统的软件容错结构,阐述该系统的移动授权和列车管理功能建模方法,并从模型覆盖率分析和形式化验证两方面深入分析系统安全性保障措施.ZC系统的研究项目表明,基于模型的开...     

5T系统整合中基于模型驱动的Web服务组合方法研究

针对5T系统整合流程复杂、多变的特点,提出基于模型驱动的Web服务组合方法。该方法采用面向服务的架构,通过Web服务的组合实现对5T系统的整合。在Web服务组合过程中,以建模代替编码,建立模型到代码的映射机制,实现代码的自动生成。给出对Web服务组合模型的描述规则,并通过将平台相关模型由UML格式文档转换成XML格式文档、再转换成代码的方法,实现代码映射。以5T系统踏面擦伤报警评判及维修指导流程为例,建立了5T系统报警评判和故障处理的流程模型。实例表明:该方法可有效降低5T系统整合的复杂性,提高系统的适应性以及跨平台互操作能力。     

高效率车辆驱动系统的开发

介绍了可供铁道车辆用的全封闭永久磁铁同步电动机的结构、原理,以及该电动机的无旋转角传感器控制方式和各种试验结果。     

不同悬挂方式驱动系统的垂向耦合系统动力学模型

简单介绍了驱动系统中牵引电机不同悬挂方式下的几何结构及应用范畴,从工程实际应用角度出发,基于车辆—轨道耦合动力学理论,以B_0-B_0构架为本体,建立了各悬挂方式下构架—驱动系统三刚体多自由度的质量—刚度—阻尼垂向振动力学模型,依据其结构的几何和运动关系,根据达朗贝尔原理列出各悬挂方式各刚体的振动微分方程,为驱动系统垂向振动的数值分析和仿真分析提供理论基础。以抱轴式悬挂系统为仿真分析对象,验证其数学模型的正确性及可靠性,并分析各刚体的振动特性。     

信息系统安全风险评估模型及其在铁路客票系统中的应用

提出一种基于模糊综合评判理论的信息系统安全风险综合评估模型与方法,实现量化信息系统安全风险的目标。通过确定信息系统的安全风险因素集、指标集以及因素的权重系数集,建立安全风险模糊综合评估矩阵,并应用于铁路客票预定与发售系统的安全风险评估。铁路客票预定与发售系统包括信息资产和物理资产,受到来自系统本身、外部环境以及人为和自然界的安全威胁。应用建立的信息系统安全风险评估模型,定量计算铁路客票预定与发售系统Web组件的安全风险值。根据计算值确定信息系统中的高风险组件,为系统管理与使用部门采取相应的防护技术和管理措施提供理论依据,增强系统安全性。     

铁路运输收入管理信息系统升级开发及应用

首先指出既有运输收入系统存在的问题,介绍了新系统开发目标及功能,并就系统网络建设和推进应用进行了探讨.     

铁路车辆设备管理信息系统的开发与应用

介绍了铁路车辆设备管理信息系统的组成、主要功能、特点及应用效果。     

铁路网络远程学习系统开发与应用

文章以武汉铁路局网络远程学习系统为例,详细介绍了其网上学习、考试、资料查阅、培训管理等主要功能及特点,重点阐述了基于岗位胜任力的课程体系建设方法和课件开发模式,扼要说明了制度建设、有效激励,严格计划、规范运行等保障系统推广应用的有效手段.     

铁路局部门信息发布系统的开发与应用

介绍基于路局办公信息系统平台之上的各业务处室及党群部门信息发布系统的研究与应用,并详细的介绍了该系统设计原则、系统构成和主要功能.     

JeRail(R) CBTC城市轨道交通信号系统的安全开发和认证历程

CBTC(基于通信的列车控制)系统是城市轨道交通的关键系统,对其安全性有着决定性影响.富欣智控基于成熟高效的安全产品开发体系,从流程、组织架构、安全和质量保障方面确保自主知识产权的JeRail(R) CBTC城市轨道交通信号系统满足功能安全要求,并最终通过第三方权威机构认证.富欣智控制定合理的策略,从易到难,从子系统到系统集成,从产品认证到工程项目认证一步一个台阶,顺利完成了自主化JeRail(R) CBTC系统的安全开发和认证.介绍了JeRail(R) CBTC城市轨道交通信号系统的安全开发和认证历程.     

SCADE在城市轨道交通ATP软件建模中的应用

列车自动防护(ATP)系统是基于通信列车控制(CBTC)系统的重要组成部分.车载ATP在列车运行过程中担负列车安全运行的重要任务,是与安全直接相关的系统,需要高的安全性和可靠性.为了满足车载ATP软件对安全的需求,提出了基于模型的软件开发方法对ATP进行建模.应用SCADE作为开发工具,建立了ATP系统部分功能的模型,说明了SCADE在ATP软件建模上的可行性.     

基于神朔铁路货运集中制票系统的开发与应用

神朔铁路为解决货运制票系统分级管理、数据传递方式重复、数据管理不集中、人工方式半录入、业务功能拓展与当前形势不适应等货运制票系统问题,提出开发系统数据汇总方式自动提取;调整统计功能模块,统一集中数据管理,增加数据转发量,完善车站确报转发功能,从数据库中按各站车次自行提取等,实现神朔铁路货运制票系统的集中应用.     

异步驱动电机系统在电动客车上的应用现状及发展

驱动电机系统为电动汽车关键部件,其性能成本直接关系到电动汽车的推广应用。目前异步驱动电机系统在电动汽车,尤其是电动客车中的应用最为广泛。文章介绍了异步驱动电机系统在电动客车上的应用现状及未来的发展方向。     

铁路车务信息统计管理系统开发及应用

首先指出既有车务信息系统存在的问题,介绍了新系统开发的目标及功能.     

TDD-LTE技术在城市轨道交通CBTC系统中应用

CBTC(基于通信的列车控制)无线通信系统的抗干扰性是城市轨道交通通信领域发展的一个关键问题。随着对专用频率的热切诉求,第4代移动通信LTE(长期演进)技术在车地无线通信中应用的呼声很高。对TDD(时分双工)-LTE技术在城市轨道交通车地无线通信系统中的应用进行了分析,利用LTE自身技术优势和特点,建立以CBTC为核心应用的无线网络,并结合实际项目工程对这一方案进行研究和实施,为城市轨道交通无线通信网络技术演进方向提供参考。