Étant donnés un planning aérien et des prévisions de demande, le problème d'affectation de flotte aérienne consiste à déterminer la meilleure façon de répartir les types d'appareils sur les vols. Cette répartition a un impact majeur sur le profit d'une compagnie aérienne, puisqu'elle détermine les quantités de places disponibles sur les itinéraires du réseau aérien, ainsi que le coût de fonctionnement de celui-ci. Des décennies de recherche ont rendues les modélisations de ce problème de plus en plus réalistes. Cette thèse s'inscrit dans la continuité de ces recherches en considérant le problème d'affectation de flotte dans un contexte où les demandes des passagers sont incertaines. Nous proposons dans un premier temps une étude autour des deux modèles de la littérature les plus utilisés dans l'industrie, FAM et IFAM. Nous montrons que FAM peut être vu comme une Relaxation Lagrangienne de IFAM, avec des multiplicateurs Lagrangiens particuliers. Nous implémentons cette relaxation, et nous appliquons des résultats connus pour l'étendre en une génération de colonnes basée sur une décomposition de Dantzig-Wolfe de IFAM. Nous étudions ensuite les effets que l'imprécision des prévisions peut avoir sur la performance d'IFAM, et nous présentons au terme de cette étude une nouvelle approche pour modéliser le problème d'affectation de flotte. Notre modèle, Market Driven Fleet Assignment Model (MDFAM), intègre les demandes par itinéraires comme variables de décision, et contraint ces demandes plutôt que de les considérer comme une entrée fixe. Nous appelons les contraintes résultantes des contraintes de Marché. Nous illustrons la flexibilité de cette approche à travers divers exemples, et nous proposons une série d'expériences visant à déterminer quelles sont les contraintes de marché donnant les meilleurs résultats. Nous comparons les différents modèles, et nous montrons que MDFAM peut atteindre des niveaux de performance similaires à ceux offert par IFAM, tout en étant plus facile à utiliser et à implémenter. / Given an airline schedule and demand forecasts, the Fleet Assignment Problem consists in determining how to assign aircraft types to flight legs in the best possible way. This assignment has a major impact on the profit of an airline, since it determines the quantities of seats available over the itineraries of the flight network, along with the associated operating cost. Decades of research on this problem have improved the formulations to be more and more realistic. This thesis extends the ongoing work, considering the problem of doing Fleet Assignment taking demand volatility into account. We first propose a study involving the two models of the literature that are the most widely used by the industry, FAM and IFAM. We show that FAM can be seen as a Lagrangian Relaxation of IFAM, with particular Lagrangian multipliers. We implement this relaxation, and we apply known results to extend it in a column generation based on a Dantzig-Wolfe decomposition of IFAM. We then study the effects of forecasts inaccuracy over the performance of IFAM, and we present a novel approach for modeling the Fleet Assignment Problem. Our model, Market Driven Fleet Assignment Model (MDFAM), makes the itinerary demands part of the decision variables. We propose to constraint these variables rather than consider them as a fixed input of the problem, and we call the resulting constraints Market Constraints. We illustrate the flexibility of this approach through various examples, and we provide a series of experiments in order to determine which Market Constraints give the best results. We compare the different models, and we show that MDFAM can reach a performance which is similar to IFAM's, while being easier to use and to implement.

