集合代數 的英文怎麼說

中文拼音 [dàishǔ]
集合代數 英文
set algebra
  • : gatherassemblecollect
  • : 合量詞(容量單位) ge, a unit of dry measure for grain (=1 decilitre)
  • : Ⅰ動詞1 (代替) take the place of; be in place of 2 (代理) act on behalf of; acting Ⅱ名詞1 (歷...
  • : 數副詞(屢次) frequently; repeatedly
  • 集合 : 1 (聚集) gather; assemble; muster; call together 2 [數學] [自動化] [計算機] assemblage; set; co...
  1. Then h is generated by b. ( 6 ) derfh = adh ( h + fh ) ( addi ) 3vi 1 ), ( 7 ) let gs be the derivation algebra of lie superalgebra 5 on f and charf = 3

    ( 5 )設,則h由b生成( 6 )其中h型模李超的導子的維為( 7 )設g _ s是f上的李超s的導子
  2. We hold that the integrate effect consists of two parts : 1 + 1 > 2 and a + b = c, in terms of math : here x1, x2, . . . , xn : integrate units s : functions of new system what features an integrated system are subjective initiative, non - linear function, dynamic connection, sub - system uncertainty, selective competition. the basic factors of integration are integrate context, integrate units, integrate interface and environment, which form the integration condition respectively the basic integrate patterns covers point - to - point, pipeline and hub

    首先,深入探討了成的內涵,即成是指為了實現某一目標,在一定的成環境中,若干成單元動態地成一個泛邊界狀態的有機整體的過程,指出成效應的學解釋除了1 + 1 2外,還應該包括: a + b = c ,即若以x _ 1 , x _ 2 , … … , x _ n成單元, s成后新系統的總功能,那麼其特徵有:主體行為性、功能非線性、關系動態性、單元泛化性、選擇競爭性;成的基本要素包括成背景、成單元、成界面和成環境等四要素;基本模式有點到點模式、管線型模式和線器型模式;基本條件有成背景條件、成單元條件、成界面條件和成環境條件。
  3. 13 yoshinaga t, xu j, inoue k. a note on closure property of sublogarithmic space - bounded 1 - inkdot alternating turing machines with only existential universal states

    例如,關系在關系運算下的結果仍為關系,我們稱關系在關系運算下封閉。
  4. The dissertation has summarized the historical experience of our army competitions on wide research, analyzed roundly the requirement of the “ two competitions ” comprehensive evaluation system. it has been according as the “ compendia of construction in military grassroots ”, based on the modern mathematics and model method, been supported by the information technology and synthetically applied much method such as delphi, ahp, fuzzy, metasynthesis, wsr, etc. and also, taken the characteristic and the practical experience of the “ two competitions ” into account, the dissertation has discussed the functional structure and comprehensive evaluation index system, and also constructed the comprehensive evaluation model with the fuzzy mathematics. the dissertation has conceived firstly to put the “ two competitions ” into computer operation system

    本文在廣泛調查研究,總結我軍開展爭先創優活動的歷史經驗的基礎上,全面分析了「雙爭」活動對綜評估系統的需求,以《軍隊基層建設綱要》為依據,以現學理論和建模方法為基礎,以信息技術為支撐,綜運用德爾斐( delphi ) 、層次分析( ahp ) 、模糊學( fuzzy ) 、綜成( metasynthesis ) 、物理-事理-人理( wsr )等方法,同時結「雙爭」評比自身的特點和實踐經驗,探討了系統功能結構的設計思路和綜評估指標的構建方法,並運用模糊學理論構建了「雙爭」模糊綜評估模型。
  5. The disjoint collections of code and data reside within explicit boundaries called services

    這些相互無關的碼和據的,駐留在顯示的界限中,也就是服務。
  6. L. a. zadeh, a famous american electronic engineering and cybernetics scientist with profound insight, played emphasis on this kind of problem and published < < fuzzy sets > > for resolving it in 1965. he amended and extended set theory - the basis of modern mathematics with a bold hand and brought forward the thinking of using fuzzy set as a mathematical model to representing fuzzy business

    美國著名的電子工程學家和控制論專家扎德( l . a . zadeh )是位很有見識的科學家,他正視並為解決這類問題於1965年,發表了《模糊》一文,大膽地對現學的基石?論進行修改和擴充,提出了用模糊( fuzzyset )作為表現模糊事物的學模型。
  7. This thesis discusses the design of the solid - state memory system, which is used for image data processing and storing for the new generation ocean observation satellite of china

    本論文討論的就是適我國新一海洋衛星要求的成了據處理和據存儲功能的固態存儲系統的設計。
  8. That is, if a function has a certain set or range of valid values for its arguments, an assertion to this effect can be placed as the first line of code in the function

    那就是說,如果函有確定的有效值或范圍可作為參,可以將檢驗參是否有效的斷言放在該函碼的第一行。
  9. According to the partitions of strongly connected subclass, class and calculation of framwork matrix in the interpretive structural modeling ( ism for short ) processes, using bpsm and analyzing object to be modeled, the paper firstly analyses the system modeling objects, and then determines an viable structural model for enterprise internet marketing processes through system analysis, algebra analysis and system modeling theory

    本文根據系統分析、分析和系統建模理論,應用業務流程結構化建模技術與方法,分析系統建模對象,通過解釋結構建模( ism )過程中的強連通子劃分、級別劃分和骨架矩陣的計算,為企業網上營銷過程確定了一個適的結構模型。
  10. Is a set of file revisions, check - in notes, associated work items, and source control metadata that is stored on the server as a single, easy to manage entity

    「變更」是文件修訂、簽入說明、關聯的工作項和源碼管理元據的,它們在服務器上作為單個易於管理的實體進行存儲。
  11. In the research task supported by the key technologies r & d program in the 9th five - year plan of jiangsu province, the study focuses on the nc milling programming software development method and the corresponding algorithms on the basis of acis. by using the development interfaces provided by acis, the author has made some innovation to tool path generation algorithms. based on acis, a new set operation method of loops is presented in this paper

    藉助acis提供的開發介面實現對一些刀具軌跡生成演算法的創新:提出了一種基於acis的環運算方法,該演算法充分利用了acis的功能,使演算法實現過程大大簡化,並提高了演算法效率;設計了一種加工區域識別演算法,該演算法可以識別出由存在復雜嵌套關系的多個型腔環和島嶼環組成的零件幾何模型中的待加工區域;提出了一種實體精加工刀具軌跡生成演算法,該演算法可以自動計算出待加工零件在一個加工方向上所有的刀具軌跡,從而在某些情況下,大大方便控編程人員完成nc碼的生成。
  12. In this and next section, we shall consider some particular algebraic sets having binary operations defined on them.

    在這一節及下一節中,我們將討論一些在其定義為二元運算的特殊
  13. This research project, based on the existing problems in mathematics curriculum evaluation and the conceptions of mathematics curriculum as the guideline, systematically analyzes the basic characteristics of the developmental evaluation, i. e. multi - dimensional, formative, developmental, understanding and inspiring. drawing on the modern mathematics conceptions, multi - intelligence theory and theories of constructivism, this project systemically illustrated the connotation of the developmental evaluation : the key of evaluation is for application ; the goal is multi - dimensional ; the process is context - dependent ; the outcome is to promote the development. in view of the conceptions of developmental evaluation ( i. e. human - centered whole evaluation ; quality - focused overall evaluation ; participation - stressed autonomous evaluation ; future - faced evaluation ; guiding evaluation and inspiring evaluation ), the components of the developmental evaluation model in the new mathematics curriculum is analyzed in details in this project ( i. e. goal system, subject system and object system ) and the core structure of the developmental evaluation is established ( i. e. evaluation indicator system model )

    本課題研究以學課程評價的現存問題為著手點,以學課程理念為目標指向,系統分析了學新課程發展性評價的多元性、形成性、發展性、理解性、激勵性等基本特徵;以現學觀、多元智力理論、建構主義理論以及成功智力理論為理論背景,系統闡述了學新課程發展性評價之意蘊?評價核心聚焦應用,評價目標指向多元,評價過程依存情境,評價結果歸依發展;以學新課程發展性評價理念,即以人為本的全體性評價、注重素質的全面性評價、注重參與的自主性評價、促進完善的引導性評價、不斷進取的激勵性評價、面向未來的期望性評價為航標,深入剖析了學新課程發展性評價模式的構成成分,即目標系統、主體系統和客體系統,由此構建發展性評價模式的核心圖式?評價指標體系的模式:以學新課程發展性評價過程為參照,尋求並創設評價準則的設計技術,評價權重的構造技術,評價信息的收技術,評價結果的分析與處理技術;以學新課程評價系統內蘊的一般認識論、發生認識論與發展認識論指導評價方法,詳細探討了檔案袋法、表現性評價、自我評價與同伴評定相結的方法、蘇格拉底式研討評定和測驗法在評價中的應用。
  14. The representation theories of mp - filter which is created by an non - empty set of a implication algebra on a partial ordered set with condition ( c ) are obtained at first. and it ' s proved that the set which contains all mp - filters of a implication algebra x, denoted by mf ( x ) = { f x f is a filter of x }, is a distributive lattice and a complete lattice also in the view of the concept of mp - filter. then the fuzzy filter of a implication algebra is discussed, and the relations between mp - filter and fuzzy filter are obtained

    藉助于mp -濾子的概念,得到了偏序上具有條件( c )的蘊涵中由非空所生成mp濾子的表示定理,證明了由其上所有mp -濾子組成的mf ( x )是一個完備的分配格;得到了蘊涵中fuzzy濾子與mp濾子的關系,給出了fuzzy濾子成為fuzzy素濾子的若干刻畫;並利用mp -濾子和fuzzy濾子,刻畫了一類偏序上蘊涵的結構。
  15. In order to solving the problem, i brought forward the scheme of combining palm - size pc with gps. according to the characteristics of palm - size pc such as carry - home, strong communication ability, to develop the gps data collector based on palm - size pc. this equipment has functions of collect & handling data, location, navigation and saving etc, it can replace the notebook pc and gps receiver and liberate the operator from overburden

    本文以解決實際應用中的gps據採和處理問題為目標,將掌上電腦與gps相結,利用掌上電腦輕巧便攜、通訊能力強等特點,開發基於掌上電腦的gps據採器,實現採處理據、定位、導航、存儲等功能,替筆記本電腦和gps接收機手簿工作,將操作人員從負荷中解放出來。
  16. The data acquisition and analysis system combined with the bluetooth wireless data transmissions module, can realize different mode data acquisition on eight channels and pid control on two channels, and the data that were acquired can be processed by many kinds of processing methods just as signal pretreatment, signal trend detected, classic spectrum analysis, modern spectral estimation and self - suit signal filtering

    據採分析系統和藍牙據採模塊相結,可以實現8路不同模式(連續模式、點檢模式等)據採、 2路pid控制功能,並能對採到的據進行多種分析系處理(信號預處理、信號趨勢檢測、經典譜分析、現譜分析和自適應濾波等) 。
  17. 3. the concepts of o - ideal was proposed and its property was discussed. ultra - filter on a set s of lattice implication algebra was defined and was compared with the ultra - filter on a set of lattice, the relationship between this two ultra - filter was studied

    3 、給出了格蘊涵中o -理想的定義並討論了其性質,給出了格蘊涵s上超濾子的定義並與集合代數上的超濾子作了比較,研究了兩種超濾子之間的關系。
  18. Abstract : drawing on each other " s merits, the algebraic grid generation and elliptic grid generation methods are closely combined to generate high quality grids of automobile external flow field effectively

    文摘:將網格生成法和橢圓方程網格生成法有機地結起來,克服了它們各自的弱點,中了它們的優點,可快速有效地生成高質量的汽車外流場計算網格。
  19. And also, it introduces the powerful tools of matlab and demonstrates some matlab programs for spectral property analysis, digital filter design, digital filtering, signal extracting, noise eliminating, parameter calculating and some applications

    並結系統檢測中採到的據,給出了不同信號的據處理方法和用matlab編寫的程序碼示例。繪制了上述信號在信號處理中的波形變化。
  20. In this paper, a new type algebra is introduced, it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus. the main purpose of this paper is to investigate the various properties of the new algebra. in addition, this paper constructs an axiom set based on the medium logic propositional calculus system mpm, and gives a proof of its completeness

    本文通過對mpm中介邏輯命題演算系統進行抽象,建立了一個新的系統,討論了該系統的性質,並利用該系統的性質構造了中介命題演算系統mpm上的一個公理完備,使用該公理可以方便的推導出mpm上的等值和互推公式,這對于處理不完全信息據庫的查詢優化有著重要作用。
分享友人