Literatura científica selecionada sobre o tema "Ré-optimisation"

Cette thèse traite de la détection et de la ré-identification de personnes dans un environnement instrumenté par un réseau de caméras à champ disjoint. Elle est à la confluence des communautés Recherche Opérationnelle et Vision car elle s'appuie sur des techniques d'optimisation combinatoire pour formaliser de nouvelles modalités de vision par ordinateur. Dans ce contexte, un détecteur visuel de personnes, basé sur la programmation linéaire en nombres entiers, est tout d'abord proposé. Son originalité est de prendre en compte le coût de traitement et non uniquement les performances de détection. Ce détecteur est évalué et comparé aux détecteurs de la littérature les plus performants. Ces expérimentations menées sur deux bases de données publiques mettent clairement en évidence l'intérêt de notre détecteur en terme de coût de traitement avec garantie de performance de détection. La seconde partie de la thèse porte sur la modalité de ré-identification de personnes. L'originalité de notre approche, dénommée D-NCR (pour Directed Network Consistent Re-identification), est de prendre explicitement en compte les temps minimum de transit des personnes dans le réseau de caméras et sa topologie pour améliorer la performance de la ré-identification. On montre que ce problème s'apparente à une recherche de chemins disjoints particuliers à profit maximum dans un graphe orienté. Un programme linéaire en nombres entiers est proposé pour sa modélisation et résolution. Les évaluations réalisées sur une base publique d'images sont prometteuses et montrent le potentiel de cette approche
This thesis deals with people detection and re-identification in an environment instrumented by a network of disjoint-field cameras. It stands at the confluence of the Operational Research and Computer Vision communities as combinatorial optimization techniques are used to formalize new computer vision methods. In this context, a people visual detector, based on mixed-integer programming, is first propose that simultaneously take computation time and detection performances into account. This detector is evaluated and compared to the best detectors of the literature. These experiments, conducted on two public databases, clearly demonstrate the interest of our detector in terms of processing time with detection performance guarantee. The second part of the thesis deals with people re-identification. Our novel approach, called D-NCR (Directed Network Consistent Re-identification), explicitly takes minimum transit times in the camera network into account, as well as the network topology, in order to improve the re-identification performance. This problem is similar to the determination of particular maximum-profitable independent paths in an oriented graph. A mixed-integer program is proposed to model and solve this problem. The experiments made on a public dataset sound promising and tend to prove the potential of the approach

Le travail présenté dans cette thèse concerne le problème de la gestion de flux dans les systèmes de production de semi-conducteurs. Nous avons abordé particulièrement le problème de gestion de systèmes du type ré-entrant. Le travail est organisé en cinq chapitres: Les deux premiers sont dédiés aux systèmes de production de semi-conducteurs et à la problématique des systèmes ré-entrants. Nous distinguons les systèmes monoproduit et les systèmes multiproduit en fonction du nombre des types de produits circulant dans le système. Le troisième concerne l'étude de politiques de pilotage. Des politiques classiques sont rappelées et des extensions au cas multiproduit sont étudiées. Nous proposons ensuite une nouvelle politique multiproduit: FIFO(LBFS). Le quatrième chapitre présente le problème de la stabilité des politiques de pilotage. Des preuves de stabilité et des contre-exemples sont présentés. Pour étudier et analyser les performances des politiques de pilotage, de nombreuses simulations sont présentées dans le dernier chapitre
The study presented in this thesis concerns the scheduling flow problem in the semiconductor manufacturing plants. The scheduling problem in re-entrant systems has been particularly studied. The thesis is divided in five chapters. Ln the two first chapters, we study sorne notions and characteristics of semiconductor manufacturing systems. The mono-part type systems and multi-part type systems are been defined. The scheduling problem for the re-entrant systems is also emphasized. Ln the third chapter, several scheduling policies are studied. Sorne classical policies are recalled and sorne extension to multi-part type systems are studied. We introduce a new scheduling policy: FIFO(LBFS). The problem of stability of scheduling policies is discussed in the fourth chapter. Sorne proofs of stability and counter-examples are presented. For studying and analysing policies performance, many simulation examples are presented in the last chapter

