理論計算機學 的英文怎麼說
中文拼音 [lǐlúnjìsuànjīxué]
理論計算機學
英文
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...
-
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理論與許多數學學科產生了密切的聯系。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
中大博文講座教授姚期智教授是首位杜林獎的華裔得獎人,其領導的理論計算機科學研究工作于區內享負盛名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動力學的機器人動力學正向、逆向遞推公式;針對機器人負載參數辨識必須在線、實時的特點提出了基於腕力傳感器的負載參數在線識別方法,給出了負載參數識別的步驟。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理論為計算機程序設計語言的指稱語義學奠定了數學基礎,處于拓撲學,格論,范疇論及理論計算機等多學科的交匯處,有著重要的研究價值。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
本論文以國家自然科學基金項目「船舶碰撞與避碰的運動機理及計算機智能模擬系統研究」和「基於高速船輕型結構流體沖擊響應、控制與實驗方法研究」為依託,將模糊自適應控制應用於船舶的航向控制,這些研究將對我國船舶自動化水平的提高具有較大現實意義。Challenge and its countermeasures faced by college students in obtaining employment
計算機學科向理論力學教學過程的滲透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
本專業主要開設教學設計、傳播理論、媒體理論、計算機網路技術、數據庫原理與應用、計算機輔助教育、多媒體課件製作、教育電聲系統、教育電視系統、攝影技術與藝術、教育電視節目製作與編導等課程。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
在人工智慧和理論計算機科學領域,多智能體系統中的知識表示和知識推理最近十年來逐漸受到重視。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
本論文基於摩擦學原理和計算機技術,通過對鐵譜片進行數字化圖像預處理,採用對譜片圖像的平滑、濾波以及閾值二值分割等方法,計算出譜片中特徵磨粒的一些特徵參量,如面積、周長、粒度以及縱橫比等。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等程序進行理論計算和綜合對比分析,探討大跨徑預應力砼連續剛構橋的力學特點和使用性能,運用先進的理論、技術、材料、工藝等來解決設計和施工中存在的實際問題,優化結構,並為橋梁的設計、施工及使用維護等提供可靠的技術資料。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
對充入該工質的熱管加熱爐,本文根據工程熱力學和相變傳熱學及相關知識,對其進行了傳熱分析,經過適當假設,運用質量守恆和能量守恆定律,建立了裝置動態集中參數模型,描述了加熱爐從開機到穩定運行這一動態過程各參數的變化情況,同時對燃燒過程也進行了熱力計算,最終得到了穩態工況下裝置的換熱系數、熱效率等熱力參數;在理論計算的基礎上,親赴現場觀察該爐的實際運行情況,通過與原有的加熱爐的各項性能進行對比,最終證明新爐的高效性和可靠性,為其在油田中推廣的可行性提供了依據。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應用程序框架及程序結構。The disposal of the authenticity of a menu is a result form of the combination of the computer graphics and the computer operative technology
摘要計算機圖形學畫面真實性處理是計算機圖形學理論與計算機實用技術結合的結果。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 )的子題之一,對此問題進行了全面的、系統的研究,從理論計算和施工實踐兩方面提出了解決方案。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
智能機器人視覺伺服控制是實時圖像處理、機器人運動學、控制理論、計算機技術以及實時計算等領域的融合,是計算機視覺研究前沿的一個重要分支。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
智能機器人視覺伺服控制是實時圖像處理、機器人運動學、控制理論、計算機技術以及實時計算等領域的融合,是計算機視覺研究前沿的一個重要分支。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年設立杜林獎以來,首次頒予華人科學家,美國計算機學會並贊揚姚教授對計算理論作出了根本性而意義重大的貢獻,其中包括基於復雜性的?亂數生成理論、密碼學和通信復雜性。Degrees in engineering, sciences, management, social sciences and humanities. located southeast of beijing city
-經濟管理計算機學科的民辦高校,學刊,文摘方面的文章及博客論壇。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
第四種學士學位規劃則是針對有興趣研究理論計算機科學的數學與計算機科學學位。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引入中學地理教學的需要。分享友人