liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• Analysis and implementation of liveness and fairness of bounded Petri nets
  有界Petri网的活性和公平性的分析与实现
• The Study of Petri Net System Liveness
  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网的活性判定方法；
• 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网）系统活性的一个充分条件和一个必要条件；
• Aiming at photo deception in face recognition system, a new face liveness verification algorithm using estimation of face pose variation is presented.
  针对人脸识别系统中的欺骗手段，提出了一种基于姿态变化的脸部真实性判别算法。
• It is proved that the WTTPN is equivalent to its underlying net about liveness, boundedness and reversibility.
  证明了WTTPN与其基网系统关于活性、有界（安全）性和可逆性等价。
• The hierarchical representation method of Petri net is embodied in the process of proving structural liveness preservation.
  特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。
• For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
  模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
• Model-based analysis includes safety analysis ( checking that bad things never happen) and liveness analysis ( checking that good things eventually do happen).
  基于模型的分析包括安全分析（检测那些永远不会发生的安全隐患）和活性分析（检测那些最终会发生的有效内容）。
• Liveness is one of the important behavioral properties of Petri nets.
  活性是Petri网的重要行为特征之一。