liveness

基本解釋

Discovery and failure detection = liveness
發(fā)現 + 故障檢測 = 活性
Together, this discovery and failure detection is often referred to as liveness.
這個發(fā)現和故障檢測總稱活性。
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對全局進行標記并決定堆上對象的活躍度后，它立刻就知道堆上的哪些區(qū)域幾乎是空閑的。

活性
The model of PATS is built based on Timed Colored Petri Net(TCPN). The boundedness, conservation, liveness and fairness of the model are validated based on linear algebra.
采用賦時有色Petri網對并行測試系統(tǒng)進行建模，并基于線性代數的方法驗證模型結構的有界性、守恒性、活性和公平性。
電子、通信與自動控制技術
活性
Finally, we consider the liveness based on networking unfolding.
最后,本文基于網絡展開法研究有界Petri網的活性。
現場直播的，實況播送的