基于有色Petri网的铁路时间同步网协议安全性分析

随着时间同步技术在铁路领域的发展,能够实时地保证时间同步协议NTP的安全运行变得至关重要。由于NTP协议自身具备一定的安全缺陷,因此,对NTP协议的安全机制进行分析十分必要。考虑到NTP协议的无连接特性,使用有色Petri网建立其在正常工作模式下的有色Petri网模型,并分析协议在进行时间同步过程中存在的漏洞。构建入侵者成功入侵协议所需要的知识集和入侵者在入侵过程中能够获取的知识集,并使用有色Petri网对NTP协议受到入侵的过程进行建模。通过逆向状态分析方法,对NTP协议进入不安全状态的可达性进行分析,使用CPNTools软件对分析结果进行仿真验证。结果表明,NTP协议的服务器身份验证过程是不安全的。

雷电侵入波下牵引变压器绕组的谐振分析

牵引变压器作为高铁牵引变电所内的核心设备,其运行安全与绕组绝缘情况息息相关。根据多导体传输线理论,搭建牵引变压器绕组以线匝为单位的单输入多输出模型,在该模型下推导出绕组的传递函数表达式,用以分析雷电侵入波下,谐振对绕组绝缘的影响。首先分析传递函数幅频特性,研究绕组中的谐振情况并对谐振可能导致的绕组绝缘击穿点进行定位;然后分析电容参数变化对绕组谐振情况产生的影响;最后在时域内进行验证计算,其结果符合谐振分析结果,验证了本文方法的正确性与可行性。结果表明:雷电波侵入后,绕组第一饼4～8匝线圈绝缘更易因谐振发生击穿,应重点对其进行防护。