摘要：铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限制、连续接车中防护门短时间开放问题;其次,基于Event-B语言以及精化策略对设计的自动控制系统建立形式化模型;最后,检查证明义务以验证需求属性是否被满足,并应用动画器Animation展示系统功能的正确性.结果显示:相比传统的道口管理系统,本文提出的自动控制系统增加了双线连续接车功能,且使用形式化建模和验证,避免系统设计中存在的二义性,对平交道口安全管理有一定的参考意义.

摘要：地震是社会发展不可忽视的重大风险,桥梁作为交通的咽喉,其在地震中的表现严重影响着灾害救援以及震后经济快速复苏。减轻甚至消除桥梁震害是工程师和学者的共同目标,也是当前桥梁抗震研究的核心出发点。梳理桥梁震害有助于加深对结构本身抗震的理解,同时可以了解桥梁抗震领域研究趋势和规范发展的脉络。作者以上世纪末为时间节点,分上、下两篇总结了有较大意义的数次历史地震桥梁震害情况,本文为上篇。至上世纪末期历次震后调查的经验表明:桥梁抗震设计的重要基础之一是地震危险性分析和设防;工程上需努力增强现有老旧桥梁的抗震能力,重视抗震概念设计、细部设计和减隔震设计;未来的研究重要方向是理清沙土液化、地基失效和近断层效应的影响,以及减隔震设计向(半)主动控制的发展。

摘要：震害是桥梁抗震研究的第一手资料,值得认真学习及反复思考桥梁抗震发展历史与趋势。文中梳理了21世纪以来桥梁震害情况,它们大多依现代结构分析理论及抗震规范设计,以期能对桥梁震害在整体上获得更客观和深刻的认识,甚至发现新的研究问题以供讨论。以美国地震工程研究学会(earthquake engineering research institute,EERI)的(learning from earthquake,LFE)项目地震资料为主,展示了近20年出现的桥梁典型性震害并进行初步的评价。最后得出结论和建议:隔震桥梁宜增强其位移控制能力;建议将液化和地质次生灾害融入地震烈度区划图;发展指导新桥设计与旧桥加固相统一的基于性能设计方法;增强对近(跨)断层与桥梁基础抗震相关问题的研究。

摘要：针对目前市场上嵌入式图像处理平台可扩展性差的缺点,利用Zynq SOC嵌入式处理器ARM和FPGA结合的优势,文章提出基于Zynq SOC的嵌入式图像处理系统设计方案。实验结果表明,该方法不仅提高了图像边缘检测质量,而且具有实时性和可扩展性好的优势。

摘要：目的:系统研究西藏芜菁微粉及其饮料对运动员低氧耐受性及心肺功能的影响。方法:以芜菁微粉及其饮料为试验材料,进行为期7 d的人体试食试验。选取16~22岁的体校学生8名,随机分为微粉组(2男,2女)和饮料组(2男,2女),每日分两次各服用芜菁微粉7.5 g或分3次各服用芜菁饮料1瓶(268 mL×3)。试食试验前、后分别进行低氧反应测试(模拟7 500 m海拔高度,氧含量7.1%)和运动心肺功能测试(Bruce方案)。同步抽取受试者空腹及运动心肺功能测试后的血样,进行抗氧化指标、血生化、血常规分析,对数据进行试食前、后的自身对比分析。结果表明,服用芜菁试样7 d后,7/8的受试者低氧反应测试中Sp O2明显提升,3/5的受试者低氧反应症状得到有效缓解;心肺功能测试中,运动持续时间(DE)、运动代谢当量(METs)、肺通气能力(VT)和摄氧能力(最大摄氧量、最大公斤摄氧量、最大氧脉搏)均有一定的提升,且机体无氧阈(AT)出现时间分别延后63 s(微粉组)和80 s(饮料组)。此外,芜菁试样还能提高机体SOD活性,降低MDA含量。受试者试食试验前、后血生化及血常规的所有指标均无显著变化(P>0.05)。结论:西藏芜菁能有效提升运动员的低氧耐受性,改善心肺功能,其作用机制与促进机体氧的摄入和利用,增强机体抗氧化能力等有关。

摘要：阐述了信宜市钱排河应急修复工程中河道水面线的研究,其中包含两种河道水力学模型计算,并对结果进行了初步分析,最后提出了模型在工程实际应用中的结论和今后进一步研究的展望。

摘要：金属包装容器由于具有优良的阻隔性能和力学性能,表面装饰性好,废弃处理方便等优点,已经广泛应用在食品包装中,特别在罐头生产中,大量地使用金属容器作为包装物。但金属容器的密封性是金属容器包装的重要一环,使用三维虚拟仿真技术进行设计,具有相对简单和明了的特点,文中以鱼罐头椭圆罐封罐机构的设计为例进行了研究,取得了满意的效果。

摘要：针对豆豉鱼罐头的豆豉落料凸轮的设计要求,进行仿真设计,利用取点法取值一系列点,通过Matlab对这些点进行拟合,得出轨迹曲线方程,然后用UG绘制出轨迹曲线,从而得出一种近似轨迹槽,这种设计方法具有设计时间短和节约设计成本等优点。经过试机运行,这种方法设计出来的凸轮能够满足机构的工艺要求,性能良好。

摘要：为提高复合补偿型感应耦合电能传输系统的输出功率,丰富系统分析方法,运用3种不同的方法分析了LCL补偿结构的感应耦合电能传输系统。首先根据二端口理论,对LCL-S补偿结构进行了详细建模和分析,给出了固定原边线圈电流大小的参数配置方法;再根据交流阻抗分析法给出了LCL-P补偿结构的参数设计方法;然后通过能量守恒定律分析了LCL网络对电流的放大作用,给出了LCL-LCL补偿结构的参数配置方法。最后通过实验验证了上述3种补偿结构和参数配置方法的有效性。