liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• The paper studies liveness on Asymmetric Choice nets ( AC nets) by structure analysis theory.
  针对非对称选择网的活性问题，利用结构分析理论，作了进一步的研究。
• 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.
  生存断言声明保证最终发生某些事件例如，给定的线程将最终被唤醒，而不是永远休眠。
• Analysis of liveness and fairness for t composition Petri net
  T-组合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网）系统活性的一个充分条件和一个必要条件；
• The hierarchical representation method of Petri net is embodied in the process of proving structural liveness preservation.
  特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。
• Discovery and failure detection= liveness
  发现+故障检测=活性
• 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网的活性判定方法；
• The Study of Petri Net System Liveness
  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对全局进行标记并决定堆上对象的活跃度后，它立刻就知道堆上的哪些区域几乎是空闲的。
• Technique of detecting safety and liveness based on FSP
  基于FSP的安全性与活动性检测技术