liveness
英
美
n. 活性；有生命的性质或状态；回响度；活跃度
英英释义
noun
- the property of being animated
双语例句
- It is proved that the WTTPN is equivalent to its underlying net about liveness, boundedness and reversibility.
证明了WTTPN与其基网系统关于活性、有界（安全）性和可逆性等价。 - Furthermore, liveness, another significant behavioral property, means that every production process can always be finished.
更进一步，系统活性是另一个重要的行为性能，它意味着系统中每一个加工进程或早或晚终究可以完成。 - Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness.
给出了NESAC网结构活判定的充分必要条件以及它们的证明。 - The paper studies liveness on Asymmetric Choice nets ( AC nets) by structure analysis theory.
针对非对称选择网的活性问题，利用结构分析理论，作了进一步的研究。 - In this paper, an algorithm is given to decide the structural liveness and structural boundedness of extended strong asymmetric choice ( ESAC) nets.
给出了关于扩展强化非对称选择网（extendedstrongasymmetricchoicenets，简称ESAC网）结构活和结构有界的一个判定算法。 - 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对全局进行标记并决定堆上对象的活跃度后，它立刻就知道堆上的哪些区域几乎是空闲的。 - The hierarchical representation method of Petri net is embodied in the process of proving structural liveness preservation.
特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。 - 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网模型的基础上，进行系统性质分析，主要包括结构活性分析和结构有界性分析。 - In this paper, a sufficient condition and a necessary condition on liveness for Weighted Asymmetric Choice ( WAC) net system which is an important subclass of Petri net system are presented.
给出了Petri网系统的一个重要子类，即加权非对称选择网（weightedasymmetricchoicenet，简称WAC网）系统活性的一个充分条件和一个必要条件；