形式化B方法和UML的结合

形式化B方法和UML存在很大的互补性,二者的结合研究对提高软件的可靠性有着非常重要的意义,文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。     

机车车辆虚拟样机开发调度平台设计

为了管理机车车辆虚拟样机开发中的团队成员、任务及各种数据等,设计并开发了机车车辆虚拟样机调度平台.系统中有系统和工程项目两级保护及基于角色的访问控制,以确保系统安全.根据产品数据管理原理实现数据管理,使数据存储结构合理,数据流向清晰准确.设计了消息引擎,以实现多任务间的协同.调度平台的开发实例验证了设计是可行的.     

国内公路隧道运营期交通事故统计及伤亡状况评价

为更好地了解我国公路隧道运营期交通事故整体特征及伤亡状况,对2001-2017年国内发生的121起公路隧道交通事故开展统计分析,分别从事故发生的地理位置、事故发生时间、事故类型、事故车辆类型以及伤亡情况进行统计分析。结果表明： 1)事故发生量与该地区公路客货运输量成正相关,但西北地区和华南地区事故量占比远大于其交通运输量的占比; 2)事故类型以车辆相撞为主,且轿车发生的事故数量最多; 3)每年1、4、5月的事故发生量较多,每天16:00-18:00事故发生率最高; 4)中隧道（500 m<L≤1 000 m）的事故平均伤亡人数最高。最后结合交通事故伤亡情况等级划分,分析各因素对事故伤亡影响权重,得到造成伤亡的最不利组合为“特长隧道+货车+追尾事故”。     

交通建设工程安全生产监督管理信息化建设

信息技术的广泛应用,为交通工程施工安全监管手段的提升提供了技术支撑,课题组基于监管部门的职责创建了交通建设工程安全生产监督管理信息化建设的16个模块,实现了安全监管的方便、快捷、有效的功能。     

一种高压泵流量控制装置的仿真研究

介绍了一种用于柴油机共轨系统的新型高压泵流量控制装置,并建立了数学模型,利用AVL公司的液力系统仿真软件Hydsim和Matlab仿真软件Simulink联合建立了高压共轨系统的仿真模型,制定了共轨腔压力闭环控制策略,分析了单向阀结构对共轨压力波动特性的影响。     

采用一种高阶面元法数值求解浅水船舶兴波问题

开发了一种基于B样条的高阶面元法用来求解浅水船舶兴波问题.船体表面和自由面上分别布置Rankine源,同时利用镜像原理来计及水底的影响.物体儿何用B样条曲面精确表示.在求得边界面卜的源强密度分布后,物面上的速度势用B样条来表示.数值计算中采用配置方法,并且用高斯-勒让德公式来计算方程中的积分.为了验证文中方法的有效性,用本方法计算了Wigley船在深水和浅水中的兴波水动力和波形,所得数值结果与试验结果和其它数值结果进行了比较,吻合程度令人满意,表明本方法被用来求解浅水船舶兴波问题是有效的.     

测量机器人在大跨径桥梁检测中的应用研究

挠度、位移、线形测量是桥梁检测的重要组成部分,是桥梁质量和安全性评估的重要指标。为克服原有测量方法的不足,介绍了一种新的测量方法,首先在桥上安装合作目标,然后利用测量机器人在加载前后分别获取合作目标的几何信息,最后计算出相应的挠度、位移、线形。通过对该方法精度的推导和分析,论证出该方法能满足桥梁检测的精度需要。结果表明该测量方法精度高,速度快,具有广阔的应用前景。     

�����й����ͨ���˿�����Ϣ��������

随着轨道交通线路的建设,线路已逐渐成网,轨道交通换乘站也越来越多,作为客流内部集散的重要节点,如何保证其安全有序的运行是摆在运营管理人员面前一道严峻的课题.本文以先进的客流检测系统为基础,在深入了解和掌握轨道交通运营、管理、监控等需求的前提下,集成数据传输、统计分析、信息发布与应急管理等功能为一体,提出了轨道交通换乘客流检测与信息管理的系统解决方案,并成功应用在西单交通换乘枢纽.结果表明,该解决方案能够在一定程度上检测、预判和处理客流拥堵等应急事件,取得了良好的效果.     

水面高速无人艇运动极短期预报技术

采用基于时间序列的乘积季节ARIMA(求和自回归移动平均)模型以及无人艇模型规则波试验数据,研究了水面无人艇运动极短期预报技术。采用经趋势差分和季节差分后的ARMA(自回归移动平均)模型,运用最小信息准则和白噪声检验方法,验证所选择的最佳模型,并对无人艇进行了20步极短期运动预报。计算结果表明:无人艇船模加速度、升沉、纵摇的前10步短期预报最大误差均不超过6%,随着预测步数的增加,误差有扩大的趋势,加速度的后10步短期预报最大误差达到16.68%。可见,极短期预报技术有效。     

论钢桥面防水粘结层施工

钢桥面防水粘结层的施工极其重要,其质量的好坏直接关系到桥面整个防水系统的成败。通过探讨环氧沥青施工技术,以积累施工经验,并为同行提供参考和借鉴。