liveness
英
美
n. 活性;有生命的性质或状态;回响度;活跃度
英英释义
noun
- the property of being animated
双语例句
- Technique of detecting safety and liveness based on FSP
基于FSP的安全性与活动性检测技术 - Discovery and failure detection= liveness
发现+故障检测=活性 - 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网的活性判定方法; - Analysis of liveness and fairness for t composition Petri net
T-组合Petri网的活性和公平性分析 - Model-based analysis includes safety analysis ( checking that bad things never happen) and liveness analysis ( checking that good things eventually do happen).
基于模型的分析包括安全分析(检测那些永远不会发生的安全隐患)和活性分析(检测那些最终会发生的有效内容)。 - 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网)系统活性的一个充分条件和一个必要条件; - Aiming at photo deception in face recognition system, a new face liveness verification algorithm using estimation of face pose variation is presented.
针对人脸识别系统中的欺骗手段,提出了一种基于姿态变化的脸部真实性判别算法。 - 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对全局进行标记并决定堆上对象的活跃度后,它立刻就知道堆上的哪些区域几乎是空闲的。 - On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed.
基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析; - On Liveness and Boundedness of Weighted Asymmetric Choice Nets
加权非对称选择网活性和有界性分析