Made available in DSpace on 2014-06-11T19:28:25Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-01-14Bitstream added on 2014-06-13T20:18:08Z : No. of bitstreams: 1 torrezan_rm_me_prud.pdf: 3165903 bytes, checksum: 48dadf7c10916841f947e6f8126ef7a8 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Dans cette recherche, on a prévu une réflexion sur l’action éducative en santé près d’une communauté locale, en problématisant les conditions de la santé dans les aires urbaines pauvres. Pour cela, on a réalisé un diagnostique de la situation épidémiologique de l’aire, à travers de l’observation participante et de l’accompagnement du monitorage des principales espèces de mouches domestiques, travail réalisé au sein du Laboratoire de Géographie de la Santé de la FCT/UNESP à Presidente Prudente. L’observation a permis de comprendre : 1. Le rapport santéenvironnement, considérant la forme de propagation des vecteurs ; 2. L’étiologie de la mouche domestique et ses relations réciproques avec les agents pathogéniques ; 3. Le processus d’apprentissage de cette étude pour les étudiants de Géographie ; 4. Le lien de l’Université avec la communauté et les services de santé et d’éducation dans les aires d’étude. À partir de cela, on a l’objective d’analyser l’expérience d’articulation des acteurs sociaux dans la résolution des problèmes de la santé de sa propre communauté pour promouvoir l’éducation en santé et aussi proposer une stratégie d’éducation en santé, dans les sens de faire l’intégration des systèmes de santé, d’éducation, socio-sanitaire et de conservation environnementale... (Résumé complet accès électronique ci-dessous) / Nesta pesquisa realizou-se uma reflexão acerca da ação educativa em saúde junto a uma comunidade local, problematizando as condições de saúde em áreas urbanas periféricas pobres. O ponto de partida para isto foi o acompanhamento do trabalho que vem sendo realizado pelo Laboratório de Geografia da Saúde da FCT/UNESP de Presidente Prudente sobre o monitoramento das principais espécies de moscas domésticas. A observação desta experiência permitiu compreender: 1. A relação saúde e ambiente, considerando a forma de propagação de vetores; 2. A etiologia da mosca doméstica e suas correlações com agentes patogênicos; 3. O processo de aprendizagem que este estudo exige para estudantes de geografia; 4. O vínculo da universidade com a comunidade e os serviços de saúde e educação das áreas de estudo. A partir do diálogo e das discussões sobre as moscas domésticas, procurou-se analisar a experiência de articulação de atores sociais na resolução dos problemas de saúde da sua própria comunidade, a fim de promover a educação em saúde e ainda propor uma estratégia de educação em saúde, contribuindo com a integração dos sistemas de saúde, educação, sócio-sanitário e de conservação ambiental. O presente trabalho é resultado deste processo...

La place de l’authenticité du thérapeute en thérapie est loin de faire l’unanimité chez les cliniciens et les chercheurs. Elle demeure l’attitude la plus discutée en ce qui a trait au succès thérapeutique. Or, il ne suffit pas au thérapeute de démontrer son authenticité pour être perçu comme authentique par le client. Selon des études, la perception du client est le facteur le plus en lien avec le succès thérapeutique. Pour bien comprendre l’authenticité du thérapeute, son inverse, l’inauthenticité, est également un sujet d’intérêt qui a très peu été étudié jusqu’à maintenant. La présente thèse vise donc à combler en partie ce manque en adoptant l’angle de l’authenticité et de l’inauthenticité du thérapeute selon la perspective du client. L’objectif poursuivi est de décrire, selon la perspective des clients, les manifestations de l’authenticité et de l’inauthenticité du thérapeute, ainsi que leurs effets respectifs sur le processus thérapeutique. Un devis qualitatif exploratoire a donc été choisi. Des entrevues semi-structurées ont été réalisées auprès de sept clients de thérapie. Pour analyser les données recueillies, l’analyse thématique a été utilisée. Il en ressort que l’authenticité du thérapeute se manifeste par plusieurs qualités et compétences (accordage, connexion, intérêt, écoute, spontanéité, engagement, disponibilité, solidité intérieure, cohérence, partage des réflexions cliniques et du bagage personnel, humilité et dédramatisation par l’humour). De plus, le thérapeute authentique est capable de maintenir une saine distance avec le client et se montre détaché par rapport à sa rémunération. À l’inverse, un thérapeute inauthentique fait preuve de désaccordage, laisse planer des non-dits, démontre une absence de réactivité, ne semble pas intéressé et fait des interventions techniques, c’est-à-dire de manière stéréotypée. De plus, un thérapeute inauthentique est perçu comme fragile et incohérent. En ce qui concerne les effets sur le processus thérapeutique, les thérapeutes authentiques favorisent le lien de confiance, le rapprochement, le dévoilement et l’exploration des difficultés, mais peuvent être déstabilisants en début de suivi. L’authenticité du thérapeute aide également les clients à rester motivés à poursuivre la thérapie et accélère le processus thérapeutique. Inversement, l’inauthenticité amène le client à douter de la compétence du thérapeute, génère un inconfort et représente un obstacle au dévoilement. Elle amène le client à se désinvestir et à arrêter prématurément la thérapie. En ce qui concerne les manifestations de l’authenticité et de l’inauthenticité du thérapeute, les résultats permettent de constater l’importance de la dimension non verbale de cette attitude pour les clients. De plus, ils permettent d’enrichir les connaissances limitées qui portent sur l’inauthenticité du thérapeute. Des recherches futures permettront de contribuer à une compréhension nuancée et contextualisée de ce que constitue une authenticité thérapeutique.

