theoretical computer science 中文意思是什麼

theoretical computer science 解釋
理論計算機科學
  • theoretical : adj. 1. 理論（上）的，學理上的 （opp. applied）。2. 假設（性）的；純理論的，推理的。3. 空論的 （opp. practical）。adv. -ly
  • computer : n. 1. 計算者。2. （電子）計算機；計量器。-ism 電子計算機主義〈認為電子計算機萬能等〉。-erite, -nik 計算機專家；計算機工作者。
  • science : n 1 科學；科學研究。2 （一門）科學，學科。3 自然科學。4 學；學問；〈古語〉知識。5 （拳術、馬術等...
  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. 3 pnueli a. a temporal logic of concurrent programs. theoretical computer science, 1981, 13 : 45 - 60. 4 mcmillan k l. symbolic model checking

    符號化的模型檢測技術利用二叉圖binary decision diagram表示狀態轉換關系，降低了系統模型所需的內存空間。
  3. Theoretical computer science, 1997, 175 : 127 - 158. 3 toyama y. how to prove equivalence of term rewriting systems without induction

    本方法基於覆蓋集合歸納法和項重寫系統的元計算模型：動態項重寫計算。
  4. 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

    中大博文講座教授姚期智教授是首位杜林獎的華裔得獎人，其領導的理論計算機科學研究工作于區內享負盛名
  5. 1 ranjan d, chang r, hartmanis j. space bounded computations : review and new separation results. theoretical computer science, 1991, 80 : 289 - 302. 2 geffert v. nondeterministic computations in sublogarithmic space and space constructability

    交替式下推自動機進入存在狀態，可以在多種可能性中選擇一個可行的而進入萬能狀態時，就協同地對多種可能性進行并行計算，當且僅當所有可能性都可行時，整個計算才是可行的。
  6. 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理論為計算機程序設計語言的指稱語義學奠定了數學基礎，處于拓撲學，格論，范疇論及理論計算機等多學科的交匯處，有著重要的研究價值。
  7. Theoretical computer science, 2001, 259 : 475 - 492

    閉包屬性在計算機理論科學中應用很廣。
  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. Based on the characteristic of the pavement serviced, the traffic and the maintenance management of the major highwaays in zheng - zhou city, this paper makes up the theony and mothed for pavement service performance makes a systemly analysis and research of item queuing and decision potimum, and puts forward to the way to the pavement maintenance of the major highways with the system analysis theory, the modern information technique and much scientific knowledge on system science, management science, project economy, highway engineering, computer technique and son on, which meet he need of the macromanagement and the major management on the highway maintenance through the theoretical analysis, the maintenance management, the qualitative analysis and the quantitative analysis. after practically used, we have a better conclusion

    本文依據鄭州市干線公路路面使用性能現狀特徵、交通特徵、養護管理特徵，以系統分析原理為指導，現代信息技術為手段，綜合運作系統科學，管理科學、工程經濟、道路工程、計算機技術等多種科學知識，對項目排序和決策優化方法進行了較為系統的分析與研究，面對道路養護宏觀管理與重點管理的要求，通過理論分析與養護管理實際相結合，定性分析與定量分析相結合，建立了路面使用性能評價的理論方法，提出了干線公路路面養護技術對策，經過實際推廣應用，取得了較好的效果。
  10. 21 majster - cederbaum m, salger f. towards the hierarchical verification of reactive systems. theoretical computer science, 2004, 318 : 243 - 296. 22 winskel g. an introduction to event structures. lecture notes in computer science 354, 1989, pp. 364 - 397. 23 hoare c a r. communicating sequential processes, prentice - hall, 1985

    本文分別在語法和語義層次上對動作精化進行了定義，並證明了這兩個層次的動作精化在前述兩種等價關系下，關於一種基於完全偏序的指稱語義是一致的。
  11. In this article, the concept of statistical template based on data was firstly brought forward, which can effectively simulate the entire statistical computation process by recording the information of data structure and analytic method. we make the statistical template as theoretical basis of statistical analysis platform ( sap ) the statistical template can make our sap has the properties described as follow : 1. good facility the requirement is to have the statistical knowledge, user need n ' t has any background of computer science and computational mathematics ; the time that is used to learn is short

    本文通過對一般統計計算過程的分析，提出了以統計數據為中心的統計分析模板的概念，該概念以統計欄位來描述統計數據的數據結構，通過記錄統計數據結構信息及其相應的統計分析計算服務信息的形式在邏輯上有效地模擬了統計計算的全過程，從而為統計軟體平臺構建了一個堅實的理論基礎，使該統計軟體平臺具備了以下特點： 1 、易於使用概念清晰、使用簡便，作分析工作時使用者無需任何計算機科學和計算數學背景知識，懂得基本操作即可，學習周期短。
  12. 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年設立杜林獎以來，首次頒予華人科學家，美國計算機學會並贊揚姚教授對計算理論作出了根本性而意義重大的貢獻，其中包括基於復雜性的?亂數生成理論、密碼學和通信復雜性。
  13. 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

    第四種學士學位規劃則是針對有興趣研究理論計算機科學的數學與計算機科學學位。
  14. The computer simulation technique for flow visualization is the technique of computational flow imaging ( cfi ). cfi is succinctly defined as the art and science of generating digital images of theoretical fluid observations of real flow fields. it involves numerical value calculation, image processing, computer graph and so on

    流動顯示的計算機模擬技術亦即計算流場成像（ cfi ）技術，是根據計算流動現象產生數字圖像模擬真實流動的光學觀測的方法和藝術，涉及到數值計算、圖像處理、計算機圖形生成等多種技術。
分享友人
分享到 Line

分享到臉書