基于UPPAAL的LKJ-15系统模式转换功能建模与验证研究

模式转换是LKJ-15系统的重要功能。为了保证模式转换功能安全,提出利用形式化建模工具UPPAAL对该功能进行建模与验证。首先分析LKJ-15系统各种模式转换条件,建立模式转换信息交互网络;之后使用UPPAAL建立模式转换功能模型;最后对模型进行仿真和BNF语句验证。结果表明:该模型满足LKJ-15模式转换的功能要求,其安全性得以验证,为系统开发和应用提供了理论保障。     

船舶电力系统谐波电流检测方法研究

针对船舶电力系统在非理想状态下三相电压畸变和负载突变情况，结合现有研究，提出一种改进的基于平均值模块的谐波检测方法。采用低通滤波器（LPF）串联平均值模块的结构替代传统平均值模块，同时采用三相电压锁相电路替代传统的锁相电路，从而提高其检测精度。仿真试验结果表明，采用所设计的方法在三相电压畸变、负载突变情况下进行谐波检测能提高检测精度。