liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness.
  给出了NESAC网结构活判定的充分必要条件以及它们的证明。
• According to the object-oriented Petri net model of single system object and the whole system built before, we analyzed the systematic nature about the model, including the structural liveness and the structural boundedness.
  在建立系统对象和系统整体面向对象Petri网模型的基础上，进行系统性质分析，主要包括结构活性分析和结构有界性分析。
• Analysis of liveness and fairness for t composition Petri net
  T-组合Petri网的活性和公平性分析
• The hierarchical representation method of Petri net is embodied in the process of proving structural liveness preservation.
  特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。
• A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets
  关于ESAC网活性和有界性的一个多项式算法
• Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems
  共享合成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网）结构活和结构有界的一个判定算法。
• Liveness assertions state that certain events are guaranteed to occur eventually-for instance, that a given thread will eventually wake up instead of sleeping forever.
  生存断言声明保证最终发生某些事件例如，给定的线程将最终被唤醒，而不是永远休眠。
• Liveness is one of the important behavioral properties of Petri nets.
  活性是Petri网的重要行为特征之一。
• 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.
  安全性与活动性是并发系统和分布式系统的两类基本性质，快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。