摘要：在工业生产中,由于各种酸性介质的不断作用,使混凝土产生不同程度的物理和化学破坏,即酸性腐蚀。为了满足工业生产的需要,防止酸性介质对所接触的混凝土结构的腐蚀,应采取措施进行防护,耐酸混凝土的应用就是诸多防护措施中的一种。本文简要介绍几种耐酸混凝土以及其特点、适用性及施工注意事项。

摘要：大跨度斜拉桥箱梁的几何构造对约束扭转正应力的影响沿桥的跨度是变化的,使得荷载的内力影响面的形状较为复杂,同时沿桥纵向偏载系数也是变化的。通过偏载力学理论分析和实际斜拉桥的ANSYS有限元建模计算,研究了变截面预应力波形钢腹板部分斜拉桥偏载系数沿跨度的分布规律,提出实用的偏载系数取值建议,可为同类大跨度桥梁工程的设计提供参考。

摘要：在用于构建深度学习模型的深度学习框架中,算子的正确计算对于深度学习模型的正确预测至关重要.然而,已有的深度学习框架缺陷检测方法只能通过比较和推测的方式找到不同深度学习框架之间计算结果相差较大的算子,而且无法检测深度学习模型在训练过程中产生的计算错误,具有很大的局限性.针对此问题,本文设计并实现了基于元算子的深度学习框架缺陷检测方法,通过将不同深度学习框架中算子的共性计算逻辑抽象为“元算子”,支持在不改变模型代码的前提下绑定元算子的具体实现,从而可以细粒度地对比同一模型使用不同深度学习框架的运算结果,进而发现缺陷.本文的方法同时支持训练过程和推断过程的缺陷检测,还可以对计算错误的定位进行验证.本文验证了元算子计算的准确性,并评估其运算性能;收集了深度学习框架中已知有错误计算的算子,并将本文方法应用在包含这些算子的深度学习模型上,验证了本文缺陷检测方法的有效性.

摘要：设计了一个基于Lyapunov函数的事件触发函数,并在此基础上研究了一类具有随机发生不确定性和随机发生非线性的多智能体系统在事件触发脉冲控制策略下的领导跟随一致性。与人为设置脉冲时刻序列的控制方式不同,事件触发脉冲控制策略中脉冲控制时刻的产生依赖于事件触发函数,且当触发条件被满足时才激发脉冲控制,从而减少不必要的控制次数以及系统的资源消耗。基于脉冲微分方程理论、代数图论和Lyapunov稳定性理论,给出了受控多智能体系统实现领导跟随一致性所需要满足的充分性条件,同时证明了Zeno行为可以被排除。最后,通过Matlab实例仿真验证了本文理论结果的有效性。