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