高速综合检测列车CTCS-3级列控动态检测系统

1概述CTCS-3级列控系统(简称C3)是保证高速铁路列车安全、高效运行的核心装备,该系统已在武广、郑西、沪杭、沪宁等高速铁路成功应用,随着我国高速铁路的快速发展,C3将得到更多应用。在动车组高速运行状态下,为了对其C3车载和地面设备功能、性能及各系统之间接口关系进行测试和验证,以及开通后服役阶段及时发现设备故障和隐患,掌握设备运用状态变化情况,为信号设备     

LKJ2000型列车运行监控装置改进建议

LKJ2000型列车运行监控装置(以下简称LKJ装置)以其特有的"车载线路数据存储方式+机车信号点灯信息+人工介入"方式,构成具有中国特色的超速防护设备.LKJ装置采用32位微处理器、数字信号处理技术,控制器局域网(CAN总线)、双机热备冗余工作方式;同时对故障导向安全也作了较多考虑,工作性能可靠,是性价比很高的安全装备,填补了我国既有线时速160 km以下列控系统的空白,实现了既有线运行速度提高、机车长交路、单司机值乘等需求.在历次铁路大提速和防"两冒一超"工作中为运输安全保驾护航,发挥了重要作用.     

中国铁路总公司关于发布《CTCS-3级列控系统总体技术规范》等17项技术标准的通知

正~~     

基于申请通行记录的桥梁超限车辆荷载统计模型

根据广西区申请通行的超限车辆数据信息,基于概率统计理论,采用双峰正态分布和对数正态分布建立了该区五轴和六轴超限车辆总重和轴距的概率分布模型;根据一元正态线性回归理论,建立了总重与轴重的线性回归模型;分析了超限车辆总重和轴距之间的相互关系。根据建立的超限车辆荷载模型,采用蒙特卡洛(Monte Carlo)法各随机生成了10 000辆五轴、六轴超限车辆,通过对比随机生成的超限车辆与实际超限车辆对中小跨径简支梁桥产生的跨中最大弯矩效应,验证了按照本文方法建立的超限车辆荷载模型用以模拟实际超限车辆的可行性,同时也为五轴、六轴超限车辆过桥时桥梁的安全评估提供了基础数据。     

关于大号码道岔的车载设备处理逻辑研究

列控系统中的大号码道岔是指侧向通过允许速度大于80 km/h的道岔,CTCS-2级列控系统以应答器大号码道岔信息[CTCS-4]包对其进行描述。现CTCS-2级车载设备规范对大号码道岔处理的规定较为简略,CTCS-3级车载设备规范则未规定CTCS-2等级控车对大号码道岔的处理逻辑。通过一例特殊地面设计发现,当连续大号码道岔之间存在信号机时,虽然各车载设备的处理方式均符合规范,但表现各不相同,可能对铁路运输产生不利影响,因此有必要对车载设备处理大号码道岔的逻辑进行研究。结合列控中心、应答器等地面设备的规范条文,对大号码道岔的防护责任进行分析,明确车载设备的职责,对车载设备规范提出修改建议。研究结果表明:(1)当收到UUS且大号码道岔信息包有效时,车载设备计算的行车许可终点应为应答器给出的进路数据终点;(2)当不能确认大号码道岔信息包的发送检查条件包括道岔前方线路允许速度时,车载设备应判断信号机与大号码道岔位置的一致性。     

基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究

作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控曲线完备性测试用例生成方法。首先,结合CTCS-3级列控系统需求规范,建立了满足司机制动优先和设备制动优先两种不同制动优先级情况下的TSM有限状态机模型,并利用反应式状态迁移系统的形式化语义,描述了不同输入情况下模型的内部状态迁移过程。其次,利用I/O等价原理和等价类划分理论,得到了两种不同制动优先情况下的输入等价类划分。在此基础上,通过引入了被测系统的故障模型和故障域范围,采用W-method测试用例集生成方法,在满足模型故障域的条件下,最终得到两种不同制动优先的目标速度监控曲线模型完备测试集。设备制动优先情况生成的测试用例数量高于司机制动优先约33.3%,且所需测试时间和内存消耗更多。     

DYNAMIC REQUEST DISPATCHING ALGORITHM FOR WEB SERVER CLUSTER

Distributed architectures support increased load on popular web sites by dispatching client requests transparently among multiple servers in a cluster. Packet Single-Rewriting technology and client address hashing algorithm in ONE-IP technology which can ensure application-session-keep have been analyzed, an improved request dispatching algorithm which is simple, effective and supports dynamic load balance has been proposed. In this algorithm, dispatcher evaluates which server node will process request by applying a hash function to the client IP address and comparing the result with its assigned identifier subset; it adjusts the size of the subset according to the performance and current load of each server, so as to utilize all servers＇ resource effectively. Simulation shows that the improved algorithm has better performance than the original one.     

论高等学校的质量管理与质量生成

在高等学校质量形成过程中存在质量标准应用的误区，我们应该明确高等学校质量管理的目的在于促进质量生成，重要的是端正高等学校质量管理的理念，形成质量生成意识，促进质量管理中的质量主体互动。     

集值渐近准非扩张映象多步迭代的收敛性

在严格凸Banach空间中，用集值映象点值化方法，证明了集值渐近准非扩张映象带误差的三步迭代列收敛于耦合不动点的充要条件．     

磁悬浮线路景观三维几何建模

本文利用MultiGen建模工具，结合Visual C＋＋，OpenGL，OpenGL Performer软件系统开发平台，开发了磁悬浮线路三维场景的实时动态浏览平台，实现了线路设计过程和设计成果的可视化。在此系统开发过程中，主要涉及的内容有：磁悬浮线路景观模型的建立，视点控制坐标的推导，实时动态浏览中的动画生成过程原理的阐述。