随机形式方法：在数值软件精度方面的应用
摘要：数值计算的次数存在一个上限，超过这个上限就会出现精度的损失。这项研究对于具有安全关键软件的控制系统具有重要的影响，因为这些系统现在运行速度和时间足够长，以至于误差会影响其功能。此外，最坏情况分析可能会盲目建议替换已经成功运行多年的现有系统。我们在这里提出了一组通过PVS证明助手验证的正式定理。这些定理将允许代码分析工具产生准确行为的正式证书。例如，美国联邦航空管理局对飞机的规定要求，10小时飞行中错误的概率低于$10^{-9}$。
作者：Marc Daumas (LIRMM, Lp2a), David Lester (LP2A, University of Manchester)
论文ID：cs/0606101
分类：Mathematical Software
分类简称：cs.MS
提交时间：2007-05-23