• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 24
  • 12
  • 4
  • Tagged with
  • 38
  • 38
  • 11
  • 11
  • 8
  • 7
  • 7
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Modélisation de la perfusion abdominale sur des séquences dynamiques d'images tomodensitométriques avec injection de produit de constraste / Modeling of abdominal perfusion on CT image sequences with contrast product injection

Romain, Blandine 16 January 2014 (has links)
L'objectif général du travail de cette thèse est de proposer des méthodes robustes pour permettre d’obtenir des critères sur l’évolution de la pathologie tumorale à partir d’études dynamiques. Actuellement, l’appréciation de l’efficacité d’un traitement antiangiogénique (destruction des vaisseaux alimentant la tumeur) repose principalement sur l’imagerie fonctionnelle dont l’objectif est de quantifier la microcirculation tumorale à partir d’acquisitions dynamiques de perfusion. Cependant, différentes limites concernant le suivi de la réponse précoce des lésions par imagerie existent (mauvaise maîtrise des mouvements respiratoires, pas de consensus sur les paramètres permettant de quantifier la microcirculation tumorale, estimation paramétrique faite à partir de données extrêmement bruitées et pour un grand nombre de zones - une estimation par voxel de la séquence dynamique d’images). Dans un contexte clinique extrêmement contraignant, nous avons mis en place un cadre rigoureux comprenant l’ensemble des étapes nécessaires pour une caractérisation plus fiable de la microcirculation tumorale à partir de séquences d’images acquises sous perfusion de produit de contraste : les contributions principales de cette thèse couvrent ainsi l’optimisation des paramètres de reconstruction, le développement d’une méthode de recalage adaptée à nos données, la sélection argumentée d’un modèle de perfusion et enfin le développement d’une méthode robuste d’estimation des paramètres. Ces travaux permettent d’envisager l’utilisation des modèles de perfusion pour la caractérisation et la prédiction de la réponse d’un patient à différents traitements antitumoraux. / The main objective is to propose robust methods to allow estimation of functional markers reflecting the tumor evolution from dynamic studies. Currently, in this domain, assessing of the efficiency evaluation of an anti-angiogenic therapy (destruction of vessels which feed the tumor) is mainly based on the functional imaging of the microcirculation, which the objective is to quantify the tumor microcirculation by dynamic acquisitions with injection of contrast product. However, several limitations are present (lack of control of the breathing movement, no consensus on the parameters permitting the quantification of tumor microcirculation, parameter estimation computed from noisy data and a large number of regions - one estimation by voxel or group of voxel of the dynamic image sequence). In a restrictive clinical context (noisy data, few number), we have developed a complete pipeline with a set of necessary steps to a reliable characterization of the tumor microcirculation from dynamic perfusion image sequence: the main contributions of this thesis cover the reconstruction parameters optimization, the development of a registration method, the argued selection of a perfusion model and the development of a robust method of parameter estimation. With these works, we can envision the utilization of these perfusion models to the characterization and the prediction of the therapy response of a patient
2

Développement d'une méthode inverse de caractérisation thermique : application à l'estimation des propriétés thermophysiques et hydriques des matériaux de construction / Development of an inverse method for thermal characterization : application to building materials thermophysical and hydric properties estimation

