邏輯抽象 的英文怎麼說

中文拼音 [luóchōuxiàng]
邏輯抽象 英文
logical abstraction
  • : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
  • : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
  • : 動詞1 (把夾在中間的東西拉出; 提取) take out (from in between) 2 (從全部里取出一部分; 騰出) ...
  • 邏輯 : logic
  • 抽象 : abstract
  1. Different from the nature beauty and and art beauty, the beauty of math is a kind of rational beauty with briefness, symmetry, unity, abstract, accurate, logic and practice

    數學美,是一種區別于自然美和藝術美的美,具有簡潔性,對稱性,統一性,性,精確性和性,實踐性。
  2. This course aims not only to lay down a solid basis in mathematics for students to learn further advanced courses of mathematics and other specific courses of their respective science and engineering majors, but also to train and nurture students to master the abstractness, logicality and tightness embodied in mathematics, as to enable students to have the fundamental ability to understand and apply the logic relationship, study and grasp the abstract phenomena, and comprehend and utilize the mathematical rules

    課程不但為學生學習后續數學課程和其他理工專業課程奠定必要的數學基礎,而且對學生在數學的性、性與嚴密性方面進行一定的訓練和熏陶,使他們具有理解和運用關系、研究和領會事物、認識和利用數形規律的初步能力。
  3. On the one hand, it, by succeeding to the research methodology of the abstract regulation which has been refined out of all - round phenomena, by specifically analyzing and masticating the historical materials of management thoughts, has marked out the logic starting point of western management studies, and has extracted the three abstract regulations from the hundred - year - long history of management thoughts

    一方面,繼承了「從完整的表蒸發出的規定性」的研究方法。通過細致剖析、咀嚼管理思想史的材料,界定了西方管理學的起點,並從百余年管理思想史中「蒸發」出三個的規定性。
  4. The main research methods of this paper are consolidating of principle, principal part and theme ; consolidating of logic and history and nonobjective and demonstrative analysis

    本文的研究方法主要是:主義、主體和主題統一的方法,與歷史統一的方法,系統的方法和整體性方法。
  5. One powerful abstraction of a sensor is a logical sensor, which is a unit of sensing or module that supplies a particular percept

    傳感器的一個強大的傳感器,它是提供一個對的傳感單元或模塊。
  6. This paper is an academic thesis about remote sensing information model and geographical mathematics. the author have studied a lot of remote sensing information models and geographical image information models. according to geographical regularity the author advance non - linear mathematics method which is geographical complex phenomena both of certainty and uncertainty to combine in an equation. that is from formal logic inferring to dialectical logic calculation. moreover, it is from abstract thinking to both of abstract and visualized thinking, which is image joining equation calculated. make a suggestion that the geographical parameters are different from the physics variables. thus initiate based on geographical science for mathematics. there are 4 parts as follows in this paper : the regularity of geographical phenomena ; general equation of remote sensing information model ; geographical parameters and geographical indexes ; significance of geographical image information models

    從大量的遙感信息模型,地理圖像信息模型的實踐中,提出符合地理科學自身規律的非線性數學方法,解決了確定性與不確定性結合的宏觀復雜性問題。從形式推理發展到辯證的計算,從公式的計算發展到思維與形思維結合的公式與圖像結合的計算。提出了物理變量與地理參數的區別,從而開創了以地理科學為背景的數學研究,進而為發展地理數學奠定了基礎。
  7. 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和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見,本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  8. Rights of ethnic minorities are a comprehensive category system, a logic system which is centered on the right of ethnic equality, and a content system which embodies such logic relationship as abstract and concrete, purpose and means

    摘要少數民族權利是一個綜合性的范疇體系,是以民族平等權為核心范疇展開的整體,是一個體現著和具體、目的與手段等關系的內容體系。
  9. During the course of writing, the the sis mainly employs marxist materialist dialect, that is, the scientific abstract ways combined with logical and historical ways. besides, the normative analysis and empirical analysis are also adopted

    在寫作的過程中,主要運用馬克思主義唯物辯證法,即科學的法和與歷史相統一的方法,而且借鑒和運用了實證研究和規范研究相結合的方法。
  10. The second phase is the analysis to the inner structure of web table. this thesis discusses deeply at this phase. the key point to recognize the table structure is to extract a abstract logistic table from variants of table structures. this thesis presents a table analysis modal, according to which, the physical table, the abstract logic table and

    識別表格結構的關鍵在於從不同類型的表格中提取出一種表格模型。本文提出了一種表格分析的層次模型,在該模型指導下,逐步生成物理內存表格、表格以及功能性表格。
  11. The thesis divides into five parts. from several groups of basic conceptions, we use the method of cost - income and structure - institution to deduct the logical ideas from one layer to another. the progress of the forming and evolving an inter - firm network is abstracted to the problem of the adaptability and the stability of an organization system respectively

    全文共分五個部分,以成本-收益以及結構-制度的剖析範式,從幾組基本概念入手,推演層層展開,將企業網路的形成和演變過程分別為組織系統的適應性和穩定性問題,構建了一個比較全面的分析框架。
  12. The implementation of deltafile 3. 0 can be divided into two modules ? real - time file system module and manage module for both facilities and drives. the real - time file system contains four parts ? system call api layer, file node manage layer, virtual file system layer, concrete file system layer, which perform the abstraction of the facility

    實時文件系統模塊包含系統調用api層、文件節點管理層、虛擬文件系統層、具體文件系統層四部分,主要完成與設備無關的數據存取介面和各種文件系統標準的實現;設備與驅動管理模塊包含設備管理層、物理設備管理層、設備緩沖區高速緩存層、設備驅動管理層四部分,主要完成外部存儲設備管理及其驅動介面功能。
  13. One prominent feature of this genre is that the sages not only relied on logic and abstract thought to explain their viewpoints but also vividly employed many fables and metaphors so that their essays are most compelling and lyrical

    諸子散文的一個突出特點是不僅依靠推理和思辨來闡明觀點,其中還運用了大量寓言、比喻等形性元素,具有很強的感染力和抒情性。
  14. Petri net is good at reflecting systems " logical relationship and suitable to conduct time. it can also model systems on variable logica levels and now is used the most in modeling fms. the paper develops a petri net model of the high - pressure boiler tube production line in baosteel tube branch and a simulator of this system based on matlab / stateflow

    Petri網擅長反映系統中的關系;便於引入時間因素;能在不同的層次上為系統建模,是目前柔性製造系統建模中採用最多的方法之一,本文建立了寶鋼鋼管分公司高壓鍋爐管精整線的petri網模型。
  15. First, it applies fuzzy logical in the abstract and non - linear dealing ability ; second, it applies neural net in the self - study and any functions approaching ability ? through combining above two ability, it can find a best p i d non - linear controlling regularity and achieve controlling on line of the unknown subject etco therefore, it not only can strengthen robust and intelligence of the system, but also make design simple and easily be requiredo in addition, the thesis also does many works on procedure of upper - computer and basic - controller and the whole system designed can be put into work immediately

    根據啤酒發酵過程具有大慣性、時滯和非線性等特點,本論文還提出一種基於神經網路的模糊自適應pid控制方案,它一方面利用模糊的「概念」能力和非線性處理能力,另一方面利用神經網路的自學習能力和任意函數的逼近能力,通過兩者的有機結合尋找一個最佳的p 、 i 、 d非線性組合控制規律,以實現對未知對進行在線控制,並具備適應控制環境變化的能力和自學習能力等。
  16. By using the methods of abstract analyzing, the example analyzing and combining the fact that property right division is a must to the market development, i tried to see through the appearance and grasp the most common essence of the property right institution. then i pointed out some drawbacks in socbs

    本文最大程度地運用系統法、歷史與相統一的方法,結合實證分析法等方法,從產權權能分工是市場經濟發展的必然趨勢入手,剝開層層表面現,探尋產權制度的本質,從而揭示我國國有商業銀行產權制度的缺陷。
  17. It is invisible, logical, abstract and complicated. the software industry is a new industry that is along with challenge and creation. the quality management of the software enterprise is faced to special challenge

    軟體是一種特殊的產品,具有無形性、性、性和復雜性等特點,軟體行業是一個極具挑戰性和創造性的新行業,軟體企業的質量管理面臨著其他行業企業所不具有的特殊挑戰。
  18. We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity. xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy

    由於構件可能具有不同的層次和粒度,我們採用了時序語言xyz e作為構件描述語言,這種語言能夠描述構件的靜態語義和動態執行,並且能在不同層次上對系統進行形式化描述。
  19. Its study methods are integrating theory and practice, unification of history and logic, from abstract to concrete, system and structure way, social investigation etc. it ' s belongs to study of human and cultural philosophy in broad sense

    主要研究方法有理論聯系實際、現實與統一、從到具體、時空綜合和多維互補、理性分析與價值評價相結合、系統和結構方法、社會調查方法等。
  20. The language has a strong logic and can be applied easily. a famous electronic commerce protocol ? secure electornic transaction ( set ) is also simply introduced and abstracted. at last, the abstracted protocol is especially analyzed and verified completely by the new logic

    作者還簡單介紹了著名的電子商務協議?安全電子交易( set )協議,並對其進行邏輯抽象,最後著重用提出的新化后的set協議進行了完全的分析與驗證。
分享友人