liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• Safety and liveness is the two basic properties in concurrent systems and distributed systems, detect safety and liveness quickly has important practical significance during system design and development.
  安全性与活动性是并发系统和分布式系统的两类基本性质，快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。
• On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed.
  基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析；
• 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网对自动分拣系统中的物流控制进行了建模，并作了一致性、活性、有界性和安全性分析。
• 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网的活性判定方法；
• Liveness and safeness are important behavioral properties of net systems.
  活性和有界性是网系统的重要行为特性。
• The hierarchical representation method of Petri net is embodied in the process of proving structural liveness preservation.
  特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。
• The Study of Petri Net System Liveness
  Petri网系统活性的研究
• Aiming at photo deception in face recognition system, a new face liveness verification algorithm using estimation of face pose variation is presented.
  针对人脸识别系统中的欺骗手段，提出了一种基于姿态变化的脸部真实性判别算法。
• Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems
  共享合成Petri网系统的语言递归性与系统活性
• Liveness is one of the important behavioral properties of Petri nets.
  活性是Petri网的重要行为特征之一。