常見例句The next page will teach students how to test network reachability. 下一頁(yè)將教學(xué)生如何測(cè)試網(wǎng)路可到達(dá)性。Reachability testing is a valid method for concurrent software testing. 可達(dá)性測(cè)試是并發(fā)軟件測(cè)試中的一種有效方法。Blowing-in and Rapid Reachability of Designed Capacity of No. 2 BF at Meishan Co. 梅山2號(hào)高爐開爐快速達(dá)產(chǎn)實(shí)踐。We present rules to fetch structures hierarchically. While TPN is converted to HTPN, physical reachability is verified. 在基于TPN的工作流模型中增加截止期限約束條件,并將各個(gè)路由結(jié)構(gòu)按照給出的規(guī)則分層提取,得到只有順序結(jié)構(gòu)的HTPN模型。For most safety properties and some liveness properties, model checking can be reduced to reachability analysis. 實(shí)時(shí)系統(tǒng)的絕大多數(shù)安全性和部分活性可以通過可達(dá)性分析算法來(lái)驗(yàn)證。PHP Object Persistent Database.PODB is implementing persistency by reachability approach. PODB是通過可通性的途徑實(shí)現(xiàn)持久性的。 返回 reachability