CTCS-1级列控系统等级转换场景建模与验证

随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范。文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持。     

湖泥-水泥膏浆的堆积扩散特性试验研究

为研究湖泥—水泥膏浆进入溶洞后的流动状态,通过室内模拟注浆试验观测湖泥—水泥膏浆在空腔内的堆积特性。试验结果表明,湖泥—水泥膏浆进入无限制空腔内之后,向周边流淌,堆积体表面曲线类似于正态分布函数曲线,均方差(σ)的大小反应湖泥—水泥膏浆形成堆积体表面的平缓或者陡峭,其值主要与浆液的坍落度有关。浆液黏度较高时,堆积体呈现类似正态分布钟型图中的“又高又瘦”;浆液黏度较低时,堆积体呈现类似正态分布钟型图中的“又胖又矮”。随着浆液不断注入空腔,堆积体形态不断增大,但其表面曲线仍然与正态函数曲线相似,得到其形态与注浆量和浆液坍落度密切相关,从而建立堆积体各参数与注浆量和浆液坍落度的理论数学模型。     

基于协议栈芯片的嵌入式WEB服务器低成本实现方法

现在所存在的WEB服务器设计大多采用向微处理器上移植TCP／IP协议栈的方法，这些实现一般对微控制器的处理能力要求比较高，而且成本比较高，虽然数据传输速度较快，但在有些情况下这并不必要。本文介绍了一种利用集成了TCP／IP协议栈的接口芯片S7600以及MODEM模块接入Interact来构成WEB服务器的方式，这种方式对处理器性能要求不高，成本低，结构简单，性能稳定，在小规模的应用场合非常合适。