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
基于可達關系的安全協議保密性分析
