×

几何计算程序库中的鲁棒算法。 (英语) Zbl 0780.68113号

信息-学位论文ETH Zürich第三十二条。苏黎世:弗拉格·德·法什维林(Verlag der Fachvereine)和德·施维茨(d.Schweiz)。Hochschulen u.Techniken公司。苏黎世:ETH,Informatik,93 p.(1991)。
计算几何研究的主要部分涉及几何问题的有效算法设计。相对而言,其中很少实施。主要障碍是缺乏(或成本)无限精度实数运算,以及必须处理“退化”输入配置(例如,计算平面中点的凸壳时的共线点)。
目前,已知有四个主要项目正在大规模实施几何算法。其中之一,称为GeoBench,由作者在本博士论文中描述。GeoBench已开发为几何算法快速原型制作环境、测试平台和动画工具:
本论文描述了GeoBench下可用的几何例程库,并报告了实验结果。但我们也找到了解决一致性和准确性问题的理论方法。作者提出了几种几何程序的设计原则,只要它们适用,就能保证鲁棒性。
对于一组重要的几何算法(例如最近对、线段相交),演示了如何使用这些设计原则,如何证明程序的鲁棒性,以及如何估计输出的数值精度。

MSC公司:

68单位05 计算机图形;计算几何(数字和算法方面)
68-02 与计算机科学有关的研究展览会(专著、调查文章)
65克50 舍入误差

软件:

GeoBench公司
PDF格式BibTeX公司 XML格式引用