reachability
美 
英
例句
Using DCM as a data structure for the reachability analysis algorithm for multirate automata, the complexity can considerably be decreased.
理论上证得，DCM可以大大降低可达性分析算法的复杂度。
The combination of network and loop can contribute to both mobility and reachability of the public transport.
贯通型公交网络与环形的结合既能提高公交的机动性，又能提高其可达性；
This network reachability information includes information on the list of Autonomous System (ASs) that reachability information traverses.
这种网络可到达性信息包含了可到达性信息穿越的自治系统的列表。
The sufficient and necessary conditions for local reachability and local controllability in the rectangle are presented.
给出了其在矩形区域上局部能达和局部能控的充分必要条件。
Container placement and client reachability.
容器布置和客户机是否可以访问。
PHP Object Persistent Database. PODB is implementing persistency by reachability approach.
PODB是通过可通性的途径实现持久性的。
For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
In the third part, many kinds of algorithms about Reachability Matrix are introduced.
第三章介绍了多种有关可达矩阵的算法。
Sufficient and Necessary Condition of Controllability and Reachability of a Class of Linear Switching Systems
一类线性切换系统能控性和能达性的充要条件
Controllability and Reachability of a Class of Linear Switched Systems with the Same Input Matrix
输入矩阵定常的切换线性系统的能控性和能达性
Reachability Analysis Study of Switched Continuous System
切换连续系统的可达性分析
Reachability testing algorithm for parallel program in heterogeneous network environment
异构网络环境下的并行程序可达性测试算法
Reachability Analysis of Steady State for A Class of Interval Speed Continuous Petri Nets
一类区间速率连续Petri网的可达稳态分析
Research on constraint programming based transitions constraint's reachability problem
基于约束程序的变迁约束可达问题判定研究
An Algorithm to Dynamically Reduce the State Space of Timed Automata during the Reachability Analysis
一种动态消减时间自动机可达性搜索空间的方法
Compositional Reachability Analysis of Labeled Transition Systems
标记迁移系统的组合可达性分析
monitoring multicast reachability between sources and receivers;
监听信源和信宿问的组播可达性；
Analysis of Reachability and Prohibitibility of a Class of Coloured Petri Nets with Interval Timed Arcs
一类区段赋时弧有色Petri网的可达性和可阻断性分析
Controllability and Reachability of the Hybrid Dynamic System in Buck Converter
Buck变换器混杂动态系统的能控性和能达性
Reachability Tree and Reachability Graph's Construction and Arithmetic Realization of Petri Net
基于Petri网的可达树与可达图的构造与算法实现
Research on Controllability and Reachability of Hybrid Dynamical Systems
一类混合动态系统的能控性和能观性研究
Necessary Condition for Reachability of Switched Linear Singular Systems
切换线性奇异系统能达的必要条件
Reachability Proving and Performance Analysis of New Ant Algorithm
新型蚂蚁算法可达性证明与性能分析
Improvement on a Reachability Analysis Algorithm in Timed Automata
时间自动机可达性分析算法的改进
A Improved Simple Algorithm to Compute Reachability Matrix with Adjacency Matrix
由邻接矩阵求解可达矩阵的一种改进简便算法
Reachability Checking of Finite Precision Timed Automata
有限精度时间自动机的可达性检测
Reachability testing for Java multithread programs based on extended synchronization sequences
基于扩展同步序列的Java多线程程序可达性测试方法
Reachability in Large-scale Peer-to-Peer Network and Resolution to Short-circuiting
大规模对等网络中可达性分析及短路效应解决方案
An Improved Scheme for Reachability Testing of Java Programs
一个用于Java程序可达性测试的改进方案
Ripple-Effect Analysis of Software Architecture Evolution Based on Reachability Matrix
基于可达矩阵的软件体系结构演化波及效应分析
An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs
一种基于程序可达图的并发程序依赖性分析方法
Reachability matrix of directed graph and calculation based on matrix calculation
基于布尔矩阵运算的有向图可达矩阵
The Research on IP Multicast Reachability
对IP组播可达性测试模型的研究
Secrecy Analysis of Security Protocol Based on Reachability Relation
基于可达关系的安全协议保密性分析
