The global existence-uniqueness of solutions is obtained and the easy verifiable sufficient conditions for local asymptotic stability of a non-trivial steady-state solutions are given.
获得了解的整体存在惟一性，并给出了非平凡平衡解局部渐近稳定性易验证的充分条件。
2
Because native data types are non-verifiable, even if they are not actually used, you must remove all header files containing native types.