liveness 中文意思是什麼
liveness
解釋
（茶葉飲料的）清口性-
I would like to take this chance to review myself and my love - hate relationship with theatre and i hope that we can open up more possibilities of liveness and performance
跟許樹寧和經綸的合作，我想， 《 （我）沒有罪》不只是借題發揮，更是我希望透過不斷的專注的實踐，以向布萊希特致敬的創作計劃。 -
Liveness analysis of synthesis of petri nets shared subnet
網共享子網合成活性分析 -
Liveness assertions state that certain events are guaranteed to occur eventually - for instance, that a given thread will eventually wake up instead of sleeping forever
生存斷言聲明保證最終發生某些事件例如，給定的線程將最終被喚醒，而不是永遠休眠。 -
Workflow model of object oriented timed petri net has many analyzing methods, which are used to analyze the nature of petri nets, such as liveness
基於面向對象賦時petri網的工作流模型具有多種分析手段，可以用來對petri網的性質進行分析，例如petri網的活性（ liveness ） 。 -
Secondly, this paper introduces a new subclass of petri net, named temporal petri net, to model the schemes of audit subsystems. therefore, we can analyze and verify the properties of system safety and liveness
第二，引用一種新的petri網子類? ?時序petri網，利用其對審計子系統的實現方案進行建模，進而對審計系統的安全性和活性進行了分析和驗證。 -
To help thwart these kinds of attacks, better biometric systems will factor in " liveness " measures like temperature and blood flow to try to gain assurance that the fingerprints are from a live human being actually touching the device
為幫助防止這類攻擊，更好的生理系統將考慮「生命狀態」度量（如體溫和血流）以嘗試確保指紋來自實際上觸摸該設備的活人。 -
The time petri nets which are discussed in this thesis are very simple and have the same modeling power as the turing machine, however, in general, there is just no comparison between the liveness, boundedness behaviors of a given time petri net and those of its corresponding classical petri net without time restrictions
本文研究的timepetrinet （簡稱為tpn ）簡單且模擬能力等價于圖靈機，但tpn的活性、有界性和對應的傳統petri網的相應性質並無對應關系。 -
It is an extension of core of manna and pnueli " s pltl. in succession, a formal axiom deductive system is presented. it ' s soundness based formal semantic defined in this thesis is proved. as an example, we specify grc ( generalized railroad crossing ), which is a benchmark problem for real time systems, and verify it ' s safety and liveness
作為它的一次實際應用，我們用它對于實時系統中的一個典型實例： grc （ generalizedrailroadcrossing ）進行了描述，給出了它的系統規約，在此基礎上，演繹式的證明了系統的一個安全性和活性命題。 -
The liveness and boundedness are the most important properties of petri nets. these properties of classical petri nets mostly have had satisfying judging criteria, but the corresponding properties of petri nets with time factors are seldom studied, and a lot of literatures are focusing on concrete applications
活性和有界性是petri網中最重要的性質，對于傳統petri網中的這些性質，大都已經得到了較為滿意的判定結果，而對含時間因素的petri網的這些相應性質研究得很少，大部分文獻都是側重於具體的應用。 -
In this paper, a structural methodology for bottom - up synthesis of petri nets for 1c flexible manufacturing systems is presented for the first time. with the help of a guarantying policy of liveness, a live, bounded and reversible final model can be obtained by merging different submodels through what is called autonomy subnet sharing among them. to demonstrate the application of the method, a flexible manufacturing system of integrated circuits is modeled and analyzed using the proposed theory
本文首次提出了一種面向集成電路柔性製造系統的基於共享「自治子網」融合和活性保證策略的「至底向上」的petri網結構化建模方法，在理論上證明了該方法保證所得模型的活性、有界性和可逆性，並且利用該方法與著色petri網結合，對一個集成電路柔性製造系統進行了全面的建模和分析。 -
Therefore, from this background, this thesis discusses the modeling power of time petri net, gives an example which explains that time petri net has the function of " zero examination " ; presents a method of transforming a timed petri net to a time petri net. then, two necessary and sufficient conditions, defining classes of tpns which have the same boundedness and liveness behaviors as the corresponding classical petri nets, are presented in this thesis
所以本文就從這個背景出發，討論了tpn的模擬能力，並給出了tpn能進行「零檢驗」的一個例子，給出了另一種含時間因素的時延petri網向tpn的轉換方法，給出了保持活性、有界性的兩個時間區間上的充分必要條件，最後，給出了保持活性的結構上和動態上的兩個充分條件。
分享友人