reachability
基本解释
- n.能达到性
英汉例句
- The next page will teach students how to test network reachability.
下一页将教学生如何测试网路可到达性。 - Reachability testing is a valid method for concurrent software testing.
可达性测试是并发软件测试中的一种有效方法。 - Blowing-in and Rapid Reachability of Designed Capacity of No. 2 BF at Meishan Co.
梅山2号高炉开炉快速达产实践。 - We present rules to fetch structures hierarchically. While TPN is converted to HTPN, physical reachability is verified.
在基于TPN的工作流模型中增加截止期限约束条件,并将各个路由结构按照给出的规则分层提取,得到只有顺序结构的HTPN模型。 - For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。