Derbal, Radhouan 03 December 2014 (has links)
Le but de ce travail est la caractérisation thermophysique de matériaux de construction solides et opaques (PVC, EPS, plâtre et béton) en laboratoire, avec une extension de la méthode vers des conditions in-situ (sable, paroi en béton cellulaire), et la mise en évidence de l’interaction des propriétés thermophysiques du matériau avec sa teneur en eau. Il repose sur l’étude numérique - via un modèle en différences finies - et expérimentale du transfert de chaleur par conduction. L’approche proposée consiste à envisager une distribution de capteurs de température répartis dans le sens du transfert dans une configuration expérimentale multicouche. Ces capteurs, des thermocouples permettent d’enregistrer les évolutions de températures aux différents points de mesure et d’extraire les caractéristiques thermiques du matériau dans chaque intervalle en les introduisant dans un schéma d’inversion. Le système instrumenté pourrait être sollicité de façon artificielle dans une application en laboratoire ou simplement par les échanges naturels avec son environnement dans le cas par exemple d’une paroi de bâtiment. Une progression dans la complexité des cas a été considérée. Dans un premier temps, une mise au point de la méthode sur un système multicouche constitué de matériaux homogènes, stationnaires et permettant d’identifier les paramètres thermiques d’un des composants. Par la suite, des matériaux de propriétés thermophysiques variables et évolutives avec pour objectif de proposer à plus long terme, un outil de suivi de propriétés thermiques et de teneur en eau des matériaux. / The purpose of the actual work is to thermally characterize opaque solid building materials (PVC, EPS, Plaster and Concrete). First tests in laboratory tend next to be in situ conditions (sand, aerated concrete wall) where thermophysical properties and moisture content interactions are highlighted. It is based on conductive heat transfer numerical (finite difference method) and experimental study. The proposed approach aims to place thermocouples in a multilayer thickness in the heat transfer direction. They allow temperature measurement at different nodes of the material. The temperatures are incorporated in an inverse heat transfer process to estimate characteristics at each layer. The tested materials could be submitted to either artificial thermal excitation or natural excitation in the case of building wall for example. Progressive complexity of the studied cases is considered. In fact, the first studied cases concerns homogenous inert materials which the quasi constant thermophysical properties were estimated. Then, materials with variable characteristics were considered for a long term thermophysical properties and moisture content monitoring.
3

Contribution à la modélisation mathématique pour la simulation et l'observation d'états des bioprocédés

Bogaerts, Philippe 21 April 1999 (has links)
Les bioprocédés ont connu un essor considérable au cours de ces dernières années et sont promis à un bel avenir. Qu'il s'agisse de la production de vaccins, de la fermentation de levures pour l'industrie alimentaire ou encore de l'épuration biologique des eaux usées, les applications sont nombreuses et les produits sont d'un intérêt capital pour l'être humain. Étant donnés le coût et le temps de mise en oeuvre de ces procédés, il est particulièrement utile de construire des simulateurs permettant de reproduire le comportement macroscopique des cultures cellulaires utilisées. Ces simulateurs peuvent servir à déterminer des conditions optimales de fonctionnement (en fonction des critères de l'utilisateur) et à tester certains outils (régulateurs, capteurs logiciels, etc.). Par ailleurs, il est nécessaire, pour le suivi et la régulation de ces procédés, de disposer de grandeurs mesurées (concentrations cellulaires, en substrats, en le produit d'intérêt, etc.). Les problèmes liés à la mesure matérielle de ces grandeurs sont nombreux: coût des capteurs, destruction des échantillons, longues périodes d'échantillonnage, temps d'analyse élevés, etc. Il est dès lors utile de construire des observateurs d'états (ou capteurs logiciels) fournissant une estimation en temps continu de grandeurs non mesurées sur la base d'un modèle mathématique et de certaines mesures matérielles. Les modèles mathématiques sont nécessaires pour la synthèse des deux types d'outils envisagés dans ce travail (simulateurs et capteurs logiciels). Les modèles utilisés consistent en les bilans massiques des constituants apparaissant dans le schéma réactionnel, ce dernier contenant les réactions essentielles pour la description des phénomènes à l'échelle macroscopique. Au sein de ces bilans massiques, une nouvelle structure générale de modèle cinétique est proposée, possédant un certain nombre de propriétés intéressantes, telles l'interprétation physique des paramètres cinétiques, les concentrations définies positives sous certaines conditions, la garantie de stabilité entrées bornées - états bornés, ou encore la possibilité de linéarisation en les paramètres à estimer. Une méthodologie générale d'estimation paramétrique est proposée, afin d'identifier les coefficients pseudo-stoechiométriques, les coefficients cinétiques et certains paramètres expérimentaux (concentrations initiales des cultures). Cette méthodologie possède un caractère systématique, prend en compte les erreurs de mesure sur l'ensemble des signaux (y compris à l'instant initial), fournit à l'utilisateur la covariance des erreurs d'estimation paramétrique, prend en compte intrinsèquement les contraintes de signe sur les paramètres, fournit une estimation des erreurs de simulation, permet de réduire le nombre d'équations différentielles au sein du modèle, etc. La mise en oeuvre et l'intérêt de ces outils sont illustrés en simulation (cultures bactériennes) et dans le cas d'une application réelle (cultures de cellules animales CHO). La première catégorie d'observateurs d'états étudiée dans ce travail est celle des observateurs utilisant pleinement le modèle cinétique. L'observation d'états basée sur l'identification des conditions initiales les plus vraisemblables est plus particulièrement analysée. Elle consiste à estimer en temps continu l'entièreté de l'état par intégration d'un modèle de simulation au départ des conditions initiales les plus vraisemblables. Ces dernières sont identifiées à chaque nouvel instant de mesure sur la base de toute l'information disponible jusqu'à cet instant. Certaines propriétés mathématiques sont étudiées (dont une comparaison avec le filtre de Kalman) et un certain nombre d'extensions de la méthode sont proposées (dont une version récurrente qui ne nécessite plus de résoudre un problème d'optimisation non linéaire à chaque nouvel instant de mesure). Ces outils sont à nouveau illustrés dans le cadre des cultures de cellules animales CHO, et se basent sur les modèles de simulation développés dans la première partie du travail. Étant donné les risques de divergence des observateurs de cette première catégorie lorsque la qualité du modèle cinétique n'est pas suffisante, une seconde catégorie est envisagée, constituée des observateurs utilisant partiellement le modèle cinétique. Dans ce contexte, un nouvelle technique est proposée consistant en un observateur hybride entre le filtre de Kalman étendu (utilisant pleinement le modèle cinétique) et l'observateur asymptotique de Bastin et Dochain (n'utilisant pas du tout le modèle cinétique). Cette structure estime (conjointement avec l'état du système) un degré de confiance en le modèle cinétique. Elle est capable d'évoluer de façon progressive, en fonction de ce degré de confiance, entre les deux solutions extrêmes (filtre de Kalman et observateur asymptotique), tirant ainsi parti des avantages respectifs de ces deux méthodes selon les conditions opératoires et la qualité du modèle cinétique. Ces outils sont validés sur des cultures bactériennes simulées.
4

