女人色熟女乱,xxxxxhd亚洲日本hd,а√在线中文网新版地址在线

TranslationMobile

時間算子

"temporal" in Chinese : n. 太陽穴，顳部；顳骨[肌，動脈等]。 adj. 顳的 ...
"operator" in Chinese : n. 1.操作者，機(jī)務(wù)員；司機(jī)，駕駛員；【軍事】電話兵； ...
"temporal" in Chinese : adj. 1.暫時的，一時的，轉(zhuǎn)瞬間的(opp. eternal)。 2.此 ...
"and operator" in Chinese : 與算符; 與算子
"and-operator" in Chinese : 與算子; “與”算子
"no such operator" in Chinese : 操作員不存在
"not operator" in Chinese : “非”標(biāo)符; 非算符; 求反算
"operator" in Chinese : n. 1.操作者，機(jī)務(wù)員；司機(jī)，駕駛員；【軍事】電話兵；【電話】接線員，話務(wù) ...
"operator a" in Chinese : 操作員a
"or operator" in Chinese : 或算符; 或運(yùn)算子
"or-operator" in Chinese : 或算子
"the as operator" in Chinese : 操作符
"the is operator" in Chinese : 操作符
"the operator" in Chinese : 生死連線
"temporal convolution; temporal gyrus" in Chinese : 顳回

Examples

Temporal rover includes all of the temporal operators as well as others designed for discussing events that occurred in the past
Temporal rover包括所有時態(tài)操作符以及為討論過去發(fā)生的事件而設(shè)計(jì)的其它操作符。
They have proved to be useful for specifying concurrent systems , since they can describe the ordering of events in time without introducing time explicitly . in ctl * formulas are composed of path quantifiers and temporal operators
和基于模擬、測試和演繹推理問題的傳統(tǒng)方法相比較,有著許多的優(yōu)點(diǎn),也已經(jīng)成功地實(shí)踐于檢驗(yàn)復(fù)雜的時序電路設(shè)計(jì)和通訊協(xié)議。
Studying time ' s basic attributes in detail , a time model is made at first in this context . in addition , the temporal interval and time point are analyzed and their temporal relations are described with the temporal operators
文中首先通過研究時間的基本屬性，確定表達(dá)時間的模型；進(jìn)而分析時態(tài)區(qū)間和時間點(diǎn)并描述兩者間時態(tài)關(guān)系，并引入時態(tài)算子描述這些關(guān)系。
There are two quantifiers a ( for all computation paths ) and e ( for some computation path ) in path quantifiers ; and in temporal operators , there are five basic operators x ( next time ) , f ( eventually ) , g ( always ) , u ( until ) and r ( release ) . ctl * has two types of formulas : state formulas ( which are true in a specific state ) and path formulas ( which are true along a specific path ) ; and two useful sublogics : branching - time logic ctl and linear - time logic ltl . the distinction between the two is how they
本文首先介紹了模型檢測的一些基本概念和理論,然后介紹了與其密切相關(guān)的、在檢驗(yàn)中用于描述系統(tǒng)屬性的時序邏輯,及實(shí)現(xiàn)模型檢測問題的方法,在基于上述關(guān)于概念、理論的基礎(chǔ)上,研究了診斷系統(tǒng)可診斷性的檢驗(yàn)方法,說明了一個給定設(shè)備的診斷條件被破壞時當(dāng)且僅當(dāng)有臨界對的出現(xiàn),并定義了設(shè)備的耦合孿生模型,說明如何用它來尋找臨界對,最后使用模型檢測框架來構(gòu)造這個問題,把耦合孿生模型化簡為模型檢測問題。