Une approche synthétique des méthodes de réduction de modèles éléments finis dynamiques de structures mécaniques est présentée dans ce mémoire.
Une nouvelle technique de synthèse modale est proposée: elle permet l'obtention de modèles réduits exempts de coordonnées de jonction. Ses performances sont comparées vis-à-vis des méthodes de sous-structuration classiques lors de la réduction de modèles de structures automobiles. Un modèle sous-structuré d'une caisse nue de véhicule de 450 000 ddl, présentant une forte connectivité, est condensé à 2000 ddl par cette méthode.
L'usage de transformations de coordonnées physiques avec la prise en compte des chargements appliqués est généralisé à l'ensemble des méthodes de réduction.
La robustesse des modèles réduits paramétrés est traitée ainsi que les techniques d'adaptation, par réductions multiplies, des données issues du modèle aux observations mesurées sur la structure dans des objectifs de recalage de modèle et d'optimisation de comportement.

Le Problème de Bin Packing Probabiliste (PBPP) tient compte de la disparition de certains objets après avoir été placés dans les boîtes. Le problème consiste à réarranger les objets restants en utilisant la solution a priori. L’arrangement initial est effectué en utilisant l’heuristique Next Fit Decreasing (NFD). Nous considérons deux stratégies de résolution: la stratégie de redistribution suivant NFD et la stratégie a priori. Dans la première, l’algorithme Next Fit est appliqué à la nouvelle liste. Dans la seconde, des groupes successives de boîtes sont réarrangés d’une façon optimale. Dans les deux cas, nous développons une analyse en moyenne pour le PBPP. Nous prouvons la loi des grands nombres et le théorème central limite pour le nombre de boîtes obtenu par chacune de ces stratégies quand le nombre d’objets initial tend vers l’infini. Nous vérifions ces résultats théoriques par simulation
In the Probabilistic Bin Packing Problem (PBPP) the random deletion of some items once placed into bins. The problem is to rearrange the residual items, using the a priori solution. The initial arrangement being done with the Next Fit Decreasing Heuristic (NFD). We propose two resolution methodologies: the redistribution strategy according to NFD and the a priori strategy. In the first one, the Next fit algorithm is applied to the new list. In the second one, successive groups of bins are optimally rearranged. In both cases, we develop an average case analysis for the (PBPP). We prove the law of large numbers and the central limit theorem for the number of occupied bins as the initial number of items tends to infinity. We verify these theoretical results by simulation