Détection de changement de mode de fonctionnement : application à la coulée continue de l'acier / Operating mode recognition : Application in continuous casting

Bazart, Loïc 07 July 2014 (has links)
Un système est souvent caractérisé par plusieurs modes de fonctionnement, chacun pouvant alors être décrit par un modèle qui lui est propre. Dans le cas où la commutation entre les modes de fonctionnement résulte d'un processus inconnu (un défaut, un changement de condition,...), il est difficile de manipuler ces systèmes et d'appliquer les commandes appropriées. Cette thèse traite du problème de la détection du changement de mode d'un système. A partir d'un système partiellement supervisé (connaissance du nombre de mode de fonctionnement du système ainsi que de la structure du modèle représentant chaque mode), une méthode est développée pour détecter le mode de fonctionnement actif du système à chaque instant. Pour cela, l'analyse du gradient des résidus obtenu par la multiplication des modèles locaux entre-eux, permet de caractériser le mode de fonctionnement. Une application de cette méthode est réalisée sur des données simulées et réelles de coulée continue de l'acier, afin de détecter un phénomène particulier : le collage. Finalement, une méthode par rejet de mode est mise en place sur des données réelles thermiques dans le même but (la détection des collages en lingotière de coulée continue) / Most of time a system is characterized by few operating modes, each of them could be describe by a model. In the case of the commutation between each operating mode is due to unknown process (fault, changing in condition,) it could be difficult to operate with this system and used the appropriate commands. With a partially supervised system (knowing of number of operating mode and model structure that represent each mode), a method is developed to detect the active operating mode at each time. Indeed, the analyses of the residual gradient, that obtain by product each local model together, permit to characterize the operating mode. Application of this method is presented with simulated data and industrial data of continuous casting to detect a particular phenomenon: the sticker. Finally, a rejection mode method is used on industrial thermal data in the same aim (detection of stickers in continuous casting)
5

