Towards a better integration of modelers and black box constraint solvers within the Product Design Process

Jean-Philippe Pernot (1, 2) , Dominique Michelucci (3, 4) , Marc Daniel (5) , Sebti Foufou (3, 4)

1 LISPEN - Laboratoire d’Ingénierie des Systèmes Physiques et Numériques
2 ENSAM - École Nationale Supérieure des Arts et Métiers
3 UB - Université de Bourgogne
4 Le2i - Laboratoire d'Electronique, d'Informatique et d'Image [EA 7508]
5 LIS - Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)

This paper presents a new way of interaction between modelers and solvers to support the Product Development Process (PDP). The proposed approach extends the functionalities and the power of the solvers by taking into account procedural constraints. A procedural constraint requires calling a procedure or a function of the modeler. This procedure performs a series of actions and geometric computations in a certain order. The modeler calls the solver for solving a main problem, the solver calls the modeler’s procedures, and similarly procedures of the modeler can call the solver for solving sub-problems. The features, specificities, advantages and drawbacks of the proposed approach are presented and discussed. Several examples are also provided to illustrate this approach.

Mots clés: Geometric modeling; Constraints; Procedural constraints; Solver; Modeler

Domaines: Génie mécanique [physics.class-ph]

Jean-Philippe Pernot, Dominique Michelucci, Marc Daniel, Sebti Foufou. Towards a better integration of modelers and black box constraint solvers within the Product Design Process. Annals of Mathematics and Artificial Intelligence, 2019, 85, pp.147-173. ⟨10.1007/s10472-018-9599-5⟩. ⟨hal-02321379⟩