• 赫尔·韦伯·克斯(荷蘭語:Edsger Wybe Dijkstra,荷兰语:[ˈɛtsxər ˈʋibə ˈdɛikstra] (),1930年5月11日—2002年8月6日),又譯赫尔·韦伯·迪杰,生於荷蘭鹿特丹,计算机科学家,是荷蘭第一位以程式為專業的科學家。曾在1972年...
    14 KB (1,092 words) - 11:26, 11 January 2024
  • 迪科彻或克斯(Dijkstra)是荷蘭文姓氏,可以指: 赫尔·克斯(Edsger Wybe Dijkstra),荷蘭電腦科學家,發現了最短路徑的迪科彻算法。 蕭耶·克斯(Sjoukje Rosalinde Dijkstra),荷蘭花式溜冰運動員,1964年冬奧會女子單人滑金牌。...
    475 bytes (60 words) - 21:51, 20 April 2023
  • 克斯算法(英語:Dijkstra's algorithm),又稱迪杰算法、Dijkstra算法,是由荷兰计算机科学家赫尔·克斯在1956年发现的算法,并于3年后在期刊上发表。克斯算法使用类似廣度优先搜索的方法解决赋权图的单源最短路径问题。 该算法存在很多变体:克斯...
    39 KB (4,730 words) - 09:47, 19 December 2023
  • 重要论文均在标题中使用的一个短语模板。其起源可以追溯到1968年赫尔·克斯的文章《Go To语句被认为有害》(Go To Statement Considered Harmful)。 “被认为有害”一词由赫尔·克斯发表在1968年3月的ACM通讯(CACM)上的《Go...
    5 KB (723 words) - 21:04, 15 May 2021
  • ·珍·費(英語:Ella Jane Fitzgerald,1917年4月25日—1996年6月15日),雅號夫人(Lady Ella,即爵士樂第一夫人,英語:First Lady of Song),美國歌手,被公認為20世紀最重要的爵士樂歌手之一,與比莉·荷莉和莎·沃恩齊名。...
    27 KB (3,718 words) - 05:42, 8 March 2024
  • 守卫命令语言 (category 赫尔·克斯)
    守卫命令语言(GCL:Guarded Command Language)是赫尔·克斯为谓词变换语义(英语:predicate transformer semantics)定义的一门语言。它以精简方式组合了编程概念,它们处在以某种实际的编程语言书写程序之前。它的简单性使得采用霍逻辑证明程序的正确性更加容易。...
    8 KB (1,207 words) - 17:20, 6 September 2021
  • semaphore对象的计数值大于0,为signaled状态;计数值等于0,为nonsignaled状态。 信号量的概念是由荷兰计算机科学家赫尔·克斯(Edsger W. Dijkstra)发明的,广泛的应用于不同的操作系统中。在系統中,給予每一個行程一個信号量,代表每個行程目前的狀態,未...
    6 KB (743 words) - 02:22, 5 December 2023
  • 参考资料 查·巴貝奇(Charles Babbage),英國發明家,電腦先驅。 蒂姆·伯纳-李(Tim Berners-Lee),萬維網發明者。 琳·康維(Lynn Conway) 赫尔·克斯(Edsger Dijkstra),計算理論先驅,演算法研究者,克斯算法發明人。 马丁·福勒(Martin...
    3 KB (346 words) - 03:41, 16 April 2024
  • 赫尔·克斯。 1968年,伯曼以客席研究者的身分加入卡内基·梅隆大学。1969年他當上電腦科學系副教授,1974年正教授,1979年擔任代理系主任,1980至1988年擔任學系主任。 1986至1993年逝世,伯曼亦於上海交通大学任兼職教授。 大約1970年,伯曼聯同 William...
    2 KB (293 words) - 22:27, 12 April 2023
  • 凡·瓦·赫尔(德語:Stefan Walter Hell,1962年12月23日—),生于罗马尼亚阿德,德国物理学家、马克斯·普朗生物物理化学研究所所长之一。 2014年,因「研制出超分辨率螢光顯微镜」,與·貝齊格、威廉·莫共同獲得諾貝爾化學獎。 凡·赫尔...
    6 KB (439 words) - 09:48, 11 October 2020
  • 银行家算法(英語:Banker's Algorithm)是一个避免死锁的著名算法,是由荷蘭計算機科學家赫尔·克斯在1965年为T.H.E作業系統设计的一种避免死結產生的演算法。它以银行借贷系统的分配策略为基础,判断并保证系统的安全运行。 在银行中,客户申请贷款的数量是有限的,每个客户在第一...
    5 KB (601 words) - 16:19, 10 November 2023