Identifiabilité de systèmes d'équations aux dérivées partielles semi-discrétisées et applications à l'identifiabilité paramétrique de modèles en pharmacocinétique et en pollution.

Verdière, Nathalie 07 December 2005 (has links) (PDF)
Avant d'estimer les paramètres intervenant dans des systèmes dynamiques, linéaires ou non-linéaires, contrôlés ou non contrôlés, il est important d'effectuer une étude d'identifiabilité, c'est à dire si, à partir des données expérimentales, les paramètres étudiés sont uniques ou non. Plusieurs méthodes ont été développées ces dernières années, en particulier une qui est basée sur l'algèbre différentielle. Celle-ci a conduit à un algorithme utilisant le package Diffalg implémenté sous Maple et permettant de tester l'identifiabilité de systèmes d'équations différentielles. Les résultats obtenus à partir de cette étude permettent de mettre en place des méthodes numériques pour obtenir une première estimation des paramètres, ceci sans aucune connaissance à priori de leur valeur. Cette première estimation peut alors être utilisée comme point de départ d'algorithmes itératifs spécialisés dans l'étude des problèmes mal posés : la régularisation de Tikhonov. <br />Dans cette thèse, deux modèles non linéaires en pharmacocinétique de type Michaelis-Menten ont tout d'abord été étudiés. Ensuite, nous nous sommes intéressés à un modèle de pollution décrit par une équation aux dérivées partielles parabolique. Le terme source à identifier était modélisé par le produit de la fonction débit avec la masse de Dirac, de support la position de la source polluante. Le but du travail était de fournir une première estimation de la source polluante. Après avoir obtenu l'identifiabilité du problème continu, nous avons étudié l'identifiabilité d'un problème approché en nous appuyant sur les méthodes d'algèbre différentielle. Celui-ci a été obtenu en approchant la masse de Dirac par une fonction gaussienne et en discrétisant ensuite le système en espace. Les résultats d'identifiabilité ont été obtenus quel que soit le nombre de points de discrétisation en espace. De cette étude théorique, nous en avons déduit des algorithmes numériques donnant une première estimation des paramètres à identifier.
6

Développement d'un nouveau modèle dédié à la commande du métabolisme glucidique appliqué aux patients diabétiques de type 1.

Giai Gianetto, Ilham 28 June 2013 (has links) (PDF)
La régulation de la concentration de glucose dans l'organisme est nécessaire au bon fonctionnement des globules rouges et de l'ensemble des cellules, dont celles des muscles et du cerveau. Cette régulation met en jeu plusieurs organes ainsi que le système hormonal dont une hormone en particulier, l'insuline. Le diabète de type 1 est une maladie où les cellules productrices d'insuline du pancréas sont détruites. Afin de compenser cette perte de production d'insuline, le traitement de cette maladie consiste, pour le patient, à déterminer une dose d'insuline à s'injecter en fonction de mesures de sa glycémie et de certaines caractéristiques intervenant dans la régulation de celle-ci (repas, activité physique, stress,...). Cette thèse s'inscrit dans une démarche d'automatisation du traitement en proposant un nouveau modèle non-linéaire du métabolisme glucidique pouvant être utilisé dans une solution de contrôle en boucle fermée. Nous avons prouvé que ce modèle possède une unique solution positive et bornée pour des conditions initiales fixées et sa commandabilité locale. Nous nous sommes ensuite intéressés à l'identification paramétrique de ce modèle. Nous avons montré son identifiabilité structurelle et pratique. Dans ce cadre, une nouvelle méthodologie permettant de qualifier l'identifiabilité pratique d'un modèle, basée sur une divergence de Kullback-Leibler, a été proposée. Une estimation des paramètres du modèle a été réalisée à partir de données de patients réels. Dans ce but, une méthodologie d'estimation robuste, basée sur un critère de Huber, a été utilisée. Les résultats obtenus ont montré la pertinence du nouveau modèle proposé.
7

