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.
生存断言声明保证最终发生某些事件例如，给定的线程将最终被唤醒，而不是永远休眠。 - For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。 - Analysis of liveness and fairness for t composition Petri net
T-组合Petri网的活性和公平性分析 - In the view of analysis method, the reduction rule of CPN was extended, which is integrated with the reachability graph to check the liveness and bound properties of interactive protocol model.
在交互协议分析方面，对CPN模型简化规则进行了扩展，提出了集成简化规则和可达图的定性分析方法。 - 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网层次化的描述方法。 - Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness.
给出了NESAC网结构活判定的充分必要条件以及它们的证明。 - Technique of detecting safety and liveness based on FSP
基于FSP的安全性与活动性检测技术 - 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 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网的活性判定方法；