基于变异模型的CTCS-3级列控系统测试用例自动生成方法研究

本文提出一种基于变异模型的CTCS-3级列控系统测试用例自动生成方法。根据列控系统需求规范,建立它的SMV（Symbolic Model Verifier）模型,对此模型进行变异,将变异之后的模型输入到模型检验器SMV中,利用模型检验生成反例的技术,自动生成测试用例,提高了测试用例的生成效率。并以CTCS-3级列控系统的无线闭塞中心（RBC）切换场景为例,验证了该方法的有效性。     

基于M分布检验的微功率源近距离电波传播特性研究

M分布是一种适合研究移动通信中微功率源电波传播幅度快衰落的概率模型。利用M分布对微功率源电波传播的快衰落数据进行分布拟合检验后，证明这种模型非常符合实际情况。本文详细说明了这种电波传播模型，并基于这种模型分布检验的方法提出了计算机的软件设计思路，然后对北京市内几种近距离环境下测得的微功率源电波传播数据进行了分布拟合检验，检验结果表明这种模型非常适用于微功率源近距离电波传播特性的研究。     

p值法在岩体初始地应力场反演中的应用

为更充分地验证所采用回归模型的可靠性,依据概率论与数理统计理论分析p值法检验、F检验、t检验的原理可知,p值法可以检验回归模型和回归系数的显著性和可靠性,且p值能给出判断显著性的依据,故提出基于实测岩体初始地应力反演岩体初始地应力场时采用p值法进行显著性和可靠性检验。根据不同p值大小对应拒绝原假设不同依据的规律,若回归模型和回归系数检验对应的p值分别为p≤0.01,0.01p≤0.05,0.05p≤0.10,p0.10,则以所采用的回归模型反演岩体初始地应力场的依据分别为很强、强、弱、无。以斑竹林隧道为例,反演岩体初始地应力场,并分别应用p值法检验、F检验、t检验,验证所采用回归模型和回归系数的显著性和可靠性。结果表明:岩体初始地应力的计算值与实测值较为接近,沿隧道埋深的变化规律基本一致;反演得到的岩体初始地应力场是合理的、可靠的;通过p值能更充分地验证所采用回归模型的可靠性。     

建设期高层建筑物沉降数据回归分析方法

对建设期高层建筑物沉降观测数据的回归分析计算至关重要。本文结合具体工程案例,以其代表性观测点位沉降数据为依据,系统介绍有关回归分析方法和理论实践。首先对沉降数据进行趋势法检验计算,以发现数据中是否存在粗差影响;其次选择合适的回归模型对数据进行回归计算比较;最后对较适合本案例的回归模型依次进行模型显著性检验、回归系数显著性检验以及对较大预测残差值t处进行预测区间估算等,通过系统的计算、比较和检验分析,从而确定最适合的数据回归模型,以对建筑物其他沉降数据和后期沉降预测进行检验和分析。     

基于灰色理论的列车自动运行系统预测模块优化算法

灰色理论在可改进ATO(列车自动运行)速度控制器的算法方面具有可行性和优越性。灰色系统模型主要分为预测模型和决策模型。介绍了传统GM(1,1)灰色预测模型的建立过程,阐述了优化GM(1,1)模型的计算流程和计算过程,并利用实际线路数据检验了优化后的预测模型。检验结果表明,通过优化后的预测模型得到的预测结果平均相对误差小,预测精度高;且同时改进权重系数和初始条件时,预测结果更精确。     

精伊霍铁路建设项目进度控制信息系统设计与实现

分析了铁路建设项目进度控制中存在的主要问题,研究了工程变更设计管理模型、基于检验批数据的施工进度与投资控制关联模型、工期预测模型、监理工程师确认施工进度的管理模型,构建了铁路建设项目进度控制信息系统,并在新疆乌鲁木齐铁路局精伊霍新建铁路建设指挥部进行了试用.     

弱膨胀土地区基坑周边地表沉降预测模型的构建

为了探寻弱膨胀土地区深基坑周边地表沉降和时间的关系,选取淮南市数码广场深基坑监测数据,采用Origin专业软件分别建立Ratkowsky模型、泊松曲线模型、对数曲线模型、二次曲线模型、三次曲线模型、幂函数曲线模型6种回归模型进行拟合分析。通过回归方程拟合度、回归方程显著性检验以及回归系数显著性检验,发现幂函数曲线模型拟合度较高。应用该模型对基坑南侧道路上DL08的监测数据进行预测,预测值与实测值相符。该非线性幂函数曲线模型可用于同一地区地表沉降的预测。     

基于高速列车运行实绩的致因-初始晚点时长分布模型

高速列车初始晚点时长分布模型是行车指挥决策及相关理论研究的基本依据,具有重要的理论和实践意义。本文基于广铁集团高速列车运行实绩,研究不同致因情况下初始晚点时长的分布模型。以2014—2015年高速列车初始晚点时长为建模数据,通过Kolmogorov-Smirnov检验比选5类典型模型对不同致因导致高速列车初始晚点时长分布曲线的拟合效果,运用R软件对模型参数进行极大似然估计。研究发现:对数正态分布模型拟合效果最优;韦伯分布模型、伽马分布模型拟合效果较好。以2016年初始晚点时长数据进行模型校验,以2014—2016年数据进行双样本同分布检验,结果表明对数正态分布模型总体上能够满足校验数据的拟合度要求,也能通过双样本同分布检验。     

铁路建设检验批的数据特征研究

介绍铁路建设项目管理中检验批数据应用的相关背景,检验批数据的空间、时间和专题三大数据特征,以及检验批数据与质量控制、进度控制、安全控制、投资控制以及物资设备管理的关联关系,并建立相应的关联关系模型,形成采用计算机存储和管理的检验批数据规范.     

基于灰色线性回归模型的哈尔滨铁路枢纽货运量预测研究

为合理规划哈尔滨铁路枢纽基础设施及物流网络,促进哈尔滨铁路枢纽更好地服务于现代物流发展的需要,基于哈尔滨铁路枢纽的定位与货运现状,在考虑线性回归模型与灰色预测模型各自优势的基础上,构建哈尔滨铁路枢纽货运量预测的灰色线性回归模型,通过计算平均偏差比率对模型进行检验。检验结果表明,灰色线性回归模型预测结果平均偏差比率较小,介于灰色预测模型和一元线性回归模型之间,同时该模型结合了货运量与时间变化、生产总值之间的关系,预测结果切合实际,可以为制定铁路货运枢纽规划及物流发展战略提供科学决策依据。