liveness

基本解釋

Discovery and failure detection = liveness
發(fā)現(xiàn) + 故障檢測(cè) = 活性
Together, this discovery and failure detection is often referred to as liveness.
這個(gè)發(fā)現(xiàn)和故障檢測(cè)總稱活性。
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對(duì)全局進(jìn)行標(biāo)記并決定堆上對(duì)象的活躍度后，它立刻就知道堆上的哪些區(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.
采用賦時(shí)有色Petri網(wǎng)對(duì)并行測(cè)試系統(tǒng)進(jìn)行建模，并基于線性代數(shù)的方法驗(yàn)證模型結(jié)構(gòu)的有界性、守恒性、活性和公平性。
電子、通信與自動(dòng)控制技術(shù)
活性
Finally, we consider the liveness based on networking unfolding.
最后,本文基于網(wǎng)絡(luò)展開法研究有界Petri網(wǎng)的活性。
現(xiàn)場(chǎng)直播的，實(shí)況播送的