liveness
英
美
n. 活性；有生命的性质或状态；回响度；活跃度
英英释义
noun
- the property of being animated
双语例句
- It is proved that the WTTPN is equivalent to its underlying net about liveness, boundedness and reversibility.
证明了WTTPN与其基网系统关于活性、有界（安全）性和可逆性等价。 - 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.
安全性与活动性是并发系统和分布式系统的两类基本性质，快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。 - A set of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation were proposed.
提出了合成网保持活性和有界性的一组充分条件或充要条件； - Furthermore, liveness, another significant behavioral property, means that every production process can always be finished.
更进一步，系统活性是另一个重要的行为性能，它意味着系统中每一个加工进程或早或晚终究可以完成。 - Discovery and failure detection= liveness
发现+故障检测=活性 - On Liveness and Boundedness of Weighted Asymmetric Choice Nets
加权非对称选择网活性和有界性分析 - 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网的活性判定方法； - Technique of detecting safety and liveness based on FSP
基于FSP的安全性与活动性检测技术 - Liveness is one of the important behavioral properties of Petri nets.
活性是Petri网的重要行为特征之一。 - 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网模型的基础上，进行系统性质分析，主要包括结构活性分析和结构有界性分析。