邏輯檢驗系統 的英文怎麼說

中文拼音 [luójiǎnyànxìtǒng]
邏輯檢驗系統 英文
logic verification system
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 檢 : Ⅰ動詞1 （查） check up; inspect; examine 2 （約束; 檢點） restrain oneself; be careful in one s c...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 系 : 系動詞（打結; 扣） tie; fasten; do up; button up
  • 統 : Ⅰ名詞1 （事物間連續的關系） interconnected system 2 （衣服等的筒狀部分） any tube shaped part of ...
  • 邏輯 : logic
  • 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque（指檢查船舶...
  • 系統 : 1. （按一定關系組成的同類事物） system 2. （有條理的;有系統的） systematic
  1. The acquisition, expression and application of fuzzy knowledge were fulfilled through fuzzification of photothermal traits, establishment of fuzzy logic rules, fuzzy language and inference etc. the goodness of fit to practical situation is up to 92. 4 %

    該系統通過對光溫特性的模糊化、模糊邏輯規則的制定、模糊推理及解模糊等過程，完成了農業模糊知識的獲取、表達和運用。經檢驗，該系統與實際情況的吻合度達92 . 4 。
  2. For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification

    他將時序邏輯引入計算機科學，為程序和系統的檢測驗證方面提供一種有力的工具。
  3. A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification

    一種支持分散式系統的正式驗證且廣泛發布的軟體包是用於硬體驗證的時態邏輯模型檢查的示例。
  4. The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure

    它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。
  5. After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method

    在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后，用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。
  6. In this thesis, we would present theory research and its implementation about mpeg - 2 ts stream “ health ” check analyzer. a brief narration about the background of our research and its mean would be put in the beginning. and then we would analyze structure of ts stream and its definition in iso / iec 13818 - 1, data structure of system layer and mechanism of decode would be stressed in this section, later, we would introduce principles and methods of mal - function check in mpeg - 2 ts network, parameters being presented by etsi tr 101 290 would be emphasized in this part

    本文將對mpeg - 2ts碼流「健康」檢測儀的理論研究和數字電路設計作出如下介紹:本課題研究的時代背景及研究現狀和意義; mpeg - 2ts碼流的數據結構，在iso / iec13818 - 1中的定義和描述，其系統層的數據結構及解碼機理; mpeg - 2ts碼流在網路中故障檢測的原理和方法， etsitr101290規定檢測參數分類; mpeg - 2ts碼流「健康」檢測儀實現的總體方案，基於fpga的數字邏輯電路實現方案總體模塊劃分，模塊劃分的依據，模塊實現功能;總體方案的具體實現，幾個重要參數如pcr間隔及精度檢測，快速crc檢測等的實現;設計實現的驗證方法，典型參數檢測實現的驗證模型及驗證結果。
分享友人
分享到 Line

分享到臉書