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

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

清筛机起拨道装置参数优化试验研究

针对既有隧道内、桥梁上道床机械化清筛难题,以清筛机起拨道装置为研究对象,通过数值模拟和现场试验,对起拨道量与起拨道力的关系进行了分析。结果表明:拨道时起拨道装置影响范围为7根轨枕距离;随着起道量增加起道力呈增大趋势,随着拨道量增加拨道力呈增大趋势,起道量与拨道力成反比关系;既有大型养路机械起拨道装置的起拨道油缸参数满足新型隧道桥梁清筛机使用要求;起拨道装置的安装位置直接影响新型隧道桥梁清筛机的作业适用范围。研究结果可为新型隧道桥梁清筛机的设计提供依据。     

赤山大桥基桩竖向承载力试验研究

介绍了应用自平衡法测试基桩竖向承载力的原理、应用程序及测试结果,并对测试结果进行了分析,探讨了基桩竖向承载的机理及承载特性.     

基于数值分析法的压载舱的优化设计

针对大型起重船压载舱的特点,提出了数值分析法的数学模型和优化原则.以7500t全回转起重船为研究对象,运用数值分析法对其压载舱进行具体的优化设计.选取四种典型的工况,评价压载舱工作时的各个参数指标,比较原压载舱和优化后的效果,从而得出数值分析法可以作为压载舱优化设计的参考方法.     

盾构下穿的污水干管变形特征及控制标准研究

随着郑州城市规划布局的不断加快,对地下空间的开发力度也不断加大,地铁盾构隧道下穿管线不可避免,如何保证地铁隧道施工不影响管线的正常使用至关重要。针对郑州地铁某工程中盾构下穿某大直径污水管线引起地层扰动的问题,首先,基于MIDAS GTS NX有限元软件,结合荷载-结构法建立管线结构的三维力学数值模型,采用地层损失率的概念对区间内大直径污水管线变形特性进行计算分析;然后,结合目前规范规定及管线特性提出大直径污水管线变形的控制标准,依据控制标准提出风险控制等级;最后,通过有效的控制措施确保盾构安全下穿污水管线。该方法可为相似类型工程的变形特征分析和风险等级制定提供有益的参考和借鉴。     

工务车间班组信息管理系统的设计与实现

工务车间班组信息管理系统采用计算机触摸屏技术,通过GPRS无线网络传输,实现对基层车间班组的考勤、教育、日常作业和系统信息的远程管理.     

液体管道破损处泄漏特性实验环道设计

文中借鉴顺序输送环道设计的有关经验,利用相似原理,设计了一个采用多种环道结构和元件的实验平台。该设计根据实际事故情况设置泄漏孔形状等边界条件,可最大限度模拟实际泄漏事故过程,研究各运行工况下管道破损处的出流特性和扩散规律,为泄漏量预测、泄漏后停泵方案优化等提供依据。     

SSJ900整机过隧架桥机变频起升冗余设计

为最大限度地降低SSJ900整机过隧架桥机起升系统故障对施工的影响,介绍了变频起升机构冗余方案的设计思路和工作原理,实践证明,该设计方案可行。     

在建高速公路路堑高边坡在交工验收阶段的稳定性监测分析

在山区建设高速公路, 不可避免地会产生大量的路堑高边坡。 为了确保后期高速公路在运营期处于安全稳定的状态, 避免侧向高边坡由于滑坡而造成巨大的财产损失, 就需要对边坡进行交工稳定性验收, 确保其处于安全稳定的状态。 文章重点监测了边坡地表水平位移和垂直位移, 通过对监测数据的科学比对分析, 判定边坡的稳定性状态, 为高边坡交工验收提供技术支撑。     

8000年前,跨湖桥人如何刳木成舟

易经系辞下篇中有记"刳木成舟,剡木为楫","刳木成舟"就是说我们的祖先经过长期的渡河实践逐渐就意识到:把一段树木平整、挖空,就可以成为一只坚固耐用和操作灵便的运载工具——独木舟.