邏輯和形 的英文怎麼說

中文拼音 [luóhéxíng]
邏輯和形 英文
disjunctive form
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 和 : 和動詞（在粉狀物中加液體攪拌或揉弄使有黏性） mix （powder） with water, etc. : 和點兒灰泥 prepare some plaster
  • 邏輯 : logic
  1. Matlab / stateflow has a power function of logical management. flight manage system can be edited by stateflow with complex logical management. through the system uav can fly independently or fly by remote control. a power window to display the number and flight course is edited by matlab / gui, through the window flight control parameters and flight state can be adjusted

    利用stateflow強大的邏輯和圖形化編程功能模擬了無人機的飛行管理器，實現了自主飛行和遙控飛行的功能;利用gui用戶圖形界面建立了功能強大的人機界面，對simulink中的模擬數據進行顯示。
  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. Secondly, the composition and function of expander board is introduced, the paper describes a detail developing process of selecting component, design interface circuit, protract pcb with protel and design pci interface logic and user ' s logic. with ahdl and max + plus. in addition this paper discusses how to debug pci board, and give the simulation waveform and the result of debug. on the base of all functions is ture, this paper introduce the config registers and memory of bu - 61580, realize the interrupt function and communication based on mil - std - 1553b

    首先分析了擴展板的組成、功能，對pci介面邏輯和擴展板的內部邏輯進行詳細設計，並根據其資源要求進行器件選擇，然後使用protel工具進行電路板的製作。另外，本文還介紹了擴展板的調試方法，給出了邏輯模擬波形和調試結果。在此基礎上，本文闡述了協議晶元的配置方法，實現了1553b通訊擴展板間的通訊及中斷功能，達到了開發技術指標。
  4. 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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  5. There are advantages and disadvantage in both induction and deduction, and they are intertwined

    究其實，爭論是由邏輯觀傳統形式邏輯和現代數理邏輯的不同引起的。
  6. Then a simple e - dealing system is devised to show the thoughts of the protocol. in order to formalize and verify the protocol, bzl logic model is built, which based on first - order logic and introduces many - sorted, dynamic and non - monotony logic

    為了形式化驗證數字現金的安全性，本文在經典一階邏輯的基礎上，吸取了多類邏輯、動態邏輯和非單調邏輯的思想，提出了bzl邏輯模型。
  7. Just like that we enjoy the chinese characters and arabic numbers, we not only enjoy the beautiful drawing of hieroglyph, beautiful line of “ knotting cords to record events ”, but also enjoy the representation and abundant meaning demonstrated by characters and numbers … furthermore the rhythm beauty demonstrated by quality logic and quantity logic

    正如我們欣賞中文的文字和阿拉伯數字那樣，不僅可以欣賞到「象形文字」的圖畫美， 「結繩記事」的線條美，還可以欣賞到文字和數字所表現的事物的具象以及他們豐富的內涵… …還有定性的邏輯和定量的邏輯所呈現的旋律美
  8. On the opposed logic and dialectical form of laws

    規律的對立邏輯和辯證形式
  9. Theories of different schools probe into the original derivation of international politics through distinct thinking methods, cognitive logic and deviation of values ; and consequentially construct specific ontological “ role - scenarios ” covering from basic political state, structural formation to interactive relationship and internal motivation of actors. with such “ scenarios ” as “ script ”, they seek respectively their rational goals of value achievement ? ? in the meanwhile the different ideologies of governance of international / world politics come into being

    各派理論以獨特的思想方法、認知邏輯和價值取向去審視國際政治的本源性內涵，建構出從基本政治形態、結構構成、到行為體互動關系和內在動機的本體性「角色劇情」 ，走向價值實現的理性目標? ?形成各自不同的國際/世界政治治理觀。
  10. Understanding argument as a semantic conception or as pragmatic conception is the watershed between informal logic and classical logic

    將論證理解為語義學概念還是語用學（辯證的）概念是非形式邏輯和經典邏輯的分水嶺。
  11. It induces logic and delay to waveform, and describes the continuous states of nodes in netlist by waveform. it can realize simulating continuous states for integrated circuits by computing waveforms

    它把邏輯和延遲有機地結合起來歸納為波形，並用波形來描述電路網表中節點的連續時間狀態，通過對波形的計算實現整個電路的連續時間狀態模擬。
  12. Finally, the dissertation probes to construct the organization machinery of the enterprise group ' s icm in our country by comparison with internal bank, financial company and the enterprise group ' s invest bank, and concludes that the logic and historical developing process of the organization form on the enterprise group ' s icm should be : internal bank - financial company - the enterprise group ' s invest bank

    最後通過比較企業集團內部銀行、財務公司和集團投資銀行，探討了我國企業集團內部資本市場組織機構的構建，指出上述三種企業集團內部資本市場組織形式邏輯和歷史的演進過程是：內部銀行財務公司集團銀行。
  13. So, in this paper, it does the research of the bidirectional conversion between uml and xyz / adl. in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture, and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method

    基於此，本文開展了對基於時序邏輯的軟體體系結構描述語言xyz / adl和uml之間的雙向轉換問題的研究，通過研究二者之間的轉換，實現將基於時序邏輯的形式化方法與面向對象的可視化建模語言相結合描述軟體體系結構，來探討如何將形式化方法應用於實際的軟體開發過程中，這樣不但能促進對當前軟體主流技術的研究，而且能促進對形式化開發方法的研究。
  14. For the above reasons, the author tries to expound the logic relations about law, ethics, and moral from the view of two subjects, and then take the human nature as beginning and theoretical presupposition to analyze the conflict between law and moral of china in transformation era, mainly from reform and opening - up in china. the author explains the subjects in detail in

    筆者以人類文明進程為背景，以法學和倫理學兩個學科為視點，以法律、倫理、道德之間的邏輯關系和法律的倫理性為理論基點，圍繞法律與道德的沖突這一中心議題，論述我國當代社會的法律與道德的沖突的現狀、形成原因，並從法律的自身邏輯和外部環境兩個方面提出限製法律與道德沖突的途徑。
  15. This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic. it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development

    本文通過將面向對象的可視化建模語言與基於時序邏輯的形式化方法結合起來描述軟體體系結構，對軟體體系結構描述研究、 uml形式語義研究和形式化方法在軟體開發中的應用等方面都有一定的推動作用。
  16. Using bzl logic, security, anonymity and tracing ability of the digital - cash is verified. the protocol proves strong by using the factual system and being verified by the bzl logic

    通過在電子交易系統的實際應用和bzl邏輯的形式化驗證，證明了提出的數字現金協議是一個強壯的協議。
  17. We study the concept, characteristics, design and analysis method of security protocols and describe detailedly the kailar logic and the strand space model theory, which represents the trend of formal methods of security protocols

    深入研究了安全協議的概念、性質、常用的設計和分析方法，並詳細描述了kailar邏輯和代表安全協議形式化分析發展方向的stand空間模型（ strandspacemodel ， ssm ）理論。
  18. This essay is intended to analyze and clarify the relationship between kant ' s transcendental logic and the formal logic, by pointing out that kant appeared to elicit the categories of the transcendental logic from the judgements of the formal logic, but actually he laid a foundation for the latter by virtue of the categories of the transcendental logic, basing the formal logic on the initiative of the perceiver and making it " epistemologized "

    摘要本文對康德先驗邏輯與形式邏輯的關系進行了分析和澄清，指出康德表面上是從形式邏輯的判斷機能中引出先驗邏輯的諸范疇，實際上卻是以先驗邏輯的范疇為形式邏輯的諸判斷形式莫基，從而使形式邏輯建立在認識主體的能動性上而「認識論化」了。
  19. This paper, in terms of conception, logic and form, deeply and systematically analyses and researchs some important problems in the expression of error and uncertainty of measurement, and reterates the definition of error, result and uncertainty of measurement, coverage uncertainty may be used instead of expanded uncertainty, as well the opinion of fixed quality of error and fixed quantity of uncertainty of measurement, which the author once put

    對測量誤差與不確定度表述中的某些重要問題，從概念、邏輯和形式上進行了比較深入和系統的分析與研究，並重申了作者曾提出的關于測量誤差、測量結果與測量不確定度的定義；以「范圍」不確定度取代「擴展」 （展伸）不確定度；以及對測量誤差的「定性」與測量不確定度的「定量」等說法的見解。
  20. Abstract : this paper, in terms of conception, logic and form, deeply and systematically analyses and researchs some important problems in the expression of error and uncertainty of measurement, and reterates the definition of error, result and uncertainty of measurement, coverage uncertainty may be used instead of expanded uncertainty, as well the opinion of fixed quality of error and fixed quantity of uncertainty of measurement, which the author once put

    文摘:對測量誤差與不確定度表述中的某些重要問題，從概念、邏輯和形式上進行了比較深入和系統的分析與研究，並重申了作者曾提出的關于測量誤差、測量結果與測量不確定度的定義；以「范圍」不確定度取代「擴展」 （展伸）不確定度；以及對測量誤差的「定性」與測量不確定度的「定量」等說法的見解。
分享友人
分享到 Line

分享到臉書