您要查找的是不是:
- For most safety properties and some liveness properties, model checking can be reduced to reachability analysis. 实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
- Using DCM as a data structure for the reachability analysis algorithm for multirate automata, the complexity can considerably be decreased. 理论上证得,DCM可以大大降低可达性分析算法的复杂度。
- We also present the pretreatmentmethod of reachability analysis algorithm, which can reduce the memory usage and improve efficiency of the algorithm. 另外给出了可达性算法的预处理方法,通过预处理可以节省算法占用的内存空间,提高了算法的运行效率。
- The reachability analysis based on timed automata is one of the most used methods for model checking.Its’ major weakness is the state-space-explosion problem. 摘要 基于时间自动机的可达性分析是模型检测最常用的方法之一,但该方法饱受状态空间爆炸问题的困扰。
- compositional reachability analysis 组合可达性
- compositional reachability analysis (CRA) 组合可达性分析
- Compositional Reachability Analysis of Labeled Transition Systems 标记迁移系统的组合可达性分析
- Reachability Analysis Study of Switched Continuous System 切换连续系统的可达性分析
- Improvement to a Reachability Analysis Algorithm for Real-Time Systems 一种改进的实时系统可达性分析算法
- An Algorithm to Dynamically Reduce the State Space of Timed Automata during the Reachability Analysis 一种动态消减时间自动机可达性搜索空间的方法
- One who draws blood for analysis or transfusion. 放血医师为化验或输血而抽血的人
- Your critical analysis helped me a great deal. 你的评论分析对我帮助很大。
- The metal was submitted to analysis. 对该金属进行了分析。
- Her analysis was correct to the nail. 她的分析极其正确。
- Textual analysis identified the author as Shakespeare. 对原文的分析研究鉴定出作者是莎士比亚。
- The cake on analysis was found to contain traces of toxin. 经分析发现蛋糕里含有微量的毒素。
- Close analysis of sales figures showed clear regional variations. 对销售额的仔细分析显示出明显的地区差别。
- reachability analysis 可达性分析
- We agreed with his acute analysis of the political situation. 我们都同意他对政治形势的深刻分析。