进一步我们也给出判别一个常微系统是连续遍历系统的充分条件。
Furthermore, we obtain a sufficient condition by which we can distinguish if an ordinary differntial system is a continuous ergodic system.
模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。
Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.
在这个步骤中,您将遍历源文件系统树。
In this step, you will traverse the source file system tree.
应用推荐