liveness

英

美

n.  活性；有生命的性质或状态；回响度；活跃度

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• 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对全局进行标记并决定堆上对象的活跃度后，它立刻就知道堆上的哪些区域几乎是空闲的。
• Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems
  共享合成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网的活性判定方法；
• On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed.
  基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析；
• The Study of Petri Net System Liveness
  Petri网系统活性的研究
• A set of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation were proposed.
  提出了合成网保持活性和有界性的一组充分条件或充要条件；
• 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网）系统活性的一个充分条件和一个必要条件；
• Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness.
  给出了NESAC网结构活判定的充分必要条件以及它们的证明。
• On Liveness and Boundedness of Weighted Asymmetric Choice Nets
  加权非对称选择网活性和有界性分析
• Liveness and safeness are important behavioral properties of net systems.
  活性和有界性是网系统的重要行为特性。