Les problèmes d'ordonnancement à contraintes de ressource ont été largement étudiés dans la littérature. Cependant, dans la plupart des cas, il est supposé que les activités ont une durée fixe et nécessitent une quantité constante de la ressource durant toute leur exécution. Dans cette thèse, nous nous proposons de traiter un problème d'ordonnancement dans lequel les tâches ont une durée et un profil de consommation de ressource variables. Ce profil, qui peut varier en fonction du temps, est une variable de décision du problème dont dépend la durée de la tâche associée. Par ailleurs, la considération de fonctions de rendement linéaires et non linéaires pour la représentation de l'utilisa- tion des ressources complexifie le problème et permet de modéliser de manière réaliste les transferts de ressources énergétiques. Pour ce problème NP-complet, nous présentons plusieurs propriétés per- mettant de dériver des modèles et méthodes de résolution. Ces méthodes de résolution sont divisées en deux parties. La première partie visualise ce problème du point de vue de la Programmation Par Contraintes et plusieurs méthodes dérivées de ce paradigme sont détaillées dont le développement du raisonnement énergétique sur le problème étudié. La seconde partie de la thèse est dédiée à des approches de Programmation Linéaire Mixte et plusieurs modèles, notamment un modèle à temps continu basé sur les événements, ainsi que des analyses théoriques et des techniques d'amélioration de ces modèles sont présentés. Enfin, des expérimentations viennent appuyer les résultats présentés dans ce manuscrit. / Resource-constrained scheduling problems have been widely studied in the literature. However, in most cases, it is assumed that the activities have a fixed duration and require a constant amount of the resource throughout their execution. In this thesis, we propose to treat a scheduling problem in wich tasks have a variable duration and a variable resource consumption profile. This profile, which may vary over time, is a decision variable of the problem on wich depends the ruration of the associated task. Furthermore, we consider linear and nonlinear efficiency functions to represent resource usage, which makes more complex the problem and permits the modeling of energy transfers. For this NP-complete problem, we present several properties allowing us to derive models and solution methods. These solution methods are divided into two parts. The first part studies the problem from the perspective of Constraint Programmming and several methods derived from this paradigm are detailed, among which new developments on energetic reasoning for the considered problem. The second part of the thesis, dedicated to Mixed Integer Linear Programming approches, presents several models, including a novel continuous time model based on events as well theoretical analysis of the models and improvement of theses techniques. Finally, experiments show the relative effectiveness of the results presented in this thesis.

Étant donné un processus physique linéaire dont nous connaissons les équations d'évolution nous pouvons décrire son évolution par un certain nombre d'équations différentielles linéaires. Cette forme mathématique est souvent inexploitable, c'est pourquoi l'on préfère mettre le système sous forme d'équations d'états ou de fonction de transfert ; si le système est à commande échantillonnée on adopte une formulation matricielle dans l'espace d'état. L'une ou l'autre de ces formulations sont équivalentes et le choix ne dépend que des conclusions qui doivent être tirées sur l'évolution du système soumis à une certaine commande. Tout système, quelles que soient ses performances, est inutilisable s'il est instable ou s'il ne peut pas être stabilisé par adjonction d'un correcteur d'où l'importance primordiale d'une étude de stabilité. 11 existe un très grand nombre de méthodes d'étude de la stabilité des systèmes linéaires ; citons pour mémoire la méthode de Routh-hurwitz, les critères de Bode et de Nyquist ... Ces méthodes conviennent parfaitement pour des systèmes d'ordre peu élevé mais deviennent inexploitables, sans calculateur, pour des systèmes plus complexes. Le but de l'étude qui va suivre est de choisir un critère de stabilité s'adaptant au calcul numérique à partir duquel nous élaborerons divers programmes permettant de conclure sur la stabilité des systèmes (jusqu'à l'ordre 14) quelle que soit leur formulation ; rappelons qu'un système peut se mettre sous forme d'équations d'état, de fonction de transfert, d'équations différentielles.

Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

