随着电网互联的加快、电力市场的引入、单台机组发电容量的增大、大容量能源输送形式的形成,电力系统的稳定性问题日益突出,低频振......

本文主要研究了以下三个问题：　　1．右可逆系统{C，A，B}的解耦和极点配置问题。通过研究与系统相关的矩阵的秩的关系式，得到系统是右可逆......

对于一阶常系数非齐线性微分方程组dX/dt=AX＋e~（αt）（cosβt·P_m~（（1））（t）＋sinβt·P_m~（（2））（t））式中P（m1）（t）,P（m2）（t）为次数不超过m关于实变量t的n维向量......

定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越......