基于Windows NT铁路调度监督系统实时性研究

简要地讨论了WindowsNT操作系统的实时性能，在此基础上对铁路调监系统中的实时多任务进行了分析，根据分析结果对各个任务采用多线程来实现，同时对软件设计中线程之间的同步问题进行了探讨，并提出了解决方案。     

牵引回流对计轴设备的影响分析

计轴器作为列车占用轨道区段的重要检测设备,其工作性能对铁路安全运营有着重要影响。本文根据计轴器的尺寸及结构在 Ansoft Maxwell 中建立三维模型并进行有限元分析,研究计轴器周围磁场的分布以及车轮对其工作状态的影响。在 Simulnk 中建立 AT 式牵引供电系统、CRH2 型动车组仿真模型,并基于 Simplorer 平台对牵引供电系统的Simulink 模型及计轴器的三维 Maxwell 模型进行联合仿真,分析牵引回流对计轴器的影响。该联合仿真模型能够为现场案例分析、计轴器抗干扰优化设计提供理论依据。     

升压型DC-DC开关变换器的混杂建模与控制研究

基于混杂系统理论,建立了升压型开关变换器的混杂自动机模型,使得开关变换器的控制简化为混杂自动机模型的边界选择问题。与传统的状态空间平均法和电路平均法相比,该模型中没有任何假设和线性近似,建模精度高,可以对电力电子电路进行更好的分析与控制。根据开关变换器电感最小电流与输出电流的比较,将电感电流连续模式细分为完全电感供能模式和不完全电感供能模式两种子模式,提出一种新的混杂控制策略,应用电路理论方法给出了理想变换器和考虑输出电容寄生电阻的混杂控制边界的综合方法和计算公式。数值结果和分析表明了混杂建模和控制策略的有效性。     

铁路信号安全关键软件的组合测试序列集约简

针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列，导致测试执行成本较高的问题，提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法，用于降低序列集的执行成本. 首先，以执行成本最低为约简目标，建立针对t-路组合测试序列集约简的优化模型；然后，在保证测试序列集逻辑覆盖特性的基础上，采用贪婪-粒子群混合优化算法求解模型，计算约简后的测试序列集；最后，以ZPW-2000轨道电路接收器软件作为研究对象，以其生成的2-路组合测试序列集为例开展约简验证. 结果表明，所提方法在保证2-路组合覆盖和逻辑覆盖的前提下，对单个序列集的执行成本约简幅度最高达到98.33%，对序列集总的执行成本约简幅度达到36.10%，验证了所提方法的可行性和有效性.      

�����ν���Э���ĵ�������վ�򳵿����Ż�

研究了高峰时段列车运行的衔接协调对换乘站候车客流量的优化问题。首先分析了换乘站各站台候车客流的组成因素,确定出各运行方向的换乘站台内客流量随时间变化的规律。然后,以时段内换乘站候车客流量的最大值最小为目标,建立优化模型。模型以站台最大可容纳候车人数为约束条件,以各方向列车在换乘站的到达时刻为调整对象,实现了高峰时段换乘站内聚集客流的优化。最后,针对验证案例,设计了遗传算法进行求解,得出了协调较优解,并给出与较劣解的对比分析。结果表明,该优化方法能够有效降低换乘站内的候车客流人数,可为网络化的优化协调工作提供参考。     

列车运行控制仿真系统(一)总体结构与仿真显示

介绍了CTCS列车运行控制仿真系统,包括列车运行控制仿真系统的总体结构和各子系统的构成、功能及子系统间关系.重点讨论了列车运行显示子系统系统构成、系统功能和软件实现.通过本仿真系统,对CTCS的应用具有较强实际意义.     

列车运行控制仿真系统(二)ATP列车超速防护仿真研究

介绍了列车运行控制仿真系统中ATP列车超速防护仿真子系统的系统结构和功能.阐述了仿真中目标距离、目标速度的确定方法,以及目标.距离模式曲线的仿真算法.对基于轨道电路和应答器的CTCS-2级列车超速防护系统进行了仿真实现.该系统为进一步研究列车超速防护系统提供了有效的实验环境和方法.     

铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法. 首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.      

用微机实现多路高灵敏轨道电路的测试

介绍了高灵敏轨道电路基本原理以及用微机实现多路高灵敏轨道电路测试的方案和具体方法。     

交互式热备冗余微机联锁系统的可靠性研究

介绍了上、下位机结构的微机联锁系统，并定量地讨论了其可靠性，针对存在的问题，提出新的设计方案-上、下位机交互式热备冗余结构，并从理论上推导了其可靠性，为这种新结构的实际应用奠定了理论基础。