艾兹赫尔·迪杰斯特拉
人物简介
艾兹赫尔·W·迪杰斯特拉（Edsger W. Dijkstra，1930—2002）是荷兰计算机科学家。他在图算法、并发程序的互斥与死锁推理、结构化程序设计和程序正确性形式方法上提出了一系列奠基性工作。
战后计算机的发展把算法设计、操作系统和程序可靠性带入共同形成阶段。迪杰斯特拉的手稿、教学和论证与图论、逻辑、编程语言研究相连，也与 Dekker、Dahl、Hoare、Gries、Owicki 等人的并行或后续工作共同塑造了这些领域。
公开来源
评分详情
已评估 5 组贡献，仍在补充。
评估范围
本轮当前已列5项有限研究账；M与归功份额为可修订判断。未覆盖内容和未核清的负面作用不按零处理，具体缺口见逐项说明。
其中 5 项仍含暂估信息，具体缺口见对应贡献。
计算方式
Q = 10^(M/2) − 1；Lᵢ = aᵢ × Qᵢ；L = Σ Lᵢ；S = 2 × log₁₀(1 + L)。
M 表示成果量级，a 表示个人分配份额。每项单项折合分只能用于观察单项尺度，不能直接相加；可相加的是按个人份额分配后的个人亮度。
本次计算的总亮度为 1614.435310。
逐项贡献明细
点击成果可查看评分依据、共同贡献分配与来源。
并发互斥、信号量与死锁推理方法OUT-SL0171-1960S-CONCURRENCY-PRIMITIVES-REASONING · 1960 · 缺证暂估6.245%566.06643535.0628%5.51
发展信号量、互斥与死锁问题的形式化表达和推理工具。EWD 554 以 ghost variables、共享变量和临界区展示互斥证明，并比较 Dekker 方案；操作系统实现、并行形式方法与教学传播由其他团队和研究者共同推进。
- M 的依据
- 并发控制是计算系统的基础协调问题；把互斥、信号量和死锁组织为可设计、可证明的通用原语与问题框架，具有系统级广泛复用性，取M6.2。
- 个人份额的依据
- Dijkstra 0.45；Dekker及前史0.15；操作系统实现团队0.15；并行形式方法0.15；采用教育与未知各0.05。 原列并行与后继研究者的混合池暂不具名分配，保留未知输入。
- 重叠处理
- 1960年代信号量、互斥与死锁问题的程序原语和形式化推理方法。EWD554中的互斥证明属于同一并发方法家族；Dekker、Gries–Owicki、Hoare及后续分布式/自稳定理论保留。
共同贡献分配
- 艾兹赫尔·迪杰斯特拉 · 45%
- Dekker 与早期并发研究前史 · 15%
- 操作系统实现团队 · 15%
- 形式方法具体输入待核（未自动分给后继研究者） · 15%
- 早期采用者与教育者 · 5%
- 未分配的背景贡献 · 5%
待补：最初P/V定义、1965论文及首个运行系统实施仍需校准，影响a与范围置信度。
结构化程序设计与正确性导向的形式推理OUT-SL0171-1968-2002-STRUCTURED-PROGRAM-DESIGN-PROOF · 1968 · 缺证暂估6.042%419.58000025.9893%5.25
倡导以程序结构和可证明正确性处理复杂性。EWD 249 将程序理解与正确性证明视为核心问题，其他手稿讨论并行程序及合法证明的形式条件；Dahl、Hoare、Gries、Owicki 等人的工作属于并行或后续的方法发展。
- M 的依据
- 该方法把可理解性与可证明正确性置于程序构造过程，形成跨语言和系统可迁移的设计纪律，取M6.0。M反映方法覆盖与奠基作用；未逐读所有原作只进入细项归属缺口。
- 个人份额的依据
- Dijkstra 0.42；Dahl/Hoare 0.18；逻辑和语言前史0.15；Gries/Owicki等并行后继0.12；程序员、教育者与工具实现0.08；未知0.05。 原列并行与后继研究者的混合池暂不具名分配，保留未知输入。
- 重叠处理
- 从EWD249结构化程序设计到以不变量、规格与证明组织程序设计的长期方法家族。结构化编程和程序正确性共享同一目标与工具链，合并估值；不按手稿数、goto文章、guarded commands或weakest precondition术语逐项累加，也不领取全部软件工程。
共同贡献分配
- 艾兹赫尔·迪杰斯特拉 · 42%
- Ole-Johan Dahl 与 C. A. R. Hoare（并行方法研究者） · 18%
- 形式逻辑与编程语言前史 · 15%
- 形式方法具体输入待核（未自动分给后继研究者） · 12%
- 程序员、教育者与工具开发者 · 8%
- 未分配的背景贡献 · 5%
待补：guarded commands、weakest precondition等细项优先权及产业采用范围需校准。
非负加权图的最短路径算法OUT-SL0171-1956-1959-NONNEGATIVE-SHORTEST-PATH · 1956 · 缺证暂估5.555%308.73772919.1236%4.98
提出通常称为 Dijkstra 最短路径算法的非负加权图算法。现有档案将其置于算法设计的奠基工作中；图论与优化前史、早期计算机实现和后续教材与系统采用分别构成不同贡献。
- M 的依据
- 该算法把一类广泛网络优化问题化为清晰、可重复执行的通用步骤，跨领域复用，按一般基础算法方法取M5.5。当前原始发表件缺失只影响置信度和精确条件，不直接压低M。
- 个人份额的依据
- Dijkstra 0.55；图论优化前史0.20；早期实现同事0.10；教材与系统采用0.10；未知0.05。
- 重叠处理
- 1956至1959年前后针对非负加权图的最短路径选择方法。只计抽象算法及其一般可复用性；后续优先队列实现、路由系统、地图服务和所有路径规划应用排除。
共同贡献分配
- 艾兹赫尔·迪杰斯特拉 · 55%
- 图论与优化前史 · 20%
- 早期计算机实现人员与同事 · 10%
- 算法教材作者与系统采用者 · 10%
- 未分配的背景贡献 · 5%
待补：需补1959论文以确认条件、表达和早期实现分工；该缺口不作为M折扣。
分布控制下的自稳定方法OUT-SL0171-1973-SELF-STABILIZING-DISTRIBUTED-CONTROL · 1973 · 缺证暂估5.270%277.97501917.2181%4.89
在既定环形系统和调度条件下，局部决策可使系统从任意初态恢复并保持合法同步。
- M 的依据
- 将任意初态恢复变成可构造和论证的分布式问题，采用M5.2。范围是新的条件性方法，实际工业部署另有主体。
- 个人份额的依据
- 个人及共同输入为可修订的研究预算，按原作署名、团队叙述及具体系统依赖分配；不从引用次数或后世市场规模倒推份额。
- 重叠处理
- 从任意初始状态收敛到合法同步状态的构造与论证；只计环形有限状态系统及所述公平调度等条件下的方法存在性。它新增故障后恢复问题，与维持初始合法状态的互斥原语区分；不领取后世全部容错系统。
共同贡献分配
- 艾兹赫尔·迪杰斯特拉 · 70%
- 既有并发控制与状态机方法 · 15%
- Burroughs研究支持 · 5%
- 尚未识别的具体输入 · 10%
待补：原作条件与结论已核读，未用程序穷举复核全部证明。；原文未主张已交付工业容错服务。
THE多道程序系统的分层构造与测试OUT-SL0171-1968-THE-LAYERED-SYSTEM-IMPLEMENTATION · 1968 · 缺证暂估4.330%42.0761262.6062%3.27
将存储、处理器和输入输出分层实现与测试，明确层级接口；报告时仍有测试尚未完成。
- M 的依据
- 在具体EL X8上把层级抽象落实到系统构造和测试，采用M4.3。六人团队的有界系统整合不同于一般方法，也不等于完整商业操作系统或长期服务。
- 个人份额的依据
- 个人及共同输入为可修订的研究预算，按原作署名、团队叙述及具体系统依赖分配；不从引用次数或后世市场规模倒推份额。
- 重叠处理
- 只计1968年报告所述分层软件已编程并分层测试的工程交付；报告时测试尚未完成。原语与一般正确性方法由已有两族消费，本项只领内存、处理器、输入输出等接口整合及实际测试残余，不把拟交付大学服务视为已长期运行。
共同贡献分配
- 艾兹赫尔·迪杰斯特拉 · 30%
- THE六人设计、编程与测试团队 · 40%
- 埃因霍温理工大学 · 10%
- Electrologica X8硬件及支持团队 · 10%
- GIER及既有系统方法 · 5%
- 尚未识别的具体输入 · 5%
待补：原报告确认写作时测试尚未完成，未预支长期运行成效。；六位成员的内部工项尚未分解，保留团队预算。
没有与当前查找条件匹配的项目。
未计入的项目与原因（2）
- DIJKSTRA-SHORTEST-PATH-ORIGINAL-PUBLICATION-GAP · 最短路径原始发表件的细节归因：现有证据包的 UT 档案将迪杰斯特拉定位为算法设计奠基者，但本轮未取得最短路径原始发表件；因此不在此扩写具体实现、首次发表过程或未被档案直接支持的性能细节。
- DIJKSTRA-REMAINING-WORK · 其他算法、编译器与教学服务：THE有界实现已列；ALGOL编译器、其他算法和独立长期教学服务未逐项梳理，手稿数量不自动转成贡献。
下载原始公开 JSON ↘ · 未取整数值与计算口径保存在文件中