论文部分内容阅读
为了确保对新型智能变电站时间同步的动态监控,分析了新型智能变电站中心交换设备时间同步的脆弱性,利用有色Petri网对新型智能变电站中心交换设备对时的运行进行建模,给出了新型智能变电站中心交换设备对时攻击有色Petri网模型。利用线性代数数学分析工具,根据状态方程来验证所建模型攻击的可达性,从而找到时间同步脆弱性点并给出解决建议。