达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 抽象加速度中的合理数值计算。 （英语） Zbl 1515.65344号 亚历山德罗（编辑）等，《数值软件验证》。第十届国际研讨会，2017年7月22日至23日，德国海德堡，NSV 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10381, 38-60 (2017). 摘要：健全性是验证工具的主要目标。使用精确算术或符号表示的方法通常速度慢得令人望而却步，并且无法扩展到较小的示例。我们建议使用数值浮点计算来提高性能，并结合区间分析来确保数值动力学模型的可达集计算的可靠性。由于区间分析不能提供准确的答案，因此我们推断出可达集的过逼近，而这些可达集被保证包含问题的真实解。我们的理论是在Axelerator工具中的抽象加速度数值算法中实现的。实验结果表明，在保持可达性结果的可靠性的同时，性能大大提高。关于整个系列，请参见[Zbl 1369.68006号]. 引用于1文件 MSC公司： 65年20月 数值算法的复杂性和性能 65G40型 区间分析的一般方法 PDF格式BibTeX公司 XML格式引用 \textit{D.Cattaruzza}等人，Lect。注释计算。科学。10381，38-60（2017；Zbl 1515.65344） 全文： 内政部 链接