reachability
英 [riːtʃəˈbɪlɪti]
美 [ˌritʃəˈbɪlɪti]
网络 可达到性; 可达性; 可达; 可及性; 可到达性
双语例句
- Tracking the stored object, should it be stored into an already processed object and popped off the stack, preserves reachability through the write barrier.
跟踪存储的对象，应将其存储在已经处理过的对象中并从栈中弹出，通过写入屏障保持可获取性。 - Container placement and client reachability.
容器布置和客户机是否可以访问。 - Reference queues, to which registered reference objects are appended by the garbage collector after the appropriate reachability changes are detected.
当检测到相应的可达性发生改变后，垃圾回收器就会将注册有此队列的引用对象添加到这个引用队列中。 - A Improved Simple Algorithm to Compute Reachability Matrix with Adjacency Matrix
由邻接矩阵求解可达矩阵的一种改进简便算法 - Algorithm Design of Full Rank Petri Net Reachability Judge and Its Implementation
满秩Petri网可达性判定算法的设计与实现 - This network reachability information includes information on the list of Autonomous System ( ASs) that reachability information traverses.
这种网络可到达性信息包含了可到达性信息穿越的自治系统的列表。 - The reachability matrix of directed graph plays a very important role on identifying whether a directed graph to be strongly connected or not and calculating the strongly connected sub graph.
图的可达性矩阵在判断图的强连通性以及求强连通分图中具有重要作用。 - Minimum Cost Reachability Problem of Price Coloured Petri Net
价格着色Petri网的最小成本可达问题 - 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.
本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。 - Study on Partner Selection and Software Reachability of Virtual Software Research and Development Organizations
虚拟软件研发组织合作伙伴选择与软件可达性研究 - FLS: A Labeling Scheme to Solve the Reachability Problem of Dynamic Updating Graph
FLS：一种支持更新的图可达性标记算法 - For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。 - Modeling and Reachability Analysis for Single Intersection Based on Rectangular Hybrid Automata
基于矩形混杂自动机的交叉口建模及可达性分析 - A similar reachability problem in the extended model can also be solved, which is minimal cost on primary cost while ensuring probabilistic lower bound and with respect to secondary cost upper bounds.
相应的可达性问题，即满足一定概率要求的符合辅助成本约束的主成本最小代价问题，也可类似地得到解决。 - 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允许网络管理员根据延迟、损失、可达性、使用、负载分布和传输成本，在多种选择中确定使用哪一条出局路径。 - This work find a reachability tree method is used to solve diagnosis fault of digital circuits.
并研究了可达树分析法在数字电路故障测试中的应用。 - On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed.
基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析； - This paper discusses the reachability and the controllability of symmetric and generalized symmetric systems.
本文讨论对称及广义对称非线性系统的可达性与可控性。 - On the basis of reachability tree and net structure, a new analysis method for the dynamic deadlock test was advanced, and the algorithm was given in this paper.
本文在可达树和网结构的基础上，提出了一种分析与检测动态死锁的新方法，并给出了相应的算法。 - The sufficient and necessary conditions for local reachability and local controllability in the rectangle are presented.
给出了其在矩形区域上局部能达和局部能控的充分必要条件。 - Namely the key is minimization of state space and reachability analysis.
这两方面的核心问题是状态空间的简化和状态可达性分析。 - The reachability of Petri-net System is the foundation of the state and action-analysis of system.
petri网系统的可达性问题是系统的状态、行为分析的基础。 - The uniform controllability, reachability and observability of linear switched control systems are investigated.
研究线性切换系统的一致能控、能观和能达性。 - But for unbounded Petri nets that generally existing, finding an algorithm for its reachability decision is not easy.
但对于大量存在的无界Petri网，找到一个能判定其可达性的一般性算法却不太容易。 - Through the reachability analysis, model checking real-time systems can complete the safety and activity of verification.
通过可达性分析，模型检测可以完成对实时系统的安全性和活性的验证。 - Reachability analysis and computation of reachable set consist of the foundation of formal verification of hybrid systems.
可达性分析和可达集的计算是混合系统形式化验证的基础。 - We propose the reachability model for locally subcube-connected hypercube.
针对目前超立方体网络上容错能力最强的容错模型&局部子立方连通，我们提出了一个结点可达性模型。 - The failure of any node should not affect the reachability of other nodes.
任何一个节点的失效不应当影响其它节点的可达性。 - As a basic query on graphs, reachability queries have been extensively studied.
作为图上的基本查询之一，可达性查询得到了广泛的研究。