针对海上风电机组对故障特征的增量式学习及主动维护的问题,提出了一种基于状态自适应评估的海上风电机组预防性维护策略.首先,采......

近年来,非线性系统的分析越来越受到广大学者的关注,由于系统模型本身的非线性,使得非线性系统的分析、求解和控制设计陷入困难的......

模型检测是一种形式化自动验证技术,通过对系统状态空间进行穷举搜索,以验证用时序逻辑公式描述的系统性质在该模型上是否可以满足......

预测状态表示(Predictive State Representation, PSR)方法是对动态系统建模的有效方法。相比其它建模方法,PSR具有表征能力强、模......