展开 微分方程判断系统线性