Thèse doctorat : Chimie : Strasbourg 1 : 2007. / Thèse soutenue sur un ensemble de travaux. Titre provenant de l'écran-titre. Notes bibliogr.

Reproduction de : Thèse de doctorat : Automatique et Informatique industrielle : Lille 1 : 2006. / N° d'ordre (Lille 1) : 3827. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 181-192. Liste des publications et des communications.

Reproduction de : Habilitation à diriger des recherches : Sciences physiques : Lille 1 : 2004. / N° d'ordre (Lille 1) : 427. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 109-116. Liste des publications et communications.

Reproduction de : Thèse de doctorat : Systèmes automatiques : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 107 réf.

La tubuline est une protéine essentielle de la cellule. En polymérisant sous forme de microtubules, elle crée notamment le fuseau mitotique le long duquel migrent les chromosomes pendant la mitose. Les médicaments qui inhibent la polymérisation et/ou la dépolymérisation de la tubuline sont des composés majeurs de la thérapie anticancéreuse. Les vinca-alcaloïdes en sont des représentants importants. Ils induisent la mort des cellules par apoptose, en inhibant la dynamique des microtubules. D'autres molécules d'origine naturelle, comme la phomopsine A, se fixent sur la tubuline à proximité ou dans le même site de fixation que celui des vinca-alcaloïdes. C'est la raison pour laquelle nous avons envisagé d'élaborer des composés antimitotiques hybrides entre la vinblastine et la phomopsine A. Dans ce contexte, deux séries de composés ont été conçues. La première série d'hybrides correspondant à des dérivés de l'anhydrovinblastine fonctionnalisés en position 7'. Cependant, aucune des trois stratégies étudiées n'a permis d'accéder à ces composés. La deuxième série d'hybrides, dérivés de la 7'-homo-anhydrovinblastine a pu être synthétisée grâce à une réaction originale d'insertion d'acétylènes activés au niveau du pont gramine de la vinorelbine, suivie d'une réduction avec un contrôle totale de la régio- et stéréoselectivité. Dans un premier temps, les réactions d'insertion et de réduction ont été mise au point. Ensuite, deux familles d'hybrides portant la chaîne latérale de l'octahydrophomopsine en position 8' ou 7' ont été synthétisés. La plupart des composés ainsi obtenus possédent une excellente activité sur la tubuline et sont très cytotoxique.

Le travail présenté dans ce document consiste en une approche de test fonctionnel, destinée à per- mettre la validation de systèmes hybrides pour lesquels on dispose d'une spécification composée de propriétés de sûreté. La validation consiste à vérifier que le système satisfait à sa spécification, et donc aux besoins qui motivent sa création (sous réserve que la spécification traduise correctement les besoins).

L'optimisation des structures est un processus essentiel dans la conception des systèmes mécaniques et électroniques. Cette thèse s'intéresse à la résolution des problèmes mono-objectifs et multi-objectifs des structures mécaniques et mécatroniques. En effet, les industriels ne sont pas seulement préoccupés à améliorer les performances mécaniques des pièces qu'ils conçoivent, mais ils cherchent aussi à optimiser leurs poids, leurs tailles, ainsi que leurs coûts de production. Pour résoudre ce type de problème, nous avons fait appel à des métaheuristiques robustes qui nous permettent de minimiser le coût de production de la structure mécanique et de maximiser le cycle de vie de la structure. Alors que des méthodes inappropriées de l'évolution sont plus difficiles à appliquer à des modèles mécaniques complexes en raison de temps calcul exponentiel. Il est connu que les algorithmes génétiques sont très efficaces pour les problèmes NP-difficiles, mais ils sont très lourds et trop gourmands quant au temps de calcul, d'où l'idée d'hybridation de notre algorithme génétique par l'algorithme d'optimisation par essaim de particules (PSO) qui est plus rapide par rapport à l'algorithme génétique (GA). Dans notre expérimentation, nous avons obtenu une amélioration de la fonction objectif et aussi une grande amélioration de la minimisation de temps de calcul. Cependant, notre hybridation est une idée originale, car elle est différente des travaux existants. Concernant l'avantage de l'hybridation, il s'agit généralement de trois méthodes : l'hybridation en série, l'hybridation en parallèle et l'hybridation par insertion. Nous avons opté pour l'hybridation par insertion par ce qu'elle est nouvelle et efficace. En effet, les algorithmes génétiques se composent de trois étapes principales : la sélection, le croisement et la mutation. Dans notre cas, nous remplaçons les opérateurs de mutation par l'optimisation par essaim de particules. Le but de cette hybridation est de réduire le temps de calcul ainsi que l'amélioration la solution optimale.

