182 resultados para Programmation
Resumo:
Le problme de tarification qui nous intresse ici consiste maximiser le revenu gnr par les usagers d'un rseau de transport. Pour se rendre leurs destinations, les usagers font un choix de route et utilisent des arcs sur lesquels nous imposons des tarifs. Chaque route est caractrise (aux yeux de l'usager) par sa "dsutilit", une mesure de longueur gnralise tenant compte la fois des tarifs et des autres cots associs son utilisation. Ce problme a surtout t abord sous une modlisation dterministe de la demande selon laquelle seules des routes de dsutilit minimale se voient attribuer une mesure positive de flot. Le modle dterministe se prte bien une rsolution globale, mais pche par manque de ralisme. Nous considrons ici une extension probabiliste de ce modle, selon laquelle les usagers d'un rseau sont allous aux routes d'aprs un modle de choix discret logit. Bien que le problme de tarification qui en rsulte est non linaire et non convexe, il conserve nanmoins une forte composante combinatoire que nous exploitons des fins algorithmiques. Notre contribution se rpartit en trois articles. Dans le premier, nous abordons le problme d'un point de vue thorique pour le cas avec une paire origine-destination. Nous dveloppons une analyse de premier ordre qui exploite les proprits analytiques de l'affectation logit et dmontrons la validit de rgles de simplification de la topologie du rseau qui permettent de rduire la dimension du problme sans en modifier la solution. Nous tablissons ensuite l'unimodalit du problme pour une vaste gamme de topologies et nous gnralisons certains de nos rsultats au problme de la tarification d'une ligne de produits. Dans le deuxime article, nous abordons le problme d'un point de vue numrique pour le cas avec plusieurs paires origine-destination. Nous dveloppons des algorithmes qui exploitent l'information locale et la parent des formulations probabilistes et dterministes. Un des rsultats de notre analyse est l'obtention de bornes sur l'erreur commise par les modles combinatoires dans l'approximation du revenu logit. Nos essais numriques montrent qu'une approximation combinatoire rudimentaire permet souvent d'identifier des solutions quasi-optimales. Dans le troisime article, nous considrons l'extension du problme une demande htrogne. L'affectation de la demande y est donne par un modle de choix discret logit mixte o la sensibilit au prix d'un usager est alatoire. Sous cette modlisation, l'expression du revenu n'est pas analytique et ne peut tre value de faon exacte. Cependant, nous dmontrons que l'utilisation d'approximations non linaires et combinatoires permet d'identifier des solutions quasi-optimales. Finalement, nous en profitons pour illustrer la richesse du modle, par le biais d'une interprtation conomique, et examinons plus particulirement la contribution au revenu des diffrents groupes d'usagers.
Resumo:
Traditionnellement, les applications orientes objets lgataires intgrent diffrents aspects fonctionnels. Ces aspects peuvent tre disperss partout dans le code. Il existe diffrents types daspects : des aspects qui reprsentent des fonctionnalits mtiers ; des aspects qui rpondent des exigences non fonctionnelles ou dautres considrations de conception comme la robustesse, la distribution, la scurit, etc. Gnralement, le code qui reprsente ces aspects chevauche plusieurs hirarchies de classes. Plusieurs chercheurs se sont intresss la problmatique de la modularisation de ces aspects dans le code : programmation oriente sujets, programmation oriente aspects et programmation oriente vues. Toutes ces mthodes proposent des techniques et des outils pour concevoir des applications orientes objets sous forme de composition de fragments de code qui rpondent diffrents aspects. La sparation des aspects dans le code a des avantages au niveau de la rutilisation et de la maintenance. Ainsi, il est important didentifier et de localiser ces aspects dans du code lgataire orient objets. Nous nous intressons particulirement aux aspects fonctionnels. En supposant que le code qui rpond un aspect fonctionnel ou fonctionnalit exhibe une certaine cohsion fonctionnelle (dpendances entre les lments), nous proposons didentifier de telles fonctionnalits partir du code. Lide est didentifier, en labsence des paradigmes de la programmation par aspects, les techniques qui permettent limplmentation des diffrents aspects fonctionnels dans un code objet. Notre approche consiste : identifier les techniques utilises par les dveloppeurs pour intgrer une fonctionnalit en labsence des techniques orientes aspects caractriser lempreinte de ces techniques sur le code et dvelopper des outils pour identifier ces empreintes. Ainsi, nous prsentons deux approches pour lidentification des fonctionnalits existantes dans du code orient objets. La premire identifie diffrents patrons de conception qui permettent lintgration de ces fonctionnalits dans le code. La deuxime utilise lanalyse formelle de concepts pour identifier les fonctionnalits rcurrentes dans le code. Nous exprimentons nos deux approches sur des systmes libres orients objets pour identifier les diffrentes fonctionnalits dans le code. Les rsultats obtenus montrent lefficacit de nos approches pour identifier les diffrentes fonctionnalits dans du code lgataire orient objets et permettent de suggrer des cas de refactorisation.
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:
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.
