| 释义 |
reachability 英ri:tʃə'biliti美ri:tʃə'biliti iWeb⁴³⁶²¹
基本例句
n.能达到性¹⁰⁰
Each of the two classes of linear switched systems was illustrated with an example and their controllability and reachability were fully analyzed and discussed.
对于上述两类切换线性系统，分别给出一个例子，并分析系统的能控性和能达性。 cnki
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。 dictall
In his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。 dictall
Moreover, introduce the idea of reachability matrix, by which, figure out the average transfer times and come out the arithmetic.
引入了“可达矩阵”的概念，利用可达矩阵计算出了公交线网的平均换乘次数，并给出了算法。 cnki
The problems of reachability and observability for2- D continuous- discrete systems are studied.
对2— D连续—离散系统的局部能达性与局部能观性作了系统地分析。 cnki
The border gateway protocol is the inter- domain routing protocol used to exchange reachability information between autonomous systems in the global Internet.
边界网关协议是自治域间的路由协议，用于在全球因特网之间交换网络可达性信息。 cnki
The plant, controller, and desired closed loop system behaviors are specified and analyzed in temporal logic formulas, and the reachability of the desired behavior is verified formally.
描述与分析了基于时态公式对被控对象、控制器和闭环期望动态行为，并对系统期望行为的可达性问题进行了形式化的证明。 cnki
The sufficient and necessary conditions for local reachability and local controllability in the rectangle are presented.
给出了其在矩形区域上局部能达和局部能控的充分必要条件。 dictall
The uniform controllability, reachability and observability of linear switched control systems are investigated.
研究线性切换系统的一致能控、能观和能达性。 cnki
A new method of protocol analysis is presented, in which a finite state automation with countersCFSAis applied to model the protocol to be analyzed and reachability analysis is made.
本文提出一种用于协议分析的新方法，它以本文提出的带有参数计数器的有限状态自动机为基础，对协议模型进行可达性分析。 cnki
By the methods of module theory, ideal theory and algebraic geometry, simple criteria for these reachability and observability, and the sufficient conditions for stabilizing the system are obtained.
并应用模论、理想论与代数几何的方法得到了这两种能达能观性的简单判据以及用补偿器综合稳定系统的充分条件。 cnki
Container placement and client reachability.
容器布置和客户机是否可以访问。 ibm
In this paper, the reachability problems of target set and target tube as well as the estimation problems of the states of uncertain systems have been discussed by the application of the set theory.
本文从集合论的观点讨论了不确定性系统的目标集和目标管的能达性问题，以及状态估计问题； cnki
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允许网络管理员根据延迟、损失、可达性、使用、负载分布和传输成本，在多种选择中确定使用哪一条出局路径。 cisco
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.
给出一类线性切换系统能控性、能达性的充分必要条件，此类系统的特征是具有相同的系统矩阵和不同的输入矩阵。 dictall
The sufficient conditions of sliding mode mean stability are given, and the variable structure control law can guarantee the sliding mode to have reachability.
文中给出了滑动模均方稳定的充分条件，所设计的变结构控制律能够保证滑动模具有可达性。361xs
The variable structure control laws are designed to ensure the sliding mode to have reachability.
所设计的变结构控制律能够保证滑动模具有可达性。361xs
The reachability problem of switched linear singular SLS systems is investigated under the regularity assumption of all subsystems.
在各子系统正则的条件下研究了切换线性奇异系统的能达性问题。 cnki
This article presents a systematic and rigorous proof of several lemmas, theorems and corollaries of reachability and controllability for discrete time, time- invariant systems.
本文对离散时间、时不变系统的可达性与可控性的若干引理、定理及系作出了一个系统的严格的证明。 cnki
This paper discusses the reachability and the controllability of symmetric and generalized symmetric systems.
本文讨论对称及广义对称非线性系统的可达性与可控性。 cnki
Tracking the stored object, should it be stored into an already processed object and popped off the stack, preserves reachability through the write barrier.
跟踪存储的对象，应将其存储在已经处理过的对象中并从栈中弹出，通过写入屏障保持可获取性。 ibm
Using mean, variance conceptions in the definition of the sliding mode reachability can better reflect the stochastic characteristics of the systems.
运用均值、方差概念来定义的滑动模可达性，更能反映系统的随机特征。361xs |