Dans la conception basée sur des modèles on construit un modèle mathématique du système que l'on utilise pour concevoir le système de sorte qu'il présente les propriétés souhaitées. Pour les systèmes de sûreté critique, il peut être d'une importance capitale de vérifier ces propriétés de sûreté sur le modèle, par exemple, pour tenir compte des variations des paramètres. Le calcul d'un nombre fini de comportements du système par le biais de simulation ne suffit pas à garantir des propriétés de sécurité. Avec une analyse d'atteignabilité on peut calculer une couverture de tous les comportements possibles du système, possiblement infinis. Cette analyse peut prendre en compte de non-déterminisme dans le modèle et peut garantir des propriétés de sécurité. Les systèmes d'intérêt présentent souvent à la fois un comportement continu et discret et de tels systèmes sont appelés systèmes hybrides. Le calcul d'atteignabilité est considéré comme difficile pour les systèmes continus et hybrides. Ce n'est que récemment que des méthodes pour le calcul d'accessibilité ont été développées qui peuvent être mis à l'échèlle. Ils sont basés sur des représentations implicites d'ensembles continus à l'aide du concepte mathématique de la fonction de support. Dans cette thèse, nous développons un outil extensible appelé SpaceEx pour le calcul d'atteignabilité des systèmes hybrides. Deux algorithmes d'atteignabilité ont été mis en œuvre dans SpaceEx, l'un basé sur l'outil PHAVer pour les automates linéaires hybrides et l'autre basé sur les fonctions de support pour les dynamiques affines par morceaux. L'algorithme de fonction support a été mis au point et sa mise à l'échelle a été amélioré en basculant entre différentes représentations d'ensembles continus. Nous proposons un algorithme de calcul d'image des transition discrètes amélioré qui réduit l'erreur de sur-approximation et nous illustrons sa précision et son efficacité avec plusieurs études de cas.

Les avancées des dernières décennies dans le domaine de l'électronique ont permis l'intégration plus facile des dispositifs de commande à base de convertisseur sur un plus grand nombre d'applications. L'utilisation de ces dispositifs de commande offre des avantages importants au niveau du dimensionnement et de l'efficacité énergétique, mais, en contrepartie, leur modèle dynamique présente une complexité accrue en particulier à cause des dynamiques hétérogènes des différents composants. Ainsi, en général, on retrouve une dynamique très rapide liée au changement de fonctionnement des composants et une dynamique du reste du système plus lente par rapport à la première.<br />Les travaux de cette thèse abordent les problèmes de la modélisation hybride de ce type de systèmes. Un des points importants des travaux effectués est la mise en place d'en ensemble d'outils et de méthodes permettant d'obtenir un modèle automate hybride équivalent d'un système physique avec des interrupteurs. Dans l'approche proposée l'automate hybride est obtenu par la composition des équations du système issues de l'approche bond-graph commuté et des contraintes introduites par les interrupteurs.<br />La méthodologie proposée est ensuite utilisée pour définir un modèle de simulation sous Simulink.<br />Le problème de la commande est abordé dans le cadre particulier du démarrage d'un convertisseur à double résonance issu d'une application en imagerie médicale.

Nous nous intéressons dans cette thèse aux grandes architectures parallèles hybrides, c'est-à-dire aux architectures parallèles qui sont une combinaison de processeurs généraliste (Intel Xeon par exemple) et de processeurs accélérateur (GPU Nvidia). L'exploitation efficace de ces grappes hybrides pour le calcul haute performance est au cœur de nos travaux. L'hétérogénéité des ressources de calcul au sein des grappes hybrides pose de nombreuses problématiques lorsque l'on souhaite les exploiter efficacement avec de grandes applications scientifiques existantes. Deux principales problématiques ont été traitées. La première concerne le partage des accélérateurs pour les applications MPI et la seconde porte sur la programmation et l'exécution concurrente de code entre CPU et accélérateur. Les architectures hybrides sont très hétérogènes : en fonction des architectures, le ratio entre le nombre d'accélérateurs et le nombre de coeurs CPU est très variable. Ainsi, nous avons tout d'abord proposé une notion de virtualisation d'accélérateur, qui permet de donner l'illusion aux applications qu'elles ont la capacité d'utiliser un nombre d'accélérateurs qui n'est pas lié au nombre d'accélérateurs physiques disponibles dans le matériel. Un modèle d'exécution basé sur un partage des accélérateurs est ainsi mis en place et permet d'exposer aux applications une architecture hybride plus homogène. Nous avons également proposé des extensions aux modèles de programmation basés sur MPI / threads afin de traiter le problème de l'exécution concurrente entre CPU et accélérateurs. Nous avons proposé pour cela un modèle basé sur deux types de threads, les threads CPU et accélérateur, permettant de mettre en place des calculs hybrides exploitant simultanément les CPU et les accélérateurs. Dans ces deux cas, le déploiement et l'exécution du code sur les ressources hybrides est crucial. Nous avons pour cela proposé deux bibliothèques logicielles S_GPU 1 et S_GPU 2 qui ont pour rôle de déployer et d'exécuter les calculs sur le matériel hybride. S_GPU 1 s'occupant de la virtualisation, et S_GPU 2 de l'exploitation concurrente CPU -- accélérateurs. Pour observer le déploiement et l'exécution du code sur des architectures complexes à base de GPU, nous avons intégré des mécanismes de traçage qui permettent d'analyser le déroulement des programmes utilisant nos bibliothèques. La validation de nos propositions a été réalisée sur deux grandes application scientifiques : BigDFT (simulation ab-initio) et SPECFEM3D (simulation d'ondes sismiques). Nous les avons adapté afin qu'elles puissent utiliser S_GPU 1 (pour BigDFT) et S_GPU 2 (pour SPECFEM3D).