Les agences gouvernementales évaluent généralement les risques alimentaires liés à la présence d'arsenic dans les produits de la pêche en analysant uniquement l'arsenic élémentaire, sans prendre en compte les différentes formes en présence ni leur biodisponibilité. Le principal objectif de cette étude a été de développer et de valider une méthode permettant à l'Agence Française de Sécurité Sanitaire des Aliments (AFSSA) de proposer à ses tutelles une meilleure évaluation des risques encourus par le consommateur en déterminant la spéciation et la bioaccessibilité des différentes formes arséniées présentes dans les produits de la pêche. La première partie de ce travail a porté sur la mise au point d'une méthode de séparation des principales espèces arséniées couramment retrouvées dans les produits de la pêche par couplage entre la chromatographie d'échanges d'ions (IEC) et la détection par ICPMS. La méthodologie des plans d'expériences utilisée dans ces travaux, a permis, en un minimum d'essais, d'une part d'évaluer l'influence des différents facteurs et de leurs interactions éventuelles sur la séparation de 7 à 9 espèces arséniées et d'autre part, de déterminer les conditions analytiques optimales tout en minimisant le temps d'analyse (moins de 15 minutes), en conservant des résolutions satisfaisantes et en améliorant les sensibilités des composés considérés. La deuxième partie de ces travaux a concerné le développement de la mise en solution des espèces arséniées dans les produits de la pêche par extraction assistée par micro-ondes (MAE). L'optimisation des conditions d'extraction sur différents matériaux de référence certifiés a montré clairement qu'un solvant uniquement composé d'eau était suffisant pour obtenir des taux de récupération satisfaisants en As total et en spéciation. L'évaluation des critères analytiques a démontré que la méthode était pratiquement validée pour la spéciation de l'arsenic dans les produits de la pêche, même si la reproductibilité interne devra nécessairement être affinée en l'évaluant à plus long terme. La méthode validée a pu ensuite être appliquée à la spéciation de l'As dans des échantillons aqueux, ainsi qu'à la certification d'un échantillon de foie d'aiguillat organisée par le NRC canadien. La dernière partie de ces travaux a concerné le développement d'une méthode in vitro rapide et pragmatique d'évaluation de la bioaccessibilité maximale de l'arsenic et des formes arséniées dans les produits de la pêche, en combinant une méthode de lixiviation en continu (pour la mesure en temps réel par ICP-MS de la part d'As libérée par des fluides gastrointestinaux artificiels) et la méthode de spéciation validée. Les résultats montrent que la totalité de l'As bioaccessible (environ 50 % de l'As total présent dans les échantillons) est libérée très rapidement (en moins de 5 min) par la salive sans que rien d'autre ne soit ensuite libéré par les sucs gastrointestinaux. D'autre part, ces travaux ont mis en évidence que la bioaccessibilité des espèces arséniées inorganiques apparaît moins importante que celle des espèces organiques dans les produits de la pêche.

La localisation précise de la cible chirurgicale est essentielle pour réduire la morbidité au cours de l'exérèse chirurgicale d'une tumeur cérébrale. Lorsque les dimensions de la craniotomie sont importantes, une déformation des tissus mous du cerveau peut survenir au cours de l'intervention. Du fait de ce `brain-shift', les données pré-opératoires ne correspondent plus à la réalité et la neuronavigation s'en trouve fortement compromise. Afin de prendre en compte ces effets, nous proposons un système de navigation passive permettant de localiser les ancillaires par rapport à la position rectifiée des structures anatomiques. Avant l'intervention une angiographie par résonance magnétique (ARM) du cerveau du patient est acquise. Après installation au bloc opératoire, le volume ARM définissant la configuration initiale de l'arbre vasculaire cérébral est rigidement recalé par rapport à la tête du patient. Au cours de l'intervention, suite à une déformation importante du cerveau, le chirurgien effectue un balayage échographique Doppler de la région d'intérêt. L'arbre vasculaire initial est recalé élastiquement vers sa configuration déformée, segmentée dans les images US localisées, et le champ de déplacements résultant est ensuite étendu à l'ensemble du volume de l'organe par le biais d'un modèle biomécanique spécifique au patient. La déformation globale ainsi calculée permet de mettre à jour les données pré-opératoires et rectifier le planning chirurgical initial. Notre système fournit une réponse rapide, robuste et précise au chirurgien et lui offre la possibilité de valider la pertinence de la déformation calculée avant toute modification du planning.

Proposition d'une représentation formelle complète des méthodes de modélisation des systèmes d'information en informatique de gestion. Le but est de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système expert est proposée et expérimentée

