liveness
英
美
n. 活性;有生命的性质或状态;回响度;活跃度
英英释义
noun
- the property of being animated
双语例句
- 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.
生存断言声明保证最终发生某些事件例如,给定的线程将最终被唤醒,而不是永远休眠。 - After G1 performs a global marking phase determining the liveness of objects throughout the heap, it will immediately know where in the heap there are regions that are mostly empty.
在G1对全局进行标记并决定堆上对象的活跃度后,它立刻就知道堆上的哪些区域几乎是空闲的。 - 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网的活性判定方法; - The Study of Petri Net System Liveness
Petri网系统活性的研究 - 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网,找到一个判定其活性的一般性算法并不容易。 - The paper studies liveness on Asymmetric Choice nets ( AC nets) by structure analysis theory.
针对非对称选择网的活性问题,利用结构分析理论,作了进一步的研究。 - Furthermore, liveness, another significant behavioral property, means that every production process can always be finished.
更进一步,系统活性是另一个重要的行为性能,它意味着系统中每一个加工进程或早或晚终究可以完成。 - On Liveness and Boundedness of Weighted Asymmetric Choice Nets
加权非对称选择网活性和有界性分析 - Liveness and safeness are important behavioral properties of net systems.
活性和有界性是网系统的重要行为特性。 - 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.
安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。