liveness
英
美
n. 活性；有生命的性质或状态；回响度；活跃度
英英释义
noun
- the property of being animated
双语例句
- 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网的活性判定方法； - 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网对自动分拣系统中的物流控制进行了建模，并作了一致性、活性、有界性和安全性分析。 - It is proved that the WTTPN is equivalent to its underlying net about liveness, boundedness and reversibility.
证明了WTTPN与其基网系统关于活性、有界（安全）性和可逆性等价。 - A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets
关于ESAC网活性和有界性的一个多项式算法 - For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。 - On Liveness and Boundedness of Weighted Asymmetric Choice Nets
加权非对称选择网活性和有界性分析 - Analysis and implementation of liveness and fairness of bounded Petri nets
有界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网）系统活性的一个充分条件和一个必要条件； - 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网，找到一个判定其活性的一般性算法并不容易。 - Liveness and safeness are important behavioral properties of net systems.
活性和有界性是网系统的重要行为特性。