General Stackelberg games (GSG) confront two contenders, each wanting to optimize their rewards. One of the players, referred to as the leader, can commit to a given action or strategy first, and the other player, referred to as the follower, then responds by selecting an action or strategy of his own. The objective of the game is for the leader to commit to a reward-maximizing strategy, anticipating that the follower will best respond.Finding an optimal mixed strategy for the leader in a GSG is NP-hard when the leader faces one out of a group of several followers and polynomial when there exists a single follower. Additionally, GSGs in which the strategies of the leader consist in covering a subset of at most $m$ targets and the strategies of the followers consist in attacking some target, are called Stackelberg security games (SSG) and involve an exponential number of pure strategies for the leader.The goal of this thesis is to provide efficient algorithms to solve GSGs and SSGs. These algorithms must not only be able to produce optimal solutions quickly, but also be able to solve real life, and thus large scale, problems efficiently. To that end, the main contributions of this thesis are divided into three parts:First, a comparative study of existing mixed integer linear programming (MILP) formulations is carried out for GSGs, where the formulations are ranked according to the tightness of their linear programming (LP) relaxations. A formal theoretical link is established between GSG and SSG formulations through projections of variables and this link is exploited to extend the comparative study to SSG formulations. A new strong SSG MILP formulation is developed whose LP relaxation is shown to be the tightest among SSG formulations. When restricted to a single attacker type, the new SSG formulation is ideal, i.e. the constraints of its LP relaxation coincide with its convex hull of feasible solutions. Computational experiments show that the tightest formulations in each setting are the fastest. Notably, the new SSG formulation proposed is competitive with respect to solution time, and due to the tightness of its LP relaxation, it is better suited to tackle large instances than competing formulations.Second, the bottleneck encountered when solving the formulations studied in the first part of the thesis is addressed: The tightest formulations in each setting have heavy LP relaxations which can be time-consuming to solve and thus limit the effectiveness of the formulations to tackle instances. To address this issue, in both the general and the security case, Benders cuts from the LP relaxation of the tightest MILP formulations are embedded into a Cut and Branch scheme on a sparse equivalent formulation in each setting. By combining the tightness of the bound provided by the strong formulations with the resolution speed of the formulations, the proposed algorithm efficiently solves large GSG and SSG instances which were out of the scope of previous methods.Third, a special type of SSG, defined on a network, is studied, where the leader has to commit to two coverage distributions, one over the edges of the network and one over the targets, which are contained inside the nodes. A particular case of this SSG is used to tackle a real life border patrol problem proposed by the Carabineros de Chile in which the use of their limited security resources is optimized while taking into account both global and local planning considerations. A methodology is provided to adequately generate the game's parameters. Computational experiments show the good performance of the approach and a software application developed for Carabineros to schedule their border resources is described. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Dans le domaine du Génie Électrique, la méthode des éléments finis (MEF) associée à une approche pas à pas dans le temps est la plus simple, la plus précise et la plus robuste des méthodes pour modéliser les champs magnétiques dans des dispositifs électromagnétiques en basse fréquence. Néanmoins, cette méthode peut conduire à des temps de calcul extrêmement importants lorsque la constante de temps du système étudié est relativement petite en comparaison de la durée du régime transitoire. C'est dans ce contexte que s'inscrit ces travaux de thèse intitulés « Modélisation numérique par la méthode des éléments finis des systèmes électrotechniques: recherche du régime permanent ». Dans ce manuscrit, une méthode numérique nommée Waveform Relaxation-Newton Method (WR-NM) a été développée. Celle-ci est basée sur la Waveform Relaxation Method (WRM) à laquelle des conditions de périodicité sont appliquées afin d'imposer le régime permanent directement pour des problèmes électromagnétiques couplés à des équations de circuit. La convergence de cette méthode étant similaire à celle d'une méthode point-fixe, elle a été combinée à la méthode de Newton-Raphson dont la convergence est quadratique. Afin de valider et de tester la robustesse de la WR-NM, plusieurs applications sont présentées dans le manuscrit. Des gains importants en temps de calcul sont signifiés en comparaison à l'approche classique et ce pour une précision de la solution identique. Un dernier exemple concernant la modélisation d'une machine à griffes couplés à un pont redresseur montre que la WR-NM peut également être employé dans un cadre industriel. / In electrical engineering, the Finite Element Method (FEM) associated to the time stepping numerical scheme is the most used approach today. This method is simple, accurate and efficient to modeling magnetic fields in low frequency electromagnetic devices. Nevertheless according to the studied cases, the time constant of the device can lead to prohibitive computation time to obtain the steady state. It is in this context that this PhD thesis is written "Numerical modeling by finite element method for electrotechnical systems: steady state investigation". The Waveform Relaxation-Newton Method (WR-NM) was developed, this method is based on the waveform relaxation method (WRM) in which periodicity conditions are applied to impose the steady state for electromagnetic problems coupled to circuit equations. The convergence of this method is similar to a fixed-point method, thus the method is combined to the method of Newton-Raphson whose convergence is quadratic. In order to validate and test the robustness of WR-NM, several applications are presented in the manuscript. Significant gains in computation time are shown in comparison with the conventional approach and for the same precision of the solution. A final example on the modeling of a claw-pole machine coupled to a bridge rectifier shows that the WR-NM can also be employed in an industrial setting.

Doctorat en sciences sociales, politiques et économiques / info:eu-repo/semantics/nonPublished

Doctorat en sciences psychologiques / info:eu-repo/semantics/nonPublished