基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

地铁联络横通道水平冻结施工的热固耦合分析

基于考虑相变的热固耦合理论,采用GEO-SLOPE软件模拟地铁联络横通道水平冻结和开挖施工过程,分析地层温度场和位移场的变化规律。结果表明:隧道冻结帷幕交圈的时间约为26d,但需积极冻结到40d,冻结帷幕平均厚度达到120cm,再经过36d的维护冻结期才可实施开挖;在维护冻结期采用比积极冻结期略高的盐水温度,防止了冻土范围继续扩大,避免了隧道开挖过程中遭遇强度较高的冻土;在进行具体的冻结设计时,应结合地层和隧道轮廓线的特点,设定冻结盐水温度、冻结时间、冻结管间距和冻结管数量等参数;对比分析不同冻结帷幕保护下隧道开挖的地层位移场,结果证明冻结对抑制地层变形具有良好的效果,但需要足够的冻结时间方可将地表变形限制在可接受的范围内。     

智能网联趋势下车辆网关路由缓存研究与应用

伴随汽车智能网联发展,车辆电气网络架构行业趋势由1~2路CAN总线网络快速演变为7~8路CAN总线与4~5路百兆以太网相结合的融合网络架构。其中网关作为车辆网络的数据交互中心,提供了各网络之间的无缝通信,并需要以极低的延迟将这些数据进行可靠传输,这对低成本网关是一个巨大的挑战。提出了一种基于车载融合网络下低成本网关路由软件缓存区的设计方法,以路由软件缓存区去配合CAN控制器和以太网Switch硬件缓存区,设计中断式报文存储发送进程,将收到的数据实时发送到硬件发送缓存区,当硬件发送缓存区已满,则将报文存储到软件缓存区中。通过与软硬件缓存区的这种联动方式,能够实时的接收报文,保证报文不丢帧;也能够在目标总线负载率较大时,避免漏发报文以及保证发送报文周期。     

养生作用对硫沥青性能影响分析

硫磺部分替代传统石油沥青用于道路工程建设可减少石油沥青用量,降低施工能源消耗,促进工业废渣中硫磺的回收利用,具有较高的经济和环保价值。为探究硫磺掺量（质量分数）及养生作用对硫沥青（SEA）性能的影响,采用差示扫描量热仪（DSC）验证硫沥青中硫磺的重结晶现象,对养生前后硫沥青的基本物理性能和黏度进行分析,并采用动态剪切流变仪（DSR）和弯曲梁流变仪（BBR）对养生前后硫沥青的流变特性和疲劳性能进行评价,最后借助荧光显微镜（FM）观察养生前、后硫磺在沥青中的微观分布特性。研究结果表明：养生后高硫磺掺量的硫沥青DSC曲线出现吸热峰,硫沥青（特别是高硫磺掺量下）的劲度有所增加,因此对硫沥青进行养生使其性能稳定后再进行相关性能评价更具现实意义;硫磺掺量较低（≤ 10%）时,硫磺主要以溶解硫的形式存在于沥青中起到软化沥青的作用,因此沥青的低温变形能力有所改善,但其高温抗变形能力有所降低;当硫磺掺量较高（≥ 35%）时,硫磺主要以重结晶的形式悬浮在沥青中使沥青变硬,在增加沥青高温抗变形能力的同时也牺牲了其低温抗裂能力;硫磺掺量较低时,硫沥青黏度随着硫磺掺量的增加而降低;硫磺掺量较高时,硫沥青90℃和105℃黏度随着硫磺掺量的增加而增加,但硫沥青120℃和135℃黏度相差不大,同时硫磺加入最高可降低沥青的施工温度达20℃;线性振幅扫描（LAS）试验结果表明,养生后的硫沥青疲劳寿命比基质沥青长,其中35%硫沥青疲劳性能最佳;硫磺掺量进一步增加,硫沥青疲劳寿命缩短至与基质沥青相近;FM分析表明,硫磺掺量不高于5%时,硫磺全部溶解于沥青中,且养生后硫磺未重结晶,相应硫沥青无荧光性;硫磺掺量高于5%时,硫磺在沥青中分布均匀,养生后10%硫沥青中硫晶斑尺寸和面积显著增大,高硫磺掺量硫沥青中硫晶斑面积仅略有增加。     

舱内爆炸作用下固支方板的变形与破坏模式

