中英
1
temporal logic specification中文是什么意思
- 中文翻譯
- 造句
- 暫時(shí)邏輯說明
- temporal n. 太陽穴，顳部；顳骨[肌，動(dòng)脈等]。 adj. 顳的 ...
- logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
- specification n. 1.詳細(xì)說明，逐一登記，詳記。 2.〔pl.〕規(guī)范 ...
- temporal logic 時(shí)間邏輯 [時(shí)序邏輯; 時(shí)序邏輯, 時(shí)態(tài)邏輯, 暫時(shí)邏輯
- branching time temporal logic 分支時(shí)間時(shí)態(tài)邏輯
- first-order temporal logic 一組時(shí)態(tài)邏輯
- temporal logic language 時(shí)序邏輯語言
- time temporal logic, ttl 是時(shí)序邏輯
- programming logic specification 程序設(shè)計(jì)邏輯規(guī)范書
- temporal adj. 1.暫時(shí)的，一時(shí)的，轉(zhuǎn)瞬間的(opp. eternal)。 2.此世的，現(xiàn)世的；世俗的(opp. spiritual)。 3.時(shí)的，時(shí)間的 (opp. spatial) 【語法】表示時(shí)間的，時(shí)態(tài)的。 n. 1.一時(shí)的事物；俗事。 世事。 2.世俗的權(quán)力〔多指教會(huì)的財(cái)產(chǎn)和收入〕。 a temporal death 假死。 temporal aims 世俗的目標(biāo)。 temporal conjunctions 時(shí)間連接詞(如 when, while 等)。 temporal matters 世俗的事物。 temporal peers＝lords temporal 不居僧職的上院議員。 adv. -ly n. 太陽穴，顳部；顳骨[肌，動(dòng)脈等]。 adj. 顳的。 the temporal bone 顳骨。
- specification n. 1.詳細(xì)說明，逐一登記，詳記。 2.〔pl.〕規(guī)范，規(guī)格。 3.清單，明細(xì)單。 4.【法律】(申報(bào)新發(fā)明時(shí)的)設(shè)計(jì)說明書。 5. 【法律】用來料加工制成新產(chǎn)品所取得的權(quán)利。 Can you send the job specification to me at once 你能把工程作業(yè)的詳細(xì)說明馬上送來嗎？ a signal specification 信號(hào)規(guī)格；信號(hào)技術(shù)條件。 working specifications 操作規(guī)程。 fall short of specifications 不合規(guī)格。
- specification for 標(biāo)準(zhǔn); 建設(shè)工程文件歸檔整理規(guī)范
- -logic -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
- and logic “與”邏輯
- logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實(shí)的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭(zhēng)]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
- logic-and 邏輯“與”
- or logic 或邏輯
- temporal convolution; temporal gyrus 顳回
- temporal ridge; temporal line 顳脊
- temporal sulcus of temporal bone 顳骨顳溝
- 54) temporal 一時(shí)的
- anterior temporal 歲開始學(xué)習(xí)英語; 左腦的前側(cè)區(qū)
- inferior temporal 顴下弓
- left temporal 左顳的,左太陽穴的
- lords temporal 〔英國(guó)〕上議院貴族議員。
- 6 clarke e m , emerson e a , sistla a p . automatic verification of finite - state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems , 1986 , 8 : 244 - 263 . 7 aho a v , hopcroft j e , ullman j d . the design and analysis of computer algorithms
Model checking過去主要是作為一種驗(yàn)證技術(shù)被廣為使用的，本文作者通過對(duì)dmc以及后續(xù)工程項(xiàng)目的研究發(fā)現(xiàn)， model checking完全可以作為一種計(jì)算技術(shù)被廣泛使用，就相當(dāng)于已經(jīng)成為經(jīng)典編譯技術(shù)yacc在軟件開發(fā)的各個(gè)層面上被廣泛使用一樣。
- 推薦英語閱讀
temporal logic specification的中文翻譯，temporal logic specification是什么意思，怎么用漢語翻譯temporal logic specification，temporal logic specification的中文意思，temporal logic specification的中文，temporal logic specification in Chinese，temporal logic specification的中文，temporal logic specification怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。
關(guān)于我們
