通用机场净空区规划研究

通用机场的净空规划与运输机场一样,对机场的运营安全与周边规划都非常重要。然而,通用机场的净空规划与运输机场有所不同,通用机场的净空规划对通用机场的规划建设至关重要,直接涉及到机场选址以及周边净空管理的问题,因此通用机场的净空规划研究显得非常有必要。本文针对我国通用机场的特点,通过对有关民航标准的深入研究,阐述了通用机场净空区的组成及影响因素,提出了简单而实用的通用机场净空区规划方法,并进行了案例分析,可为我国通用机场的净空规划与净空保护提供一定的借鉴。     

板桩码头前后轨道梁抗震连接构件设计

针对强震区板桩码头前后轨道梁的震后位移差问题,进行了抗震连接构件的设计研究。通过有限差分软件FLAC2D进行动力时程计算,对比分析钢拉杆、钢筋混凝土横撑等不同连接构件的适用性和受力特性。结果表明,采用锁扣式连接的钢筋混凝土横撑能经济、有效地限制前后轨道梁的震后位移差,可为类似项目提供设计参考。     

64000 DWT散货船结构轻量化设计和建造

散货船结构轻量化设计与建造,是提升散货船性能重要途径之一。本文以64 000 DWT超灵便,最大型散货船为例,阐述了船体结构轻量化在设计和制造中所采用的方法和手段,通过对总体布置合理规划、结构合理布局、有限元直接强度计算替代规范法、船体建造控制等措施,实现了控制和减轻船体结构重量的目的。文中所述方法是本船设计和建造的经验总结,对提高船舶设计水平、设计类似船舶具有一定的借鉴和参考价值。     

局部载荷作用下四边固支矩形板弹性解答及其应用

针对局部横向载荷作用下四边刚性固定矩形板,运用能量法推导出板中挠度解答方程组,利用Matlab编程求解,可计算得到任意矩形板尺寸及横向载荷尺寸下弹性阶段的变形,将结果与有限元数值解进行对比,证明了该方法的精确与快速性,并将该公式应用于极地船舶冰区加强区域外板强度的快速校核中。     

地铁小半径曲线钢轨型面打磨技术及评价＊

为了解决地铁小半径曲线钢轨非正常磨耗问题、延长曲线段钢轨使用寿命、保障列车运行的安全性和稳定性,通过实测分析小半径曲线钢轨型面数据的磨耗特点及其接触变化,设计出适用于小半径曲线轨道的钢轨打磨型面(Opt-60型面).建立地铁B型车动力学模型和轮轨接触有限元模型,分别对不同打磨型面在整个维护周期内的钢轨性能进行仿真计算.计算结果表明:相对于CN60打磨型面,Opt-60型面的打磨量减小了 44.2％,打磨深度减小了 0.646 mm;在维护周期内Opt-60型面的轮轨横向力和脱轨系数都有明显改善,安全系数有所提升,且横向平稳系数与垂向平稳性系数均得到提高;在一定列车通过量下,Opt-60型面的轮轨接触面积比CN60打磨型面的轮轨接触面积大14.63％～27.13％,接触应力减小19.27％～27.97％.计算结果已明显表明,Opt-60型面能有效减缓钢轨磨耗、抑制钢轨疲劳,还能提高列车运行的安全性和平稳性,优化了列车的动力学性能.     

硅灰改性透水混凝土配合比设计及性能试验研究

采用硅灰对透水混凝土进行改性,研究不同硅灰掺量对透水混凝土的抗压强度、抗折强度和透水系数的影响。研究结果表明:(1)硅灰的掺入可以提高透水混凝土的抗压强度但是对于透水混凝土的弹性模量影响较小,当硅灰掺量为20%时抗压强度增幅最大;(2)硅灰的掺入对于透水混凝土的抗折强度影响较小,并不能很好的改善透水混凝土的抗折强度;(3)随着硅灰的掺量增加,透水混凝土的透水系数也逐渐增加,硅灰掺量较小时,透水系数增长幅度较大,随着掺量不断增加,增长幅度逐渐变小。     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

一种ATS系统自动化测试工具的设计与实现

列车自动监控系统(ATS)是车载信号系统中的重要组成部分.本文提出一种ATS系统的非侵入式自动化测试工具,模拟测试人员真实测试的整个流程,可配置的测试脚本更具有灵活性,可以实现不同的测试需求;采用基于计算机视觉与光学字符识别的信息提取方式,使测试流程可以完全模拟真人测试;通过验证状态机的结果,简化了测试验证流程.该工具节省了测试过程中耗费的人力成本和时间成本,并在多条实际线路上进行了应用,验证了该工具的适用性和有效性.