系统仿真中的模型校核问题

分析了由模型到仿真程序的问题的基本原因，指出了模型校核的必要性。对模型校核中的稳定性问题、系统状态不连贯问题和代数环问题进行了阐述和分析。针对一个二阶线性连续系统模型的离散化，通过模型校核，发现了隐含其中的稳定性问题，进而指出了相关稳定性理论在应用上的局限性，给出了解决此稳定性问题的方法，并最终通过模型校核，确认了该解决方法的有效，从而保证了对该二阶连续系统的精确的离散化。

Research on Problem of Model Verification in Simulation

The basic causes resulted in problems of from model to simulation program are analysed. The necessity of model verification is point out. The problems about stability, discontinuity and algebraic loop are discussed. In process of discretizing a linear continuous system model with second order, by model verification, the problem of stability is discovered. Further, the limitations of correlative stability theory are point out and the method for solving the problem of stability is given. Finally, by model verification again, the validity of the method is affirmed.