Timed RAISE方法在列控系统等级转换场景中的应用研究

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。     

救援列车驻地工艺设计

目前涉及到救援列车驻地工艺设计的参考资料较少,通过对已建成或设计中的救援列车基地进行调查,结合《铁路救援列车管理办法》等规范,对救援列车进行简要介绍,并进行救援列车驻地工艺设计,供系统同行参考并提出优化建议,以期不断完善救援列车及驻地工艺设计,提升铁路救援能力,在事故发生时减少国家经济损失,并能给铁路运输带来安全和效益。     

支援干扰下火控雷达反干扰能力分析磁

支援干扰是火控雷达面临的主要干扰战术样式。分析了三种不同类型支援干扰的特点,根据火控雷达配属于防空火力系统,必须满足火力系统对空射击的需要,在计算火控雷达自卫距离基础上,建立了支援干扰下火控雷达反干扰能力评估模型。在想定作战背景下,应用评估模型对火控雷达抗支援干扰的能力进行了计算和分析。评估模型考虑了采取固定多点跳频、随机数字编码跳频和脉冲压缩等技术措施后对火控雷达反干扰能力的影响,具有一定的应用价值。     

基于GEM算法的地铁车站乘客疏散能力研究

为分析和提高地铁车站通过设施的疏散能力,保证乘客的运行安全,在分析地铁车站行人流运动特性的基础上,利用GEM(generalized expansion method)算法,求解地铁车站乘客疏散模型,通过计算得到车站疏散设施的拥堵概率、吞吐量等指标,给出地铁车站疏散能力的瓶颈点。以西直门地铁站为案例,证明将GEM算法应用于解决地铁车站人员疏散问题的可行性,并在此基础上提出合理的进站线路疏散优化方案。     

高速公路组合型波形板活动式钢护栏开发

根据高速公路实际使用需求开发了一种组合型波形板活动式钢护栏,设置在中央分隔带开口处.基于现行规范的要求确定了碰撞试验条件和安全性能评价标准,采用有限元软件IS-DYNA对车辆-活动护栏的碰撞过程进行了数值模拟,并开展了实车碰撞试验对活动护栏的防护能力进行验证.试验结果表明:该活动护栏的碰撞能量达到l60kJ,满足Am级...     

基于工作过程的商务外事英语案例模拟实践

随着高职教育的发展,建立"基于工作过程"的案例模拟模式已成为探索和深化商务外事英语课程建设的重要任务。本文从提高高职学生商务外事英语应用能力的需求出发,探索了基于工作过程的案例模拟模式,为培养并提高学生商务外事英语的应用能力提供了新的思路。     

城市快速路交通事件持续时间生存分析

提出城市快速路交通事件持续时间生存分析方法.依托上海市中心快速路网的 交通事件数据,将生存分析引入交通事件形成及演化机理分析.其根据大量交通事件样本 的特征属性,采用Kaplan-Meyer 的非参数回归构建基于风险的交通事件持续时间模型, 解析其在五类影响因素作用下的时空分布特性,并采用Cox 回归线性模型综合评价交通 事件持续时间的显著影响因素,分析其作用的强度和方向,提取表征上海市快速路交通 事件运营管理水平的重要特征参数.结果表明：上海市快速路的交通事件持续时间在不同 类别的影响因素下分布特性存在明显差异,日夜、事件类型、涉及车辆数、影响车道数、涉 及货车、所处路段位置、瓶颈处、出动拖车和出动消防车等影响因素对事件持续时间有显 著影响.     

军队支援地方抢险救灾行动车辆装备保障问题研究

随着我军职能任务的不断拓展,支援地方抢险救灾成为了我军除作战任务以外最为重要的军事任务之一。结合近年来我军参加的一系列重大的抢险救灾行动,分析了军队在执行抢险救灾任务时车辆装备保障的主要特点和存在的问题,提出了提升抢险救灾行动车辆装备保障能力的对策建议。     

快速路路段通行能力非参数估计方法

在快速路基本路段交通中断特性分析的基础上,对基于中断概率分布基础上定义的通行能力估计方法进行了研究.针对应用“乘积限”方法估计快速路路段通行能力存在的问题,给出了通行能力分布的估计方法和步骤,给出了通行能力分布的估计步骤以及通行能力计算方法,应用仿真数据对该方法进行了验证.     

港口铁路综合作业能力计算及影响原因分析

根据铁路作业能力的分析方法,结合港口铁路作业的特点,提出了港口铁路综合作业能力的计算方法。分析影响作业能力的主要原因和提高港口铁路作业能力的具体措施。