提出了通信协议自稳定性的两种验证方法。
Two verification methods for self stabilization of communication protocols are put forward.
测试应该充分地覆盖内核代码，以帮助支持自其结果中生成的稳定性声明。
The tests should adequately cover the kernel code to help support the stability statement produced from their results.
稳定性和终态自运动是动力学优化中的难点。
Stability and end state self-motion are important and difficult points.
应用推荐