liveness

英

美

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

英英释义

noun

• the property of being animated
  Synonym:animatenessaliveness

双语例句

• Analysis of liveness and fairness for t composition Petri net
  T-组合Petri网的活性和公平性分析
• 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的安全性与活动性检测技术
• 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网的活性判定方法；
• Liveness and safeness are important behavioral properties of net systems.
  活性和有界性是网系统的重要行为特性。
• 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, 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网）系统活性的一个充分条件和一个必要条件；
• 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.
  生存断言声明保证最终发生某些事件例如，给定的线程将最终被唤醒，而不是永远休眠。
• A set of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation were proposed.
  提出了合成网保持活性和有界性的一组充分条件或充要条件；
• 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模型简化规则进行了扩展，提出了集成简化规则和可达图的定性分析方法。