liveness的意思

liveness中文翻譯：

n.活性，活躍度；現場感

相似詞語短語

confirmation hearings live───確認聽證會直播

delivery confirmation───確認發送

enlivening synonym───活躍同義詞

restricting lives───限制生命

first live───首次直播

live oak tree───活橡樹

live wild───野外生活

liveliness check───活性檢查

live to ride───活著去騎馬

algorithms to live by───生存法則

雙語使用場景

this discovery and failure detection is often referred to as liveness.───這個發現和故障檢測總稱活性。

It is the pleasure of imagining a liveness, a directness, a presence.───這是一個快樂的活性想像，一個直接，一個存在。

Liveness and safeness are important behavioral properties of net systems.───活性和有界性是網系統的重要行為特性。

COM increases and optimizes the coherency, liveness and experience of its users.───COM在用戶黏性、用戶活躍度以及用戶體驗上的增長和優化。

For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.───實時系統的絕大多數安全性和部分活性可以通過可達性分析算法來驗證。

Delicate and intense with notes of honey, hawthorn, and candied orange. Nice liveness, well balanced.───雅致，伴隨濃郁的蜂蜜，山楂樹，柑橘糖果味道，活潑，平衡。

Finally, the liveness of the supervisor is analyzed and demonstrated.───最后，分析并論證了控制器的活性。

With the development of Sanitary Ware, the new thought liveness of modern people is high and the times develops rapid, either.───衛浴潔具的發展，現代的人們新的思維活躍度很高，時代日新月異的發展。

英語使用場景

Various definitions for safety and liveness appeared in literature are analyzed and compared.

It is the pleasure of imagining a liveness , a directness, a presence.

A liveness check algorithm based on body temperature measurement model using SVM(support vector machine) is proposed.

So liveness decision problem is one of the most important topics in Petri nets theory too.

For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.

Their core tasks include liveness, safety, fairness, termination, invariant, synchronization, asynchronization, exclusion, reachability, duration, stability and so on.

Liveness and safeness are important behavioral properties of net systems.

The liveness functionality (opening and monitoring of connections) is the main work performed by the HA Manager component itself.

For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.