liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• 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网）系统活性的一个充分条件和一个必要条件；
• The paper studies liveness on Asymmetric Choice nets ( AC nets) by structure analysis theory.
  针对非对称选择网的活性问题，利用结构分析理论，作了进一步的研究。
• On Liveness and Boundedness of Weighted Asymmetric Choice Nets
  加权非对称选择网活性和有界性分析
• 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.
  生存断言声明保证最终发生某些事件例如，给定的线程将最终被唤醒，而不是永远休眠。
• On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed.
  基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析；
• A set of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation were proposed.
  提出了合成网保持活性和有界性的一组充分条件或充要条件；
• 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.
  模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
• Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness.
  给出了NESAC网结构活判定的充分必要条件以及它们的证明。
• Technique of detecting safety and liveness based on FSP
  基于FSP的安全性与活动性检测技术