所有具有对角规范形描述形式的系统都可用对角规范形能控性判据判别其能控性