partial order reduction的意思|示意
部分降阶
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相关例句
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
Based on the reduction of attribute sets, the partial order relation matrix of radar jamming space is obtained.
在计算属性约简集的基础上，建立了雷达干扰空间的偏序关系矩阵。
In order to obtain optimal PAPR reduction using the partial transmitted sequence, the total search for the number of sub-blocks and the rotation factors must be accomplished.
在部分传输序列算法中为了能够获得最优的峰均比降低，必须对子块和旋转因子的数目进行搜索。