比浏览器更快的访问！
15 关系: 埃因霍温理工大学，信号量，哲学家就餐问题，图灵奖，理论物理学，离散数学，结构化编程，荷兰，萊頓大學，计算机科学，鹿特丹，银行家算法，University of Texas at Austin，戴克斯特拉算法，操作系统。
埃因霍温理工大学
埃因霍温理工大学（荷兰语:Technische Universiteit Eindhoven，或译埃因霍温科技大学，缩写为TU/e)，原埃因霍温技术学校，是一个坐落于荷兰埃因霍温的歐洲頂尖理工大学。 在2007 年2月7 日, 荷兰三大理工大学（埃因霍温科技大学，台夫特理工大學和特文特大学）正式建立了荷兰顶级理工大学联盟3TU，並於2016年加入瓦赫寧恩大學，成為現今的4TU联盟。埃因霍温科技大学作為世界百强名校，位于荷兰科技中心恩荷芬市，是荷兰乃至全欧洲最负盛名的理工科大学之一，其高质量的教学與科研在荷兰国内和国际上都享有极高的知名度，与台夫特理工大學携手在多个排行榜中位居荷兰前二。.
新！!: 艾兹赫尔·戴克斯特拉和埃因霍温理工大学 · 查看更多 »
信号量
信号量（Semaphore）又稱為--，是一个同步对象，用于保持在0至指定最大值之间的一个计数值。当线程完成一次对该semaphore对象的等待（wait）时，该计数值减一；当线程完成一次对semaphore对象的释放（release）时，计数值加一。当计数值为0，则线程等待该semaphore对象不再能成功直至该semaphore对象变成signaled状态。semaphore对象的计数值大于0，为signaled状态；计数值等于0，为nonsignaled状态.
新！!: 艾兹赫尔·戴克斯特拉和信号量 · 查看更多 »
哲学家就餐问题
哲学家就餐问题（Dining philosophers problem）是在计算机科学中的一个经典问题，用来演示在并发计算中多线程同步（Synchronization）时产生的问题。 在1971年，著名的计算机科学家艾兹格·迪科斯彻提出了一个同步问题，即假设有五台计算机都试图访问五份共享的磁带驱动器。稍后，这个问题被托尼·霍尔重新表述为哲学家就餐问题。这个问题可以用来解释死結和资源耗尽。.
新！!: 艾兹赫尔·戴克斯特拉和哲学家就餐问题 · 查看更多 »
图灵奖
图灵奖（ACM A.M. Turing Award），又譯杜林獎、A.M.图灵奖，是计算机协会（ACM）于1966年设立的獎項，专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼徹斯特大学教授艾伦·图灵（A.M. Turing），这个奖设立目的之一是纪念这位現代计算机科學的奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。 图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。2014年11月13日，虽然英特尔退出赞助，Google反而将奖金提高到1,000,000美元，和诺贝尔奖奖金相近。 每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。.
新！!: 艾兹赫尔·戴克斯特拉和图灵奖 · 查看更多 »
理论物理学
论物理学（Theoretical physics）通过为现实世界建立数学模型来试图理解所有物理现象的运行机制。通过“物理理论”来条理化、解释、预言物理现象。 豐富的想像力、精湛的數學造詣、嚴謹的治學態度，這些都是成為理論物理學家需要培養的優良素質。例如，在十九世紀中期，物理大師詹姆斯·麥克斯韋覺得電磁學的理論雜亂無章、急需整合。尤其是其中許多理論都涉及超距作用（action at a distance）的概念。麥克斯韋對於這概念極為反對，他主張用場論來解釋。例如，磁鐵會在四周產生磁場，而磁場會施加磁場力於鐵粉，使得這些鐵粉依著磁場力的方向排列，形成一條條的磁場線；磁鐵並不是直接施加力量於鐵粉，而是經過磁場施加力量於鐵粉；麥克斯韋嘗試朝著這方向開闢一條思路。他想出的「分子渦流模型」，借用流體力學的一些數學框架，能夠解釋所有那時已知的電磁現象。更進一步，這模型還展示出一個嶄新的概念——電位移。由於這概念，他推理電磁場能夠以波動形式傳播於空間，他又計算出其波速恰巧等於光速。麥克斯韋斷定光波就是一種電磁波。從此，電學、磁學、光學被整合為一統的電磁學。.
新！!: 艾兹赫尔·戴克斯特拉和理论物理学 · 查看更多 »
离散数学
离散数学（Discrete mathematics）是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。与連續变化的实数不同，离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是連續变化的，而是拥有不等、分立的值。因此离散数学不包含微积分和分析等「连续数学」的内容。离散对象经常可以用整数来枚举。更一般地，离散数学被视为处理可数集合（与整数子集基数相同的集合，包括有理数集但不包括实数集）的数学分支。 。但是，“离散数学”不存在准确且普遍认可的定义。实际上，离散数学经常被定义为不包含连续变化量及相关概念的数学，甚少被定义为包含什么内容的数学。 离散数学中的对象集合可以是有限或者是无限的。有限数学一词通常指代离散数学处理有限集合的那些部分，特别是在与商业相关的领域。 隨著電腦科學的飛速發展，離散數學的重要性則日益彰顯。它為許多資訊科學課程提供了數學基礎，包括資料結構、演算法、資料庫理論、形式語言與作業系統等。如果沒有離散數學的相關數學基礎，學生在學習上述課程中，便會遇到較多的困難。此外，離散數學也包含了解決作業研究、化學、工程學、生物學等眾多領域的數學背景。由於運算對象是離散的，所以電腦科學的數學基礎基本上也是離散的。我們可以說電腦科學的數學語言就是離散數學。人們會使用離散數學裡面的槪念和表示方法，來研究和描述電腦科學下所有分支的對象和問題，如電腦運算、程式語言、密碼學、自動定理証明和軟件開發等。相反地，计算机的應用使離散數學的概念得以應用於日常生活當中（如運籌學）。 虽然离散数学的主要研究对象是离散对象，但是连续数学的分析方法往往也可以采用。数论就是离散和连续数学的交叉学科。同样的，有限拓扑（对有限拓扑空间的研究）从字面上可看作离散化和拓扑的交集。.
新！!: 艾兹赫尔·戴克斯特拉和离散数学 · 查看更多 »
结构化编程
結構化程式設計（Structured programming），一種編程典範。它採用子程序、、for迴圈以及while迴圈等結構，來取代傳統的 goto。希望藉此來改善计算机程序的明晰性、品質以及開發時間，並且避免寫出麵條式代碼。 結構化程式設計在1960年代開始發展，及朱塞佩·賈可皮尼（Giuseppe Jacopini）於1966年5月在《Communications of the ACM》期刊發表論文，說明任何一個有goto指令的程式，可以改為完全不使用goto指令的程式，後來艾兹赫尔·戴克斯特拉在1968年也提出著名的論文《GOTO陳述有害論》（Go To Statement Considered Harmful），，因此結構化程式設計開始盛行，此概念理論上可以由結構化程式理論所證明，而在實務上，當時也有像ALGOL一樣，有豐富控制結構的程式語言來實現結構化程式設計。.
新！!: 艾兹赫尔·戴克斯特拉和结构化编程 · 查看更多 »
荷兰
荷蘭（Nederland，），直譯尼德蘭，是主權國家荷蘭王國（）下的主要構成國，与美洲加勒比地区的阿鲁巴、库拉索和荷屬圣马丁等四個主體，共同组成這個主權國家。 荷兰的領土可分為歐洲區與加勒比區兩個部份。歐洲區領土位于欧洲西北部，濒临北海，与德国、比利时接壤，並與英國為鄰。加勒比海區，位於美洲加勒比海地區，包括博奈爾島、聖尤斯特歇斯島和薩巴島三個小島。荷蘭最大的三個城市分別為阿姆斯特丹、鹿特丹與海牙。阿姆斯特丹是宪法确定的正式首都，然而，政府、國王的王宫和大多数使馆都位于海牙。此外，国际法庭也设在海牙。鹿特丹港，位於鹿特丹，為全世界進出量第八的大型港口。 「尼德蘭」的字面意義，為低地國家，這個名稱來自於它國內平坦而低濕的地形。其國土中，只有約50%的土地高於海拔1公尺。其國土中，低於海平面的土地，絕大多數是人造的。從16世紀開始，荷蘭人，利用風車及堤防排乾積水，逐步由海中及湖中製造出圩田。現今荷蘭國土總面積中，有17%是人造的。荷蘭是一個人口非常稠密的國家，其人口密度為每平方公里406人，若不計入水域面積則是每平方公里497人。在全世界上，也只有孟加拉、台灣、韓國的總人口數與人口密度，同時高於尼德蘭。儘管如此，尼德蘭是世界第二大的糧食與農產品出口國，僅次於美國http://www.government.nl/news/2014/01/17/agricultural-exports-reach-record-levels.htmlhttp://www.hollandtrade.com/sector-information/agriculture-and-food/?bstnum.
新！!: 艾兹赫尔·戴克斯特拉和荷兰 · 查看更多 »
萊頓大學
萊頓大學（Universiteit Leiden）座落在荷蘭的萊頓市，是目前荷蘭持續運作中最古老的大學。萊頓大學是科英布拉集團、Europaeum以及歐洲研究型大學聯盟等大學聯盟的一員，享有極高的國際聲譽。該校建立於1575年，由八十年戰爭中的荷蘭革命領袖威廉王子所建，迄今仍與奧蘭治王室有密切關係。荷蘭君主威廉明娜女王、朱丽安娜女王、贝娅特丽克丝女王以及威廉-亚历山大國王也曾在萊頓大學學習。2005年，贝娅特丽克丝女王從萊頓大學獲得罕有的榮譽學位。 現今萊頓大學擁有6個學院、超過50個系及提供150個以上的課程。有超過40個國家級或國際級研究機構在該校設立。.
新！!: 艾兹赫尔·戴克斯特拉和萊頓大學 · 查看更多 »
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
新！!: 艾兹赫尔·戴克斯特拉和计算机科学 · 查看更多 »
鹿特丹
鹿特丹（Rotterdam ）是荷蘭南荷蘭省的城市，是荷兰第二大城市，位于荷兰的南荷蘭省，新马斯河畔。其名稱来自于在市中心注入新马斯河的小河鹿特河、以及荷蘭語的「壩」（Dam）。 鹿特丹长期为欧洲最大的海港，以集装箱运量计算，1980年代曾是世界上第一大港口，在2010年为世界第10。.
新！!: 艾兹赫尔·戴克斯特拉和鹿特丹 · 查看更多 »
银行家算法
银行家算法（Banker's Algorithm）是一个避免死锁（Deadlock）的著名算法，是由艾兹格·迪杰斯特拉在1965年为T.H.E系统设计的一种避免死結產生的演算法。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行。.
新！!: 艾兹赫尔·戴克斯特拉和银行家算法 · 查看更多 »
University of Texas at Austin
#重定向 德克薩斯州大學奧斯汀分校.
新！!: 艾兹赫尔·戴克斯特拉和University of Texas at Austin · 查看更多 »
戴克斯特拉算法
戴克斯特拉算法（Dijkstra's algorithm，又译迪杰斯特拉算法）由荷兰计算机科学家艾茲赫尔·戴克斯特拉在1956年提出。戴克斯特拉算法使用了廣度优先搜索解决赋权有向图的单源最短路径问题。该算法存在很多变体；戴克斯特拉的原始版本找到两个顶点之间的最短路径，但是更常见的变体固定了一个顶点作为源节点然后找到该顶点到图中所有其它节点的最短路径，产生一个最短路径树。该算法常用于路由算法或者作为其他图算法的一个子模块。举例来说，如果图中的顶点表示城市，而边上的权重表示城市间开车行经的距离，该演算法可以用来找到两个城市之间的最短路径。 该演算法的輸入包含了一個有權重的有向圖 G，以及G中的一個來源頂點 S。我們以 V 表示 G 中所有頂點的集合。每一個圖中的邊，都是兩個頂點所形成的有序元素對。(u, v) 表示從頂點 u 到 v 有路徑相連。我們以 E 表示G中所有邊的集合，而邊的權重則由權重函數 w: E → 定義。因此，w(u, v) 就是從頂點 u 到頂點 v 的非負权重（weight）。邊的权重可以想像成兩個頂點之間的距離。任兩點間路徑的权重，就是該路徑上所有邊的权重總和。已知 V 中有頂點 s 及 t，Dijkstra 演算法可以找到 s 到 t 的最低权重路徑(例如，最短路徑)。這個演算法也可以在一個圖中，找到從一個頂點 s 到任何其他頂點的最短路徑。 最初的戴克斯特拉算法不采用最小优先级队列，时间复杂度是O(|V|^2)(其中|V|为图的顶点个数)。通过斐波那契堆实现的戴克斯特拉算法时间复杂度是O(|E|+|V|\log|V|) (其中|E|是边数) 。对于不含负权的有向图，这是目前已知的最快的单源最短路径算法。.
新！!: 艾兹赫尔·戴克斯特拉和戴克斯特拉算法 · 查看更多 »
操作系统
操作系统（operating system，縮寫作 OS）是管理计算机硬件與软件資源的计算机程序，同时也是计算机系统的核心与基石。操作系统需要处理如管理與配置内存、決定系統資源供需的優先次序、控制輸入與輸出裝置、操作网络與管理文件系统等基本事務。操作系统也提供一個讓使用者與系統互動的操作界面。 操作系统的型態非常多樣，不同機器安裝的操作系统可從簡單到複雜，可從行動電話的嵌入式系统到超級電腦的大型作業系統。許多操作系统製造者對它涵盖范畴的定义也不尽一致，例如有些操作系统整合了图形用户界面，而有些僅使用命令行界面，而將图形用户界面視為一種非必要的應用程式。 操作系统理论在计算机科学中，為歷史悠久的分支；。.
新！!: 艾兹赫尔·戴克斯特拉和操作系统 · 查看更多 »
