6.5.1　系统动力学图的形式化分析