可以说，没有那一次仿真是一次性搞定，往往遇到很多问题，不乏有些问题让人匪夷所思，折磨人许久才能找到错误原因。那么如何通过科学的步骤检查仿真程序，实现对理论的可行性验证和修正。尤其，对多个维度参数的调试中，穷举法往往耗费时间，毫无章法的凑试更是让人抓狂和悲愤，而仿真的失败会导致理论可信度的缺失，甚至这种由仿真问题引发的缺失，导致与新理论的发现失之交臂，而在多次检查理论推导无误的情况下，我只能骂一句，活见鬼了。

以下，总结了以往调试程序的经验：

1. 错误检查。一句一句对照理论检查和理论推导检查，你可能漏掉一个符号，写错一个下标。(非常必要，注意程序子句在复制后没有修改为新下标)。该步骤非常重要，如果遇到参数调节无反应，PR值异常以及其他匪夷所思的问题时，你的LMI描述或者理论推导极大可能存在问题。

2. 参数调试。首先明确参数存在两个属性：2.1. 重要级。2.2. 数值范围。

   2.1 重要级的确定：

   A. 依据理论判断和划分参数类别和重要程度的定性判断。

   一般参数划分为: 系统参数>稳定性参数>性能参数>分析参数。

   其中，背景约束参数是固定给出，比如系统参数，网络固定延时等，一般设定后不再改动，除非理论不适应该参数的系统。稳定性参数和性能参数是系统分析的期望参数，其代表着理论的预期效果。分析参数产生与系统分析中引入的技术性参数，作为理论实现的辅助性参数。

   B. 仿真计算查找不可行的子项，分析与其相关子项的关系

   通过仿真结果，反代入约束条件，查找不可行位置或子模块。然后，分析相关子项的关系，是否有冲突和矛盾，若存在，则可能要对理论进行修整。若关系为同性，则可能是约束空间太小，需要调节相关子项的参数，释放更大的空间，使得两者都有解。

   2.2 数值范围。
   

   依据每个参数的理论范围，设定合适的数值。

   调试方法，控制变量法；极值界定法；0.5搜寻法和单步搜索。其中，控制变量法可以作为理论判断的辅助手段进行对参数的重要级判断。极值定性发，是试图以过大和过小值的试凑，界定参数的可行性范围。最后，通过0.5收缩范围寻找最优参数。
   

总结：本文对参数调试方法进行笼统归纳：先判断参数的重要性，将其作为参数调试的前后顺序，以实现仿真对理论的可行性验证；再通过界定和搜索方法寻找最优参数。另外，常用方法B是从仿真结果入手，反推不可行的具体位置，并对其相关项进行分析，作为A的逆向方法。