reachability graph 中文意思是什麼
reachability graph
解釋
可達圖- reachability : 可存取性
- graph : n. 1. 【數學】曲線圖；坐標圖，圖表。2. 統計曲線。vt. 用圖表表示，把…繪入圖表。n. 膠版。vt. 用膠版印刷。n. 【語言學】1. 詞的拼法。2. 表示音素的最小字母單位。
-
Then the methods using reachability graph to analyze static and dynamic structural performance of colored timed workflow net are improved, and the theorem verifying whether there are deadlocks or traps in concurrent workflow are put forward using reachability graph
通過可達圖分析著色時間工作流網靜態和動態性能，提出用可達圖檢驗工作流中是否存在死鎖和陷阱的判斷定理。 -
For quantitative solution, we study gspn and find that the reachability graph of a gspn is isomorphic to a continuous time markov process ( ctmp ) when the vanishing markings are eliminated, so markov process method can be used
在安全性定量分析方面，我們研究發現去除消失標識后， gspn的可達圖與一個連續時間markov過程（ ctmp ）是同構的，為此，可利用markov過程方法進行分析。 -
Three necessary conditions on the parameters are derived, and then a reduced reachability graph is obtained by applying the necessary conditions to lessen the combinatorial state explosion. and these dynamic characteristics to this model are verified preliminarily using the reduced reachability graph
根據本文提出的可達分析技術，推導出了保證協議正確操作的參數間的時間關系，根據該時間關系，我們得到了所建模型的簡化的可達標識圖，並對該模型的動態特性進行了初步分析。 -
The reachability query is an important kind query on xml data, for which some query methods based on reachability code and methods with index and other structures are proposed to improve query efficiency. because the time spent on coding a graph is usually high, and these methods require large storage on disk, however, these methods are not able to deal with reachability query on large amount of data well
為高效地回答查詢，基於可達編碼的方法被提出，並加入索引和其它輔助結構以提高效率，然而由於圖上編碼的時間復雜度太大，並且會過多地佔用搜索和存儲空間，現有基於編碼的演算法對大量數據上進行的可達查詢並不適用。
分享友人