邏輯和語言 的英文怎麼說

中文拼音 [luóhéyǔyán]
邏輯和語言 英文
logic and language
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 和 : 和動詞（在粉狀物中加液體攪拌或揉弄使有黏性） mix （powder） with water, etc. : 和點兒灰泥 prepare some plaster
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 邏輯 : logic
  • 語言 : language
  1. The circuits driving the ccd and processing the video signal are implemented by means of cpld ( complex programmable logic device ) and hdl ( hardvvare description language ). the solution to solve the problem of multi - level logical competitive risks that occur in cpld circuits frequently was provided in details in the thesis

    Ccd的驅動電路和視頻信號處理電路採用cpld （可編程邏輯器件）和hdl （硬體描述語言）實現，文章對cpld電路中容易出現的多級邏輯冒險競爭情況作了專門的敘述和提出相應的解決方法。
  2. 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提供了一致的和非常有表達力的表示手段：背景知識、例子以及挖掘到的知識都可表示為子句語言的公式，所以在挖掘過程中可非常自然地利用背景知識。
  3. Aiming at the dynamics and enormous incomplete information, defeasible logic that if of flexibility and robustness is proposed as negotiation language and protocol operation semantic ( pos ) is utilized in the system as communication protocol to meet with the requirement of sequence information exchange

    針對合約市場協商的動態性和信息量大且不完全等特點，設計了靈活、魯棒性強的可廢止邏輯作為協商語言，並採用滿足序列信息交換要求的pos語義作為智能體平臺的通信協議。
  4. 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查詢系統原型。
  5. Therefore different modes of thinking would lead to some illogic and ambiguous sentences in chinese language

    由於漢語重整體思維和主體思維的傾向，有時會出現一些似乎不合邏輯或有歧義的語言現象。
  6. In my opinion, the strategy of pera ' s rhetoric of science aims to, through the rhetorical context, save and rebuild the rationality and achieve the inner unity of rational reason and rhetorical persuasion and breaks thoroughly the rigid bounds both between the logical demonstration and the argumentative persuasion and between the static norms and the dynamic exchange evaluation. at the same time, it also provides a way in which some dilemmas such as formal logical presuppositions and irrationalism can be solved, gives the specific strategically psychological direction and much broader room for language creation to bring a fresh motive power for the development of contemporary philosophy of science

    本文認為，佩拉所倡導的科學修辭學戰略的目的在於，通過修辭學語境空間來拯救或重塑理性，以達到理性的「理由」和修辭學的「有理由」的內在統一，從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限；同時，也為走出形式邏輯的預設和非理性主義困境提供了一條出路，並從科學論述的境遇、選擇、辯護中，給出戰略性的心理定向和更廣闊的語言創造的可能空間，為當代科學哲學的發展注入新的活力。
  7. The merits of the inclusion of quantitative methods based on logical empiricism for explicit definition of input errors and uncertainty, approaches to quantisation of input data, and optimisation of outputs are contrasted with soft systems approaches that incorporate more linguistic and information theory into landscape analysis

    為輸入的錯誤和不確定，輸入的數據的量子化的方法和輸出的最佳化的明白定義以合乎邏輯的經驗主義為基礎的數量方法的包含的功績與將較多的語言學和傳播理論納入風景分析的軟性系統方法一起對比。
  8. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  9. Lu xun later period the essay, except the high typicalnature which altogether has with the early essay outside, the strictlogic, vivid vivid, the profound satire, the different current fadinteresting and the language highly concise, accurate, is humorous, mainly is the partial essays because % 26quot ; drills the net % 26quot ; the struggle toneed to write vaguely windingly

    魯迅後期雜文，除與早期雜文所共有的高度的典型性，嚴密的邏輯性，生動的形象性，深刻的諷刺性，不同流俗的趣味性和語言的高度精練、準確、幽默以外，主要是部分雜文因「鉆網」斗爭的需要而寫得隱晦曲折。
  10. Lu xun later period the essay, except the high typicalnature which altogether has with the early essay outside, the strictlogic, vivid vivid, the profound satire, the different current fadinteresting and the language highly concise, accurate, is humorous, mainly is the partial essays because " drills the net " the struggle toneed to write vaguely windingly

    魯迅後期雜文，除與早期雜文所共有的高度的典型性，嚴密的邏輯性，生動的形象性，深刻的諷刺性，不同流俗的趣味性和語言的高度精練、準確、幽默以外，主要是部分雜文因「鉆網」斗爭的需要而寫得隱晦曲折。
  11. In order to make the objects more adaptable to the changes of environment, more easily to cope with and depict the relationship between objects and organize the objects to take part hi all kinds of affairs, and in order to make the programming design more suitable for the originally reality of the real world, we propose a new - type and more abstract programming language ? fact - oriented programming language. it is based on the logic structure of language and the real world that was expressed in tractatus logico - philosophicus ( the title is written in latin ) and philosophical investigations which were written by an austrian linguist and philosopher ( ludwig wittgenstein ). in real world, a certain object will display different features in different environments and scenes, for example some features will only appear in a given environment or scene while other features will not appear in the same environment or scene

    為了使對象能夠更好地自動適應環境的變化，更好地處理和描述面向對象系統中對象與對象之間的關系，更好地組織和管理面向對象系統中的各種對象，並使程序設計更加符合客觀世界的本來面貌，本文把奧地利語言哲學家路德維格?維特根斯坦（ ludwigwittgenstein ）在《邏輯哲學論》 （ tractatuslogico - philosophicus ，注：拉丁文）和《哲學研究》 （ philosophicalinvestigations ）中關於世界和語言邏輯結構的哲學論述應用到程序設計中，並結合現實世界中對象能自動適應環境（事實或場景）變化的特性（即對象在不同的環境中會表現出不同的屬性和行為，有一部分屬性和行為只有在某些特定的事實中才會表現出來，而有一部分屬性和行為在某些特定的事實中一定不會表現出來） ，提出了一種新的程序設計語言? ?面向事實程序設計（ fact - orientedprogramming ? ? fop ） 。
  12. Syntactic and semantic characteristics in chinese and studies on language logic

    漢語的句法語義特徵和語言邏輯研究
  13. Incorrect sentences are eitheir vocabulary - related, grammar - related, pragmatically related or illogical. we can identify and correct them through the strategies of language sense, context or other linguistic means

    病句的類型有分語匯病句、語法病句、語用病句和邏輯病句。我們可以運用語感識別、語境識別和語言識別等策略進行識別和修改。
  14. Are you a. net developer who wants to encode custom business logic and rules in your infopath applications using managed code languages

    Net開發人員，您是否希望在infopath應用程序中使用託管代碼語言對自定義業務邏輯和規則進行編碼？
  15. Look beyond the occasional clumsiness of grammar or punctuation to find the text ' s arguments, ideas and humour, its internal logic, thematic coherence and linguistic cohesion ; keep an eye out for the notions that are universally understandable, and the ones that are culture - bound and may present potential interruptions to the smooth linkage of ideas in the target language

    撇開偶然出現的語法或標點的不當之處，重點去把握文章的論點、思想、感情、內在的邏輯、主題之間的一致性和語言的組織；特別要注意那些被廣泛認可的觀點，以及在目標語言中與文化有關的、可能破壞主題連貫性的部分。
  16. This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx

    本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究，主要的創新性工作包括：定義了邏輯公式及關系公理描述原語的ontology語義： web環境中用標記語言描述對象和資源，為了在語義化web上表示知識、邏輯公式、關系公理和規則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。
  17. Net languages support logic and features not available in the transact - sql language, meaning more complex logic can now be incorporated in database objects

    Net語言支持transact - sql語言中所沒有的邏輯和功能，這意味著現在可以將更復雜的邏輯合併到數據庫對象中。
  18. Net languages support logic and features that are not available in the transact - sql language, meaning that more complex logic can now be incorporated in database objects

    . net語言支持用transact - sql語言無法實現的邏輯和功能，這意味著更復雜的邏輯如今也可以合併到數據庫對象中。
  19. Ql5030, to implement the design of the interface chip. the pci interface controller and programmable logic were integraed in ql5030 chip. on the basis of the profound comprehension of pci protocol, we designed the bus configuration, data transision logicand self - test logic by using the languge such as vhdl. verilog

    Ql5030內集成了pci介面控制器和用戶可編程邏輯fpga 。本設計在深刻理解pci協議的基礎上，在用戶可編程邏輯fpga上，應用硬體描述語言vhdl 、 verilog ，設計了總線配置空間、數據傳輸邏輯和閉環自測試邏輯。
  20. Firstly, we give a brief analysis of the merits and demerits of object - oriented technology, introduce ludwig wittgenstein ' s philosophical views on the logical structure of the real world and language, analyze and introduce the features of objects that they will appear different attributes and behaviors in different environments and scenes. then we propose a new programming language named fact - oriented programming that is based on the object - oriented programming and is centered on objects

    本文首先對面向對象程序設計技術和它的缺點進行了簡要的分析，並扼要地介紹了維特根斯坦關於世界和語言邏輯結構的哲學論述，分析了同一對象會在不同的事實中表現出不同的屬性和行為的特點；提出了一種以面向對象程序設計為基礎的、以對象為中心的面向事實程序設計思想。
分享友人
分享到 Line

分享到臉書