理論計算機學 的英文怎麼說

中文拼音 [lúnsuànxué]
理論計算機學 英文
theoretical computer science
  • : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
  • : 論名詞(記錄孔子及其門徒的言行的「論語」) the analects of confucius
  • : Ⅰ動詞1 (計算) count; compute; calculate; number 2 (設想; 打算) plan; plot Ⅱ名詞1 (測量或計算...
  • : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
  • : machineengine
  • : Ⅰ動詞1 (學習) study; learn 2 (模仿) imitate; mimic Ⅱ名詞1 (學問) learning; knowledge 2 (學...
  • 理論 : theory
  • 計算機 : computer; calculator; calculating machine; computing machinery; electronic wizard; processor; pro...
  • 計算 : 1 (求得未知數) count; compute; calculate; reckon; enumerate 2 (考慮; 籌劃) consideration; pla...
  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. Prof. andrew yao, cuhk professor - at - large and the first chinese to win the turing award in computer science, under whose leadership our theoretical computer science programme is now the most acclaimed in the region

    中大博文講座教授姚期智教授是首位杜林獎的華裔得獎人,其領導的研究工作于區內享負盛名
  3. And then, the error matrixes of location and kinemics of the end point, and the on - line error compensation method are given based on robot ' s dynamics. finally based on puma robot, three simulation examples are given respectively ; the first is about the location error and on - line location error compensation, the second is about the kinetic error and on - line kinetic error compensation, the third is about location and kinetic errors causing by robot ' s dynamics and the on - line error compensations. the simulation results show that : a ) location error of the end point based on elastic deformation of the sensor will be about millimeter ' s degree under the permitting load, b ) the on - line error compensation methods given are available

    第三章首先概括了目前器人連桿慣性參數識別的四種方法,總結這些方法的優、缺點;指出這些方法存在的問題是:或者需將器人解體,不能在線進行參數識別,或者不能給出器人連桿獨立的慣性參數值,只能獲得慣性參數的組合值,而這些方法的共同問題是:不能考慮器人連桿的關節特性;本章提出了一種基於腕力傳感器的器人末端連桿慣性參數在線識別方法,給出了該方法的和推導;研究提出了以腕力傳感器輸出為前提的、基於newton - euler動力器人動力正向、逆向遞推公式;針對器人負載參數辨識必須在線、實時的特點提出了基於腕力傳感器的負載參數在線識別方法,給出了負載參數識別的步驟。
  4. 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程序設語言的指稱語義奠定了數基礎,處于拓撲,格,范疇等多科的交匯處,有著重要的研究價值。
  5. The paper is based on the project of national natural science foundation " the intelligent control system of ship on bumping and avoiding bumping " and " the study based on the impulsion response of light duty configuration, control and experiment method of high speed ship ". the fuzzy adaptive control is applied to ship steering. it is significant to improve automation technology of ship in china

    文以國家自然科基金項目「船舶碰撞與避碰的運動智能模擬系統研究」和「基於高速船輕型結構流體沖擊響應、控制與實驗方法研究」為依託,將模糊自適應控制應用於船舶的航向控制,這些研究將對我國船舶自動化水平的提高具有較大現實意義。
  6. Challenge and its countermeasures faced by college students in obtaining employment

    科向過程的滲透
  7. This major basically offers education design, transmission principle of technology of network of academic, media theory, computer, database and application, cai, multimedia class make, tv program of technology of system of tv of educational cable sound system, education, photography and art, education is made with playwright - director

    本專業主要開設教、傳播、媒體網路技術、數據庫原與應用、輔助教育、多媒體課件製作、教育電聲系統、教育電視系統、攝影技術與藝術、教育電視節目製作與編導等課程。
  8. In the area of artificial intelligence and theoretical computer science, researchers have paid incremental attentions to the knowledge reasoning ofmulti - agent systems during the near ten years

    在人工智慧和領域,多智能體系統中的知識表示和知識推最近十年來逐漸受到重視。
  9. The characteristic parameters of effective debris in a ferrograph have been calculated in the present thesis, like area, perimeter, aspect ratio and granularity, in which some methods have been adopted such as smoothing, filtering and thresholding and so on, according to tribological theories and computer technologies and digital image preprocessing

    文基於摩擦技術,通過對鐵譜片進行數字化圖像預處,採用對譜片圖像的平滑、濾波以及閾值二值分割等方法,出譜片中特徵磨粒的一些特徵參量,如面積、周長、粒度以及縱橫比等。
  10. The author designed, made, processed and tested to the plexiglass model and the bridge. then author calculated and analyzed the results, as a result of the computer programs bsas, sap, qjx and nastran. the author researched the force characteristics and structural behavior of large - span prestressed concrete bridges with continuous rigid frame structure, used the advanced theory and technology, materials, arts and crafts to resolve the practical matters in design and construction, to optimize structure, and to provide credible technical data for the design and construction and maintenance of bridges

    本文以吉林省九站松花江特大橋為研究對象,通過有玻璃模型的設製作及加工和試驗,以及對已竣工通車的實橋荷載試驗,利用程序bsas 、 sap 、 qjx及nastran等程序進行和綜合對比分析,探討大跨徑預應力砼連續剛構橋的力特點和使用性能,運用先進的、技術、材料、工藝等來解決設和施工中存在的實際問題,優化結構,並為橋梁的設、施工及使用維護等提供可靠的技術資料。
  11. According to the theory of engineering thermodynamics and phase change, heat - transfer process of the special working fluid heat - pipe stove is analyzed. some hypotheses are postulated and with the help of equation of mass - conservation, energy - conservation, the dynamic concentrative parameter model is built, the change of each parameter is prescribed at any stage from starting to stopping. with the thermodynamic calculation of burnable process, the parameter of device, such as heat - transfer coefficient / thermal efficiency etc, are achieved under steady state ; based on theoretic calculation, observing the actual running circumstance of the heating stove in person, with some performance comparison between the new and the old, the high efficiency and reliability of heat - pipe stove is proved, the project which expend it in the oil - filed is feasible

    對充入該工質的熱管加熱爐,本文根據工程熱力和相變傳熱及相關知識,對其進行了傳熱分析,經過適當假設,運用質量守恆和能量守恆定律,建立了裝置動態集中參數模型,描述了加熱爐從開到穩定運行這一動態過程各參數的變化情況,同時對燃燒過程也進行了熱力,最終得到了穩態工況下裝置的換熱系數、熱效率等熱力參數;在的基礎上,親赴現場觀察該爐的實際運行情況,通過與原有的加熱爐的各項性能進行對比,最終證明新爐的高效性和可靠性,為其在油田中推廣的可行性提供了依據。
  12. At fist the paper introduced something about computer graphics, such as coordinates transformation, perspective theory. and then the paper presented how to make up a frame and a structure of an opengl program in visual c + + 6. 0

    本文首先概述了坐標變換、透視原圖形的相關,介紹了opengl及如何在visualc + + 6 . 0下建立opengl應用程序框架及程序結構。
  13. The disposal of the authenticity of a menu is a result form of the combination of the computer graphics and the computer operative technology

    摘要圖形畫面真實性處圖形實用技術結合的結果。
  14. As a sub - topic of " cracking mechanism and a whole set of control technique of modern concrete, structure " ( no : 50278031 ) supported by national natural science foundation, this paper studies ail - roundly and systematically temperature crack controlling technique of basement wall of high - rise building and puts forward the solution methods into the theoretical calculation and construction practice

    本文作為國家自然科基金「現代混凝土結構裂縫及成套控制技術」 (編號: 50278031 )的子題之一,對此問題進行了全面的、系統的研究,從和施工實踐兩方面提出了解決方案。
  15. Intelligent robot visual servo is the fusion of results from many elemental areas including real - time image processing, robot kinematics, robot dynamics, control theory, computer technology and real - time computation, and is a main subject in the research field of computer vision

    智能器人視覺伺服控制是實時圖像處器人運動、控制技術以及實時等領域的融合,是視覺研究前沿的一個重要分支。
  16. Intelligent robot visual servoing is the fusion of results from many elemental areas including high - speed image processing, robot kinematics, robot dynamics, control theory, computer technology and real - time computation, and is a main subject in the research field of robot visual servoing system

    智能器人視覺伺服控制是實時圖像處器人運動、控制技術以及實時等領域的融合,是視覺研究前沿的一個重要分支。
  17. Professor yao was awarded the turing award in 2000, " in recognition of his fundamental contributions to the theory of computation, including the complexity - based theory of pseudorandom number generation, cryptography, and communication complexity ". his research activities are in the design of efficient computer algorithms, and complexity theories in emerging new areas of theoretical computer science, such as quantum communication and computing

    姚教授於2000年獲頒杜林獎,這是美國會自1966年設立杜林獎以來,首次頒予華人科家,美國會並贊揚姚教授對作出了根本性而意義重大的貢獻,其中包括基於復雜性的?亂數生成、密碼和通信復雜性。
  18. Degrees in engineering, sciences, management, social sciences and humanities. located southeast of beijing city

    -經濟管科的民辦高校,刊,文摘方面的文章及博客壇。
  19. A fourth undergraduate program leads to the degree bachelor ' s of science in mathematics with computer science ; it is intended for students seriously interested in theoretical computer science

    第四種位規劃則是針對有興趣研究的數位。
  20. It is the development of computer technology that make use of gis feasible in the secondary geography. network provide plenty of information and data. professional gis soft is walking into the secondary geography, the appropriate data sets is accessible via the internet without the need for gis software or data on local computers

    把gis引入中中符合現代教育技術的發展為gis用於中提供了可能;網際網路是地教師和生最廣袤的教資源庫,從網際網路上可以獲得gis所用的數據和信息;專業的gis軟體正在走近中,可以直接通過網路存取數據;國家開始重視中教師gis教能力的培養;部分中現有的軟硬體設施能夠滿足gis引入中的需要。
分享友人