闭合回路动态分析，使用程序法分析，再用结论法验证