泛代數 的英文怎麼說

中文拼音 [fàndàishǔ]
泛代數 英文
universal algebra
  • : Ⅰ動詞1 [書面語] (漂浮) float; drift 2 (透出; 冒出) be suffused with 3 (淹沒) inundate; floo...
  • : Ⅰ動詞1 (代替) take the place of; be in place of 2 (代理) act on behalf of; acting Ⅱ名詞1 (歷...
  • : 數副詞(屢次) frequently; repeatedly
  1. Abstract : direct limit and inverse limit are the methods producing new algebra in universal algebra. in order to further study the production of the new algebra, authors define the family of duplicate set and duplicate limit, discuss the algebraic duplicate limit, the characterestics of the once more duplicate direct set and more duplicate direct limit, the family of once more duplicate direct direct algebra and the limit of once more duplicate algebraic set family

    文摘:直極限和逆極限是泛代數中生成新的方法,為了進一步研究新的生成,筆者給出了重集族和重極限的定義,討論了的重極限;其次研究了二重直集族和二重直極限及相應性質,討論了二重直族和二重直族的極限
  2. 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 )等方法,同時結合「雙爭」評比自身的特點和實踐經驗,探討了系統功能結構的設計思路和綜合評估指標的構建方法,並運用模糊學理論構建了「雙爭」模糊綜合評估模型。
  3. This paper discusses the polygon medial axis definition of gis and calculation geometry, and their main distinguishing feature, pointes out that the polygon medial axis should be the locu of the equal - distance points to two or more edges of the polygon ; analyzes the relevant different algorithm and cases in practice, and proposes the geometry means in theory relatively rigid and widely meeting the requirements in practice - dotted pair rank method and the map algebra polygon medial axis method, utilizes them to offer several polygon medial axis calculation examples

    摘要比較了當前國內外gis中和計算幾何中關于多邊形中軸的定義,討論了它們的主要特點,指出多邊形中軸應是到兩個以上邊距離相等點的軌跡,並據此分析了相應的各種演算法和實際應用場合,提出了理論上較為嚴密、能夠廣滿足實際應用需要的幾何方法點對序列法和地圖多邊形中軸法。
  4. Using universal property, we can define general ( pre ) cover and ( pre ) envelope, such as gorenstein injective ( projective or flat ) ( pre ) cover and ( pre ) envelope, 5 - torsion free ( pre ) cover etc. in a word, problems on ( pre ) over and ( pre ) envelope have aroused considerable debate in the academic circle, which embodies flexible use of tools of homological algebra in studying categories of rings and modules

    而且利用性我們又可定義更廣意義上的包、蓋問題,例如: gorenstin內射(平坦、投射)包(蓋) , s -無撓預蓋,等等。用這類比內射(平坦、投射)更廣意義上的特殊模又能刻畫一些環。總之,包、蓋問題是當今非常活躍的研究課題,體現了同調在環模範疇研究中靈活運用。
  5. In the paper, series of definitions about chaotic dynamics system are summed up, several methods for judging whether a system is a chaotic one is discussed, property analyses of chaotic systems is studied and rudimentary characteristic of chaotic motion is generalized. two kinds of nonlinear systems are analyzed in this paper. melnikov function is used to study the vibration systems

    根據混沌運動的特徵,本論文主要對兩類具有廣表意義的典型非線性系統問題進行了討論,利用值分析的方法對系統進行了分析,得出系統出現混沌的閥值;然後綜合運用相圖分析、直接觀察時間序列和李雅譜諾夫指法對系統是否產生混沌運動進行了描述和刻畫。
  6. People have deep and wide research in duality sequence. with the use of recent century algebra, people get a lot of duality sequences such as gmw sequence, no sequence, bent sequence and so on

    二元序列的研究已經較為廣和深入,人們運用近世的理論,得到了一批性能優越的二元序列,如gmw序列, no序列, bent序列等。
  7. In the aspect of theoretical research : firstly, general descriptive format of controlling rule is discussed based on trait of intelligent control ; secondly, principle and tactic of basic logical controller are discussed based on panboolea algebra, and then control rules of basic logical controller are symbolized by using panboolea algebra ; at last, control idea of nine - points controller is presented based on basic logic controller, and control tactic is also analyzed based on phase - plane method

    在理論研究方面:首先從智能控制的自身特點討論了其控制規律的一般描述形式;然後以布爾為理論基礎,討論了基本型邏輯控制器的控制原理與策略,將邏輯控制器的控制規則用布爾符號化;最後以基本邏輯型控制器為基礎,討論了九點控制器的控制思想,並從相平面的角度對控制器的控制策略進行了分析。
  8. The semi - active logic control algorithm was proposed, which includes six kinds of semi - active logic control method. they are the semi - active logic control method a, b and c for single mr damper, the semi - active logic control method d, e and f for multiple mr dampers. a series of numerial simulation and experimental investigations on the seismic responses of the tall building with a podium structure using single damper / multiple mr dampers were first carried out on the seismic simulator in the hong kong polytechnic university on 2002 - 2003

    針對帶裙房高層建築地震反應的鞭梢效應問題,以瞿偉廉教授和徐幼麟教授提出的「 er mr智能阻尼器耦聯的帶裙房高層建築結構地震反應的半主動控制」理論為起點,採取理論分析、計算機模擬和地震模擬振動臺試驗等研究手段,首次將基於布爾的邏輯控制方法引入結構控制領域,提出了半主動邏輯控制方法,包括單mr阻尼器半主動邏輯控制a 、 b 、 c和多mr阻尼器半主動邏輯控制d 、 e 、 f等六種。
  9. Algebraic linear functional

    線性
  10. My successor will be chosen in 2002 by an even more widely drawn body, increased in size to 800

    到了二零零二年,我的繼任人會由一個更具廣表性的委員會推選出來,屆時委員會的人更會增至八百名。
  11. The logical control model is built based on pal - bool algebra based on a good deal of empirical data and characteristics of firing process of ceramic kiln. then simulation on this algorithm by matlab and shows the feasibility of the algorithm, and the result shows that this algorithm is much advantageous over traditional algorithms in stability

    在分析了大量經驗據的基礎上,針對陶瓷窯燒成過程的特點,建立了基於布爾的邏輯控制模型,然後以matlab為模擬工具,對該邏輯演算法進行模擬,驗證了該演算法的可行性。
  12. Rtt relation generaliazes a lot of commrtation and it is a theoretic frame which limits complete integrable system. giving ( ? ) ( u ) as ybe ' s solrtion, theories about quantum groups which include yan - gian and quantum algebras can be derived from rtt relation

    Rtt關系是一個概括了許多已知對易關系的,具有更廣的形式的對易關系,它是一種限制完全可積系統的理論框架。當楊一巴克斯特方程的解r ( u )給定時,由rtt關系即可建立量子群理論,它包括yangian和量子
  13. The subject is related and has applications to many different branches of pure and applied science such as operator theory, functional analysis, c " - algebras, banach algebras, matrix norms, inequalities, numerical analysis, perturbation theory, matrix polynomials, systems theory, quantum physics, etc. in recent years, the quadratic numerical range, one of the most important generalizations of the numerical range, was put forward in the course of people studying the spectral theory of the block operator matrix to the need of the development of some branches mentioned above

    對它們的研究涉及到了基礎學及應用學許多不同的分支,諸如運算元理論,函分析, c ~ * -, banach,矩陣范,不等式,值分析,擾動性理論,矩陣多項式,系統論,量子物理等等,並且在這些分支上面得到了廣的應用。近年來,為了上述某些學分支發展的需要,人們在研究分塊運算元矩陣譜理論的過程中引入了值域的一個重要推廣:二次值域。
  14. On the other hand, as to the time domain methods, based on lyapunov - krasovskii function method, riccati equation method, linear matrix inequality technique, along with the skills of equality and inequality transformations, the robust stabilization and robust h control problems are studied via state feedback for some kinds of uncertain time - delay systems, and delay - independent as well as delay - dependent results are obtained

    時域方法方面基於lyapunov - krasovskii函方法、 riccati方程方法、線性矩陣不等式( lmi )技術,以及等式、不等式變換技巧等主要處理手段,通過狀態反饋分別研究了不確定時滯系統的魯棒鎮定及魯棒h控制問題,得到了時滯無關和時滯依賴兩種不同結果。
  15. In the past twenty years, toeplitz operators denned on discrete groups have been investigated by many mathematicians such as a. nica [ 7 ] m. laca [ 4 ] [ 16 ] ", i. raeburn [ 5 ] etc. the main object of this paper is, based on clarifying the induced ideals, to show that some toeplitz algebras are purely infinite provided that a certain condition is satisfied

    在過去的幾十年中,許多學工作者(例如a . nica , m . laca , i . raeburn等)都對定義在離散群上的toeplitz作了深入而且廣的研究。本文的主要目的是通過對相關toeplitz的誘導理想的刻劃來研究toeplitz的純無限性質。
  16. The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic

    第二部分:在以bl邏輯為背景的bl的定義中去掉限制性較強的條件a b = a ( a b ) ,建立了一種新的系統rl ,並進一步研究了rl類的性質;以rl為賦值域建立了一種更為廣的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ,得到了一系列定理,同時研究了邏輯系統rl的(弱)完備性
  17. So for this sort system, this paper constructs the logical control model based on pal - bool algebra by pal - bool algebra

    因此針對這類系統,本文採用布爾作為分析工具,建立基於布爾的邏輯控制模型。
  18. The study on the stability switches of functional differential difference equations is an important research branch of the stability theories, which of both the theory and its applications has broad prospects. the first part of this paper, chapter 2 and 3, deals with the stability switches for two classes of retarded differential difference systems, respectively. by analyzing the characteristic roots of characteristic equations, some algebraic criteria of stability switches are established, which are useful and easy to verify

    穩定性開關是函微分方程穩定性理論中的一個重要分支,無論是理論本身還是它的應用都有廣的前景,本文的第一部分(第2章、第3章)分別討論兩類二階滯后型微分差分系統的穩定性開關,通過分析特徵方程的特徵根,我們給出了存在穩定性開關現象的實用而又易於驗證的判據,並利用計算機模擬驗算了一個具體例子。
  19. The portable, extensible toolkit for scientific computation, petsc, has become a model of the high performance numerical software which gains huge attention and wide use in commuting community throughout the world. our selection of petsc as the target model of studying is based on following reasons : petsc uses mpi for all parallel communication, which is most fittable for general scalable computing, especially on our pc - cluster platform. petsc is a general purpose suite : of tools for the scalable solution of partial differential equations and related problems, which is much in accord with our research focus

    可移植、可擴展科學計算軟體包petsc是近來在國際上很受關注、應用廣的高性能并行值軟體開發典範之一,我們對它的重點學習與研究主要出於以下考慮: petsc基於mpi并行程序設計平臺,適合於我們常用的并行計算機尤其是機群系統;它以偏微分方程、方程求解功能為實現重點,非常切合於我們的主要研究方向和應用需求;尤為重要的是,在其良好的軟體使用模式和執行性能下隱含的先進軟體設計思想和程序實現方案,對我們今後的值軟體開發很有借鑒意義。
  20. The two kind of harmonic balance methods, analytical hbm and dft numerical hba, are used for the analysis of the parametrically excited flexible cam - follower system with consideration of the clearance between cam and follower. through the two methods, the system equation is reduced to a series of nonlinear algebraic equations

    這種非線性方程組需要依靠值計算的迭法才能求解,而由於問題的復雜性,普通的newton法很難求解,本文採用一種廣應用的擬newton法一一broyden方法來求解,得出了出含間隙凸輪系統模型的穩態響應。
分享友人