本文讨论对称及广义对称非线性系统的可达性与可控性。
This paper discusses the reachability and the controllability of symmetric and generalized symmetric systems.
益康花园理论强调城市中绿地系统的可达性、便捷性、质量的维护、适用人群的普遍性等。
The healing garden theory emphasizes the accessibility, convenience, quality, maintenance of the park, universality for the people, etc.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
应用推荐