liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• The hierarchical representation method of Petri net is embodied in the process of proving structural liveness preservation.
  特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。
• In the view of analysis method, the reduction rule of CPN was extended, which is integrated with the reachability graph to check the liveness and bound properties of interactive protocol model.
  在交互协议分析方面，对CPN模型简化规则进行了扩展，提出了集成简化规则和可达图的定性分析方法。
• 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网，找到一个判定其活性的一般性算法并不容易。
• Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems
  共享合成Petri网系统的语言递归性与系统活性
• A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets
  关于ESAC网活性和有界性的一个多项式算法
• Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness.
  给出了NESAC网结构活判定的充分必要条件以及它们的证明。
• On Liveness and Boundedness of Weighted Asymmetric Choice Nets
  加权非对称选择网活性和有界性分析
• Analysis of liveness and fairness for t composition Petri net
  T-组合Petri网的活性和公平性分析
• Analysis and implementation of liveness and fairness of bounded Petri nets
  有界Petri网的活性和公平性的分析与实现
• Aiming at photo deception in face recognition system, a new face liveness verification algorithm using estimation of face pose variation is presented.
  针对人脸识别系统中的欺骗手段，提出了一种基于姿态变化的脸部真实性判别算法。