Méta-optimisation pour la calibration automatique de modèles énergétiques bâtiment pour le pilotage anticipatif / Meta-optimisation for automatic calibration for building energetic models in order to proceed to anticipative management

Le Mounier, Audrey 29 June 2016 (has links)
Face aux enjeux climatiques actuels, le secteur bâtiment est encouragé à réduire sa consommation énergétique tout en préservant le confort des occupants. C’est dans ce contexte que s’inscrit le projet ANR PRECCISION qui vise au développement d’outils et de méthodes pour la gestion énergétique optimisée des bâtiments qui nécessitent l’utilisation de modèles thermiques dynamiques. Les travaux de thèse, effectués entre le G2Elab et le G-SCOP, se sont focalisés sur les problématiques liées à l’estimation paramétrique de ces modèles. En effet, les incertitudes liées aux phénomènes mal maîtrisés et la nature des modèles rendent le calibrage des paramètres des modèles délicat. Cette procédure complexe n’est à ce jour pas systématisable : les modèles auto-regressifs ont une faible capacité d'extrapolation car leur structure est inadaptée, tandis que les modèles physiques sont non-linéaires par rapport à de nombreux paramètres : les estimations conduisent à des optimums locaux fortement dépendant de l'initialisation. Pour lever ce verrou, plusieurs approches ont été explorées à partir de modèles physiques adaptés pour lesquels des études sur l’identifiabilité ont été menées sur une plateforme expérimentale : PREDIS MHI. Différentes stratégies d'optimisation sont alors proposées visant à déterminer les paramètres qui peuvent être recalés. La première approche repose sur une analyse a priori de la dispersion paramétrique, la seconde repose sur une procédure de méta-optimisation qui détermine dynamiquement, au fur et à mesure d'une séquence d'optimisations, les paramètres à recaler. Les résultats sont analysés et comparés à diverses approches (modèles universels, identification « naïve » de tous les paramètres d’un modèle physique, algorithme génétique, …) à travers différents cas d'application. / In order to tackle the actual climate issues, the building field is encouraged to reduce his energetic consumption without changing the occupant’s comfort. In this context, the aim of the ANR PRECCISION project is to develop tools and methods for energetic management of the buildings which needs the use of dynamical thermal models. The PHD works, realise between the G2Elab and the G-SCOP, was focused on models parametric estimation issues. Indeed, uncertainties due to unknown phenomena and the nature of models lead to difficulties for the calibration of the models. Nowadays, this complex procedure is still not automatable: auto-regressive models have a low capacity to extrapolate because of their inadequate structure, whereas the physical models are non-linear regarding many parameters: estimations lead towards local optimums which highly depend on the initial point. In order to eliminate these constraints, several approaches have been explored with physical models adapted for which identifiability studies have been reached on an experimental platform: PREDIS MHI. Different optimisation strategies will be proposed in order to determine the parameters which can be estimated. The first approach uses an analyse a priori of the parametric dispersion, the second one use a meta optimisation which dynamicaly determined as the optimisation sequence, the parameters which can be readjusted. The results are analysed and compared to several approaches (universal models, “simple” identification of all the parameters of a physical model, genetic algorithm …) in different application cases.
8

Vers des archétypes de modèles auto-configurables pour le bâtiment connecté / Towards archetypes of self-tuned models for connected buildings

