短語(yǔ)詞組短語(yǔ)structural liveness 結(jié)構(gòu)活;結(jié)構(gòu)活性liveness preservation 活性保持性liveness failure 活性失敗liveness decision 活性判定structure liveness 結(jié)構(gòu)活liveness verification 真實(shí)性判別preserving liveness 活性保持性implementing liveness 活性控制Bounded Liveness 受限活性 返回 liveness