维克多·米伦科维奇。 使用有限精度算法的几何算法的可验证实现。 （英文） Zbl 0665.65014号 Artif公司。智力。 37，编号1-3，377-401（1988）. 作者讨论了几何算法有限精度实现中处理舍入误差的两种方法。第一种方法称为数据规范化，用另一种结构替换给定的几何结构，近似原始结构，属于一组合法输入。通过将可接受配置集限制为满足特定度量和拓扑约束的配置来定义此输入集。该方法被应用于平面多边形区域的建模，其中各种几何运算的结果通过“适应”的基本运算来校正，而“适应”又使用“顶点移动”和“边缘开裂”这两种基本运算。第二种方法称为隐变量方法，用一个具有无限精度域中参数的简化结构替换原始结构。该方法被应用于确定平面中直线的拓扑排列问题。这种新结构用一条满足“近似单调性”且近似于直线的曲线取代了一束相互靠近的直线；交点数量及其顺序关系保持不变。这两种方法都可以在其合法输入上提供可证明正确的有限精度实现。作者讨论了他的两种方法的各种优缺点；他还提供了算法实现的伪代码描述。审核人：J.温斯坦 引用于19文件 MSC公司： 65日第15天 函数逼近算法 65克50 舍入误差 68T99型 人工智能 51-04 几何相关问题的软件、源代码等 关键词：舍入误差；有限精度；几何算法；数据归一化；平面多边形区域；几何运算；边缘裂纹；隐变量法；平面上直线的拓扑排列；算法实现 PDF格式BibTeX公司 XML格式引用 \textit{V.J.Milenkovic}，阿蒂夫。智力。37，编号1-3377-401（1988年；Zbl 0665.65014） 全文： 内政部 参考文献： [1] Edelsbrunner，H。；Guibas，L.J.，《拓扑扫描安排》，斯坦福大学技术报告。（1985），加利福尼亚州斯坦福·Zbl 0676.68013号 [2] Edelsbrunner，H。；O’Rourke，J。；Seidel，R.，《构造线和超平面的排列及其应用》（第24届计算机科学基础研讨会论文集（1983）），83-91·Zbl 0603.68104号 [3] Guibas，L.J。；Stolfi，J.，《操作一般细分和计算Voronoi图的基本体》，ACM Trans。图表。，4, 74-123 (1985) ·Zbl 0586.68059号 [4] 卫斯理，M。；Koppelman，G.，《应用于超大规模集成电路制造过程的机器人规划系统》（研究报告10510（1984），IBM Thomas J.Watson研究中心：IBM Thomas-J.Wasson研究中心，纽约约克敦高地） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。