liveness
英
美
n. 活性;有生命的性质或状态;回响度;活跃度
英英释义
noun
- the property of being animated
双语例句
- Analysis of liveness and fairness for t composition Petri net
T-组合Petri网的活性和公平性分析 - Liveness is one of the important behavioral properties of Petri nets.
活性是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.
安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。 - On Liveness and Boundedness of Weighted Asymmetric Choice Nets
加权非对称选择网活性和有界性分析 - Technique of detecting safety and liveness based on FSP
基于FSP的安全性与活动性检测技术 - On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed.
基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析; - Analysis and implementation of liveness and fairness of bounded Petri nets
有界Petri网的活性和公平性的分析与实现 - 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对全局进行标记并决定堆上对象的活跃度后,它立刻就知道堆上的哪些区域几乎是空闲的。 - Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems
共享合成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网)系统活性的一个充分条件和一个必要条件;