Scanu, Lisa 10 November 2017 (has links)
Les bâtiments devenant de plus en plus performants énergétiquement, l'impact de l'activité humaine devient prépondérante. Afin de limiter cet impact, les bâtiments ont tout d'abord vu leur niveau d'automatisation augmenter. Toutefois, des études menées dans des bâtiments résidentiels et de bureaux ont mis en évidence que l'automatisation ne réduisait pas l'écart entre la consommation d'énergie prévue en phase de conception la consommation d'énergie réellement constatée. Afin d'atteindre une faible consommation en phase d'exploitation du bâtiment, les occupants doivent être impliqués dans la gestion d'énergie. Le travail proposé fait partie d'un projet de recherche visant à mettre en place un gestionnaire énergétique redonnant le pouvoir aux occupants via des services énergétiques. Ces services permettront à l'utilisateur de définir ses propres objectifs et le conseillera sur les meilleures actions à mettre en place pour les atteindre. Une analyse de la littérature sociologique est menée afin de permettre l'implémentation de services pertinents et favorisant de réels et durables changements de comportement. La mise en place de ces services requiert un modèle thermique et aéraulique du bâtiment faciles à configurer et ne nécessitant aucune donnée experte. Le travail présenté dans cette thèse se concentre sur l'implémentation d'un tel modèle. Cela implique de définir dans un premier temps la structure de modèle adéquate : permettant d'atteindre à la fois les précisions requises à la prédiction à horizon 24 heures tout en ne nécessitant que peu d'informations expertes. Dans un deuxième temps, il s'agit d'étudier les différentes méthodes d'estimation paramétrique répondant au cahier des charges. Des validations du modèle sont faites sur deux cas d'études réel : un bureau et un appartement. Cette thèse décrit la méthodologie nécessaire à la détermination de structures de modèles pertinentes. Ces structures doivent être génériques afin de s'adapter à la fois à des cas d'études mono et multi-zones. De plus, elles doivent se baser sur le moins de capteurs et de connaissance experte possible. / As buildings become more energy-efficient, the effect of human activities on their global consumption increases. To limit this impact, a first attempt was made to increase the level of automation in buildings. However, from surveys led in residential and office buildings, Carassus and Sidler conclude that automation does not reduce the gap between predicted and effective consumption. This work reveals that static rules can not be sufficient. In order to reach the goal of low energy consumption in the operation phase of buildings, occupants must then be involved in the energy management process. The proposed work is part of a research project focusing on a system embedding energy services with a high level of interaction to empower users with energy services. The role of these energy services is to allow users to define their own objective and consequently generate information and advice regarding the best strategies to apply on building systems (HVAC systems, sun-shading devices, windows opening,…) and envelope configuration. An analysis of the sociological literature was made in order to implement relevant services for the users, favouring real and durable changes in their behaviours. Some of these services require thermal and aeraulic behavioural models easy to set up and little expert knowledge. This thesis focuses on the development and implementation of a model relevant for energy management end-user services. It involves to deal with the definition of relevant model structures together with parameter estimation methods to tune the parameter values. The model must be simple enough to ease its set up with estimation and prediction capabilities. The limits in terms of complexity and computational time are discussed. The energy management services should be configured by occupants thus it must not require much expert knowledge. Consequently, some sensors are needed to estimate the thermal and aeraulic model. Tests have been performed to limit the needed instrumentation. Relevant model structures are discussed because they should be generic: it should adapt to both mono-zone and multi-zone case studies and it should be based on a minimal number of sensors and require little expert knowledge.
9

Développement d’un nouveau modèle dédié à la commande du métabolisme glucidique appliqué aux patients diabétiques de type 1. / Development of a new control model of the glucose metabolism applied to type 1 diabetic patients

