1、The liveness functionality is the main work performed by the HA Manager component itself.
活性功能（連接的打開和監(jiān)視）是HAManager組件本身執(zhí)行的主要工作。

2、Liveness and safeness are important behavioral properties of nets.
活性與安全性是網(wǎng)系統(tǒng)重要的行為性質(zhì)。

3、TECHNIQUE OF DETECTING SAFETY AND LIVENESS BASED ON FSP
基于FSP的安全性與活動性檢測技術(shù)

4、A liveness check algorithm based on body temperature measurement model using SVM is proposed.
提出了一種基于支持向量機體溫檢測模型的活性判別算法。

5、Various definitions for safety and liveness appeared in literature are analyzed and compared.
對現(xiàn)有文獻中不同的安全性和活性定義進行了分析和比較。

6、Liveness and safeness are important behavioral properties of net systems.
活性和有界性是網(wǎng)系統(tǒng)的重要行為特性。