问题定义

状态定义

状态转移方程

边界条件

实现代码

测试验证