单词reachability
网络: 可达性；能达性；可到达性
Using DCM as a data structure for the reachability analysis algorithm for multirate automata, the complexity can considerably be decreased.
理论上证得，DCM可以大大降低可达性分析算法的复杂度。
The combination of network and loop can contribute to both mobility and reachability of the public transport.
贯通型公交网络与环形的结合既能提高公交的机动性，又能提高其可达性；
This network reachability information includes information on the list of Autonomous System (ASs) that reachability information traverses.
这种网络可到达性信息包含了可到达性信息穿越的自治系统的列表。
The sufficient and necessary conditions for local reachability and local controllability in the rectangle are presented.
给出了其在矩形区域上局部能达和局部能控的充分必要条件。
Container placement and client reachability.
容器布置和客户机是否可以访问。
PHP Object Persistent Database. PODB is implementing persistency by reachability approach.
PODB是通过可通性的途径实现持久性的。
For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
In the third part, many kinds of algorithms about Reachability Matrix are introduced.
第三章介绍了多种有关可达矩阵的算法。
Sufficient and Necessary Condition of Controllability and Reachability of a Class of Linear Switching Systems
一类线性切换系统能控性和能达性的充要条件
Controllability and Reachability of a Class of Linear Switched Systems with the Same Input Matrix
输入矩阵定常的切换线性系统的能控性和能达性