LTI连续线性时不变系统能控性证明（格拉姆判据、秩判据）