Ben Abbes, Ilham 28 June 2013 (has links)
La régulation de la concentration de glucose dans l'organisme est nécessaire au bon fonctionnement des globules rouges et de l'ensemble des cellules, dont celles des muscles et du cerveau. Cette régulation met en jeu plusieurs organes ainsi que le système hormonal dont une hormone en particulier, l’insuline. Le diabète de type 1 est une maladie où les cellules productrices d'insuline du pancréas sont détruites. Afin de compenser cette perte de production d'insuline, le traitement de cette maladie consiste, pour le patient, à déterminer une dose d'insuline à s'injecter en fonction de mesures de sa glycémie et de certaines caractéristiques intervenant dans la régulation de celle-ci (repas, activité physique, stress,...). Cette thèse s'inscrit dans une démarche d’automatisation du traitement en proposant un nouveau modèle non-linéaire du métabolisme glucidique pouvant être utilisé dans une solution de contrôle en boucle fermée. Nous avons prouvé que ce modèle possède une unique solution positive et bornée pour des conditions initiales fixées et sa commandabilité locale. Nous nous sommes ensuite intéressés à l’identification paramétrique de ce modèle. Nous avons montré son identifiabilité structurelle et pratique. Dans ce cadre, une nouvelle méthodologie permettant de qualifier l'identifiabilité pratique d'un modèle, basée sur une divergence de Kullback-Leibler, a été proposée. Une estimation des paramètres du modèle a été réalisée à partir de données de patients réels. Dans ce but, une méthodologie d'estimation robuste, basée sur un critère de Huber, a été utilisée. Les résultats obtenus ont montré la pertinence du nouveau modèle proposé. / The development of new control models to represent more accurately the plasma glucose-insulin dynamics in T1DM is needed for efficient closed-loop algorithms. In this PhD thesis, we proposed a new nonlinear model of five time-continuous state equations with the aim to identify its parameters from easily available real patients' data (i.e. data from the insulin pump and the glucose monitoring system. Its design is based on two assumptions. Firstly, two successive remote compartments, one for insulin and one for glucose issued from the meal, are introduced to account for the distribution of the insulin and the glucose in the organism. Secondly, the insulin action in glucose disappearance is modeled through an original nonlinear form. The mathematical properties of this model have been studied and we proved that a unique, positive and bounded solution exists for a fixed initial condition. It is also shown that the model is locally accessible. In this way, it can so be used as a control model. We proved the structural identifiability of this model and proposed a new method based on the Kullback-Leiber divergence in view to test its practical identifiability. The parameters of the model were estimated from real patients' data. The obtained mean fit indicates a good approximation of the glucose metabolism of real patients. The predictions of the model approximate accurately the glycemia of the studied patients during few hours. Finally, the obtained results let us validate the relevance of this new model as a control model in view to be applied to closed-loop algorithms.
10

Télé-opération avec retour d'effort pour la chirugie mini-invasive

Zarrad, Walid 19 December 2007 (has links) (PDF)
Ces travaux de thèse s'inscrivent dans le cadre de l'assistance robotique pour la chirurgie mini-invasive télé-opérée. L'une des principales limitations des systèmes existants concerne l'absence de restitution des efforts au chirurgien lorsqu'il télé-opère le robot. Ainsi, un système de télé-opération avec retour d'effort est proposé. Il est basé sur une architecture position - position avec une commande en effort du robot esclave. Cette dernière utilise un découplage non-linéaire du robot ainsi que des techniques d'observation et de commande par retour d'état. Des validations expérimentales ont montré les performances de l'architecture lors d'une télé-opération en espace libre et lors d'interactions avec un environnement de faible rigidité. Une première contribution est l'estimation en ligne de la raideur de l'environnement afin de garantir la stabilité du système lors d'interactions avec un environnement rigide. Cette stratégie utilise un filtre de Kalman étendu qui s'affranchit de la position de repos de l'environnement et qui considère une compensation des erreurs de modélisation du robot esclave. La deuxième contribution est l'étude de la transparence et de la stabilité de l'architecture de télé-opération. Une adaptation des paramètres de commande en fonction de la raideur estimée est proposée en considérant un compromis entre ces deux critères. La structure a été validée expérimentalement en considérant un environnement constitué de tissus ex-vivo. Une dernière contribution est l'adaptation de l'architecture de télé-opération avec retour d'effort aux contraintes imposées par la chirurgie mini-invasive. La première est le passage de l'instrument du robot par le trocart. Une architecture de commande utilisant le principe du découplage tâche - posture est alors proposée. La posture permettant le passage par le trocart est contrôlée en considérant la commande en position d'un robot virtuel attaché à l'instrument du robot télé-opéré. La deuxième contrainte considérée est la compensation des mouvements physiologiques. L'objectif étant d'offrir au chirurgien une stabilisation virtuelle de l'organe. L'approche de commande consiste à atténuer les perturbations dans les efforts appliqués sur un environnement en mouvement. La compensation repose sur une commande référencée modèle qui considère que les perturbations atténuées génèrent un déplacement du robot esclave. Des expérimentations ont montré la pertinence et l'efficacité des stratégies proposées.

Page generated in 1.3057 seconds