在线词典

分类：语言工具

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

输入要查询的单词：

近期查询：

partial order reduction

网络释义

偏序归约

偏序归约偏序归约（partial order reduction）是解决基于并发异步模型交替执行导致的状态爆炸提出的一种重要技术。

偏序规约

...消减算法搜索的状态数，常用的方法有符号化模型检测（symbolicmodel—checking）”3’14J、偏序规约（partial order reduction）［151、组合验证知识水坝为您提供优质论文命题投影时序逻辑的可判；￡性（compositoinalverification）㈣和抽象（abstractjon...

技术

偏序归约技术（Partial Order Reduction）是一种可以解决由于并发异步模型交替执行所引起的状态空间爆炸问题的重要技术【冽。

约技术

偏序归约技术（Partial Order Reduction）是一种可以解决由于并发异步模型交替执行所引起的状态空间爆炸问题的重要技术【冽。

正在查询...

在线词典

partial order reduction

网络释义

{error}

{word}

单词变体

常用短语

网络释义

近义词

同根词

词语辨析

{num}、{title}