類型理論 的英文怎麼說

中文拼音 [lèixínglǐlún]
類型理論 英文
type theory
  • 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  • 理論 : theory
  1. A brief survey of the archetype prototype theory

    兩類原型理論及其相似性
  2. By applying the th model theory to analyzing the cases of developed countries that mentioned in chapter 4, chapter 6 finds out the block gene and tendon compages that consists of the university - government - industry th. furthermore, it gives the pheno - types as some external expressions of the genotypes and the family - tree diagram constituted by these phenotypes. after a transition, it illuminates the scientometric, the webometric and the triple helix algorithm and their application

    第六章運用th模型理論對第四章提供的案例挖掘梳理后，發現並給出了：構成大學?政府?產業三重螺旋體的完整板塊配基和鍵鏈組合，作為「基因型」外在表達的一些「現象型」屬類以及由它們所構成的圖式譜系。
  3. Freedman, maurice 1974 “ on the sociological studies of chinese religion, ” in arthur wolf ed., religion and ritual in chinese society. pp. 19 - 41. stanford : stanford university press

    李亦園1983社會變遷與宗教皈依：一個象徵人類學理論模型的建立，中研院民族所集刊56 : 1 - 28 。
  4. This dissertation deeply discusses the meaning of modern logistics by tracing back the evolvement and development of modern logistics and analyzing modern logistics " inscape. furthermore, this dissertation analyzes the organization model of modern logistics, explains the relations between modern logistics management and supply chain management, and discusses many aspects which is related to modern logistics and information technology

    本文通過對現代物流概念演變與發展的追溯和對現代物流構成要素的分析探討了現代物流的內涵和定義，並在此基礎上界定了現代物流管理的內容，分析了現代物流管理的組織類型，理清了現代物流管理與供應鏈管理的關系，討論了現代物流與信息技術的相關內容。
  5. Part iii in this part, the author summarizes foreign scholar ' s theory of ideal types of law, such as r ? m ? unger gunther teuber jurgen habermas p ? nonet and p ? selznick. in ideal types sense, the author argues that economic law is substantive rational law but not formal rational law

    漸次概述並比較了韋伯之後國外學者如昂格爾、田中成明、諾內特和塞爾茲尼克、圖依布納、哈貝馬斯等人提出的各種法律類型理論，認為在理想類型的意義上，可以把經濟法定位成一種實質理性法而非形式理性法。
  6. With the application of northrop frye ' s theory of archetype, this paper attempts to analyze the various characters in uncle tom ' s cabin, such as uncle tom, little eva, eliza, pious christian mothers, ligree, sambo and qimbo and etc. it aims at revealing the christianity in this novel, and thus furthers our understanding of the classic novel from a new perspective

    摘要本文採用加拿大著名文學批評家諾斯羅普?弗萊的原型理論，從聖經原型的角度出發，分析《湯姆叔叔的小屋》中的各類人物形象，以揭示這部小說中的基督教理念，幫助讀者從新的角度來欣賞這部經典之作。
  7. The correct understanding of shaping characteristics of cold dishes, such as distinct themes, outstanding artistic conception, standardized shaping, exquisite preparation, wide range of subjects and rich connotation, and the study of common patterns of cold dish shaping on different subjects are of great significance for enriching cold dish shaping theory, reviewing its technological system and helping culinary working staff to realize a qualitative leap in cold dish shaping skills

    正確認識冷盤造型主題鮮明、意境突出，造型規? 、製作精工，題材廣泛、內涵豐富的特點，探討不同類別題材的冷盤造型的一般規律，對豐富冷盤造型理論與技術體系方面的研究，對幫助烹飪從業人員實現冷盤造型技藝質的飛躍，具有重要的意義。
  8. Prototype theory and teaching of chinese part of speech

    原型理論與漢語詞類教學
  9. This essay employs thomas schatz ' s genre theory to examine the huangmei opera film genre

    本篇文章是採用湯瑪斯?雪茲的電影類型理論來檢驗黃梅調電影。
  10. Lastly, the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory

    最後，基於c2adl和軟體體系結構的類型理論，系統地研究了引入agent模型產生的軟體演化問題。
  11. 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 。在此途徑下，用戶可以不必是類型理論方面的專家。
  12. 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

    由此，邏輯框架的復雜性就被隱藏起來了，同時我們還保留了精確性和機器驗證等使用類型理論系統及其相關工具的優點。
  13. The text type theory, which is an important breakthrough and a significant complement of the traditional translation " equivalence principle ", is based on the divisions of text functions

    摘要文本類型理論建立在以文本功能為劃分標準的基礎之上，是對傳統翻譯等值觀的一個重要突破和重要補充。
  14. And it also illustrates the most influential vocational instruction theory such as special factors theory, social factors theory, professional development theory, character mode theory and professional policy theory

    闡述了職業指導理論中最有影響的特殊因素理論、社會因素理論、職業發展理論、人格類型理論、職業決策理論。
  15. First, the article rethinks the classical theory of types of administrative acts, thinks that though the theory of the types of administrative acts has many problems, the theory of legal relationship & the theory of administrative procedure are being raised as complement theories, the position of the theory of the types of administrative acts is still unable to be displaced and is still worthy of being researched

    第一章，是行政行為類型理論回顧。首先是對傳統行政行為類型理論進行反思，認為傳統行政行為類型理論雖然存在著不少問題，從而出現法律關系理論、行政行為過程論等補充性理論，但都不能取代行政行為類型理論的地位，理論上仍然有其存在的必要性。
  16. Professor wenqian ' s theory of market types includes : the objective basis of distinguishing the market types is the comparison of market power between buyers and sellers ; the market types are determined by the market structures which are formed by values, prices, supply demand and market competition ; the typical sellers ' market, buyers ' market, balanced market, deformed sellers ' market and deformed buyers ' market have different characteristics in the structure factors and the run - mechanism ; market value and market volume are the main variables that cause transformation of these market types

    摘要聞潛教授的市場類型理論認為： （ 1 ）劃分市場類型的客觀依據是賣方與買方市場經濟力量的對比； （ 2 ）由市場價值、市場價格、供給和需求、市場競爭所構成的市場結構決定市場類型； （ 3 ）典型賣方市場、典型實方市場、均勢市場、畸型賣方市場、畸型買方市場在構成要素和運行機制上有不同的特徵； （ 4 ）市場價值和市場容量是引起市場類型轉化的主要變量。
  17. 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

    通過採用模型理論，以本體概念的解釋是否可滿足為基礎，研究了描述邏輯中概念的自動分類，並給出了將描述邏輯本體轉換為框架表示的演算法。
  18. Moreover, for chinese banks and researchers, both the requisite technologies and experiences in this field are just in the beginning steps, yet somewhat lagged behind. the main purpose of this paper is to give a complete and systematic discussion on the theoretic basis, methods and formalities of the five - class system of credit assets, which is currently used in the people ' s bank of china, together with the introduction and comparison of other contemporary formalities of credit assets adopted by other commercial banks. then we give a deep and concrete analysis of the situation and problems in the current operation of the credit assets five - class system in the b city commercial bank in anhui province

    本文的主要目的就是針對目前中國人民銀行正在推行的信貸資產五級分類的理論基礎、方法及程序進行了較為全面和系統的論述，並對同時期國內外商業銀行所採取的信貸資產分類模式做了相應的介紹和比較，進而具體剖析了現階段安徽省b市商業銀行在信貸資產五級分類操作中的具體步驟，同時，借鑒了貸款風險評估的相關理論和模型，對安徽省b市商業銀行目前的貸款風險分類方法的現狀和存在的問題進行了較為深入的、系統的分析。
  19. Two kinds of multi - resolution spatial data model are studied in this paper. one is the feature model and hoom model based on dlg data. the other is multi - resolution dem model based on terrain data using the algorithms of self - adaptive triangular regular networks and hierarchical triangular irregular networks

    論文主要對兩種類型的多解析度空間數據模型理論和實現技術進行研究，第一類空間數據是數字線劃圖數據dlg ，第二類是數字高程模型數據dem 。
  20. Abstract : students can be divided into 4 kinds of characteristic groups based on disctm model theory of u s a. the education on students of di fferent characteristics was studied from various different angles, such as trace elements, etc

    文摘:根據美國disctm模型理論，將學生分為4種不同個性類型，並從引導方式和微量元素角度分別討論了對他們的培養問題。
分享友人
分享到 Line

分享到臉書