论文部分内容阅读
由于传统方法对电压型配电自动化的动作过程的分析缺乏严格的数学定义与模型验证,导致结论保守或者不完备。为了解决这个问题,使用模型检测的方法实现对其动作过程的分析,提出一个用于电压型配电自动化的分析模板,通过时间自动机理论建立形式化模型,并使用模型工具uppaal对其动作过程建模与性质验证。仿真结果能够验证所述模型的活性、正确性和平滑性。通过对模型的科学验证,证明电压型配电自动化在配网自动化建设上具有重要意义。