映射定理 的英文怎麼說

中文拼音 [yìngshèdìnglǐ]
映射定理 英文
mapping theorem
  • 映 : 動詞1. （因光線照射而顯出物體的形象） reflect; mirror; shine 2. （放映） project a movie
  • 射 : Ⅰ動詞1 （用推力或彈力送出） shoot; fire 2 （液體受到壓力迅速擠出） discharge in a jet 3 （放出） ...
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  1. Covering theorems on two classes of quasi - conformal mappings

    兩類擬共形映射的掩蓋定理
  2. Fixed point theorems for 1 - set - contra tion mappings in abstract cones

    集壓縮映射的不動點定理
  3. Fixed point theorems for upper semicontinuous set - valued 1 - set - contractive mapping

    集壓縮映射的不動點定理
  4. The determinacy of smooth map - germ is an important subject of singularity

    映射芽的有限決定性理論是奇點理論中的一個重要專題。
  5. On extension of isometries between the unit spheres

    型空間的單位球面間滿等距映射的表現定理及等距延拓
  6. Fixed point theorems of monotone mapping in ordered metric spaces

    半序度量空間中單調映射的不動點定理
  7. Involuntarily, questions of these engineering datas " management appear, datas " persistance only depending relational model and rdbms is greatly insufficient, so this paper carefully studies object - relational mapping based on rdbms based on the analyse of home & overseas actualities, correlative theories and realizing methods of object - relational mapping, we find opl based on rdbms is the most suitable for object relatinoal mapping of clera. based on the engineering application analyse of opl in clera, function requirements, database modes, interface criterions and functions, running modes of opl have being detailedly described. with the framework of microsoft dna, a kind of realizing method of opl based on com / dcom / activex component technology has being brought forward, and this paper describes realizing keys from base tables " definition, object id and class hx class and inheritance of class, object storage, parallel control and affair, object query, object nesting, relations between objects, support of complex data types, right control of object and buffer management of object

    本文在分析對象?關系映射技術的國內外現狀、相關理論及實現方法的基礎上，研究發現基於rdbms的opl是目前最適合clera的對象?關系映射方法；在clera的opl應用分析的基礎上，詳細描述了opl的功能要求、數據庫模式、介面規范與功能、運行方式等內容；結合microsoftdna開發框架，提出了一種基於com dcom activex組件技術的opl實現思路，並從基本表定義、對象標識與類標識、類與類繼承、對象存儲、並發控制與事務、對象查詢、對象嵌套、對象間聯系、復雜數據類型的支持、對象級權限控制及對象緩沖管理等幾方面概述了實現要點。
  8. Based on the analyses of scheduling strategy and scheduling framework of tao ( the ace orb ), this paper studies the real - time scheduling and management of global priory in droce : how to determine the global priory of the dro ( distributed real - time object ) according to its timeliness and level of importance ; logical presentation and transparent transfer of the global priory ; the consistent mapping from global priory to local server priory ; the prevention of priory inversion, etc.

    本文在分析tao調度服務的調度策略和調度框架的基礎上，研究了分佈實時環境下的全局優先級調度和管理：即如何根據分佈實時應用的時間特性和重要程度確定分佈實時應用對象的全局優先級別；全局優先級的邏輯表示與透明傳遞；全局優先級與服務器局部優先級的一致性映射；防止優先級反轉等問題。
  9. In chapter 3, the push / pull pattern is gived out for the system realtime alarm. and the file interface of the alarm data, the algorithm of alarm position based on mapping and the algorithm of alarm icon position on the topological graph are designed. after explaining the principle of network software development using the windows socket, the push technology based on csocket is adopted to push alarm event and the pull technology based on http to pull the alarm page

    第三章，給出了實時告警的push pull模式，設計了告警數據文件介面、基於映射的告警點定位新演算法和告警圖標網路拓撲圖上定位演算法，給出了基於windowssocket進行網路應用開發的原理，採用基於csocket的push技術來實現告警事件的推送，利用傳統的基於http的pull技術來實現告警頁面的拉取。
  10. We reduce the cauchy problem of equations ( 8 ), ( 9 ) to an equivalent integral equations by the fundamental solution of a second order partial differential equation. then using the contraction mapping principle and the extension theorem of the solution we prove the existence and uniqueness of the global generalized solutions and the existence and uniqness of the global classical solution

    先是通過一個二階偏微分方程的基本解，把imbq型方程組歸） ， p ）的初值問題轉化為等價的積分方程組，然後利用壓縮映射原理、解的延拓定理等證明了歸） ，問的初值問題的整體廣義解和整體古典解的存在唯一性
  11. Sufficient conditions are obtained for the existence of bounded positive solutions of the n - order delay differential equations with nonlinear neutral term, on the basis of lebesgue ' s monotone convergence theorem and banach contraction theorem

    摘要利用控制收斂定理和壓縮映射原理研究了一類具非線性中立項時滯微分方程有界正解的存在性，獲得了其存在有界正解的充分條件。
  12. The geometric explanation of the image principle presented in “ a new method to determine the transient stability boundary using nonlinear theory 1 is given. a theorem to determine the critical clearance time is derived. from the calculation results of two examples, the correctness of the theories put forward by this paper and paper 1 is verified

    對論文《運用非線性系統理論確定電力系統暫態穩定域的一種新方法》 1中所提出的映射機理作了幾何解釋；提出了確定電力系統臨界切除時間的定理；通過對一簡單電力系統和電科院6機22節點算例的計算，驗證了本文及文1所提出的理論的正確性。
  13. Product design is a complicated thinking activity of creation of human. based on analyzing product design and its process, using a theory and method of aggregating and mapping, models of product design, process of product design, process of conceptual design of product were constructed, a frame of network arithmetic of a process of conceptual design of product was presented, its flow of decomposition and integration was particularly defined ， a good base for modeling and ruling of process of product design was founded. at one time, a useful exploration of development of a computer support implement for process of product design at all life cycle was made

    產品設計是一種復雜的人類創造性思維活動.在分析產品設計及其過程的基礎上，利用集合與映射的理論與方法，依此建立了產品設計、產品設計過程、產品概念設計過程的模型，給出了產品概念設計過程的網路演算法框圖，並且詳細定義了後者的分解與綜合的流程，為產品設計過程的模型化、規律化打下了良好的基礎，同時也為產品全生命周期設計過程計算機軟體支持工具的開發作出了有益的探索
  14. In the third chapter, we will study the existence and uniqueness of the classical global solution and generalized global solution to the periodic boundary value problem and the cauchy problem for this kind of equation. in the second chapter, we study the following nonlinear wave equation of higher order : with the initial boundary value conditions or with where a1, a2, a3 > 0 are constants, ( s ), f ( s0, s1, s2 s3, s4 ) are given nonlin - ear functions, u0 ( x ) and, u1 ( x ) are given initial functions. for this purpose, by green ' s function of a boundary value problem for a fourth order ordinary differential equation we first reduce the problem ( 1 ) - ( 3 ) to an equivalent intergral equation, then making use of the contraction mapping principle we prove the existence and uniqueness of the local classical solution for the intergral equation

    本文分三章，第一章為引言；第二章研究一類非線性高階波動方程的初邊值問題的整體古典解的存在性和唯一性，以及古典解的爆破；第三章研究此方程的周期邊界問題和cauchy問題的整體廣義解和整體古典解的存在性和唯一性，具體情況如下：在第二章中，我們研究一類非線性高階波動方程的如下初邊值問題：或或其中a _ 1 ， a _ 2 ， a _ 3 0為常數， （ s ） ， （ s _ 0 ， s _ 1 ， s _ 2 ， s _ 3 ， s _ 4 ， ）為已知的非線性函數， u _ 0 （ x ） ， u _ 1 ， （ x ）為已知的初始函數，為此，我們先用四階常微分方程邊值問題的green函數把上述問題轉化為等價的積分方程，然後利用壓縮映射原理證明此積分方程局部古典解的存在性和唯一性，又用解的延拓法證明上述問題整體古典解的存在性和唯一性，主要結果有：定理1設u _ 0 （ x ） ， u _ 1 （ x ） c ~ 4 [ 0 ， 1 ]且滿足邊界條件（ 2 ） ，若以下條件滿足：其中a ， b月0為常數， w
  15. On the assumption of ignoring the distortion of thickness, this paper determines the rough shape by the geometric modeling method of equal area developing using mixed mesh cell of triangle and quadrangle for the first time, presents the equal area developing arithmetic of quadrangle - triangle. on the virtual geometric symmetry axis, we puts forward the method of determining the developed coordinate of the point on the base band in the development of using regular quadrangle cell, determines the developed shape of internal structure in plane utilizing point - to - point mapping theory. furthermore, we realize the approximate developing of undeveloped - irregular boundary surface using a few triangle cells

    本文結合型號研製中小曲率機翼整體壁板類零件坯料展開課題，基於板料厚向變形忽略不計的先驗假設，首創混合四邊形-三角形網格等面積展開的幾何模擬法確定壁板類零件毛坯外形，給出了混合四邊形-三角形網格等面積展開演算法；提出了虛擬分割線的概念，採用虛擬幾何對稱軸，給出了規整四邊形單元展開基帶上結點的計算方法；採用映射原理和求交演算法確定了壁板內部結構信息的展開定位。
  16. A mapping theorem on sn - metrizable spaces

    可度量化空間的映射定理
  17. Mapping theorems on submeocompact spaces

    緊空間的映射定理
  18. Mapping theorems on quasi - nagata spaces

    空間的映射定理
  19. The major tasks include : ( 1 ) expand the schema theorem for ga. the schema theorem with binary coding advanced by professor holland is expanded to limited integer, letter, floating point numbers the number of which value is limited, and their hybrid coding. ( 2 ) put forward replacing by the excellent chromosome ga ( recga ), superiority colony first ga ( scfga ) and improve the ga ; ( 3 ) make probability convergence analysis of recga using the theory of markov chain, random process ; ( 4 ) make convergence analysis of scfga using the principle of contractive mapping in functional analysis theory ; ( 5 ) design the test programs ( cap ) to resolve np problems ( course arrangement ) with gas ; based on recga, modify the arithmetic and then conduct tests

    主要有以下幾方面工作： （ 1 ）將二進制編碼遺傳演算法的模式定理擴展到由有限整數、字母或取值個數有限的浮點數編碼，或它們混合編碼的遺傳演算法范圍； （ 2 ）提出最佳個體替換策略遺傳演算法（ recga ） 、優勢群體優先策略遺傳演算法（ scfga ） ，對遺傳演算法進行改進； （ 3 ）使用隨機過程理論markov鏈對recga進行了收斂性分析； （ 4 ）使用泛函分析理論壓縮映射原理對scfga進行了收斂性分析； （ 5 ）使用遺傳演算法設計了解決np類問題（排課問題）的測試程序（ cap ） ，並根據recga對演算法進行改進並進行測試。
  20. This paper describes the features of products and assembly. based on the description of these features, the principle of features mapping is studied by set theory. through the multiply mapping of features, a mathematical model of features mapping from design domain to assembly domain is proposed. such a study lays a foundation for the multiple domain feature mapping in concurrent engineering

    用數學方法描述了產品設計特徵和裝配特徵信息.應用集合論在特徵信息描述的基礎上，探討了特徵映射機理.通過多層特徵映射，建立了產品從設計域到裝配域的特徵映射數學模型，為并行工程中多域特徵映射理論的研究奠定了基礎
分享友人
分享到 Line

分享到臉書