liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• Aiming at photo deception in face recognition system, a new face liveness verification algorithm using estimation of face pose variation is presented.
  针对人脸识别系统中的欺骗手段，提出了一种基于姿态变化的脸部真实性判别算法。
• A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets
  关于ESAC网活性和有界性的一个多项式算法
• The paper studies liveness on Asymmetric Choice nets ( AC nets) by structure analysis theory.
  针对非对称选择网的活性问题，利用结构分析理论，作了进一步的研究。
• 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).
  基于模型的分析包括安全分析（检测那些永远不会发生的安全隐患）和活性分析（检测那些最终会发生的有效内容）。
• On Liveness and Boundedness of Weighted Asymmetric Choice Nets
  加权非对称选择网活性和有界性分析
• Deciding liveness of bounded Petri nets with its reachable marking graph is easy, but for unbounded Petri nets that are generally existing, finding an algorithm for its liveness decision is not easy.
  对有界Petri网，通过构造其可达标识图来判定其活性是容易的，但对于大量的无界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网）结构活和结构有界的一个判定算法。
• 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 Study of Petri Net System Liveness
  Petri网系统活性的研究