Container placement and client reachability.
容器布置和客户机是否可以访问。
GAS possesses reachability of dynamic reconfigurable safety status.
GAS具有可重构安全状态可达性。
Reachability testing is a valid method for concurrent software testing.
可达性测试是并发软件测试中的一种有效方法。
In the third part, many kinds of algorithms about Reachability Matrix are introduced.
第三章介绍了多种有关可达矩阵的算法。
PHP Object Persistent Database. PODB is implementing persistency by reachability approach.
PODB是通过可通性的途径实现持久性的。
The problems of reachability and observability for 2-d continuous-discrete systems are studied.
对2—D连续—离散系统的局部能达性与局部能观性作了系统地分析。
Or is it simply reflected in the results of network and reachability calls? (Reporting no network?)
还是只是反映在网络和可达性的结果电话吗？(报告没有网络？)
This paper discusses the reachability and the controllability of symmetric and generalized symmetric systems.
本文讨论对称及广义对称非线性系统的可达性与可控性。
The uniform controllability, reachability and observability of linear switched control systems are investigated.
研究线性切换系统的一致能控、能观和能达性。
The sufficient and necessary conditions for local reachability and local controllability in the rectangle are presented.
给出了其在矩形区域上局部能达和局部能控的充分必要条件。
I have written for reachability matrix, the level of classified code. Use, replace the existing matrix, computing can be!
自己编写的求可达矩阵，层次划分代码。使用时，替换已有矩阵，即可运算！
Moreover, introduce the idea of reachability matrix, by which, figure out the average transfer times and come out the arithmetic.
引入了“可达矩阵”的概念，利用可达矩阵计算出了公交线网的平均换乘次数，并给出了算法。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
Using mean, variance conceptions in the definition of the sliding mode reachability can better reflect the stochastic characteristics of the systems.
运用均值、方差概念来定义的滑动模可达性，更能反映系统的随机特征。
Reference queues, to which registered reference objects are appended by the garbage collector after the appropriate reachability changes are detected.
引用队列，在检测到适当的可访问性变化后，通过垃圾收集器将已注册的引用对象加入。
Reference queues, to which registered reference objects are appended by the garbage collector after the appropriate reachability changes are detected.
当检测到相应的可达性发生改变后，垃圾回收器就会将注册有此队列的引用对象添加到这个引用队列中。
Tracking the stored object, should it be stored into an already processed object and popped off the stack, preserves reachability through the write barrier.
跟踪存储的对象，应将其存储在已经处理过的对象中并从栈中弹出，通过写入屏障保持可获取性。
In his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。
The sufficient conditions of sliding mode mean stability are given, and the variable structure control law can guarantee the sliding mode to have reachability.
文中给出了滑动模均方稳定的充分条件，所设计的变结构控制律能够保证滑动模具有可达性。
Each of the two classes of linear switched systems was illustrated with an example and their controllability and reachability were fully analyzed and discussed.
对于上述两类切换线性系统，分别给出一个例子，并分析系统的能控性和能达性。
The monitoring method of start-up process was discussed by studying the coordination layer of this model, and the reachability method was adapted to analyze this model.
通过对其协调层的深入讨论，研究了开车过程的监控问题，采用可达性等方法对模型进行了分析。
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允许网络管理员根据延迟、损失、可达性、使用、负载分布和传输成本，在多种选择中确定使用哪一条出局路径。
The sufficient and necessary condition of controllability and reachability of a class of linear switching systems which has the same systematic matrix and different input matrixes is given.
给出一类线性切换系统能控性、能达性的充分必要条件，此类系统的特征是具有相同的系统矩阵和不同的输入矩阵。
This paper presents a reachability model of VSR&DO based on network, and proposes a model to estimate the reachability of VSR&DO, which based on the analysis of the process of VSR&DO model.
本文以建立面向网络的虚拟软件研发组织过程建模为目标，在分析虚拟软件研发组织运作过程特性的基础上，提出了一种虚拟软件研发组织过程模型，并对其软件研发项目的可达性进行了研究。
Howerer, the traditional algorithm of Reachability Matrix is comparative complicated, especially when there are more nodes in the Directed Graph, the arithmetic amounts are big and not enough simple.
而可达矩阵的传统求法比较复杂，尤其是有向连接图中节点较多的时候，运算量大，不够简便。
Howerer, the traditional algorithm of Reachability Matrix is comparative complicated, especially when there are more nodes in the Directed Graph, the arithmetic amounts are big and not enough simple.
而可达矩阵的传统求法比较复杂，尤其是有向连接图中节点较多的时候，运算量大，不够简便。
应用推荐