在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

state space explosion

查词链接:https://www.dute.org/dict/state_space_explosion复制链接
状态空间爆炸:在计算机科学中,指的是一个系统的状态空间(即所有可能的状态)的数量迅速增长,导致分析和验证变得非常困难。

网络释义
状态空间爆炸
尽管状态空间爆炸(state space explosion) 是Spin及其它模型校验器存在的问题,而Confluence能生成一个更抽象的模型,状态及输入较少,Hawkins指出。
常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...