liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• Liveness and safeness are important behavioral properties of net systems.
  活性和有界性是网系统的重要行为特性。
• 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网对自动分拣系统中的物流控制进行了建模，并作了一致性、活性、有界性和安全性分析。
• 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网的活性判定方法；
• 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.
  更进一步，系统活性是另一个重要的行为性能，它意味着系统中每一个加工进程或早或晚终究可以完成。
• A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets
  关于ESAC网活性和有界性的一个多项式算法
• The Study of Petri Net System Liveness
  Petri网系统活性的研究
• In this paper, an algorithm is given to decide the structural liveness and structural boundedness of extended strong asymmetric choice ( ESAC) nets.
  给出了关于扩展强化非对称选择网（extendedstrongasymmetricchoicenets，简称ESAC网）结构活和结构有界的一个判定算法。
• Analysis and implementation of liveness and fairness of bounded Petri nets
  有界Petri网的活性和公平性的分析与实现