101 resultados para Programmation
Resumo:
Mmoire numris par la Division de la gestion de documents et des archives de l'Universit de Montral
Resumo:
Mmoire numris par la Division de la gestion de documents et des archives de l'Universit de Montral
Resumo:
Mmoire numris par la Division de la gestion de documents et des archives de l'Universit de Montral
Resumo:
Mmoire numris par la Division de la gestion de documents et des archives de l'Universit de Montral
Resumo:
De nombreux problmes en transport et en logistique peuvent tre formuls comme des modles de conception de rseau. Ils requirent gnralement de transporter des produits, des passagers ou encore des donnes dans un rseau afin de satisfaire une certaine demande tout en minimisant les cots. Dans ce mmoire, nous nous intressons au problme de conception de rseau avec cots fixes et capacits. Ce problme consiste ouvrir un sous-ensemble des liens dans un rseau afin de satisfaire la demande, tout en respectant les contraintes de capacits sur les liens. L'objectif est de minimiser les cots fixes associs l'ouverture des liens et les cots de transport des produits. Nous prsentons une mthode exacte pour rsoudre ce problme base sur des techniques utilises en programmation linaire en nombres entiers. Notre mthode est une variante de l'algorithme de branch-and-bound, appele branch-and-price-and-cut, dans laquelle nous exploitons la fois la gnration de colonnes et de coupes pour la rsolution d'instances de grande taille, en particulier, celles ayant un grand nombre de produits. En nous comparant CPLEX, actuellement l'un des meilleurs logiciels d'optimisation mathmatique, notre mthode est comptitive sur les instances de taille moyenne et suprieure sur les instances de grande taille ayant un grand nombre de produits, et ce, mme si elle n'utilise qu'un seul type d'ingalits valides.
Resumo:
Les oxydants infuss avec la nutrition parentral (NP) nonatale induisent une modification du mtabolisme des lipides et du glucose, donnant lieu lge adulte un phnotype de carence nergtique (faible poids, baisse de lactivit physique). Lhypothse quune dite prcoce riche en glucose prvient ces symptmes plus tard dans la vie, fut valu chez le cobaye par un ANOVA en plan factoriel complet deux facteurs (p < 0:05) : NP du jour 3 7, suivit dune nourriture rgulire (chow) (NP+) vs. chow partir du 3ime jour (NP-), combin avec une eau de consommation enrichie en glucose (G+) ou non (G-) partir de la 3ime semaine. Les paramtres suivant ont t mesurs lge de 9 semaine: taux de croissance, activit physique, activit de phosphofructokinase-1 et glucokinase (GK), niveau hpatique de glucose-6-phosphate (G6P), glycogne, pyruvate et potentiel redox du glutathion, poids du foie, glycmie, tolrance au glucose, concentrations hpatiques et plasmatiques en triacylglycrides (TG) et cholestrol. Le groupe G+ (vs. G-) avait un taux de croissance plus bas, une activit de GK et une concentration en G6P plus leve, et un potentiel redox plus bas (moins oxyd). Le niveau plasmatique de TG tait moins lev dans le groupe NP+ (vs. NP-). Les traitements neurent aucun effet sur les autres paramtres. Ces rsultats suggrent quindpendamment de la NP, une alimentation riche en glucose stimule la glycolyse et dplace ltat redox vers un statut plus rduit, mais ne surmonte pas les effets de la NP sur le phnotype physique de carence nergtique.
Resumo:
Les structures avec des lieurs sont trs communes en informatique. Les langages de programmation et les systmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est dlicate, de sorte que lcriture de programmes qui ma- nipulent ces structures tirerait profit dun soutien spcifique pour les lieurs. Lenviron- nement de programmation Beluga est un exemple dun tel systme. Nous dveloppons et prsentons ici un compilateur pour ce systme. Parmi les programmes pour lesquels Beluga est spcialement bien adapt, plusieurs peuvent bnficier dun compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interprteurs tirent profit du soutien spcifique des lieurs et des types dpendants prsents dans le langage. Ils ncessitent tous galement une excution efficace, que lon propose dobtenir par le biais dun compilateur. Le but de ce travail est de prsenter un nouveau compilateur pour Beluga, qui emploie une reprsentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulirement puissante dans ce langage.
Resumo:
Un objectif principal du gnie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie oriente objet (OO) a fourni de bons concepts et des techniques de modlisation et de programmation qui ont permis de dvelopper des applications complexes tant dans le monde acadmique que dans le monde industriel. Cette exprience a cependant permis de dcouvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problme de traabilit). La programmation oriente aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problme des proccupations transversales. Ces proccupations transversales se traduisent par la dispersion du mme code dans plusieurs modules du systme ou lemmlement de plusieurs morceaux de code dans un mme module. Cette nouvelle mthode de programmer permet dimplmenter chaque problmatique indpendamment des autres, puis de les assembler selon des rgles bien dfinies. La programmation OA promet donc une meilleure productivit, une meilleure rutilisation du code et une meilleure adaptation du code aux changements. Trs vite, cette nouvelle faon de faire sest vue stendre sur tout le processus de dveloppement de logiciel en ayant pour but de prserver la modularit et la traabilit, qui sont deux proprits importantes des logiciels de bonne qualit. Cependant, la technologie OA prsente de nombreux dfis. Le raisonnement, la spcification, et la vrification des programmes OA prsentent des difficults dautant plus que ces programmes voluent dans le temps. Par consquent, le raisonnement modulaire de ces programmes est requis sinon ils ncessiteraient dtre rexamins au complet chaque fois quun composant est chang ou ajout. Il est cependant bien connu dans la littrature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqus changent souvent le comportement de leurs composantes de base [47]. Ces mmes difficults sont prsentes au niveau des phases de spcification et de vrification du processus de dveloppement des logiciels. Au meilleur de nos connaissances, la spcification modulaire et la vrification modulaire sont faiblement couvertes et constituent un champ de recherche trs intressant. De mme, les interactions entre aspects est un srieux problme dans la communaut des aspects. Pour faire face ces problmes, nous avons choisi dutiliser la thorie des catgories et les techniques des spcifications algbriques. Pour apporter une solution aux problmes ci-dessus cits, nous avons utilis les travaux de Wiels [110] et dautres contributions telles que celles dcrites dans le livre [25]. Nous supposons que le systme en dveloppement est dj dcompos en aspects et classes. La premire contribution de notre thse est lextension des techniques des spcifications algbriques la notion daspect. Deuximement, nous avons dfini une logique, LA , qui est utilise dans le corps des spcifications pour dcrire le comportement de ces composantes. La troisime contribution consiste en la dfinition de loprateur de tissage qui correspond la relation dinterconnexion entre les modules daspect et les modules de classe. La quatrime contribution concerne le dveloppement dun mcanisme de prvention qui permet de prvenir les interactions indsirables dans les systmes orients aspect.
Resumo:
Thse ralise en cotutelle entre l'Universit de Montral et l'Universit de Technologie de Troyes
Resumo:
UNE EXPOSITION NONATALE LOXYGNE MNE DES MODIFICATIONS DE LA FONCTION MITOCHONDRIALE CHEZ LE RAT ADULTE Introduction: Lexposition loxygne (O2) des ratons nouveau-ns a des consquences lge adulte dont une hypertension artrielle (HTA), une dysfonction vasculaire, une nphropnie et des indices de stress oxydant. En considrant que les reins sont encore en dveloppement actif lors des premiers jours aprs la naissance chez les rats, jouent un rle cl dans le dveloppement de lhypertension et quune dysfonction mitochondriale est associ une augmentation du stress oxydant, nous postulons que les conditions dltres nonatales peuvent avoir un impact significatif au niveau rnal sur la modulation de lexpression de protines cls du fonctionnement mitochondrial et une production mitochondriale excessive despces ractives de l O2. Mthodes: Des ratons Sprague-Dawley sont exposs 80% dO2 (H) ou 21% O2 (Ctrl) du 3e au 10e jr de vie. En considrant que plusieurs organes des rats sont encore en dveloppement actif la naissance, ces rongeurs sont un modle reconnu pour tudier les complications dune hyperoxie nonatale, comme celles lies une naissance prmature chez lhomme. 4 et 16 semaines, les reins sont prlevs et les mitochondries sont extraites suivant une mthode dextraction standard, avec un tampon contenant du sucrose 0.32 M et diffrentes centrifugations. Lexpression des protines mitochondriales a t mesure par Western blot, tandis que la production d H202 et les activits des enzymes cls du cycle de Krebs ont t values par spectrophotomtrie. Les rsultats sont exprims par la moyenne SD. Rsultats: Les rats mles H de 16 semaines (n=6) prsentent une activit de citrate synthase (considr standard interne de lexpression protique et de labondance mitochondriales) augmente (12.4 8.4 vs 4.1 0.5 mole/mL/min), une diminution de lactivit daconitase (enzyme sensible au redox mitochondrial) (0.11 0.05 vs 0.20 0.04 moles/min/mg mitochondrie), ainsi quune augmentation dans la production de H202 (7.0 1.3 vs 5.4 0.8 moles/mg protines mitochondriales) comparativement au groupe Ctrl (n=6 mles et 4 femelles). Le groupe H (vs Ctrl) prsente galement une diminution dans lexpression de peroxiredoxin-3 (Prx3) (H 0.610.06 vs. Ctrl 0.780.02 unit relative, -23%; p<0.05), une protine implique dans llimination d H202, de lexpression du cytochrome C oxidase (Complexe IV) (H 1.020.04 vs. Ctrl 1.200.02 unit relative, -15%; p<0.05), une protine de la chaine de respiration mitochondriale, tandis que lexpression de la protine de dcouplage (uncoupling protein)-2 (UCP2), implique dans la dispersion du gradient proton, est significativement augmente (H 1.050.02 vs. Ctrl 0.900.03 unit relative, +17%; p<0.05). Les femelles H (n=6) (vs Ctrl, n=6) de 16 semaines dmontrent une augmentation significative de lactivit de laconitase (0.330.03 vs 0.170.02 moles/min/mg mitochondrie), de lexpression de lATP synthase sous unit (H 0.730.02 vs. Ctrl 0.590.02 unit relative, +25%; p<0.05) et de lexpression de MnSOD (H 0.890.02 vs. Ctrl 0.740.03 unit relative, +20%; p<0.05) (superoxide dismutase mitochondriale, important antioxidant), tandis que lexpression de Prx3 est significativement rduite (H 1.10.07 vs. Ctrl 0.850.01 unit relative, -24%; p<0.05). 4 semaines, les mles H (vs Ctrl) prsentent une augmentation significative de lexpression de Prx3 (H 0.720.03 vs. Ctrl 0.560.04 unit relative, +31%; p<0.05) et les femelles prsentent une augmentation significative de lexpression dUCP2 (H 1.220.05 vs. Ctrl 1.030.04 unit relative, +18%; p<0.05) et de lexpression de MnSOD (H 1.360.01 vs. 1.190.06 unit relative, +14%; p<0.05). Conclusions: Une exposition nonatale lO2 chez le rat adulte mne des indices de dysfonction mitochondriale dans les reins adultes, associe une augmentation dans la production despces ractives de loxygne, suggrant que ces modifications mitochondriales pourraient jouer un rle dans lhypertension artrielle et dun stress oxydant, et par consquent, tre un facteur possible dans la progression vers des maladies cardiovasculaires. Mots-cls: Mitochondries, Reins, Hypertension, Oxygne, Stress Oxydant, Programmation
Resumo:
Dans les tudes sur le transport, les modles de choix de route dcrivent la slection par un utilisateur dun chemin, depuis son origine jusqu sa destination. Plus prcisment, il sagit de trouver dans un rseau compos darcs et de sommets la suite darcs reliant deux sommets, suivant des critres donns. Nous considrons dans le prsent travail lapplication de la programmation dynamique pour reprsenter le processus de choix, en considrant le choix dun chemin comme une squence de choix darcs. De plus, nous mettons en uvre les techniques dapproximation en programmation dynamique afin de reprsenter la connaissance imparfaite de ltat rseau, en particulier pour les arcs loigns du point actuel. Plus prcisment, chaque fois quun utilisateur atteint une intersection, il considre lutilit dun certain nombre darcs futurs, puis une estimation est faite pour le restant du chemin jusqu la destination. Le modle de choix de route est implant dans le cadre dun modle de simulation de trafic par vnements discrets. Le modle ainsi construit est test sur un modle de rseau routier rel afin dtudier sa performance.
Resumo:
Parmi les mthodes destimation de paramtres de loi de probabilit en statistique, le maximum de vraisemblance est une des techniques les plus populaires, comme, sous des conditions legres, les estimateurs ainsi produits sont consistants et asymptotiquement efficaces. Les problmes de maximum de vraisemblance peuvent tre traits comme des problmes de programmation non linaires, ventuellement non convexe, pour lesquels deux grandes classes de mthodes de rsolution sont les techniques de rgion de confiance et les mthodes de recherche linaire. En outre, il est possible dexploiter la structure de ces problmes pour tenter dacclerer la convergence de ces mthodes, sous certaines hypothses. Dans ce travail, nous revisitons certaines approches classiques ou rcemment developpes en optimisation non linaire, dans le contexte particulier de lestimation de maximum de vraisemblance. Nous dveloppons galement de nouveaux algorithmes pour rsoudre ce problme, reconsidrant diffrentes techniques dapproximation de hessiens, et proposons de nouvelles mthodes de calcul de pas, en particulier dans le cadre des algorithmes de recherche linaire. Il sagit notamment dalgorithmes nous permettant de changer dapproximation de hessien et dadapter la longueur du pas dans une direction de recherche fixe. Finalement, nous valuons lefficacit numrique des mthodes proposes dans le cadre de lestimation de modles de choix discrets, en particulier les modles logit mlangs.
Resumo:
Les techniques de groupement technologique sont aujourdhui utilises dans de nombreux ateliers de fabrication; elles consistent dcomposer les systmes industriels en sous-systmes ou cellules constitus de pices et de machines. Trouver le groupement technologique le plus efficace est formul en recherche oprationnelle comme un problme de formation de cellules. La rsolution de ce problme permet de tirer plusieurs avantages tels que la rduction des stocks et la simplification de la programmation. Plusieurs critres peuvent tre dfinis au niveau des contraintes du problme tel que le flot intercellulaire,lquilibrage de charges intracellulaires, les cots de sous-traitance, les cots de duplication des machines, etc. Le problme de formation de cellules est un problme d'optimisation NP-difficile. Par consquent les mthodes exactes ne peuvent tre utilises pour rsoudre des problmes de grande dimension dans un dlai raisonnable. Par contre des mthodes heuristiques peuvent gnrer des solutions de qualit infrieure, mais dans un temps dexcution raisonnable. Dans ce mmoire, nous considrons ce problme dans un contexte bi-objectif spcifi en termes dun facteur dautonomie et de lquilibre de charge entre les cellules. Nous prsentons trois types de mthodes mtaheuristiques pour sa rsolution et nous comparons numriquement ces mtaheuristiques. De plus, pour des problmes de petite dimension qui peuvent tre rsolus de faon exacte avec CPLEX, nous vrifions que ces mtaheuristiques gnrent des solutions optimales.
Resumo:
Il existe plusieurs thories du contrle moteur, chacune prsumant quune diffrente variable du mouvement est rgle par le cortex moteur. On trouve parmi elles la thorie du modle interne qui a mis lhypothse que le cortex moteur programme la trajectoire du mouvement et lactivit lectromyographique (EMG) dune action motrice. Une autre, appele lhypothse du point dquilibre, suggre que le cortex moteur tablisse et rtablisse des seuils spatiaux; les positions des segments du corps auxquelles les muscles et les rflexes commencent sactiver. Selon ce dernier, les paramtres du mouvement sont drivs sans pr-programmation, en fonction de la diffrence entre la position actuelle et la position seuil des segments du corps. Pour examiner de plus prs ces deux thories, nous avons examin leffet dun changement volontaire de langle du coude sur les influences cortico-spinales chez des sujets sains en employant la stimulation magntique transcrnienne (TMS) par-dessus le site du cortex moteur projetant aux motoneurones des muscles du coude. Ltat de cette aire du cerveau a t valu un angle de flexion du coude activement tabli par les sujets, ainsi qu un angle dextension, reprsentant un dplacement dans le plan horizontal de 100. LEMG de deux flchisseurs du coude (le biceps et le muscle brachio-radial) et de deux extenseurs (les chefs mdial et latral du triceps) a t enregistre. Ltat dexcitabilit des motoneurones peut influer sur les amplitudes des potentiels voqus moteurs (MEPs) licites par la TMS. Deux techniques ont t entreprises dans le but de rduire leffet de cette variable. La premire tait une perturbation mcanique qui raccourcissait les muscles l'tude, produisant ainsi une priode de silence EMG. La TMS a t envoye avec un retard aprs la perturbation qui entranait la production du MEP pendant la priode de silence. La deuxime technique avait galement le but dquilibrer lEMG des muscles aux deux angles du coude. Des forces assistantes ont t appliques au bras par un moteur externe afin de compenser les forces produites par les muscles lorsquils taient actifs comme agonistes dun mouvement. Les rsultats des deux sries taient analogues. Un muscle tait facilit quand il prenait le rle dagoniste dun mouvement, de manire ce que les MEPs observs dans le biceps fussent de plus grandes amplitudes quand le coude tait la position de flexion, et ceux obtenus des deux extenseurs taient plus grands langle dextension. Les MEPs examins dans le muscle brachio-radial n'taient pas significativement diffrents aux deux emplacements de larticulation. Ces rsultats dmontrent que les influences cortico-spinales et lactivit EMG peuvent tre dissocies, ce qui permet de conclure que la voie cortico-spinale ne programme pas lEMG tre gnre par les muscles. Ils suggrent aussi que le systme cortico-spinal tablit les seuils spatiaux dactivation des muscles lorsquun segment se dplace dune position une autre. Cette ide suggre que des dficiences dans le contrle des seuils spatiaux soient la base de certains troubles moteurs dorigines neurologiques tels que lhypotonie et la spasticit.
Resumo:
En radiothrapie, la tomodensitomtrie (CT) fournit linformation anatomique du patient utile au calcul de dose durant la planification de traitement. Afin de considrer la composition htrogne des tissus, des techniques de calcul telles que la mthode Monte Carlo sont ncessaires pour calculer la dose de manire exacte. Limportation des images CT dans un tel calcul exige que chaque voxel exprim en unit Hounsfield (HU) soit converti en une valeur physique telle que la densit lectronique (ED). Cette conversion est habituellement effectue laide dune courbe dtalonnage HU-ED. Une anomalie ou artefact qui apparat dans une image CT avant ltalonnage est susceptible dassigner un mauvais tissu un voxel. Ces erreurs peuvent causer une perte cruciale de fiabilit du calcul de dose. Ce travail vise attribuer une valeur exacte aux voxels dimages CT afin dassurer la fiabilit des calculs de dose durant la planification de traitement en radiothrapie. Pour y parvenir, une tude est ralise sur les artefacts qui sont reproduits par simulation Monte Carlo. Pour rduire le temps de calcul, les simulations sont paralllises et transposes sur un superordinateur. Une tude de sensibilit des nombres HU en prsence dartefacts est ensuite ralise par une analyse statistique des histogrammes. lorigine de nombreux artefacts, le durcissement de faisceau est tudi davantage. Une revue sur ltat de lart en matire de correction du durcissement de faisceau est prsente suivi dune dmonstration explicite dune correction empirique.
