摘要：为了研究初始缝高比和最大骨料粒径对低热混凝土断裂参数的影响,设计了试件有效尺寸为300 mm×300 mm×120 mm,初始缝高比分别为0.2、0.4、0.6、0.7,最大骨料粒径分别为10、20 mm的低热混凝土楔入劈拉试验,基于双K理论模型分析初始缝高比及最大骨料粒径对低热混凝土断裂参数的影响。结果表明:粗骨料对裂缝的扩展有阻碍作用,骨料粒径越大,混凝土的双K断裂参数和断裂能越大;相同试件尺寸条件下,起裂断裂韧度与初始缝高比无关,可认为是混凝土材料的固有参数;失稳断裂韧度、断裂能随初始缝高比的增大而减小。

摘要：介绍了欧盟EN 45545标准实施背景。基于火焰蔓延、点燃性、热释放速率、烟密度及烟毒性等五项材料防火性能指标,对EN 45545-2:2013、DIN 5510-2:2009及BS 6853:1999中的材料测试标准进行了对比分析,以了解DIN 5510-2:2009、BS 6853:1999与EN 45545-2:2013中材料防火性能水平差异,为轨道交通车辆材料防火优化提供了设计依据。

摘要：设计预制体结构参数与织造工艺参数,制备2.5D深交联结构的碳纤维机织物;优化填料配方,采用溶液浸渍、真空辅助相结合的成型工艺,制备出新型深交联结构碳纤维机织物酚醛树脂基摩擦材料。测试了复合材料的密度、孔隙率,研究了材料的剪切性能和弯曲性能,并对其细观形貌和界面结合效果进行观察分析。结果表明:深交联碳布密度为0.84g/cm3,对应的复合材料密度为2.37g/cm3,该新型深交联结构碳纤维机织物酚醛树脂基摩擦材料弯曲应力达到729MPa,剪切强度为262MPa,界面结合良好,具有优异的抗弯强度、剪切强度和结构整体性。

摘要：对"S"形河道中某大型航电工程上游引航道的透空形式和下游引航道不同长度的布置形式进行了模型试验,分析了上下游隔流墙布置位置及结构形式对通航水流条件的影响。研究表明:上游引航道采用上下分层透水方案能够改善回流流速,但需要控制透水流量,防止过大的透水流量导致停泊段出现不利的侧向流速;下游引航道合理的位置和角度比单纯增加长度能更有效改善水流条件。

摘要：为克服短切纤维和二维碳布增强预制体结构强度低的缺点,分别设计并制备了浅交弯联和深交联2种分层接结三维机织碳纤维预制体增强酚醛树脂基复合材料,并以相同复合工艺制备了短切碳纤维增强酚醛树脂基复合材料。测试碳纤维/酚醛树脂复合材料的摩擦性能,并通过观察3种复合材料的磨损表面和磨屑的微观形貌,探讨了其摩擦机制。结果表明:短切纤维复合材料的摩擦因数和磨损率最高,深交联的摩擦因数和磨损率最低,浅交弯联的居中。分层接结三维机织结构预制体具有优良的力学性能和整体性,会使复合材料在摩擦过程中减少磨屑与磨损,保持稳定的摩擦因数,从而使复合材料具有良好的摩擦性能。

摘要：基于混凝土泵送机械产品设计和生产特点,提出了产品模块划分方法。该方法包括产品功能分析、结构模块划分、模块关联性分析。以模块划分方法为主要过程,并以模块关联分析方法作为支撑。首先,进行产品功能分析,通过对混凝土泵送机械产品功能原理的分析确定产品功能模块。其次,依据划分原则进行结构模块划分,确定模块编码规则,便于模块应用与管理。最后,对模块关联性进行分析,分析结构模块与功能模块的关联性,分析模块内部以及模块之间的关联度,作为模块划分合理性的依据。混凝土泵送机械产品模块划分方法是模块化设计的重要基础,可以帮助企业实现模块化设计与应用,快速响应市场、提高质量、降低成本,提高产品竞争力。

摘要：介绍了中国首根±525 kV交联聚乙烯绝缘直流电缆的研制与试验情况。采用阻水带作为填充材料设计了3 000 mm^2型线阻水铜导体,通过计算导体填充系数可达95.5%,纵向透水试验结果表明,该导体在2 MPa水压作用下10 d后的透水距离为7.2 m,在1 m水柱作用下经受10次热循环后的透水距离为0.9 m。该直流电缆选用铜丝绞合作为金属屏蔽层,在铜丝内同时植入两根光纤单元,满足光纤通信和在线测温的要求;铝塑复合带与聚乙烯护套构成综合防水层,电缆整体外径比同规格皱纹铝套结构减小10%。为了验证±525 kV直流电缆的电气性能,进行了交流525 kV下的耐压和局部放电试验,并送国家电线电缆质量监督检验中心参照CIGRE TB496—2012和GB/T 31489.1—2015进行全性能型式试验,如复合循环、直流耐压、叠加冲击等并全部通过,负荷循环试验过程中导体最高温度大于70℃、绝缘层最大温差大于30℃。

摘要：为提高土木工程专业学生的应用能力和《钢结构设计原理》课程的教学效果,教学改革以OBE教育理念为指导思想,以钢结构设计原理课程教学为教改对象,着重介绍了课改下钢结构设计原理的教学目标、教学模式和教学环节。

摘要：阳泉煤业集团新景矿+420水平佛洼分区、保安分区计划采用一次采全高采煤工艺,现有辅助提升系统不能满足支架提升要求,故对新景矿辅助提升系统进行改造。经过技术、经济比较,新建井筒采用斜井开拓方式,井筒位置选择在芦湖南风井工业场地回风立井南部约140 m处,空心砖砖厂内。该方案解决了支架提升问题,且经济合理。

摘要：随着软硬件设计的规模越来越大,功能越来越复杂,往往导致形式化验证出现"组合爆炸"问题,而谓词抽象方法是解决状态空间"组合爆炸"问题的重要技术之一。面向硬件的谓词抽象方法是不可满足子式的典型应用,通过求解不可满足子式,能够减少谓词抽象过程中精化迭代的次数,从而提高形式化验证效率。针对微处理器的指令Cache部件,将两种最小不可满足子式的求解算法进行了比较,结果表明贪心遗传算法在运行效率方面优于分支-限界算法。并且深入分析了不可满足子式在硬件谓词抽象中的作用,以及如何加速芯片的形式化验证过程。