位和错误

真正了解软件在世界上无处不在的角色要求的数量和种类的认识现实世界的软件故障及其后果。没有更彻底的调查这些事件可能比托马斯臀部和Tobias Neckel可用位和bug:科学和计算科学的软件故障的历史回顾(暹罗,2019)。帐面组织一个广泛收集集成八章,展开一系列的口味的失败,从精度和舍入误差增加错综复杂software-hardware接口和摆脱复杂的问题。

在我看来,这本书有三个观众:教师的计算机工程或数值方法将发现一个教育文本独特的适合关注软件故障;软件工程师会找到一个同样独特的参考文本;和学生的实践或计算科学的历史,会发现一个完全开辟小路通过这些复杂的故事。加入我讨论他的腰博士和他的合著者的动机组装这本书,取样器的大章,和他的一些思想对新进化计算工具伴随着自己的失败的机会。

技术的读者会欣赏数学远足,严格引入主题必须理解每一章的顶蓬,练习和MATLAB代码提供这本书的网站,来源腰博士的网站的链接。我发现价值的教训,现实世界的失败源于巧合的多,往往众多错误,以及作者的一贯强调真正的人类造成这些错误的研究是为了防止驱动的。说,所有读者可能欣赏的分类介绍和有趣的失败(尽管有时杜撰的)调查了在附录中。

建议同伴的作品:

• 彼得·g·诺伊曼向公众说明风险的使用计算机系统和相关技术
• 南希·g·莱韦森,Safeware:系统和计算机安全
• Glenford j .迈尔斯软件可靠性:原则和实践
• 劳伦·鲁斯维纳数字问题:为什么我们不应该依赖于软件
• 实例变量彼得森,致命缺陷:追逐杀手计算机病毒

托马斯腰完成学位课程在纯粹数学,数学和物理教育和获得博士学位,1985年获得1991年博士后教学资格(habiliation)维尔茨堡大学的。德国研究基金会(DFG)授予表现使他花时间研究斯坦福大学(1993 - 1994)。1995年腰加入TUM教授教授的科学计算。他也是自1997年以来,数学教师的一员。他的主要研究领域是数值线性代数及其应用在信息和物理等领域。他的工作集中在解决线性问题并行计算机、图像处理和重建、偏微分方程和结构矩阵。

托拜厄斯Neckel研究应用数学在慕尼黑工业大学(TUM)和2009年慕尼黑工业大学获得计算机科学博士学位。他目前在慕尼黑工业大学科学计算和高级研究员研究理工学院,法国(2003年),东京理工学院(2008年),澳大利亚国立大学(2017)。他的研究兴趣包括微分方程的数值解,分层的和自适应的方法,不确定性量化,高性能计算的各个方面。

科里范甘迪系统医学助理教授实验室是佛罗里达大学的。他的研究侧重于几何和拓扑医疗和医疗数据的分析方法。