Cette thèse est consacrée au développement d’un noyau du logiciel MEMSALab de modélisation parcalcul symbolique qui sera utilisé pour la génération automatique de modèles asymptotiques pourdes matrices de micro et nano-systèmes. Contrairement à des logiciels traditionnels réalisant des simulationsnumériques utilisant des modèles prédéfinis, le principe de fonctionnement de MEMSALabest de construire des modèles asymptotiques qui transforment des équations aux dérivées partiellesen tenant compte de leurs caractéristiques. Une méthode appelée ”par extension-combinaison” pourla modélisation asymptotique, qui permet la construction de modèle de façon incrémentale de sorteque les caractéristiques désirées soient incluses étape par étape est tout d’abord proposé pour lemodèle d’homogénéisation dérivation. Il repose sur une combinaison de méthodes asymptotiquesissues de la théorie des équations aux dérivés partielles et de techniques de réécriture issues del’informatique. Cette méthode concentre sur la dérivation de modèle pour les familles de PDEs aulieu de chacune d’entre elles. Un modèle d’homogénéisation de l’électro thermoélastique équationdéfinie dans un domaine mince multicouche est dérivé par utiliser la méthode mathématique danscette approche. Pour finir, un outil d’optimisation a été développé en combinant SIMBAD, une boite `aoutils logicielle pour l’optimisation et développée en interne, et COMSOL-MATLAB. Il a ´ et ´e appliquépour étudier la conception optimale d’une classe de sondes de microscopie atomique thermique et apermis d’ établir des règles générale pour leurs conception
This thesis is dedicated to develop a kernel of a symbolic asymptotic modeling software packageMEMSALab which will be used for automatic generation of asymptotic models for arrays of micro andnanosystems. Unlike traditional software packages aimed at numerical simulations by using pre-builtmodels, the purpose of MEMSALab is to derive asymptotic models for input equations by taking intoaccount their own features. An approach called ”by extension-combination” for the asymptotic modelingwhich allows an incremental model construction is firstly proposed for the homogenization modelderivation. It relies on a combination of the asymptotic method used in the field of partial differentialequations with term rewriting techniques coming from computer science. This approach focuses onthe model derivation for family of PDEs instead of each of them. An homogenization model of theelectrothermoelastic equation defined in a multi-layered thin domain has been derived by applyingthe mathematical method used in this approach. At last, an optimization tool has been developed bycombining a house-made optimization software package SIMBAD and COMSOL-MATLAB simulationand it has been applied for optimization of a SThM probe

Le résonateur matriochka est conçu à partir de résonateurs coaxiaux ré-entrants créant ainsi des sauts d’impédances (SIR). La thèse développe alors des innovations théoriques sur la technologie matriochka en proposant des modèles analytiques précis sur le comportement fréquentiel et du facteur de qualité du résonateur. Les modélisations mettent en relief l’existence de degrés de liberté au sein du résonateur matriochka induisant une flexibilité du rapport de forme du résonateur. Les degrés de liberté créent ainsi une multitude de configurations du résonateur matriochka pour une fréquence fondamentale et un facteur de qualité donnés. Par conséquent, une optimisation en volume est réalisée pour concevoir deux filtres en bande L et C afin de minimiser leur encombrement. Une étude de la tenue en puissance dans le vide est également effectuée pour le filtre en bande L. Une méthode conjointe d’optimisation de la tenue en puissance et de minimisation en volume est alors proposée pour ce filtre. Ainsi, les modélisations et les optimisations sont employées afin de concevoir et de fabriquer deux filtres hyperfréquences. Le premier est un filtre de transmission en bande L conçu pour l’application de navigation Galileo qui propose une alternative d’encombrement et une tenue en puissance dans le vide élevée. Enfin, le second est un filtre de réception en bande C conçu, fabriqué et mesuré pour l’application de télémesure qui propose de meilleures performances en réjection et un volume réduit par rapport à l’existant. Finalement, la technologie matriochka est une alternative de résonateur par rapport à l’état de l’art en proposant, selon les configurations, un rejet élevé des harmoniques et un volume réduit pour une fréquence fondamentale et un facteur de qualité donnés
The matriochka resonator is based on reentrant coaxial Stepped Impedance Resonator (SIR). So, the thesis develops theoretical innovations on the matriochka technology offering accurate analytical models on the frequency and the quality factor behaviors of the resonator. The models prove the existence of degrees of freedom within the matriochka resonator which allows to get different form factors of the resonator. The degrees of freedom create many configurations of the matriochka resonator for a fundamental frequency and a quality factor. Consequently, a volume optimization is realized to design a L-band filter and a C-band filter. A multipactor study is also carried out for the L-band filter. So, a joint optimization method of the multipactor and the volume minimization is proposed for this filter. Thus, the models and optimisations are used in the order to to design and fabricate the microwave filters. The first one is a transmission L-band filter for the navigation application Galileo which offers a volume alternative and a high power in the vaccum. Then, the second one is a reception C-band filter for the telemetry application which offers wide spurious free-performance and a low volume compared to the state of the art. Finally, for a frequency and a quality factor and depending on the configurations, the matriochka technology offers an alternative of the resonator volume, and it offers a wide spurious free- performance and a low volume compared to the state of the art

Dans le cadre standard du calcul en ligne, l’entrée de l’algorithme n’est pas entièrement connue à l’avance, mais elle est révélée progressivement sous forme d’une séquence de requêtes. Chaque fois qu'une requête arrive, l'algorithme en ligne doit prendre des décisions irrévocables pour servir la demande, sans connaissance des requêtes futures. Dans le domaine des algorithmes en ligne, le cadre standard utilisé pour évaluer les performances des algorithmes en ligne est l’analyse compétitive. De manière informelle, le concept d’analyse compétitive consiste à comparer les performances d’un algorithme en ligne dans le pire des cas à une solution optimale hors ligne qui aurait pu être calculée si toutes les données étaient connues d’avance. Dans cette thèse, nous étudierons de nouvelles façons d'approcher les problèmes en ligne. Dans un premier temps, nous étudions le calcul en ligne dans le modèle avec ré-optimisation, dans lequel l'irrévocabilité des décisions en ligne est relâchée. Autrement dit, l'algorithme en ligne est autorisé à revenir en arrière et changer les décisions précédemment prises. Plus précisément, nous montrons comment identifier le compromis entre le nombre de ré-optimisation et les performances des algorithmes en ligne pour le problème de couplage maximale en ligne. De plus, nous étudions des mesures autres que l'analyse compétitive pour évaluer les performances des algorithmes en ligne. Nous observons que parfois, l'analyse compétitive ne peut pas distinguer les performances de différents algorithmes en raison de la nature la plus défavorable du ratio de compétitivité. Nous démontrons qu'une situation similaire se pose dans le problème de la recherche linéaire. Plus précisément, nous revisitons le problème de la recherche linéaire et introduisons une mesure, qui peut être appliquée comme un raffinement du ratio de compétitivité. Enfin, nous étudions le calcul en ligne dans le modèle avec des conseils, dans lequel l'algorithme reçoit en entrée non seulement une séquence de requêtes, mais aussi quelques conseils sur la séquence de requêtes. Plus précisément, nous étudions un modèle récent avec des conseils non fiables, dans lequel les conseils peuvent être fiables ou non. Supposons que dans ce dernier cas, les conseils peuvent être générés à partir d'une source malveillante. Nous montrons comment identifier une stratégie optimale de Pareto pour le problème online bidding dans le modèle de conseil non fiable
In the standard setting of online computation, the input is not entirely available from the beginning, but is revealed incrementally, piece by piece, as a sequence of requests. Whenever a request arrives, the online algorithm has to make immediately irrevocable decisions to serve the request, without knowledge on the future requests. Usually, the standard framework to evaluate the performance of online algorithms is competitive analysis, which compares the worst-case performance of an online algorithm to an offline optimal solution. In this thesis, we will study some new ways of looking at online problems. First, we study the online computation in the recourse model, in which the irrevocability on online decisions is relaxed. In other words, the online algorithm is allowed to go back and change previously made decisions. More precisely, we show how to identify the trade-off between the number of re-optimization and the performance of online algorithms for the online maximum matching problem. Moreover, we study measures other than competitive analysis for evaluating the performance of online algorithms. We observe that sometimes, competitive analysis cannot distinguish the performance of different algorithms due to the worst-case nature of the competitive ratio. We demonstrate that a similar situation arises in the linear search problem. More precisely, we revisit the linear search problem and introduce a measure, which can be applied as a refinement of the competitive ratio. Last, we study the online computation in the advice model, in which the algorithm receives as input not only a sequence of requests, but also some advice on the request sequence. Specifically, we study a recent model with untrusted advice, in which the advice can be either trusted or untrusted. Assume that in the latter case, the advice can be generated from a malicious source. We show how to identify a Pareto optimal strategy for the online bidding problem in the untrusted advice model

La réhabilitation respiratoire (RR) est recommandée dans la prise en soin des patients atteints d’un handicap ventilatoire afin d’améliorer leur qualité de vie. Malgré une efficacité clairement établie, très peu de patients en bénéficient et les modalités optimales d’entrainement restent à définir. L’utilisation des outils existants et des nouveaux outils pour optimiser l’accès au programme et ses effets représentent des développements majeurs qui méritent d’être évalués. Dans le cadre de cette thèse, nous avons cherché à aborder ces deux problématiques (1) en tentant de proposer un modèle de RR délocalisée hors des centres tout en évaluant les freins à ce modèle et (2) en explorant la place de différents adjuvants à la RR afin d’en optimiser les bénéfices. Dans la première partie, nous avons montré, à travers plusieurs études rétrospectives et une contribution originale prospective multicentrique, que le test stepper de six minutes peut être utilisé pour prescrire l’entrainement en endurance, particulièrement pour les patients présentant une forme légère à modérée de bronchopneumopathie chronique obstructive (BPCO), mais pas pour prescrire le renforcement musculaire. Par ailleurs, nous avons montré dans une population de 105 patients adressés en RR que l’utilisation d’un dispositif de telemonitoring était faisable, valide et largement accepté. Enfin, nous avons exploré la prévalence des dysfonctions cognitives, autre conséquence systémique de la BPCO qui pourrait compromettre la délocalisation du programme, et avons montré que cette prévalence était très élevée (environ 75% des patients) mais que ces troubles cognitifs pouvaient s’améliorer après la RR et ne semblaient pas influencer l’utilisation d’un dispositif de telemonitoring. Dans la seconde partie, nous avons évalué la place de différents adjuvants à la RR utilisés pour en potentialiser les bénéfices. Dans une étude en cross-over menée chez 21 patients atteints de BPCO, nous avons montré que la ventilation non invasive ne permettait pas d’améliorer la capacité à l’exercice en endurance en raison d’une limitation technologique du ventilateur. A travers une étude contrôlée randomisée multicentrique menée chez 73 patients atteints de BPCO sévère à très sévère, nous avons montré que la stimulation électrique excito-motrice à domicile, réalisée en plus d’un programme de RR, n’apportait pas davantage de bénéfices sur la qualité de vie ou la capacité à l’exercice. Enfin, à travers une étude randomisée en cross-over et en double aveugle menée chez 10 patients, nous n’avons pas pu montrer l’intérêt de la stimulation électrique nerveuse transcutanée pour améliorer leur capacité à l’exercice en endurance. Enfin, dans la dernière partie, nous avons présenté les recherches actuellement menées au sein de notre laboratoire, faisant suite aux contributions originales décrites au cours de cette thèse, ainsi que de nouvelles pistes de recherche afin de poursuivre les thématiques explorées. Ainsi, deux revues de littérature et méta-analyses (l’une d’elle portant sur le haut débit nasal et l’autre sur l’utilisation des technologies de santé avancées pour réaliser la RR respiratoire à domicile) serviront de base pour de futurs travaux
Pulmonary rehabilitation (PR) is recommended in the management of subjects with ventilatory impairment to improve their quality of life. Although a large body of evidence support its use, only few subjects benefit from it and the optimal training modality has not been determined yet. In this context, the use of new and existing tools to optimize access as well as the effects of the program are major developments that deserve to be studied. As part of this thesis, we sought to explore these two major issues (1) by considering a rehabilitation model relocated outside the PR centres while assessing the obstacles to this model and (2) exploring the effectiveness of different add-on to PR in further optimizing the benefits of the program. In the first part, we have shown, through several retrospective studies and an original prospective multicentre contribution, that the six-minute stepper test can be used to prescribe endurance training, particularly for those patients with a mild to moderate chronic obstructive pulmonary disease (COPD), but not to prescribe muscle strengthening. Furthermore, we have shown in a cohort of 105 subjects referred for PR that the use of a remote tele monitoring device was feasible, valid and widely accepted. Finally, we explored the prevalence of cognitive dysfunction, another systemic impairment of COPD that could compromise the relocation of the program, and showed that it was a very common condition (around 75% of the subjects) but that it could improve following PR and did not seem to influence the use of a remote tele monitoring device. In the second part, we evaluated the effects of different add-on used to potentiate the benefits of the PR program. In a cross-over study of 21 COPD patients, we showed that non-invasive ventilation did not improve endurance exercise capacity due to technological limitation of the ventilator. Through a multicentre randomized controlled study carried out in 73 patients with severe to very severe COPD, we have shown that neuromuscular electrical stimulation at home, performed in addition to a PR program, did not provide further benefits on quality of life or exercise capacity. Finally, through a randomized cross-over double-blind study carried out in 10 patients, we were unable to show the effectiveness of transcutaneous nerve electrical stimulation in improving their endurance exercise capacity. Finally, in a last part, we highlighted the research currently carried out in our laboratory following the original contributions described during this thesis, as well as new area of research in order to pursue the themes explored. Thus, two systematic reviews and meta-analysis (the first about nasal high flow therapy in subjects with stable COPD and the second about the use of advanced telehealth technologies to deliver PR) will serve as a basis for future research