Il existe une voie nouvelle différente du schéma de calcul, par nature séquentiel de Von Neumann: celle du parallélisme massif. Nous proposons dans cette thèse une architecture régulière hautement parallèle basée sur un réseau de cellules asynchrones communiquant par messages. Chaque cellule exécute une tache simple et intégré un mécanisme de communication lui permettant d'échanger des informations avec n'importe quelle autre cellule du réseau. Cette architecture permet d'exécuter de manière efficace bon nombre d'algorithmes très parallèles. Nous avons étudié un accélérateur de simulation logique basé sur cette architecture cellulaire. Le principe est d'associer a chaque cellule du réseau un élément logique du circuit a simuler. Contrôlée par un système-hôte, la simulation se déroule en deux temps: initialisation des cellules du réseau puis exécution de l'algorithme reparti dans les cellules. Plusieurs algorithmes de simulation ainsi que différents modes de synchronisation sont présentés. La réalisation d'un circuit intégrant un réseau 2 x 2 et ses interfaces de communication est décrite. Enfin, une machine prototype de simulation logique basée sur ce circuit utilisant un ordinateur IBM PC/AT comme système-hôte est présenté

Le projet CASCADE a pour objet l'étude et le développement d'un système intégré de CAO pour les circuits et systèmes logiques. Ce système comprend en particulier, et c'est le contexte de ce travail, un simulateur basé sur un langage de description multi-niveaux. Nous présentons d'abord une partie du travail réalisé : les mécanismes d'ordonnancement statique qui facilitent le séquencement de la simulation. Puis nous expliquons les mécanismes de simulations permettant de simuler un modèle hiérarchisé à l'aide de différents «modes de simulation». Ces mécanismes sont la base du simulateur multi-modes actuellement en fonctionnement au laboratoire ARTEMIS

Ce travail présente à la fois les méthodologies de conception et l'ensemble des outils logiciels utilises à ce jour pour concevoir des circuits à très haute intégration. Une première partie concerne la génération des parties contrôlés et propose une analyse des différentes méthodes d'implantation couramment utilisées, un formalisme pour descriptions logiques d'algorithmes de contrôle, ainsi qu'un outil logiciel pour la synthèse automatique de ces algorithmes sous forme de Plas

On propose une méthode générale de modélisation numérique des équations aux dérivées partielles à l'aide de la méthode des éléments finis. On expose son application aux équations de la physique des milieux continus. On construit un système informatique expert mettant en œuvre ces résultats, on le teste et on l'applique à plusieurs études : phénomènes magnétiques, phénomènes thermodynamiques, équations de Navier-Stokes

On présente une méthodologie de réalisation de systèmes de CFAO à travers des logiciels mis en œuvre. Cette méthodologie s'appuie à titre d'exemple sur la modélisation bi et tri-dimensionnelle, dont une caractérisation mathématique est présentée. L'intérêt de l'association d'une bonne interactivité et de l'acquisition de connaissances par les systèmes est montrée. Une methode d'introduction de la CFAO dans les entreprises est montrée, methode qui a été effectivement utilisée dans plusieurs dizaines d'entreprises

.

Ce travail est une contribution à la conception de diviseurs de fréquence analogiques réalisés en technologie monolithique à base de transistors pseudomorphiques à haute mobilité électronique aux fréquences micro-ondes. Après avoir décrit les divers circuits existants en choisissant une classification originale selon les différents principes régissant la division de fréquence, nous développons une approche analytique basée sur des modèles simplifiés afin de trouver les paramètres essentiels du phénomène. Nous expérimentons également diverses méthodes d'analyse sur calculateur avec pour objectif le développement d'une approche méthodologique générale. Finalement, la méthode dite "de la boucle ouverte" est choisie pour la conception de circuits. Lors de son utilisation, il est à noter que des processus proches de cascades de bifurcations chaotiques sont observés. Une étude complémentaire présentée permet de vérifier qu'ils ne sont pas directement liés à la stabilité (physique) du dispositif. Ces travaux de modélisation sont pour la suite appliqués à la conception de deux diviseurs en technologie monolithique. Une large bande de synchronisation d'environ 30 % a été obtenue avec une topologie originale utilisant un transistor non polarisé sur le drain. Les résultats expérimentaux sont ensuite comparés aux simulations effectuées précédemment ainsi qu'aux performances déjà publiées sur des circuits de ce type. Enfin, une dernière partie est consacrée au bruit de phase dans les diviseurs de fréquences.