形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

塑料排水板施工工艺优化与质量控制的探讨分析

结合排水板联合堆载预压法在厦门软基吹填造地工程中的应用,探讨了不同插板机打设条件下的工艺和效率对比,分析塑料排水板打设过程中常遇到的问题,并针对堵管回带、不吃带、定位偏移等问题和技术难点提出了技术优化及质量控制的改进措施,为塑料排水板在大面积工程的施工应用中提供借鉴及新思路。     

灌区测控一体化闸门控制系统设计

本文以国内灌区为研究对象,完成测控一体化闸门控制系统设计,包括现场控制设备RTU、测流用传感器等硬件设计以及RTU软件和灌区取用水实时监控管理系统设计;设计的测控一体化闸门集传统闸门主体结构、水量计量、远程自动化控制和通信等功能于一体;实时监控管理系统可实现各灌渠测控一体化闸门的远程实时监控、报表统计与分析、阶梯水价与费用管理、系统管理等功能。     

海量GPR检测数据负载均衡并行处理技术

探地雷达单机处理软件性能较低,难以满足较长里程或周期性检测的海量数据处理场景需求。针对这一问题,本文在集群模式下基于Hadoop平台的MapReduce并行计算框架,采用HDFS和MySQL的混合存储方法,对数据流进行细粒度切片,建立主从节点架构的动态调度模式,实现海量检测数据的负载均衡并行处理。在Linux系统搭建了1主+8从的Hadoop集群环境并对其进行了测试试验。结果表明:动态调度可使迭代算法达到负载均衡,高复杂度算法适用于并行处理,性能可提升100倍左右,加速比接近物理核数。     

浅谈汽车强制性产品认证

中国强制性产品认证简称CCC认证或3C认证,是一种法定的强制性安全认证制度。汽车CCC认证制度在实施的10多年来,对于促进我国汽车产品质量水平的提高,进口产品质量的管控,保护人身健康安全等方面发挥了巨大的作用。但随着汽车种类多元化的发展,现有认证体系还存在着许多不足,须在实践发展过程中不断提高和完善。     

基于无人机遥感技术的航标监管控制技术

针对已有航标监管手段实时性差、效率低、局限性等问题,进行了航标监管有效控制的探索,采用无人机遥感技术、建立航标设备运行信息数据库并搭建可视化三维地理信息管理平台,最终形成了一套完整的无人机航标监视监测系统。经测试应用效果良好,对提高航标监管有重要意义。     

基于铁路数据服务平台的高速铁路工务设备大数据应用研究

高效管理高速铁路工务设备数据对提高运营安全水平具有重要作用。介绍高速铁路工务设备数据的管理现状,对建立工务设备大数据应用进行需求分析,提出基于数据服务平台的工务设备大数据总体框架及相关功能。以京沪高速铁路工务专业为例,搭建京沪高速铁路数据资产汇集平台,并开展大数据应用。结果表明,基于该平台开展大数据应用能够科学合理地指导工务设备维修管理和提供战略决策。     

低速碰撞载荷下钢制波纹夹层板动态响应研究

基于有限元软件Ansys/LS-DYNA,对钢制梯形波纹夹层板在低速碰撞载荷作用下的动态响应进行数值仿真研究,分析碰撞能量、冲头直径大小、碰撞位置和冲头撞击方向对夹层板动响应特性的影响。结果表明,随着碰撞能量从100 J增加到400 J,面板变形呈现出线性增加的趋势,碰撞能量达到一定水平后,结构出现损伤破坏,并且发现这种损伤的发生存在相对恒定的临界值,上面板吸能占比减小了30.5%,芯层和下面板吸能占比依次增加了12.4%,18.1%。冲头直径过小会带来明显的载荷局部效应,碰撞位置位于芯层胞元跨中时芯层无法对冲头进行直接支撑,这都会引起上面板的撕裂破坏,甚至被冲头贯穿。随着冲头撞击角度增加,上面板的撕裂破口逐渐由横向变为纵向,夹层板整体的能量吸收速率逐渐变大。在给定的载荷状况下,冲头30°撞击时,夹层板的耐撞性能较优;冲头90°撞击时,夹层板的耐撞性能较差。