liveness
英
美
n. 活性;有生命的性质或状态;回响度;活跃度
英英释义
noun
- the property of being animated
双语例句
- In this paper, an algorithm is given to decide the structural liveness and structural boundedness of extended strong asymmetric choice ( ESAC) nets.
给出了关于扩展强化非对称选择网(extendedstrongasymmetricchoicenets,简称ESAC网)结构活和结构有界的一个判定算法。 - Technique of detecting safety and liveness based on FSP
基于FSP的安全性与活动性检测技术 - Analysis and implementation of liveness and fairness of bounded Petri nets
有界Petri网的活性和公平性的分析与实现 - Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems
共享合成Petri网系统的语言递归性与系统活性 - Aiming at photo deception in face recognition system, a new face liveness verification algorithm using estimation of face pose variation is presented.
针对人脸识别系统中的欺骗手段,提出了一种基于姿态变化的脸部真实性判别算法。 - 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网结构活判定的充分必要条件以及它们的证明。 - The paper studies liveness on Asymmetric Choice nets ( AC nets) by structure analysis theory.
针对非对称选择网的活性问题,利用结构分析理论,作了进一步的研究。 - On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed.
基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析; - Analysis of liveness and fairness for t composition Petri net
T-组合Petri网的活性和公平性分析
