liveness
英
美
n. 活性;有生命的性质或状态;回响度;活跃度
英英释义
noun
- the property of being animated
双语例句
- Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness.
给出了NESAC网结构活判定的充分必要条件以及它们的证明。 - Liveness is one of the important behavioral properties of Petri nets.
活性是Petri网的重要行为特征之一。 - The Study of Petri Net System Liveness
Petri网系统活性的研究 - Model-based analysis includes safety analysis ( checking that bad things never happen) and liveness analysis ( checking that good things eventually do happen).
基于模型的分析包括安全分析(检测那些永远不会发生的安全隐患)和活性分析(检测那些最终会发生的有效内容)。 - 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 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网的活性判定方法; - In this paper, an algorithm is given to decide the structural liveness and structural boundedness of extended strong asymmetric choice ( ESAC) nets.
给出了关于扩展强化非对称选择网(extendedstrongasymmetricchoicenets,简称ESAC网)结构活和结构有界的一个判定算法。 - 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.
生存断言声明保证最终发生某些事件例如,给定的线程将最终被唤醒,而不是永远休眠。 - 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.
安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。