邏輯類型理論 的英文怎麼說

中文拼音 [luólèixínglǐlún]
邏輯類型理論 英文
theory of logical types
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 邏輯 : logic
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  • 理論 : theory
  1. In the end, by the logic theory of analogism, the paper gets the logistics optimized model of operation entropy in discrete manufacturing system of job - shop ordering type

    最後，利用類比推理的邏輯學理論得出單件小批訂貨型離散製造系統物流優化運行熵模型。
  2. On the basis of that, the method of acquiring characteristics by infrared plane detection is given, according to the characteristics gained and the pattern recognition, a fuzzy - neural vehicle classifier based on the vehicle ' s length height and axles is carried out

    採用二維紅外檢測技術獲取車輛外形幾何參數的方法，運用模式識別的理論，結合模糊邏輯和神經網路兩者的優點，進行車型自動分類器設計。
  3. Parallel and distributed processing and applications, nanjing, china, 2005, pp. 503 - 513. 17 kemper d, kleinberg j, demers a. spatial gossip and resource location protocols. in proc

    類似於symphony模型的設計原理，本文的理論成果可應用於大規模分散式網路的結構設計，比如peer - to - peer網路邏輯層的結構設計。
  4. The main contribution and research works are as follows : 1. based on mechanism modeling basic state space equation was built. and then by exploiting expert knowledge, operational experience and logical constraints in systems, industrial process hybrid model was built. stability of this model was defined and the method of designing controller based on predictive control was present

    結合機理建模和數據建模，利用機理建模的方法建立系統的基本的狀態方程，再利用專家的知識、操作工的經驗、系統本身的邏輯關系，將這二者聯系在一起，建立系統的結合邏輯與規則的混雜模型，討論了此類混雜模型穩定性的定義，並給出了基於預測控制的設計控制器方法以及預測控制系統穩定性條件。
  5. 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 。在此途徑下，用戶可以不必是類型理論方面的專家。
  6. 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

    由此，邏輯框架的復雜性就被隱藏起來了，同時我們還保留了精確性和機器驗證等使用類型理論系統及其相關工具的優點。
  7. Firstly the necessity of water erosion modeling on hillslopes is discussed. then existing water erosion models are generally divided into two types, formalization logic computational models and dialectical logic computational models according to the way of solving problems where the former can be further divided into four types - primarily empirically based, partially conceptually and partially empirically based, partially process based and partially empirically based, as well as theoretically based as weak points of the previous classification methods are concerned. finally characteristics of each type and their relationships are illust rated by examples

    考慮到原有水蝕模型類型的不足，對當前水蝕模型按解題方法重新歸為形式邏輯計算模型及辯證邏輯計算模型兩類。其中，形式邏輯計算模型又分為經驗模型半概念半經驗模型半過程半經驗模型以及理論模型4類。結合實例闡述這幾類模型的主要特性及相關關系。
  8. But by absorbing the reasonable viewpoint of eliminating the fact / value dichotomy, going in line with the standard of rational acceptability extended by humans ' ecological practice and being based on the analysis of the complex relations of fact and value in life community, rather than by following the traditional deductive model of justification we can create a way of justification with nonlinear thinking and integrative arguments, and thus we can not only avoid " the naturalistic fallacy ", but also put forward a non - logical justification for ecological ethics

    但通過吸納社會領域消解事實與價值絕對二分的合理主張，並根據人類生態實踐而擴展道德論證的可合理接受性標準，在分析生命共同體中事實與價值的復雜關系的基礎上，創設一種非線性思維的綜合論述的證明方式，而不是沿用傳統的演繹模型的證明方式，就既可以避免「自然主義謬誤」 ，又能夠對生態倫理學做出一種非邏輯形式的合理論證。
  9. 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

    通過採用模型理論，以本體概念的解釋是否可滿足為基礎，研究了描述邏輯中概念的自動分類，並給出了將描述邏輯本體轉換為框架表示的演算法。
  10. Because to calculate the shadow prices of the agriculture production factors give the feasible methods to help government use economic lever to effectively dispose the agriculture production factors, so it is significant in theory and in practice. 2. approaches to use the interrelated index to compare the history trends, so we can recognize the situation about the scarce agriculture production factors, to use the principle logical to analyze the supply - demand mechanism of the main agriculture production factors in china, to use stochastic frontier production function and marginal productivity theory to calculate the shadow prices of the production factors, to use drc index to assess international competitive of the china main agriculture products

    本文的主要研究方法為：在分析中國主要生產要素的稀缺度變化時，進行同類指標的歷史變化比較研究，從而認識主要農業生產要素稀缺性變化的趨勢與規律；在分析中國主要生產要素的供需機制時，進行相關概念為基礎的理論邏輯分析，建立供需機制決定的理論模型；在測算農業生產要素的價格時，使用邊際生產力理論和隨機前沿生產函數方法；在評價中國主要農產品的國際競爭力時，使用國內資源成本系數方法。
  11. Based on the mechanism of uml modeling, we build a new enterprise modeling method and develop a system for managing assets. in particular, function view is expressed in use case diagram, information view is presented in class diagram, statechart diagram describes business process and we discuss the transformation from logical model in the system to physical model in the database

    在工作流建模方面採用狀態機（ statemachine ）描述業務流程；在企業功能建模方面採用用例圖（ usecasediagram ）表達功能需求；在信息建模方面採用類圖（ classdiagram ）建立邏輯模型，並討論了邏輯模型向關系型數據庫支持的物理模型的轉換。
  12. The author mainly does the following work : the construction of optical database ' s mainframe and the decision of design scheme ; the designs of concept structure model, logic structure model, physics structure and safety structure after the analysis of system demand ; the classification of optics which is adapted to search optical papers is advocated ; in order to solve the problems of converting heterogeneous data, the optical standards are designed ; the data input program of c / s architecture for optical database is developed, the work of inputting data and simply management of database can be done by this program

    作者重點作了以下工作： ?構造了光學數據庫的主體結構和設計方案； ?經過系統需求分析，對數據庫進行了概念模型設計、邏輯設計以及數據庫的物理設計、安全性設計； ?提出了適合光學論文查詢的光學學科分類； ?為了能解決異構數據的相互轉換問題，嘗試性制定了光學的元數據標準。 ?用visualc + +語言開發了c s模式的光學數據庫的數據錄入程序，該程序能進行數據錄入和簡單的數據庫管理。
  13. Upon the above basis, the author detailed describes and analyses the order information flow control running on the cybermarketing application integration platform of zwz bearing corporation, emphasizes on the implementation of the chain of producing ? upplying ? ales, illustrates the characters and running sequence of order information flow by uml and builds up the webservices of data model, logic model, data service and order processing service, that involves in the order information flow, by. net development tools

    在此基礎上，筆者對瓦軸製造企業網路營銷應用集成平臺下的訂單信息流進行了深入分析，著重討論了該公司在「產?供?銷」流程中訂單信息流的控制問題，並結合uml技術對訂單信息流的參與角色和執行序列加以細致描述，使用net開發工具設計了訂單信息流控制所涉及的數據模型、邏輯類、數據服務和訂單處理服務並加以實現。
  14. The simulation results show that, the evolution architectures model win the advantage of integrating the research production such as natural language proc essing, fuzzy logic, neural network techniques, artificial intelligent and intelligent deciding methods easily. in other words, it will take full advantage of the operators " subjective value, provide an intelligent assistant deciding environment to all levels managers, and boost the information processing ability and command & deciding levels. those advantages are attributable to that the evolution data fusion architectures are founded on the physical base of anthropic thinking and deciding, i. e., the evolution theory of nervous system

    研究表明，由於直接以人類思維與決策的物理基礎，即神經網路進化的理論為基礎建立數據融合體系結構模型，數據融合系統的進化體系結構更有利於集成諸如自然語言處理、模糊邏輯、神經網路技術、人工智慧和智能決策等方面的研究成果，它可以充分發揮指揮和操作人員的主觀能動性，為各級管理人員提供一個智能化輔佐決策環境，提高復雜網路系統的信息處理能力和指揮決策水平。
  15. On the basis of the concepts of divide - and - conquer and rough - fine, dia build a set of algorithm models including two rough classifiers ( i. e. bdt and cmac ) and three fine classifiers ( i. e. clchfpp, cpn - wed, nne - ifm ) which integrate some techniques such as clustering, decision tree, neural networks, fuzzy logic and information fusion etc. and take advantage of them, so dia has a high accuracy and speed theoretically

    Dia系統中演算法模型的設計基於「分而治之」和「由粗到精」的模式識別思想，具體構建了兩種粗分器（ bdt和cmac ）及三種精分器（ clc - fpp 、 cpn - wed和nne - ifm ） ，這些分類器的設計綜合了聚類法、決策樹、神經網路、模糊邏輯以及信息融合等技術的應用，並使其優勢互補，因此在理論上具有識別精度高及速度快的優點。
  16. In this thesis, we would present theory research and its implementation about mpeg - 2 ts stream “ health ” check analyzer. a brief narration about the background of our research and its mean would be put in the beginning. and then we would analyze structure of ts stream and its definition in iso / iec 13818 - 1, data structure of system layer and mechanism of decode would be stressed in this section, later, we would introduce principles and methods of mal - function check in mpeg - 2 ts network, parameters being presented by etsi tr 101 290 would be emphasized in this part

    本文將對mpeg - 2ts碼流「健康」檢測儀的理論研究和數字電路設計作出如下介紹:本課題研究的時代背景及研究現狀和意義; mpeg - 2ts碼流的數據結構，在iso / iec13818 - 1中的定義和描述，其系統層的數據結構及解碼機理; mpeg - 2ts碼流在網路中故障檢測的原理和方法， etsitr101290規定檢測參數分類; mpeg - 2ts碼流「健康」檢測儀實現的總體方案，基於fpga的數字邏輯電路實現方案總體模塊劃分，模塊劃分的依據，模塊實現功能;總體方案的具體實現，幾個重要參數如pcr間隔及精度檢測，快速crc檢測等的實現;設計實現的驗證方法，典型參數檢測實現的驗證模型及驗證結果。
  17. This dissertation puts forward a new scheme of land use classification and sets up a new land use classification system, namely the land use industry classification system, by taking the industry function as the criterion of land use classification, according to the affinity relation between land use change and industry development change, analyzing synthetically the advantage and shortcoming of our country land use classification system, using the land classification theory and logical principium, basing on the theory and practice of land use classification system from abroad to domestic

    根據產業分化與土地利用類型之間的密切關系，綜合分析我國土地利用分類體系的優缺點，運用土地分類理論和土地分類的邏輯學原理，在借鑒國內外土地利用分類體系的理論研究和實踐的基礎上，以產業用途和功能作為土地利用分類的劃分標準，提出一個新的土地利用分類方案，並建立了一套新的土地分類體系，即土地利用產業分類體系。
分享友人
分享到 Line

分享到臉書