基于模型的联锁软件测试用例生成方法

联锁软件测试是保证联锁安全的重要手段之一,为解决联锁软件测试通用性不强,人工消耗过大的问题,提出一种通用联锁软件测试用例生成方法。结合计算机联锁技术条件、分析软件的功能需求将其转化为工具可识别的状态对象,并对识别的状态进行划分,形成若干四元组合,生成联锁状态转换的树形网状结构。通过对建立的树形网状结构解析,得到结构中若干四元组合的源状态、联锁条件和目标状态,生成抽象的测试用例,并根据预先写好定义的输入对每一组抽象用例进行反推,最后生成一系列的具体可执行的测试用例。该方法生成的用例可覆盖已知场景的所有联锁测试功能,减少人工编写用例时间,同时减少人为因素导致用例出错的概率,提高测试可靠性。     

钢壳沉管端钢壳三维姿态验收测量技术

在钢壳沉管隧道施工中,钢壳管节浇筑前后的验收主要是对端钢壳进行三维姿态测量,主要包括端钢壳面板(端面板)平整度、端钢壳横向垂直度(水平偏角)和竖向倾斜度(竖向偏角),目的是保证沉管精确地沉放安装。根据深中通道沉管隧道端钢壳施工验评标准,要求端钢壳总体测量精度达到mm级,难度较大。为满足测量精度,采用了一种钢壳沉管三维姿态测量技术,主要是利用高精度全站仪+全圆法观测软件+MATLAB数学软件对钢壳沉管端钢壳三维姿态进行测量并处理分析各项数据指标,评定端钢壳在钢壳管节浇筑前后的精度,同时能确保工序之间合理衔接。     

无损检测技术在某高速公路旧路评价中的应用研究

通过对落锤式弯沉仪检测路面弯沉盆分析,反演路面各结构层模量,并结合探地雷达可以判断出路面结构层的病害层位,对旧路的质量情况进行准确评价,从而为科学制定预防性的养护方案,降低工程投资提供可靠的依据.     

通用机场升级转换为运输机场的机制构建思考

研究通用机场升级转换为运输机场,是国务院办公厅《关于促进通用航空业发展的指导意见》中的重点任务之一。本文从通用机场与运输机场的异同入手,明确升级转换的内涵,分析升级转换的现实需求及问题,提出了通用机场升级转换亟待构建的沟通、决策、评估、监督等四方面机制。本研究旨在促进通用机场与运输机场动态联动发展,优化提升机场体系功能。     

沥青路面预防性养护时机研究

通过沥青混合料的MTS中点小梁疲劳弯曲试验获得了疲劳寿命方程,分析了裂缝长度与N／Nf的相关关系;结合实际道路情况确定出沥青路面标准轴载作用下的疲劳寿命,并对疲劳破坏进行了定量的预测;针对疲劳破坏对沥青路面性能的影响规律,对沥青路面预防性养护时机进行了研究,提出了基于裂缝长度的沥青路面预防性养护最佳时机的确定方法。     

常德汉寿沅水大桥施工控制

文中结合常德汉寿沅水大桥主桥施工监控实践,主要介绍了连续箱梁悬臂浇筑施工控制的结构仿真计算模型,分析了结构体系转换对箱梁挠度和应力的影响;并通过在各个施工阶段进行施工参数实时识别,将识别得到的参数用于下一施工阶段的实时结构分析、重复循环,使系统模型参数的取值趋于精确,实时调整主梁立模标高,从而使成桥状态尽可能达到设计要求。     

沉管碎石桩在叶信高速公路软基处理中的应用

分析了沉管碎石桩处治软土地基的作用机理;以叶信（叶集—信阳）高速公路为工程背景,说明了沉管碎石桩的设计、施工及主要质量问题的处理方法;通过沉管碎石桩处理后地基承载力的检测,验证了沉管碎石桩处理软土地基的效果。     

高聚物注浆技术在公路养护中的应用

由于传统的公路路面维修养护方法存在一些不足之处,在某公路路面养护工程中采用高聚物注浆技术进行加固维修处理,并通过注浆前后的弯沉值对比分析施工效果。该施工技术能够有效地解决基层翻浆问题,同时施工速度快,交通影响小,因此在公路养护领域具有较好的应用前景,希望能对类似工程起到借鉴作用。     

浅论沥青路面的弯沉影响半径

就沥青路面弯沉影响半径的形成,各路面结构层的弯沉影响半径的长度作一论述,可作为弯沉测定时选择测量仪器的参考。     

G108云南段:期盼旧貌换新颜

从北京启程,向西南驱车3000多公里,就可以到达G108的最后一站——云南,在此国道线改建之前的很长一段时间内,道路交通超负荷运行,行车速度缓慢,通行能力小,交通安全难以保障,阻碍着云南与四川两省经济、文化的交流。G108在云南省境内总长254.4公里,其中四级路段长170公里,二级路