Je vous remercie de votre sollicitation et de l'intérêt que vous pouvez porter à nos préoccupations.
Je ne suis pas forcément des mieux placé pour juger de
la valeur scientifique d'un projet de recherche de cette envergure, toutefois
je peux
vous communiquer mon sentiment par rapport à cette recherche
et des retombées qu'elle pourrait avoir pour un produit comme TopSolid
et un
éditeur comme Missler Software.
1) Contexte scientifique pour la CFAO
La CFAO est grosse consommatrice d'objets polynomiaux. En fait pour
la définition précise d'une pièce à fabriquer,
nous avons besoin :
- - d'une bonne topologie (arrangements dans l'espace, complexes cellulaires,
....)
- - de faces de type polynomial, afin de ne pas avoir à discrétiser
trop finement l'objet.
En phase de définition précise d'un objet, les représentations
dites exactes (Nurbs, quadriques, ...) des faces ont pris le dessus sur
des représentations planes. En phase d'usinage, les représentations
discrétisées (polyèdres) qui permettent de simuler
localement trés rapidement l'enlèvement de matière
sont plus efficaces.
D'autre part, il s'avère, et c'est ce que nous avons pu mettre
en évidence dans TopSolid, que tout mécanisme peut se décrire
également du point de vue
cinématique par un système d'équations polynomiales.
2) Intérêt de la recherche
Le XX siècle a vu du point de vue mathématique des progrès
gigantesques quand à l'étude des systèmes d'équations
polynomiales. La géométrie
algébrique met vraissemblablement à la disposition de
ceux qui ont à résoudre ces questions des outils qu'ils ne
peuvent exploiter, faute de
transfert et d'une bonne collaboration entre les points de vue théoriques
et ceux de l'ingénieur.
Ainsi un des problèmes les plus difficiles à résoudre
pour un modeleur volumique de CAO est le problème des faces tangentes
dans les opérations
booleennes. Cela se produit quand deux polynomes ont quelque chose
en commun, et cela est certainement trés bien formalisé dans
les théories
algébriques modernes. Le même problème se reproduit
lorsqu'un mécanisme est proche d'une position singulière
où localement il perd un degré de liberté. Qui plus
est, si l'on était capable de calculer sur des corps finis (et que
l'on dispose d'ordinateurs faits pour cela, ce qui n'est pas à ma
connaissance le cas), on pourrait également s'affranchir des
problèmes de seuils catastrophiques et mettre au point une algorithmique
polynomiale
parfaitement sûre, comme peut l'être l'addition de deux
entiers.
3) Projet Galaad
Le projet tel que défini par l'équipe de Monsieur Mourrain
parait dans cette optique trés interessant et rejoint des questions
que nous lui avons
soumises et pour lesquels il nous a déjà donné
un éclairage des plus interessants (tout comme Monsieur Merlet).
Nous comptons bien lui soumettre
prochainement des cas précis que nous avons à traiter.
Nous ne pouvons qu'encourager trés fortement ce type de recherche
en amont. Nous sommes
également conscients qu'elles sont trés difficiles et
que cela peut prendre du temps.
4) En conclusion
Aussi entretenir en France cette compétence et la développer,
au travers de collaborations pour lesquelles nous sommes prêts à
discuter et nous investir avec vous (ce n'est pas trés facile car
nous sommes une PME de taille modeste, qui raisonne essentiellement à
court terme dans un contexte
économique pas toujours facile) nous parait important et il
serait vraiment dommage que nous soyions conduits un jour à devoir
franchir les mers pour
répondre à ces questions.
En espérant avoir répondu en partie à votre sollicitation, je reste à votre disposition pour des informations complémentaires.
Avec mes sentiments les meilleurs.
Ch Arber
General Manager
Missler Software
Tel Evry : 33 (0)160 87 20 20
Fax Evry : 33 (0)1 60 87 20 30
c.arber@topsolid.com