liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets
  关于ESAC网活性和有界性的一个多项式算法
• In this paper, an algorithm is given to decide the structural liveness and structural boundedness of extended strong asymmetric choice ( ESAC) nets.
  给出了关于扩展强化非对称选择网（extendedstrongasymmetricchoicenets，简称ESAC网）结构活和结构有界的一个判定算法。
• On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed.
  基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析；
• Model-based analysis includes safety analysis ( checking that bad things never happen) and liveness analysis ( checking that good things eventually do happen).
  基于模型的分析包括安全分析（检测那些永远不会发生的安全隐患）和活性分析（检测那些最终会发生的有效内容）。
• Technique of detecting safety and liveness based on FSP
  基于FSP的安全性与活动性检测技术
• The Study of Petri Net System Liveness
  Petri网系统活性的研究
• Liveness is one of the important behavioral properties of Petri nets.
  活性是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网的活性判定方法；
• 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对全局进行标记并决定堆上对象的活跃度后，它立刻就知道堆上的哪些区域几乎是空闲的。
• Analysis of liveness and fairness for t composition Petri net
  T-组合Petri网的活性和公平性分析