邏輯抽象 的英文怎麼說
中文拼音 [luóchōuxiàng]
邏輯抽象
英文
logical abstraction-
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
數學美,是一種區別于自然美和藝術美的抽象美,具有簡潔性,對稱性,統一性,抽象性,精確性和邏輯性,實踐性。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
課程不但為學生學習后續數學課程和其他理工專業課程奠定必要的數學基礎,而且對學生在數學的抽象性、邏輯性與嚴密性方面進行一定的訓練和熏陶,使他們具有理解和運用邏輯關系、研究和領會抽象事物、認識和利用數形規律的初步能力。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
一方面,繼承了「從完整的表象蒸發出抽象的規定性」的研究方法。通過細致剖析、咀嚼管理思想史的材料,界定了西方管理學的邏輯起點,並從百余年管理思想史中「蒸發」出三個抽象的規定性。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
本文的研究方法主要是:主義、主體和主題統一的方法,邏輯與歷史統一的方法,系統抽象的方法和整體性方法。One powerful abstraction of a sensor is a logical sensor, which is a unit of sensing or module that supplies a particular percept
傳感器的一個強大的抽象是邏輯傳感器,它是提供一個對象的傳感單元或模塊。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
從大量的遙感信息模型,地理圖像信息模型的實踐中,提出符合地理科學自身規律的非線性數學方法,解決了確定性與不確定性結合的宏觀復雜性問題。從形式邏輯推理發展到辯證邏輯的計算,從抽象公式的計算發展到抽象思維與形象思維結合的公式與圖像結合的計算。提出了物理變量與地理參數的區別,從而開創了以地理科學為背景的數學研究,進而為發展地理數學奠定了基礎。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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見,本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。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
摘要少數民族權利是一個綜合性的范疇體系,是以民族平等權為核心范疇展開的邏輯整體,是一個體現著抽象和具體、目的與手段等邏輯關系的內容體系。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
在寫作的過程中,主要運用馬克思主義唯物辯證法,即科學的抽象法和邏輯與歷史相統一的方法,而且借鑒和運用了實證研究和規范研究相結合的方法。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
識別表格結構的關鍵在於從不同類型的表格中提取出一種抽象的邏輯表格模型。本文提出了一種表格分析的層次模型,在該模型指導下,逐步生成物理內存表格、抽象邏輯表格以及功能性表格。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
全文共分五個部分,以成本-收益以及結構-制度的剖析範式,從幾組基本概念入手,邏輯推演層層展開,將企業網路的形成和演變過程分別抽象為組織系統的適應性和穩定性問題,構建了一個比較全面的分析框架。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層、文件節點管理層、虛擬文件系統層、具體邏輯文件系統層四部分,主要完成與設備無關的數據存取介面抽象和各種文件系統標準的實現;設備與驅動管理模塊包含邏輯設備管理層、物理設備管理層、設備緩沖區高速緩存層、設備驅動管理層四部分,主要完成外部存儲設備管理及其驅動介面抽象功能。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
諸子散文的一個突出特點是不僅依靠邏輯推理和抽象思辨來闡明觀點,其中還運用了大量寓言、比喻等形象性元素,具有很強的感染力和抒情性。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網模型。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非線性組合控制規律,以實現對未知對象進行在線控制,並具備適應控制環境變化的能力和自學習能力等。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
本文最大程度地運用系統抽象法、歷史與邏輯相統一的方法,結合實證分析法等方法,從產權權能分工是市場經濟發展的必然趨勢入手,剝開層層表面現象,探尋產權制度的本質,從而揭示我國國有商業銀行產權制度的缺陷。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
軟體是一種特殊的產品,具有無形性、邏輯性、抽象性和復雜性等特點,軟體行業是一個極具挑戰性和創造性的新行業,軟體企業的質量管理面臨著其他行業企業所不具有的特殊挑戰。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作為構件描述語言,這種語言能夠描述構件的靜態語義和動態執行,並且能在不同抽象層次上對系統進行形式化描述。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
主要研究方法有理論聯系實際、現實與邏輯統一、從抽象到具體、時空綜合和多維互補、理性分析與價值評價相結合、系統和結構方法、社會調查方法等。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協議進行了完全的分析與驗證。分享友人