演繹計算 的英文怎麼說

中文拼音 [yǎnsuàn]
演繹計算 英文
a priori computation
  • : 動詞1 (演變; 演化) develop; evolve 2 (發揮) deduce; elaborate 3 (依照程式練習或計算) drill;...
  • : Ⅰ動詞[書面語] (抽出或理出事物的頭緒來) unravel; sort out Ⅱ名詞(姓氏) a surname
  • : Ⅰ動詞1 (計算) count; compute; calculate; number 2 (設想; 打算) plan; plot Ⅱ名詞1 (測量或計算...
  • : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
  • 演繹 : [邏輯學] deduction; inference; deduce
  • 計算 : 1 (求得未知數) count; compute; calculate; reckon; enumerate 2 (考慮; 籌劃) consideration; pla...
  1. In field of deductive database, magic transformation is an evaluation strategy that combines top - down with bottom - up. it restricts the computation of logic program to tuples that are related to the query

    數據庫領域中,魔集轉換是一種自頂向下和自底向上相結合的策略,它使邏輯程序的始終限制在與查詢相關的數據中。
  2. But dell company, founded in 1984, has created a miracle story of success through the direct model. people are keeping disputing about the direct model since 1984

    成立於1984年的戴爾機公司卻逆潮流而動,運用直銷模式,精彩地了業界又一個經典的創業故事。
  3. Basing on the thorough research and analysis of several essential technologies, we have implemented identity authentication, illegal link, network security aduit and anti - virus detection etc. we used digital certificate to accomplish identity authentication which was based on the study and analyzing of all kinds of authentication. in regard to network security audit, we mainly researched on the distributed model of network security audit and the audit strategy of the rule library. in view of the traditional rule library ’ s flaws, with the formalizing description of audit rule, we proposed a dynamic security audit strategy model which was based on the nature deduction system

    在研究並分析各種認證技術的基礎上,採用基於數字證書的認證方式,實現用戶上網資格審查;針對網路安全審,重點研究了網路安全審分散式模型以及基於規則庫的審策略,並針對傳統審規則庫的缺陷,通過對審規則進行形式化描述,提出了一種基於自然系統架構的動態安全審策略模型dsasm ( dynamicsecurityauditstrategymodel ) ,並詳細論述了該模型的定義和推法;通過深入研究非法外聯的關鍵技術和檢測模型,提出了基於路由表查找的c / s架構的非法外聯檢測模型;針對病毒檢測,提出了基於主機的防病毒檢測思想,在客戶端進行病毒防護。
  4. Symbol logic method is unable to guarantee the complement of knowledge description, which leads to complicated deducing process. we introduce fuzzy cognitive map into agent modeling and deducing, substitute symbolic description and inference with simple mathematical computing, achieving agent intelligent decision - making in complex environment

    針對現有符號邏輯描述方法難以保證知識表達的完整性,推理過程陷於復雜的邏輯的問題,作者引入了模糊因果關系的網路模型,基於模糊認知圖理論構造agent推理模型,用簡單的數值代替復雜符號系統的表示和推理過程,實現了復雜環境下的agent智能決策。
  5. Third, we can conduct changeable exercises and open problems to develop students " imagination and creativity. 9. last, the paper analysed two correlated problems, one is how to regard compute ability, logical ability and space imagination ability with computer going into mathematics and the other is how to deal with the relations between live and abstract, induce and deduce, and interaction and emotional communication, how to improve mathematics

    其一是隨著機進入數學課堂教學后,如何從新的視角審視能力、邏輯能力和空間想象能力:如何處理隨之而來的形象生動與抽象運的關系、實驗歸納與椎理的關系以及人機交互與情感交流的關系等;其二是如何用機科學的法改革數學教法。
  6. By methodology of comparison and deduction, the article made in - depth analysis of nine facets which are customer group for wholly - decorated housing, intelligent designing and consulting service, operation cost management and establishment of budgetary estimation, inventory, back - end refinement, generalized system for installation in situ, monitor, check - and - accept, maintenance, property management and contract management

    論文通過對比、的寫作方法,將傳統家庭裝修的種種弊端與產業化裝修模式的特點進行比較,從對購買全裝修房購買人群的調查、智能設服務咨詢體系、成本管理和預決系統的建立、物料庫的建立、后場加工、現場安裝的工業化集約化體系、監理、驗收體系、裝修保修及物業管理及合同管理這九個方面進行詳盡闡述。
  7. In this tutorial three artificial sets of elements will be used : lowercase, uppercase ve xnumber sets. for a human reader it is an easy task to recognize the set an element belongs to. but the computer does not have the apriori knowledge the human has and so the logic would have to be programmed into the handling program

    在本教程中,我們假定3個元素集合:小寫字母,大寫字母,以x開頭的數字ve xnumber ,盡管對於人類來說可以很容易的識別一個元素是屬于哪個集合,然而機並沒有人類這種能力,因此這樣的邏輯必須要編寫到處理程序里去
  8. He has to make estimates, because not all the official numbers are out, but his reasoning squares with french data showing hourly output rising at an annual rate of 3 %

    他不得不做一些,因為不是所有的官方數據都會公布,但是他用法國數據最小二乘法則得出每小時產出以每年3 %的速度增長。
  9. This text carries on preliminary deduction and calculation on the measurement of forest environmental externality by means of the externality theory, and put out formulae as the price of forest environmental resources means marginal production cost and marginal use cost subtract from the international price of the forest products log

    本文利用外部性理論對森林環境外部性的量分析進行初步的和推,推出公式為森林環境資源價格森林資源產品原木的國際價格邊際生產成本邊際使用成本。
  10. The fifth party : the concepts of environment accounting factors are deducted from the factors of conventional financial accounting. this literature give out the concepts of three basic factors and illustrate their characteristics, classifications and recognize procedures

    第五部分是環境會的核,本文根據現行財務會要素的概念,出環境會要素的幾個基本概念? ?環境資產、環境負債等,詳細闡述了它們的定義、分類和確認程序。
分享友人