舱内爆炸与自由场爆炸载荷特点明显不同,威力比同等当量下的自由场爆炸大得多.本研究制作了内爆炸载荷发生装置,开展了不同方板在舱内爆炸作用下的动态响应与损伤特性试验,对比了舱内爆炸载荷特点、板的塑性变形、板的损伤特点,讨论了无量纲数的适用性.研究表明:(1)舱内爆炸作用下角隅处的冲击波压力峰值明显大于其他区域,但各测点的冲量趋于一致;(2)炸药相对泄爆孔位置的不同,主要通过影响准静态压力改变方板的变形,初始冲击波的影响相对较小;(3)舱内爆炸作用下固支方板的破坏模式主要为Ⅰ类破坏和Ⅱ类破坏,即整体大塑性变形破坏和边缘拉伸失效.     

深厚软土地基上某船闸围堰设计

以紧邻外海的双鱼岛填海工程游艇别墅项目船闸工程为例,从设计的角度对船闸围堰的总体布置、结构形式以及防渗技术进行重点研究.结合围堰所处的深厚淤泥地质条件,从结构安全、经济合理、拆除便利、就地取材等方面综合考虑,选取2种断面型式综合比较,推荐采用抛石挤淤堤+堤后防渗墙的方案,丰富了围堰的结构设计类型,并为类似工程提供借鉴.     

新型船舶螺旋桨静平衡检测装置及算法

针对大型船舶螺旋桨质量大和静平衡检测难度大等问题开展技术研究,设计一种新型检测装置.采用力矩平衡原理对该检测装置的结构和工作原理进行分析,提出一种新型螺旋桨不平衡量检测算法,并利用高精度传感器和数据采集软件计算出不平衡质量.同时,提出磨削分解算法,通过该算法能快速计算出待磨削桨叶的打磨量,提高检测的精度和效率,为船舶螺旋桨和大型盘状转子类构件的静平衡检测分析提供技术参考.     

海洋工程用中厚板高强钢Q460E焊接工艺及性能

针对焊接机器人应用于海洋工程领域厚板焊接中的可行性和焊接工艺进行研究,设置焊接方案和技术参数并进行分析.采用海洋工程领域常用的高强钢Q460E,对焊接机器人焊接过程中的重要参数"侧壁停留时间"进行试验优化研究,结果表明,焊前预热温度为150℃,焊接速度为190mm/min～210mm/min,焊后后热温度为250℃,保温2h,同时配合焊接机器人摆动速度250 mm/min、侧壁停留时间1.2 s～1.4 s时,能获得良好的焊接接头,抗拉强度达到620 MPa,屈强比达0.8.在侧壁停留时间为1.2 s～1.4 s的情况下对预热温度分别为120℃和90℃的工况进行试验,结果表明,当将预热温度降至90℃时,焊缝冲击韧性仍能满足标准的要求.对于对结构性能要求不高的场合,推荐采用该预热温度.     

德国内河航运绿色发展对我国航运发展的启示

为提高我国内河航运发展水平,探索将绿色生态发展理念融入内河航运建设管理之中的新方法,从基础设施、船舶运力、信息化建设、集疏运体系等方面介绍了德国内河航运的发展特点和方向,总结了德国在推动绿色航运和绿色港口建设方面取得的成绩和经验。在综合考虑我国内河航运发展现状的基础上,提出我国内河航运发展应借鉴德国在干支流通达、水系间沟通建设等方面的经验;打造畅通互联的信息系统、提高信息协同应用水平;高度重视推进铁水联运,提高综合运输服务能力;推广绿色生态理念,加大绿色航运技术的研究应用力度等若干启示。     

新时代内河航运开发的全面经济性评价理论与方法研究

新时代内河航运占地省、能耗小、环境友好的比较优势愈发突出,发展内河航运提到更高的高度,传统的以运输效益为主的经济性评价方法的片面性日益凸显。在系统梳理国内外相关研究的基础上,根据新时代的特点进一步归纳、完善,基于内河航运工程建设对综合交通、区域经济社会发展、生态环保、文化旅游等各方面的综合效益,探索构建一套可用于内河航运开发全面经济性评价的指标体系,简要论述各评价指标的定量化和货币化计算方法,并以京杭运河黄河以北段复航工程为例进行实证分析,为新时代内河航运开发经济性评价工作提供决策参考。