自動轉換邏輯 的英文怎麼說
中文拼音 [zìdòngzhuǎnhuànluó]
自動轉換邏輯
英文
automatic switching logic- 自 : Ⅰ代詞(自己) self; oneself; one s own Ⅱ副詞(自然;當然) certainly; of course; naturally; willin...
- 轉 : 轉構詞成分。
- 換 : 動詞1. (給人東西同時從他那裡取得別的東西) exchange; barter; trade 2. (變換; 更換) change 3. (兌換) exchange; cash
- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 自動 : 1 (自己主動) voluntarily; of one s own accord 2 (不憑借人為的力量) automatic; spontaneous 3 ...
- 轉換 : change; transform; convert; switch
- 邏輯 : logic
-
Tms320c5402dsp was used in the design to replace six scm those was used in the automatic biochemical analyzer now and to control system, cpld epm7128 offer logic circuit to the system. a 16 - bits high - speed a / d conversion device a / d976a replaced a / d574 to complete digital - analog conversion
本系統設計中採用一片高性能的dsp (數字信號處理器) tms320c5402代替了目前生產的全自動生化分析儀的六個單片機完成系統控制,用可編程邏輯器件epm7128提供所需的邏輯信號,採用16位高速a d轉換器ad976a取代以往的ad574完成模數轉換。By introducing model theory, we investigate the concept classification in description logic and present the algorithm that transforming the ontology defined in description logic to frame expression based on the satisfiability of concept interpretation
通過採用模型理論,以本體概念的解釋是否可滿足為基礎,研究了描述邏輯中概念的自動分類,並給出了將描述邏輯本體轉換為框架表示的演算法。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的正確性。( 2 ) in order to validate the efficiency of algorithm, this paper design and implement a testing, platform rule processor based on sql server. the main function of the processor is to translate the first order logic rule into embedded - sql programs, which make sql server dbms possess the capability in expressing recursive query with logic language
( 2 )為驗證演算法的有效性,該文設計實現了一個測試平臺? ?基於sqlserver的規則處理器,其主要功能為自動把一階邏輯規則轉換為含有sql語句的過程代碼,這使得sqlserver數據庫管理系統有了用邏輯數據語言表示遞歸查詢的能力。分享友人