logical type 中文意思是什麼

logical type 解釋
邏輯類型
  • logical : adj. 1. 邏輯的，邏輯上的；邏輯學上的。2. 合乎邏輯的。3. 邏輯上必然的。adv. -ly ,-ness n.
  • type : n 1 型，類型，（工業產品的）品種；風格，型式。2 典型，榜樣，樣本，樣板，模範，範本；典型人物；具...
  1. As to teaching methods, new - type teaching methods which stress practical ability such as object teaching, training emphasizing logical thinking and scientific experiments are promoted

    從教學方法上來看，直觀性教學、重視邏輯思維訓練及科學實驗等推崇實踐能力的新型教學方法得到提倡。
  2. Type logical semantics for discontinuous quantifier

    邏輯語義處理
  3. To perform this type of testa logical

    若要執行此類測試（必須僅通過一個測試的邏輯
  4. Control can display any type of hierarchical data, even if the data hierarchy is logical, as in a database, and not physical, as in an xml file

    控制項可以顯示任何類型的分層數據，即使數據的層次結構是邏輯性的（如在數據庫中） ，而不是物理的（如在xml文件中） 。
  5. Data type and how to declare variables to hold logical values

    數據類型以及如何聲明變量以保存邏輯值。
  6. Information technology - international standardized profiles fvt2nn - virtual terminal basic class - register of control object type definitions - fvt218 - logical image control object

    信息技術.國際標準化輪廓fvt2nn .虛擬終端基本類型.控制目標類型定義的寄存器. fvt218 .邏輯圖象控制目標
  7. Information technology. international standardized profiles fvt2nn. virtual terminal basic class. register of control object type definitions. part 5 : fvt218. logical image control object. european standard en isp 11185 - 5

    信息技術.國際標準輪廓fvt2nn .虛擬終端基本類型.控制目標類型定義的寄存器. fvt218 .邏輯圖象控制目標
  8. If there ' re less parameters passed to exe than it expects the rest of parameters will have logical type and. f. value

    如果傳遞的參數少於exe文件所需要的，剩餘的參數將會是邏輯型，並且值為. f . 。
  9. The paper makes simulation for each type of electro - hydraulic regulating system of turbine. the results of simulation show that for the francis and kaplan turbines the contradiction between regulation time and pressure increasing can be solved by logical chosen of feedback adjustment coefficient and control cost - weighting matrix. for tublar turbine the dynamic matrix pi control scheme can effectively solves the difficulty of speed stabling of this type turbine

    本文對各種機組調節系統進行模擬，結果表明，對于混流式和軸流轉漿式機組，通過反饋校正系數和控制權矩陣的正確選擇，可以解決調節時間和水擊壓力上升的矛盾；對于貫流式機組，提出了動態矩陣pi控制方案，可以較好的解決此類機組轉速難以穩定的問題。
  10. A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory

    本文提出一種新的基於類型理論邏輯框架lf的特定論域推理途徑lftop 。在此途徑下，用戶可以不必是類型理論方面的專家。
  11. Thus, the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained, such as precision and machine - checkable proofs

    由此，邏輯框架的復雜性就被隱藏起來了，同時我們還保留了精確性和機器驗證等使用類型理論系統及其相關工具的優點。
  12. Representing the maximum size, in logical units, of the underlying field type

    ，它以邏輯單位表示基礎欄位類型的最大大小。
  13. A type cannot directly overload the conditional logical operators

    類型不能直接重載條件邏輯運算符（
  14. Method uses the following logical sequence to determine the serialization scheme, depending on type of the settings property

    方法根據設置屬性的類型使用以下邏輯序列來確定序列化方案：
  15. In the managed environment, application domains which you can think of as logical processes and contexts provide isolation and security at less cost and with greater ability to scale well than an operating - system process by relying on, among other things, the fact that managed code is verifiably type - safe

    在託管環境中，應用程序域（可以視為邏輯進程）和上下文以比操作系統進程更低的成本提供隔離和安全性，並具有更強的伸縮能力，這依賴于託管代碼的許多優點，特別是託管代碼被證明是類型安全的。
  16. In pdm, finish - to - start is the most commonly used type of logical relationship

    開始-完成-緊前工序必須在緊后工序完成前開始
  17. Shows how operator overloading can be used to implement a three - valued logical type

    演示如何使用運算符重載實現三值邏輯類型。
  18. Third, abbreviating and adapting the realistic case is the only way to the logic type. basing on the function and the relations, the european scholars classify the logic type of pure economic loss as the coexists loss, the reflecting loss, the third party causing loss, the shift loses, on this foundation, the author " describes " three basic characteristics about these five logical types

    第三，對現實案例作適當的裁減和升華是經驗類型上升為思想層面的邏輯類型的必經之路，藉助歐洲學者基於功能和關系對純粹經濟損失的分類方法，純粹經濟損失的邏輯類型被概括為並存的損失、反射損失、第三方引起的經濟損失、瑕疵產品或建築物減損價值損失和轉移損失，在此基礎上，筆者「描述」了這五種邏輯類型的三個基本特徵。
  19. In this paper, with the metallogenic series theory as the guide and the geochemical data as the basis, all lead - zinc ore deposits in the region were classified into two sub - series, i. e., lf type ( with low content of iron group elements ) and hf type ( with high content of iron group elements ), and a regional geochemical prognostic model was set up by using the logical information method

    摘要以成礦系列理論為指導，將區域內的鉛鋅礦按地球化學特徵劃分為貧鐵型和富鐵型2個亞系列，進而用邏輯信息法建立了西秦嶺鉛鋅礦床區域地球化學場預測模式，驗證結果較為理想。
  20. Stbus. synchronous split transfer type system bus - logical layer

    同步分離傳遞型系統總線
分享友人
分享到 Line

分享到臉書