英语释义

• having animal life as distinguished from plant life;

  "full of life"

片语

liveness preservation活性保持性

preserving liveness活性保持性

structure liveness结构活

structural liveness结构活

implementing liveness活性控制

liveness failure活性失败

liveness decision活性判定

liveness verification真实性判别

Bounded Liveness受限活性

英汉例句

• liveness and safeness are important behavioral properties of net systems.

  活性和有界性是网系统的重要行为特性。

• it is the pleasure of imagining a liveness , a directness, a presence.

  这是一个快乐的活性想像，一个直接，一个存在。

• moreover, a judgement condition for live and bound wac net system is given, and the sufficient and necessary condition for wac net liveness monotonicity is shown.

  同时，提出了活的有界的wac网系统的判定条件，进而给出了wac网活性满足单调性的充分必要条件。

• for most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.

  模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。

• the liveness functionality (opening and monitoring of connections) is the main work performed by the ha manager component itself.

  活性功能（连接的打开和监视）是hamanager组件本身执行的主要工作。

• 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对全局进行标记并决定堆上对象的活跃度后，它立刻就知道堆上的哪些区域几乎是空閑的。

• model-based analysis includes safety analysis (checking that bad things never happen) and liveness analysis (checking that good things eventually do happen).

  基于模型的分析包括安全分析（检测那些永远不会发生的安全隐患）和活性分析（检测那些最终会发生的有效内容）。

• liveness and safeness are important behavioral properties of nets (systems).

  活性与安全性是网系统重要的行为性质。

• in general, a typical iris recognition system includes iris imaging, iris liveness detection, and recognition and this paper focuses on the last issue.

  通常一个典型的虹膜识别系统包括虹膜成像、活体检测和虹膜识别，本文把重点放在最后一部分。

• for liveness analysis, it is found that some receiver process may stay at initial state s'0 forever, that is, system may has deadlock, if process fault occurs arbitrarily.

  在对算法的活动性分析中得出的结论：允许故障的条件下会出现接收员进程终止于状态s’0的情况。

• a liveness check algorithm based on body temperature measurement model using svm(support vector machine) is proposed.

  提出了一种基于支持向量机体温检测模型的活性判别算法。

• various definitions for safety and liveness appeared in literature are analyzed and compared.

  对现有文献中不同的安全性和活性定义进行了分析和比较。