liveness
英
美
n. 活性；有生命的性质或状态；回响度；活跃度
英英释义
noun
- the property of being animated
双语例句
- 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.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。 - 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网模型的基础上，进行系统性质分析，主要包括结构活性分析和结构有界性分析。 - The hierarchical representation method of Petri net is embodied in the process of proving structural liveness preservation.
特别在证明结构活性保持性的过程中，体现了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网对自动分拣系统中的物流控制进行了建模，并作了一致性、活性、有界性和安全性分析。 - The paper studies liveness on Asymmetric Choice nets ( AC nets) by structure analysis theory.
针对非对称选择网的活性问题，利用结构分析理论，作了进一步的研究。 - Analysis of liveness and fairness for t composition Petri net
T-组合Petri网的活性和公平性分析 - Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems
共享合成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.
安全性与活动性是并发系统和分布式系统的两类基本性质，快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。 - 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网的活性判定方法；