A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations

Parallel parametric linear programming solving, and application to polyhedral computations

Parametric linear programming is central in polyhedral computations and in certain control applications.We propose a task-based scheme for parallelizing it, with quasi-linear speedup over large problems.

An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection

Polyhedral projection is a main operation of the polyhedron abstract domain.It can be computed via parametric linear programming (PLP), which is more efficient than the classic Fourier-Motzkin elimination method.In prior work, PLP was done in arbitrary precision rational arithmetic.In this paper, we present an approach where most of the computation is performed in floating-point arithmetic, then exact rational results are reconstructed.We also propose a workaround for a difficulty that plagued previous attempts at using PLP for computations on polyhedra: in general the linear programming probl…

多面体设计与混合n边插值

Polyhedral design with blended $n$-sided interpolants

本文提出了一种基于混合n边插值的多面体设计方法，通过局部二次插值生成平滑四边形片段，并讨论了非四边情况下的参数化技术及三角子片处理。

一种基于动态规划的并行特征保持网格可变偏移方法

A Parallel Feature-preserving Mesh Variable Offsetting Method with Dynamic Programming

提出一种基于动态规划和二次规划的并行特征保持网格可变偏移方法，通过多面体空间覆盖区域计算偏移，实现高质量无缺陷结果，并在四边形网格数据集上验证了其效率与鲁棒性。