liveness
英
美
n. 活性；有生命的性质或状态；回响度；活跃度
英英释义
noun
- the property of being animated
双语例句
- According to the object-oriented Petri net model of single system object and the whole system built before, we analyzed the systematic nature about the model, including the structural liveness and the structural boundedness.
在建立系统对象和系统整体面向对象Petri网模型的基础上，进行系统性质分析，主要包括结构活性分析和结构有界性分析。 - On Liveness and Boundedness of Weighted Asymmetric Choice Nets
加权非对称选择网活性和有界性分析 - Based on the three colours Petri net we model the material flow control of automated sorting system, and analyze the coherence, liveness, boundedness and safeness of the system.
基于三色Petri网对自动分拣系统中的物流控制进行了建模，并作了一致性、活性、有界性和安全性分析。 - After G1 performs a global marking phase determining the liveness of objects throughout the heap, it will immediately know where in the heap there are regions that are mostly empty.
在G1对全局进行标记并决定堆上对象的活跃度后，它立刻就知道堆上的哪些区域几乎是空闲的。 - A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets
关于ESAC网活性和有界性的一个多项式算法 - Deciding liveness of bounded Petri nets with its reachable marking graph is easy, but for unbounded Petri nets that are generally existing, finding an algorithm for its liveness decision is not easy.
对有界Petri网，通过构造其可达标识图来判定其活性是容易的，但对于大量的无界Petri网，找到一个判定其活性的一般性算法并不容易。 - The structure and liveness of the shared composition petri nets are studied; The relationship between the liveness and the state constancy, the behavior constancy and a decision method of the liveness of the shared composition petri nets are given.
研究了Petri网的结构和活性性质，给出了活性与状态不变性和行为不变性的关系及共享合成Petri网的活性判定方法； - In the view of analysis method, the reduction rule of CPN was extended, which is integrated with the reachability graph to check the liveness and bound properties of interactive protocol model.
在交互协议分析方面，对CPN模型简化规则进行了扩展，提出了集成简化规则和可达图的定性分析方法。 - Analysis and implementation of liveness and fairness of bounded Petri nets
有界Petri网的活性和公平性的分析与实现 - Liveness assertions state that certain events are guaranteed to occur eventually-for instance, that a given thread will eventually wake up instead of sleeping forever.
生存断言声明保证最终发生某些事件例如，给定的线程将最终被唤醒，而不是永远休眠。