reachability
英 [riːtʃəˈbɪlɪti]
美 [ˌritʃəˈbɪlɪti]
网络 可达到性; 可达性; 可达; 可及性; 可到达性
双语例句
- Reachability testing is a general approach to testing concurrent programs via generating the minimal complete partial ordered set of test sequences.
可达性测试是目前较为成熟的一种并发程序测试方法，该方法解决了如何生成最小完备偏序测试序列集的问题。 - In his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。 - The failure of any node should not affect the reachability of other nodes.
任何一个节点的失效不应当影响其它节点的可达性。 - OER allows the network administrator to determine which outbound path to use among several options to use based upon delay, loss, reachability, use, load distribution, and transmit cost.
OER允许网络管理员根据延迟、损失、可达性、使用、负载分布和传输成本，在多种选择中确定使用哪一条出局路径。 - For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。 - Study on Partner Selection and Software Reachability of Virtual Software Research and Development Organizations
虚拟软件研发组织合作伙伴选择与软件可达性研究 - Namely the key is minimization of state space and reachability analysis.
这两方面的核心问题是状态空间的简化和状态可达性分析。 - Container placement and client reachability.
容器布置和客户机是否可以访问。 - We propose the reachability model for locally subcube-connected hypercube.
针对目前超立方体网络上容错能力最强的容错模型&局部子立方连通，我们提出了一个结点可达性模型。 - Algorithm Design of Full Rank Petri Net Reachability Judge and Its Implementation
满秩Petri网可达性判定算法的设计与实现