logic specification中文是什么意思

發(fā)音:

中文翻譯
造句

邏輯規(guī)格說明

programming logic specification 程序設計邏輯規(guī)范書
temporal logic specification 暫時邏輯說明
specification n. 1.詳細說明，逐一登記，詳記。 2.〔pl.〕規(guī)范，規(guī)格。 3.清單，明細單。 4.【法律】(申報新發(fā)明時的)設計說明書。 5. 【法律】用來料加工制成新產品所取得的權利。 Can you send the job specification to me at once 你能把工程作業(yè)的詳細說明馬上送來嗎？ a signal specification 信號規(guī)格；信號技術條件。 working specifications 操作規(guī)程。 fall short of specifications 不合規(guī)格。
specification for 標準; 建設工程文件歸檔整理規(guī)范
-logic -logic, -logical 〔構成與 -logy 結尾的名詞相應的形容詞〕表示“…學的”： biological, philological.
and logic “與”邏輯
logic n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
logic-and 邏輯“與”
or logic 或邏輯
acceptance specification 驗收規(guī)范; 驗收說瞄
access specification 存取規(guī)范
acpi specification 啟動進度條后就藍屏
action specification 作用說明
actual specification 實際規(guī)范
adherence to specification 符合設計要求; 遵守技術規(guī)范
against specification 不合規(guī)格
algebraic specification 代數(shù)方法; 代數(shù)規(guī)格說明
alternation specification 加改裝規(guī)范
amplifer specification 放大器指標
api specification api技術規(guī)范; 美國石油學會技術規(guī)范; 美國石油學會技術規(guī)格
application specification 應用系統(tǒng) 規(guī) 格; 應用支援套裝程式
approved specification 認可的標準，批準的技術條件
architects specification 工程技術規(guī)格
ash specification 灰份規(guī)格
astm specification 美國材料試驗協(xié)會技術規(guī)范

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

However, this tempo-ral logic based technology was not conveniently applied to the verification ofknowledge logic specification
然而,傳統(tǒng)的模型檢測是基于時態(tài)邏輯的,它并不支持知識邏輯規(guī)范的驗證。
We designed a small business rule management system based on the constrained chinese natural language . the system comprises a three-level rule language model to facilitate the direct one-for-one encoding of business logic specifications into business rules
基于受限漢語的業(yè)務規(guī)則管理系統(tǒng)在傳統(tǒng)brms的基礎上引入了中文環(huán)境，使得業(yè)務規(guī)則具有受限自然語言的表達和開發(fā)實施平臺，大大提高了brms的易用性。
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
modelchecking過去主要是作為一種驗證技術被廣為使用的，本文作者通過對dmc以及后續(xù)工程項目的研究發(fā)現(xiàn)，modelchecking完全可以作為一種計算技術被廣泛使用，就相當于已經成為經典編譯技術yacc在軟件開發(fā)的各個層面上被廣泛使用一樣。

其他語種釋義

logic specificationとは意味：論理仕様｛ろんりしよう｝

推薦英語閱讀

logic specification的中文翻譯，logic specification是什么意思，怎么用漢語翻譯logic specification，logic specification的中文意思，logic specification的中文，logic specification in Chinese，logic specification的中文，logic specification怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權所有違者必究。