liveness
英
美
n. 活性；有生命的性质或状态；回响度；活跃度
英英释义
noun
- the property of being animated
双语例句
- Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems
共享合成Petri网系统的语言递归性与系统活性 - Model-based analysis includes safety analysis ( checking that bad things never happen) and liveness analysis ( checking that good things eventually do happen).
基于模型的分析包括安全分析（检测那些永远不会发生的安全隐患）和活性分析（检测那些最终会发生的有效内容）。 - A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets
关于ESAC网活性和有界性的一个多项式算法 - 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网对自动分拣系统中的物流控制进行了建模，并作了一致性、活性、有界性和安全性分析。 - Aiming at photo deception in face recognition system, a new face liveness verification algorithm using estimation of face pose variation is presented.
针对人脸识别系统中的欺骗手段，提出了一种基于姿态变化的脸部真实性判别算法。 - Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness.
给出了NESAC网结构活判定的充分必要条件以及它们的证明。 - The paper studies liveness on Asymmetric Choice nets ( AC nets) by structure analysis theory.
针对非对称选择网的活性问题，利用结构分析理论，作了进一步的研究。 - 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.
安全性与活动性是并发系统和分布式系统的两类基本性质，快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。 - 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模型简化规则进行了扩展，提出了集成简化规则和可达图的定性分析方法。 - 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网）系统活性的一个充分条件和一个必要条件；