时序逻辑及其表达能力综述

时序逻辑是研究状态随时间变化系统的逻辑特性，在软硬件验证中有着广泛应用，是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征，衍生出各种时序逻辑，具有不同的表达能力，正确理解其表达能力对于系统模型的形式化规约尤为重要。首先，介绍基于离散时间模型的线性时序逻辑LTL、计算树逻辑CTL和CTL^*，以及基于连续时间模型的区间时序逻辑ITL和投影时序逻辑PTL，对它们的表达能力及区别进行了详细阐述；然后，概述为了描述随机、实时、混成、开放系统中的复杂行为而提出的不同时序逻辑，指出它们的特点及适用范围；最后，对时序逻辑的未来研究方向进行展望。     

地铁车辆设备电气连接器的振动测试及故障分析

针对上海地铁11号线设备电气连接器卡扣出现断裂的问题，开展地铁车辆实际线路运行的振动测试，结合GB/T 21563—2018标准从振动加速度有效值、振动冲击加速度峰值、振动频谱和不同车次等方面进行设备连接器的振动特性分析，并与沈阳、北京和广州等地铁线路测试数据进行对比分析，针对性提出改进措施。研究结果表明：上海地铁11号线设备电气连接器各测点在3个方向的振动都明显大于沈阳地铁2号线、北京地铁房山线和广州地铁2号线，与线路条件、速度等级直接相关；上海地铁11号线设备电气连接器各测点的纵向振动加速度均超过标准值，横向与纵向振动冲击加速度峰值超过标准值，电气连接器的断裂故障与振动过大有关；采用提升连接卡扣在纵向方向的紧固度和调整卡扣为实心结构的改进措施，可以解决设备电气连接器卡扣断裂问题。利用振动测试的分析方法可为地铁车辆设备的可靠性提供参考。     

突发公共卫生事件应急物流管理现状与对策分析——以开封市为例

本文以完善开封市应急物流体系，提升应急物流管理水平为主要目标，基于供应链管理思想，构建“采购-仓储-运输-配送-回收”的应急物流管理治理链条，在进行充分的实地调研的基础上，尝试针对以上各环节现状进行分析，并提出改善建议和措施。