拓撲學理論 的英文怎麼說

中文拼音 [xuélún]
拓撲學理論 英文
topologictheory
  • : 拓動詞(把碑刻、銅器等的形狀和上面的文字、圖形印下來; 拓印) make rubbings from inscriptions pict...
  • : Ⅰ動詞1 (學習) study; learn 2 (模仿) imitate; mimic Ⅱ名詞1 (學問) learning; knowledge 2 (學...
  • : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
  • : 論名詞(記錄孔子及其門徒的言行的「論語」) the analects of confucius
  • 理論 : theory
  1. The cardinal functions on continuous domains and some cartesian closed subcategories of slp liu ni abstract domain theory is an important study field of theoretical computer science

    正是這一特徵使domain成為計算機科與格上研究者共同感興趣的領域,並使domain與許多數科產生了密切的聯系。
  2. Not only does go - space provide rich examples, but also go - space buildes a bridge between general topology and related mathem atics branches, such as lattics theory, domain theory, graph theory, real number theory, etc. thus it is very important in theory and reality to study go - space

    在go -空間中,不僅給一般提供了精彩豐富的例證,而且架設了一般和相關數分支的橋梁,如格、 domain、圖及實數等等。
  3. As we all known, with the founding of euclidean geometry in ancient greece, with the development of analytic geometry and other kinds of geometries, with f. kline " s erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. on the other hand, euclid formed geometry as a deductive system by using axiomatic theory for the first time. the content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from kline and perry " s appealing

    縱觀幾何發展的歷史,可以稱得上波瀾壯闊:一方面,從古希臘時代的歐氏綜合幾何,到近代解析幾何等多種幾何的發展,以及用變換的方法處幾何的埃爾朗根綱領,到20世紀、高維空間等幾何的新發展,這一切都在不斷豐富人們對幾何的認識;另一方面,從歐幾里得第一次使用公化方法把幾何組織成一個邏輯演繹體系,到羅巴切夫斯基非歐幾何的發現,以及希爾伯特形式公體系的建立,極大地發展了公化思想方法,不管是幾何的內容還是方法都發生了質的飛躍。
  4. To now, the theories, fruits and methods of topology have already applied or seeped into almost every important field of mathematics even into physics, chemistry, bio - logy and engineering

    如今,,成果和方法已應用或滲透到幾乎每一個重要的數領域以及物,化,生物乃至工程技術中。
  5. Its importance may be judged from the fact that it has had many applications in fields as diverse as general topology, lattice theory, category theory and theoretical computer science as well as in many other areas of mathematics

    Domain為計算機程序設計語言的指稱語義奠定了數基礎,處于,格,范疇計算機等多科的交匯處,有著重要的研究價值。
  6. ( accession numbers : ay184425 - ay184440 ). combined with other several full 12s rrna sequences of chinese water deer, montijac, water deer, cow, horse, goat and tragulus retrieved from genbank database, the whole set of sequences was utilized for downstream analysis based on theories and models in molecular phylogeny, whereas the secondary structure of 12s rrna was predicted and analyzed based on present small subunit of ribosome model

    將上述序列與從genbank檢索到的獐、麂、水鹿、牛、馬、羊、鼷鹿的12srrna基因全序列一起,通過應用分子系統與模型分析序列數據,以及對12srrna二級結構的分析,得出了以下主要結: ( 1 )用最小進化方法( me )和鄰接法( nj )對12srrna基因的全序列構建分子系統樹的結構基本相同。
  7. 4 - intersection theory in point set topology is cited into time domain and topological relation between several temporal forms are analyzed in detail. besides, the paper uses temporal topological relation to describe cadastral changing process particularly

    把點集中的四元組引用到了時間域中,詳細地分析了幾種時間形式之間的關系,用四元組描述的時態關系對地籍變更過程進行了詳細的描述。
  8. Chapter 2 of this paper, by using a new method of proof, we obtain the weak ergodic convergence theorem for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by theorem 2. 1 of chapter 1 we get the weak ergodic convergence theorem of almost orbit for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by this method of proof, we give the weak ergodic convergence theorems for right reversible semigroups. by theorem 2. 1 of chapter l, we generalize the result to almost orbit case. so we can remove a key supposition that almost orbit is almost asymptotically isometric. it includes all commutative semigroups cases. baillon [ 8 ], hirano and takahashi [ 9 ] gave nonlinear retraction theorems for nonexpansive semigroups. recently mizoguchi and takahashi [ 10 ] proved a nonlinear ergodic retraction theorem for lipschitzian semigroups. hirano and kido and takahashi [ 11 ], hirano [ 12 ] gave nonlinear retraction theorems for nonexpansive mappings in uniformly convex banach spaces with frechet differentiable norm. in 1997, li and ma [ 16 ] proved the ergodic retraction theorem for general semitopological semigroups in hilbert space without the conditions that the domain is closed and convex, which greatly extended the fields of applications of ergodic theory. chapter 2 of this paper, we obtain the ergodic retraction theorem for general semigroups and almost orbits of asymptotically nonexpansive type semigroups in reflexive banach spaces. and we give the ergodic retraction theorem for almost orbits of right reversible semitopological semigroups

    近年來, bruck [ 5 ] , reich [ 6 ] , oka [ 7 ]等在具frechet可微范數的一致凸banach空間中給出了非擴張及漸近非擴張映射及半群的遍歷收斂定。 li和ma [ 13 ]在具frechet可微范數的自反banach空間中給出了一般交換漸近非擴張型半群的遍歷收斂定,這是一個重大突破。本文第二章用一種新的證明方法在自反banach空間中,研究了揚州大碩士文2一般半群上的( r )類漸近非擴張型半群的弱遍歷收斂定,即:定3 . 1設x是具性質( f )的實自反banach空間, c是x的非空有界閉凸子集, g為含單位元的一般半群, s =仕工, 。
  9. Its propositions hold as well for objects made of rubber as for the rigid figures encountered in metric geometry

    的一些定適用於橡膠製成的(可變形的)物體,也同樣適用於在度量幾何中討的剛性圖形。
  10. This paper will study under layered real - time scheduling problem, which is based on the theory of mas ( multi - agent system ). first, we research the structure model of mars, then an uniform model based on han ( hierarchical agent networks ) is proposed, which can unify all sorts of model ; second, the communication model of mars has been studied, then we propose high level communication model and under layered network topology model, and they are the same with mars ; three, ground on above, a real - time cimunication protocol for mars - - - - - rtcmr has been presented. in this paper, we study the under layered real - time scheduling protocol of rtcmr, which include real - time process scheduling and real - time message scheduling

    本文首先研究了多智能體機器人系統結構模型,提出了多層次智能體網路一體化模型,該模型對各種結構模型分類進行了統一;然後對多智能體機器人系統的通信模型進行了研究,提出了適用於mars的高層通信模型和底層網路;在此基礎上,提出了基於多智能體機器人系統的實時通訊協議? ? rtcmr ,本文對rtcmr的底層調度協議進行了研究,包括實時任務調度和實時報文調度,提出了sp ts協議系統,建立了sp ts演算法的數模型, sp ts協議系統在實現了實時任務的絕對時限保證的同時也實現了底層實時報文傳輸的絕對時限保證,實現了實時任務調度和實時報文調度的統一,最後,提出了基於sp ts協議的spp tsp統一控制結構,並給出了該結構的統一調度petri網模型。
  11. On the basis of investigation and synthesis of the relative theory and key technology on the topological structure of locomotion, control system architecture, maneuverability, trafficability, the integration of exact mechanical engineering, net - based communication and sensor technology, an innovative robot with reconfiguration and biomimetic characteristics has been developed for 863 program of china ? study on autonomous navigation system for intelligence mobile robot in unknown environment

    本文針對「未知環境中自主工作智能移動機器人導航系統研究」的國家863項目,在綜述國內外關于移動機器人走行部結構、控制體系、機動性和通過性等移動機器人的相關和關鍵技術的基礎上,綜合利用精密機械、網路通信、傳感技術等科的技術,研製開發出一種多機動模式可重構移動機器人。
  12. The paper do n ' t attempt to definite new generalized metric space classes and new covers and mappings. this is because in the development of revent several decades in topology, the space classes were definited by all sorts of formal generalizations have reached a flooded extent, continual introduction of new spaces and over tiny division have made topology develop to an empty theorical margin

    本文不試圖去定義新的廣義度量空間類以及新的覆蓋與映射,這是因為近幾十年的發展,各種形式的「推廣」所定義的空間類已達到泛濫的程度,新空間的不斷引入,過細的劃分使得似乎發展到了空洞的邊緣。
  13. In this paper, under the circumstance of fuzzy information, a fuzzy reasoning method based on topological transformation is given by employing theory of fuzzy mathematics and fuzzy topology

    本文以fuzzy和模糊數與方法為基礎,提出基於模糊信息環境的模糊推方法? ?基於變換的模糊推
  14. With developing fuzzy mathematics, the importance of set value mapping has been highlighted, so that the upgrade of all kinds of the structures, such as ordered, topological measurable structure, etc, have been considered

    模糊數的發展突出了集值映射的重要性,各種數結構需要由域向其冪集上提升,如序結構的提升,結構的提升,可測結構的提升等等。
  15. The two key factors, machining methods and machine - setting parameters of sbg, which are related with the generation of theoretical tooth surface and topographic deviation for sbg, are analyzed in details. after building the machine - tool mathematical model and computing the tooth surface parameters, using the given conditions and mesh equation, the coordinates of the theoretical tooth surface of sbg can be computed, and, then, the theoretical tooth surface model of sbg is derived

    本文詳細地分析了形成螺旋錐齒輪齒面及產生誤差的兩個關鍵因素,即螺旋錐齒輪的切齒加工方法和機床調整參數;通過建立機床數模型,計算齒面參數,用已知條件和嚙合方程進行聯合求解,得出了齒面的坐標值,從而獲得了螺旋錐齒輪的齒面模型。
  16. The twelve kinds of modes and equivalent circuits of this inverter with high frequency link within one high frequency switching period are carefully analyzed ; by using the state - space averaging approach, the inverter ’ s averaging model is presented, and the design criterion of key circuit parameters and the output characteristic curve are given ; the analyses of the system stabilization and the mathematic analyzes of the principle of high - frequency - link of this inverter have also be done. prototypes for 1kva 270v 10 % dc / 115v400hzac uni - polarity phase shifting controlled bi - directional voltage mode inverter with high frequency link is designed

    以全橋橋式為例,述了雙向電壓源型高頻環節逆變器單極性移相控制的原、逆變器在一個高頻開關周期內的十二個工作模式及其等效電路;採用狀態空間平均法建立了逆變器平均模型,獲得了這類逆變器的關鍵電路參數的設計準則和外特性曲線;分析了系統穩定性,並對逆變器高頻環節原進行了數分析。
  17. On the basis of summarization of the simulating technology of sonar signal, the paper brings forward the mathematics models of radiate noises of ships and torpedo, and simulates in computer ; tests the correctness of some pivotal methods through the simulation, on the basis of which, system scheme being brought out ; a parallel processor with twelve sharcs, combining with parallel processing theory and topographic configuration, is used to realize the algorithm of noise simulation on the basis of research on optimum distribution of algorithm and method of embedment in real time ; at last, gui, realized with vc + + language, is used to set parameters and control the whole parallel system flexibly and conveniently

    本文在綜述聲納信號模擬技術的基礎上,首先提出艦船和魚雷輻射噪聲的模擬數模型,並進行了計算機模擬實現;通過計算機模擬驗證了一些關鍵技術的正確性,並由此提出系統實時實現方案;構造了一個12個處器的并行處機? sharc陣列,結合併行處和sharc陣列的結構研究了有關模擬演算法的最優分配及其嵌入整個聲納系統的方法,實時實現了噪聲模擬演算法。最後,使用vc + +語言編寫人機界面,靈活、方便地進行參數設置以及對整個并行處系統進行控制。
  18. In the area of pure mathematics, topics include number theory, abstract algebra, real and complex analysis, functional analysis, differential geometry, topology, and differential equations

    在純數的范疇,可供選讀的科目包括數、抽象代數、實和復分析、泛函分析、微分幾何、及微分方程等。
  19. Not only have the reseach results about go - space enriched the contents of general topology, but also have increased ingenious creativity and breakthrough and made general topology more wonderful and lively because of making use of the theory about ordinal and cardinal in set theory, axiomitic system and combinatorial theory

    一個世紀來, go -空間的研究成果不僅在內容上豐富和充實了一般,而且由於藉助集合的基數和序數、公體系及組合思想等,在方法上也給一般增添丁巧妙的創造性和突破性,使一般變得更加精彩生動。
  20. First, the thesis designs a whole geo - spatial data bank. generally, it involves in fundamental information preparation, writing standards, graph layer division, graph digitizing, collection of attribute data, edition, topological treatment, pretreatment, graph splicing, incorporation of attribute data and the final establishment

    文首先對研究區地空間數據庫進行了整體設計,大體經過基礎資料準備、制定數字化圖層及屬性文件格式標準、劃分圖層、數字化圖形與採集屬性數據、編輯修改與、進行預處、圖幅拼接與屬性數據合併,到地空間數據庫建立。
分享友人