computer science theory 中文意思是什麼

computer science theory 解釋
計算機科學理論
  • computer : n. 1. 計算者。2. (電子)計算機;計量器。-ism 電子計算機主義〈認為電子計算機萬能等〉。-erite, -nik 計算機專家;計算機工作者。
  • science : n 1 科學;科學研究。2 (一門)科學,學科。3 自然科學。4 學;學問;〈古語〉知識。5 (拳術、馬術等...
  • theory : n. 1. 理論,學理,原理。2. 學說,論說 (opp. hypothesis)。3. 推測,揣度。4. 〈口語〉見解,意見。
  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 ) from the viewpoints of sociology, bibliometrics and computer science, this thesis analyses basic theory of web hyperlink, and then implements a new technique that can be used to discover new related resources on the web using the modification of the classical hits algorithm ( hypertext induced topic search )

    ( 3 )從社會學、文獻計量學和計算機科學等角度分析了web超鏈相關知識,並在經典的hits演算法基礎上,設計並實現了一個web主題資源的自動發現技術。
  3. 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理論為計算機程序設計語言的指稱語義學奠定了數學基礎,處于拓撲學,格論,范疇論及理論計算機等多學科的交匯處,有著重要的研究價值。
  4. Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis. the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science, which are important in theory and have wide applications in a lot of real - world problems

    命題邏輯可滿足性( sat )問題和有限論域一階邏輯模型搜索( folms )問題是計算機理論科學中的經典問題,不僅在理論上有著重要的地位,而且在許多實際問題中得到了廣泛的應用。
  5. With the development of computer science and technology, yuan ' s theory and conclusions on the chinese characters have been proved to be true and scientific with some predicting sense

    計算機科學的飛速發展,進一步驗證了她和漢字研究會關于漢字的論斷不僅是正確的、科學的而且具有超前意識。
  6. Amb is one of the advanced technology, and the research come down to electromagnetics, control theory, mechanics, rotor dynamics and computer science, and so on

    主動磁軸承技術是一種高新技術,其研究涉及到電磁學、控制理論、機械學、轉子動力學以及計算機科學等多個學科的知識。
  7. Active magnetic bearing ( amb ) is one of outstanding technology, and the research come down to electromagnetic, control theory, machine, rotor dynamics and computer science, and so on

    主動磁軸承技術是一種高新技術,其研究涉及到電磁學、控制理論、機械學、轉子動力學以及計算機科學等眾多學科的知識。
  8. Based on lots of advanced results of computer graphics, modem mathematics, computer science and topography, etc. this thesis discussed the theory, techniques and arithmetic of three - dimensional terrain visualization in three - dimensional gis, such as terrain modeling techniques for digital elevation model, basic theory of three - dimensional terrain visualization, dynamical three - dimensional terrain display with simplified model, and spatial query methods within three - dimensional terrain maps. among these techniques, combined with concrete requirements for visualization in flood control decision - making system, this thesis emphasized on the following aspects : 1

    本文在吸取了計算機圖形學、現代數學、計算機科學、測繪學等眾多領域大量先進理論成果的基礎上,系統的論述了三維gis中地形三維可視化的理論、技術和演算法,包括數字高程模型的地形表面建模技術、地形三維可視化的基本理論、基於模型簡化的地形三維動態顯示技術以及基於三維地形圖的空間查詢技術。
  9. Based on lots of advanced results of computer graphics, modem mathematics, computer science and topography, etc. this thesis discussed the theory, techniques and arithmetic of three - dimensional visualization, such as the data structure based on three - dimensional space, terrain and object modeling techniques, basic theory of three - dimensional terrain visualization, dynamical three - dimensional terrain display, matching and display technology between terrain and objects and spatial query within three - dimensional terrain maps

    本文在吸取了計算機圖形學、現代數學、計算機科學、測繪學等眾多領域大量先進理論成果的基礎上,系統的論述了三維可視化中的三維空間中數據結構、地形地物三維可視化的理論、技術和演算法,包括三維空間數據結構的設計、地形三維可視化的基本理論、地形三維動態顯示技術、地物與地形的匹配與顯示技術以及基於三維地形圖的空間查詢技術。
  10. Information fusion consists of a collection of subdisciplines, such as mathematics, military affairs, computer science, autocontrol theory, artifical intelligence, communications technology, manage science. information fusion has been applied to many research fields, such as robot and intelligent instrument system, battlefield mission, pilotless aircraft, image analysis and understanding, target tracker and detection, multiplesource image reconstruction, and so on

    信息融合技術最早用於軍事領域,現已成功地應用於包括機器人和智能儀器系統、戰場任務與無人駕駛飛機、圖像分析與理解、目標檢測與跟蹤、自動目標識別和多源圖像復合等眾多研究領域。
  11. Automata theory allows practice with formal definitions of computation as it introduces concepts relevant to other nontheoretical areas of computer science

    自動控制理論允許執行正式的計算定義,因為它引用了相關的計算機科學的其他非理論方面的概念。
  12. Automata theory is an important branch of computer science theory. it is widely applied in many fields, such as communication, detection, biology, neurology, psychology, intelligence, economy, and sociology. the research on it is closely related to the development of computer software and hardware

    自動機理論是計算機科學中的一個重要組成部分,在通訊、檢測、生物、神經、心理、智能、經濟和社會等諸多領域都有著廣泛應用,其研究與計算機軟硬體發展密切相關。
  13. The former focuses on the field of curriculum theory, instructional design theory, and constructivism ; the latter on educational technique, information tools and computer science, etc. sometimes the two mainstays coincide on the level of philosophy, sociology and psychology metaphysically ; sometimes they integrate in individual teaching activities

    形而上時,這兩條主線會在哲學、社會學、心理學的層面上會合;形而下時,它們會在現實的教學活動中以案例的形式進行整合。
  14. The development of the modern science and technology provides new methods and ideas to resolve these problems, such as fuzzy theory, forecasting technique, computer science, network technique, information technique, database technique, etc. this dissertation puts forward a fuzzy - similarity - comparison method complemented by man - hour method

    模糊理論、預測技術、計算機技術、網路技術、信息技術、數據庫技術等現代科學的發展,為這一問題的解決提供了新的思路和方法。
  15. The problem of finding optimal diameter double loop network with a fixed number of vertices has been widely studied by graph theory and computer science researchers

    摘要找出給定頂點數的雙環網的最小直徑是圖論和計算機工作者重點研究的問題之一。
  16. Elliptic curve cryptosystems on reconfigurable hardware information security technology is a compositive subject, which includes information theory, computer science, cryptography and other aspects fields. it aims to research the protection method of information, which are transferring in the computer system and communication network. also it is responsible to the security, secrecy, verity and integrity of the information

    信息安全技術是一門綜合的學科,它涉及信息論、計算機科學和密碼學等多方面知識,它的主要任務是研究計算機系統和通信網路內信息的保護方法以實現系統內信息的安全、保密、真實和完整。
  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. The journal caters for middle school mathematics teachers senior college students and postgraduates majoringin mathematics or its related specialties technicians, engineers as well as for researchers and teachers in operations research, optimization theory, applied mathematics, computational mathematics, computer science, administration science, system engineering, control engineering and economics

    供運籌學、最優化理論、應用數學、計算數學、計算機科學、管理科學、系統工程、經濟學工作者、以及工程技術人員、高等院校有關專業高年級學生與研究生、中等學校的數學教師閱讀。
  19. Within the last more than twenty years, concurrent with the growth of computer science, graph theory has seen explosive growth. perhaps the fastest growing area within graph theory is the study of domination in graph

    在過去的二十幾年中,隨著計算科學的迅速發展,圖論得到了前所未有的巨大發展,而其中發展最快的也許就是關于圖的控制數的研究。
  20. Topic coverage, terminology, and order of presentation are traditional for an upper - level course in computer science theory

    課題內容、術語和介紹的順序對於一門理論計算科學的高級課程來說是相當傳統的。
分享友人