邏輯式表達 的英文怎麼說

中文拼音 [luóshìbiǎo]
邏輯式表達 英文
logical form representation
  • : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
  • : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
  • : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
  • : Ⅰ名詞1 (外面;外表) outside; surface; external 2 (中表親戚) the relationship between the child...
  • : Ⅰ動詞1 (暢通) extend 2 (達到) reach; attain; amount to 3 (通曉; 明白) understand thoroughly...
  • 邏輯 : logic
  • 表達 : deliver; express; show; voice; convey; communicate
  1. First - order logic provides ilp with a uniform and very expressive means of representation : the background knowledge and the examples, as well as the mined rules, can all be represented as formulas in a clausal language. so we can use naturally background knowledge in the mining process

    一階為ilp提供了一致的和非常有力的示手段:背景知識、例子以及挖掘到的知識都可示為子句語言的公,所以在挖掘過程中可非常自然地利用背景知識。
  2. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則,對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充;給出了計算數據圖中正規的演算法;對半結構數據查詢語言的一階描述、結構遞歸和數據圖的雙態模擬( bisimulation )等問題進行了研究,提出了一種判定數據圖的bisimulation演算法;在xml數據查詢語言研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  3. Performs short - circuiting logical disjunction on two

    執行短路或。
  4. Operator to perform logical disjunction on two expressions

    運算符對兩個執行析取。
  5. Operator to perform an inclusive logical disjunction on two expressions

    運算符對兩個執行包含析取。
  6. Through the approach of investigative questionnaire and ability examination, considering both teachers " teaching practice in senior high school and students " need in analyzing and resolving problem, taking the method of fixing the quality and quantity, we make a demonstration research. at last, we draw a conclusion that the 19 manifestations of chemistry ability can be reduced to three levels : the basal level, called repeating thinking, includes distinguishing and judging the chemical fact and relations of quantity in chemical reaction, comparing and summarizing the chemistry fundamental knowledge ; innovative thinking level includes illogical thinking and logical thinking. illogical thinking mainly contains intuition, association and space imagination of micro - particle

    通過調查問卷、能力測試等途徑,結合教師在中學化學的教學實踐和學生在分析、解決問題的實際需要,採用定性與定量結合的方法,進行實證研究,得出結論:化學學科能力的19種現形歸納為3個層次:最基礎的再造性思維能力層次包括對化學事實和化學反應中量的關系的識別和判斷、對化學基礎知識的比較概括;以培養創新能力為核心的創造性思維層次包括化學直覺思維、聯想、對微觀粒子的空間想象為主的非思維和靈活運用已學的化學知識通過分析、綜合地解決問題為主的思維;化學實驗能力層次是化學學科能力的最高層次,它以思維能力為基礎,集中體現了化學教學的基本特徵,實驗能力層次包括:選用實驗方法和設計實驗方案,對實驗的評價,研究和處理實驗事實、資料、數據,發現規律,實驗及其結果,最終解決問題的能力和發散思維。
  7. Computing with words, constraint - based problem solving, fuzzy modeling, granular computing, information granulation references 1 mamdani e h. application of fuzzy algorithms for control of simple dynamic plant

    由於模糊限制包含了傳統的數學方程不等,更涵蓋模糊方程不等關系等。
  8. The dynamic causality diagram developed from the belief network adopts its graphical expression of knowledge and then innovates and extends this expression approach, abolishes the limit to logical structure of system, and introduces boolean calculation. thus, the dynamic causality diagram overcomes the shortage of belief network, and possesses more greater advatage

    由信度網發展起來的動態因果圖理論,借鑒了信度網圖形知識的優點,但創新並擴展了,取消了對系統結構的限制,引入了運算,從而在很大程度上克服了信度網的不足,具有更大的優勢。
  9. Can use stress patterns, words in stress, rhythmic structures, and intonation contours in order to make the utterance fit for the aim, motivation, attitudes, state of emotions, etc

    能夠運用重音、重音、節奏和各種語調的變換來適應溝通目的、動機、態度以及情緒情感的變化。主要是通過各種特定形不同的態度和情感。
  10. In this paper, according to the theory of psycho - physical field ( kurt kaffka ) and psychological environment - defining the " percepted space " as the " impression space ". studying space from this angle, which is to study the perception of space from human, analyze the link for reciprocity between human and space by psychology, try to find a way to realize humanized space, dis cuss the adaptive logic structure for design of architecture space

    本文基於考夫卡的心物場和心理學的環境的理論將人所感知的空間定義為「印象空間」 ,從這個角度對空間進行研究,就是以人為出發點,研究人對空間的感受,從人的心理方面分析二者有機互動的聯系方,尋找空間人性化的,探討建築空間設計中符合人性化空間設計的和方法。
  11. In this paper, interval temporal logic is applied to represent the hybrid systems

    本文運用間斷時序和建立水工業系統模型。
  12. Expressions. if either expression evaluates to

    執行析取或包含。
  13. Performs short - circuiting inclusive logical disjunction on two expressions

    對兩個執行短路包含析取。
  14. Alpha logic is a pattern that interfaces with the evolution of human logical mind processes, and can therefore be presented in correlative human language forms ; whereas the omega logic interfaces only with higher mind principles incorporated in the soul, and cannot be associated with any corollaries in human language expression

    阿爾法具有人類思想處理演化界面的一種模,因此能夠以相關聯的人類語言形態來呈現;然而歐米加界面僅具有與靈魂合二為一的更高精神法則,而不能夠以人類語言的任何必然結果相聯系起來。
  15. This program creates truth tables from boolean expressions. i believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )

    這個程序從布爾中創建真實的格。我相信對于學習布爾代數學和謂詞的計算機科學學生(像我自己這樣的)來說它是非常有用的。
  16. If the form of representation is the logical form , then the picture is called a logical picture

    181如果那的模,那麼那圖畫也可以稱為一幅圖。
  17. Describes boolean operators and logical expressions

    討論布爾運算符和
  18. The characteristics and forms of describing properties of uml models with linear temporal logic are also studied

    研究了線性時態uml模型性質的特點和形
  19. To maintain a logical presentation we start with the simplest finite-difference scheme.

    為了按,我們從最簡單的有限差分格開始。
  20. Industrial automation systems and integration - parts library - logical resource - logical model of expressions

    工業自動化系統和集成.零件數據庫.源.
分享友人