Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Contributions à la compréhension de problèmes d'optimisation combinatoire et études d'extensions de la méthode B

Résumé : Je présente dans ce mémoire un bilan de mon activité scientifique effectuée au sein des groupes POC (Parallèlisation et Optimisation Combinatoire) et SID (Systèmes d'Information Distribués) de l'équipe ROI (Recherche Opérationnelle et Informatique) du laboratoire LAMIH à l'UVHC.

Mes travaux de recherche se divisent en trois parties:

- l'étude du problème du sac-à-dos non borné, problème classique de l'optimisation combinatoire, dont nous mettons en évidence des propriétés fondamentales et pour lequel nous avons dérivé, implanté et mis à disposition deux algorithmes qui tirent avantage des propriétés découvertes;

- une approche algorithmique parallèle/distribuée pour la
bio-informatique notamment le problème de repliement de protéïnes qui est un problème reconnu comme l'un des plus difficiles posés à la science informatique dans le contexte de la bio-informatique;

- le développement d'une plate-forme ouverte d'expérimentations pour la méthode formelle B, l'étude de la modularité du langage B et d'extensions de B pour générer des composants logiciels ainsi que l'étude de l' adjonction au langage B d'une logique temporelle.

Nous montrons comment les approches utilisées dans une recherche en optimisation combinatoire d'une part et en spécification formelle d'autre part peuvent s'enrichir et se féconder mutuellement.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00129682
Contributor : Vincent Poirriez <>
Submitted on : Thursday, February 8, 2007 - 2:30:23 PM
Last modification on : Friday, December 18, 2020 - 8:44:01 AM
Long-term archiving on: : Wednesday, April 7, 2010 - 2:40:48 AM

Identifiers

  • HAL Id : tel-00129682, version 1

Collections

Citation

Vincent Poirriez. Contributions à la compréhension de problèmes d'optimisation combinatoire et études d'extensions de la méthode B. Génie logiciel [cs.SE]. Université de Valenciennes et du Hainaut-Cambresis, 2006. ⟨tel-00129682⟩

Share

Metrics

Record views

271

Files downloads

1496