Container placement and client reachability.
容器布置和客户机是否可以访问。
The problems of reachability and observability for 2-d continuous-discrete systems are studied.
对2—D连续—离散系统的局部能达性与局部能观性作了系统地分析。
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.
给出了其在矩形区域上局部能达和局部能控的充分必要条件。
GAS possesses reachability of dynamic reconfigurable safety status.
GAS具有可重构安全状态可达性。
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.
当检测到相应的可达性发生改变后，垃圾回收器就会将注册有此队列的引用对象添加到这个引用队列中。
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.
对于上述两类切换线性系统，分别给出一个例子，并分析系统的能控性和能达性。
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.
给出一类线性切换系统能控性、能达性的充分必要条件，此类系统的特征是具有相同的系统矩阵和不同的输入矩阵。
Reachability testing is a valid method for concurrent software testing.
可达性测试是并发软件测试中的一种有效方法。
In the third part, many kinds of algorithms about Reachability Matrix are introduced.
第三章介绍了多种有关可达矩阵的算法。
In the third part, many kinds of algorithms about Reachability Matrix are introduced.
第三章介绍了多种有关可达矩阵的算法。
应用推荐