Développement d'un système multi-fenetres permettant l'exécution parallèle de plusieurs applications interactives disposant chacune d'un nombre quelconque de fenêtres sur l'écran de façon totalement transparente aux applications. L'architecture du système repose sur une séparation stricte entre, d'une part le partie opératoire regroupant les fonctions de base et, d'autre part, la partie contrôle qui gère les commandes mises à la disposition de l'utilisateur

La thèse porte sur la proposition de méthodes d’optimisation (modèles mathématiques et métaheuristique) et leur couplage avec un modèle de simulation pour la résolution de problèmes de livraison collecte incluant la planification des horaires des chauffeurs. L’originalité de ces travaux porte sur la diversité des ressources (véhicule, chauffeur, quai de chargement, de déchargement, contenant, ligne de production, aire de nettoyage) et des contraintes (incompatibilité véhicule/contenant, date de début au plus tôt, date de fin souhaitée, planning…) à prendre en compte. L’objectif est de proposer une organisation permettant de réaliser l’ensemble des transports tout en minimisant les retards et les heures supplémentaires. La première partie s’intéresse au transport d’un seul type de produit. Le problème est modélisé comme un RCPSP avec profil de demande en ressources variable. Les transports à vide sont modélisés comme des temps de montage dépendant de la séquence. Deux programmes linéaires en nombres entiers sont proposés. La seconde partie concerne le transport de plusieurs types de produit. Le problème présente une double complexité qui est résolue par le couplage d’une recherche locale itérée avec un modèle de simulation. Le modèle de simulation permet de répondre à la complexité structurelle et fonctionnelle, notamment en raison de la diversité des ressources. La troisième partie intègre la définition des horaires de travail des chauffeurs. Une approche itérative incluant un modèle de simulation, un programme linéaire en nombres entiers et le couplage précédemment présenté est proposée. Ce problème est traité dans un contexte hospitalier pour le transport de contenants propres ou sales (repas, linge, médicaments) entre sites de consommation et sites de production. Chaque partie fait l’objet d’une expérimentation avec des données réelles. / The thesis focuses on the proposed optimization methods (metaheuristics and mathematical models) and their coupling with a simulation model to solve problems of collection including delivery scheduling drivers. The originality of this work focuses on the diversity of resources (vehicle, driver, dock loading, unloading, container production line, cleaning area) and constraints (incompatibility vehicle / container, start date earlier desired end date, planning ...) to take into account. The objective is to provide an organization to achieve all transport while minimizing delays and overtime. The first part focuses on the transport of a single type of product. The problem is modeled as a demand profile RCPSP with variable resources. Empty transports are modeled as time-dependent assembly sequence. Two integer linear programs are proposed. The second part concerns the transport of several types of product. The problem has a double complexity that is determined by the coupling of an iterated local search with a simulation model. The simulation model allows to meet the structural and functional complexity, mainly because of the diversity of resources. The third part includes the definition of working hours of drivers. An iterative approach including a simulation model, an integer linear program and previously presented coupling is proposed. This problem is treated in a hospital setting for transporting containers clean or dirty (food, clothes, medicine) between sites of consumption and production sites. Each party is subject to an experiment with real data.

La thèse porte sur la proposition de méthodes d'optimisation (modèles mathématiques et métaheuristique) et leur couplage avec un modèle de simulation pour la résolution de problèmes de livraison collecte incluant la planification des horaires des chauffeurs. L'originalité de ces travaux porte sur la diversité des ressources (véhicule, chauffeur, quai de chargement, de déchargement, contenant, ligne de production, aire de nettoyage) et des contraintes (incompatibilité véhicule/contenant, date de début au plus tôt, date de fin souhaitée, planning...) à prendre en compte. L'objectif est de proposer une organisation permettant de réaliser l'ensemble des transports tout en minimisant les retards et les heures supplémentaires. La première partie s'intéresse au transport d'un seul type de produit. Le problème est modélisé comme un RCPSP avec profil de demande en ressources variable. Les transports à vide sont modélisés comme des temps de montage dépendant de la séquence. Deux programmes linéaires en nombres entiers sont proposés. La seconde partie concerne le transport de plusieurs types de produit. Le problème présente une double complexité qui est résolue par le couplage d'une recherche locale itérée avec un modèle de simulation. Le modèle de simulation permet de répondre à la complexité structurelle et fonctionnelle, notamment en raison de la diversité des ressources. La troisième partie intègre la définition des horaires de travail des chauffeurs. Une approche itérative incluant un modèle de simulation, un programme linéaire en nombres entiers et le couplage précédemment présenté est proposée. Ce problème est traité dans un contexte hospitalier pour le transport de contenants propres ou sales (repas, linge, médicaments) entre sites de consommation et sites de production. Chaque partie fait l'objet d'une expérimentation avec des données réelles.

La thèse porte sur deux enjeux importants de sécurité. Le premier concerne l’amélioration de la sécurité des systèmes Linux présents dans le calcul intensif et le second la protection des postes de travail Windows. Elle propose une méthode commune pour l’observation des appels système et la répartition d’observateurs afin de renforcer la sécurité et mesurer les performances obtenues. Elle vise des observateurs du type moniteur de référence afin de garantir de la confidentialité et de l’intégrité. Une solution utilisant une méthode de calcul intensif est mise en oeuvre pour réduire les surcoûts de communication entre les deux moniteurs de référence SELinux et PIGA. L’évaluation des performances montre les surcoûts engendrés par les moniteurs répartis et analyse la faisabilité pour les différents noeuds d’environnements de calcul intensif. Concernant la sécurité des postes de travail, un moniteur de référence est proposé pour Windows. Il repose sur les meilleures protections obligatoires issues des systèmes Linux et simplifie l’administration. Nous présentons une utilisation de ce nouveau moniteur pour analyser le fonctionnement de logiciels malveillants. L’analyse permet une protection avancée qui contrôle l’ensemble du scénario d’attaque de façon optimiste. Ainsi, la sécurité est renforcée sans nuire aux activités légitimes. / This thesis deals with two major issues in the computer security field. The first is enhancing the security of Linux systems for scientific computation, the second is the protection of Windows workstations. In order to strengthen the security and measure the performances, we offer a common method for the distributed observation of system calls. It relies on reference monitors to ensure confidentiality and integrity. Our solution uses specific high performance computing technologies to lower the communication latencies between the SELinux and PIGA monitors. Benchmarks study the integration of these distributed monitors in the scientific computation. Regarding workstation security, we propose a new reference monitor implementing state of the art protection models from Linux and simplifying administration. We present how to use our monitor to analyze the behavior of malware. This analysis enables an advanced protection to prevent attack scenarii in an optimistic manner. Thus, security is enforced while allowing legitimate activities.

Introduction : La suralimentation, le manque d’exercice et la sédentarité représentent des causes modifiables et importantes dans le développement de l’obésité et des troubles de santé qui y sont associés. Il est connu qu’en plus d’avoir des effets bénéfiques pour le métabolisme, l’exercice permet d’augmenter la dépense énergétique et aide au maintien de la balance énergétique. Des études récentes ont révélé que l’exercice pourrait également causer une diminution de l’ingestion calorique, ce qui mènerait à un meilleur contrôle de la balance énergétique et pourrait avoir des effets bénéfiques pour la santé et ce, même lorsque pratiqué à faible intensité. Les objectifs de cette thèse sont d’explorer les effets de paramètres de l’exercice sous-étudiés en contrôle pondéral en 1) documentant l’impact de tâches de faible à très faible intensité (i.e. postes de travail actifs) chez les personnes en surplus pondéral et sur l’ingestion alimentaire et 2) en déterminant comment les facteurs chimiosensoriels liés au contrôle de l’appétit sont affectés par la pratique d’exercice par rapport au repos et en réponse à divers positionnements de la séance d’exercice dans le temps (timing). Méthodes et résultats : Pour répondre au premier objectif de recherche, une revue systématique a été effectuée afin de documenter l’impact de l’usage des postes de travail actifs chez les personnes en surplus pondéral (article 1). Dix-neuf études ont été inclues, dont 12 portant sur les postes de travail debout, 9 sur les postes avec tapis-roulant, 3 sur les postes avec ergocycle et un sur un poste avec marcheur. Les résultats indiquent que ces postes de travail sont efficaces pour l’augmentation de la dépense énergétique et la réduction de la sédentarité au travail. Une étude expérimentale a été menée afin de déterminer quel est l’impact d’un poste de travail debout, comparé à un poste conventionnel assis, sur l’ingestion alimentaire. Trente-six hommes et femmes ont été assignés de façon randomisée à un poste de travail debout ou un poste assis (article 2). Ils ont pris part à des tâches cognitives pendant environ 1 h 30 min sur le poste de travail attitré et une collation ad libitum leur était ensuite servie. Les résultats indiquent qu’il n’y a pas de différence significative dans l’ingestion alimentaire entre les participants qui ont pris part à la condition assise (427,8 ± 301,8 kcal) et ceux qui étaient debout (461,2 ± 272,8 kcal; p = 0,472). Pour répondre au second objectif, nous avons tout d’abord observé quel était l’effet de l’exercice de haute intensité sur les perceptions chimiosensorielles liées à l’ingestion alimentaire (article 3). Quatorze hommes ont pris part à deux visites dans un ordre aléatoire consistant en A) une longue pause sédentaire et B) une courte pause sédentaire suivie d’une séance d’exercice (course à pied à 70 % du VO2 max). À leur arrivée (8 : 30), ainsi qu’immédiatement avant le diner (11:40), ils étaient soumis à des tests olfactifs et gustatifs. Puis, un buffet ad libitum leur était servi à midi. Les résultats n’ont révélé aucune différence significative dans l’ingestion alimentaire entre la condition sédentaire et la condition exercice (p=0,888). Ces résultats concordent avec l’absence de différence dans les perceptions olfactives et gustatives entre les conditions (tous les p >0,05). Le concept de timing est relativement nouveau au domaine de l’activité physique et plus particulièrement pour le contrôle de la balance énergétique. L’objectif du dernier projet (article 4) était d’observer si le positionnement de l’exercice dans le temps représente un paramètre d’intérêt pouvant optimiser l’effet coupe-faim via les perceptions chimiosensorielles. Dans un protocole similaire à l’article 3, douze hommes ont été soumis à deux conditions dans un ordre aléatoire : A) une séance d’exercice (30 min à 70% du VO2 max) suivie d’une pause sédentaire (90 minutes) ou B) la pause sédentaire suivie de la séance d’exercice. Ils prenaient part à des tests olfactifs et gustatifs à leur arrivée ainsi qu’avant le diner ad libitum. Les résultats indiquent que le positionnement de la séance d’exercice n’a eu aucun impact sur les perceptions olfactives (tous les p >0,05) et gustatives (tous les p >0,05), ainsi que sur l’ingestion alimentaire totale (p=0,459). Conclusion : Nos travaux sont les premiers à montrer qu’en situation aigüe l’utilisation d’un poste de travail debout n’augmente pas la consommation alimentaire lors d’un repas subséquent. De plus, l’exercice d’intensité élevée n’a pas suscité de compensation alimentaire au repas subséquent, et ce peu importe le positionnement de la séance. Par ailleurs, contrairement aux hypothèses émises, l’exercice seul ou le positionnement de la séance n’ont pas modifié les perceptions olfactives et gustatives. / Introduction: Overeating, sedentary behaviour and physical inactivity are modifiable and important causes in the development of obesity and related health disorders. It is known that in addition to having beneficial effects on metabolism, exercise increases energy expenditure and helps to maintain the energy balance. Recent studies have shown that exercise may also cause a decrease in caloric intake, leading to better control of the energy balance and may have beneficial health effects, even when practised at low intensity. The objectives of this thesis are to explore the effects of under-studied exercise parameters in weight control by 1) documenting the impact of low to very low intensity tasks (i.e., active workstations) in individuals with excess body weight and on food intake and 2) determining how chemosensory factors related to appetite control are affected by exercise practice relative to rest and in response to various timings of the exercise session. Methods and results: To address the first research objective, a systematic review was conducted to document the impact of the use of active workstations in individuals with excess body weight (article 1). Nineteen studies were included, of which 12 involved standing workstations, 9 involved treadmill workstations, 3 involved a cycle device, and one involved a stepping device. The results indicate that these workstations are effective in increasing work-hour energy expenditure and reducing sedentary behaviour. An experimental study was conducted to determine the impact of a standing workstation, compared to a conventional sitting workstation, on dietary intake. Thirty-six men and women were randomly assigned to a standing or seated workstation (article 2). They took part in cognitive tasks for about 1h30min on the assigned workstation and were then served an ad libitum snack. The results of the study indicate that there is no significant difference in dietary intake between participants who took part in the sitting condition (427.8 ± 301.8 kcal) and those who were standing (461.2 ± 272.8 kcal; p=0.472). To meet the second objective, we first observed the effect of high-intensity exercise on chemosensory perceptions related to food intake (article 3). Fourteen men took part in random order in two visits consisting of A) a long sedentary break and B) a short sedentary break followed by an exercise session (running at 70% of VO2 max). Upon arrival (8:30), as well as immediately before dinner (11:40), they were subjected to olfactory and taste tests. Then, an ad libitum buffet was served to them at noon. The results showed no significant difference in dietary intake between sedentary and exercise conditions (p=0.888). These results are consistent with the lack of difference in olfactory and gustatory perceptions between conditions (all p >0.05). The concept of timing is relatively new to the field of physical activity and more particularly to the control of the energy balance. The objective of the last project (article 4) was to observe whether the timing of exercise represents a parameter of interest that can optimize the appetite-suppressing effect via chemosensory perceptions. In a protocol similar to article 3, twelve men were subjected in random order to two conditions: A) an exercise session (30 min at 70% of VO2 max) followed by a sedentary break (90 minutes) or B) the sedentary break followed by the exercise session. They took part in olfactory and taste tests upon arrival (8:30 AM) and before the ad libitum dinner (11:40 AM). The results indicate that the timing of the exercise had no impact on olfactory (all p >0.05) and gustatory (all p >0.05) perceptions, or total dietary intake (p=0.459). Conclusion: In conclusion, our work is the first to show that in acute situations the use of a standing workstation does not increase food consumption during a subsequent meal. Moreover, the high-intensity exercise did not result in acute food compensation at the subsequent meal, regardless of the timing of the session. Contrary to the hypotheses put forward, the exercise alone or the timing of the session did not modify olfactory and gustatory perceptions.

Le droit de la mobilité professionnelle, s'il connaît de nombreuses définitions, suppose encore un travail de construction. Entre obligations de l’employeur et droits du salarié, la mobilité professionnelle oblige à concilier un épineux paradigme alliant flexibilité dans l’entreprise et sécurité du parcours professionnel. Cette complexité est révélatrice d’une ambiguïté originelle : la mobilité professionnelle s’inspire pour l’essentiel de la pratique d’entreprise, si bien qu’il existe aujourd’hui autant de régimes de mobilité que de situations impliquant des mobilités. Clause de mobilité professionnelle, reclassement du salarié, mise à disposition de personnel, mobilité volontaire sécurisée, accord de performance collective, ruptures négociées, cession de contrat, l’étude des dispositifs juridiques démontre que la mobilité est essentiellement envisagée à court terme, à l’initiative de l’employeur et construite sur un schéma de contrainte ne tenant pas compte de la liberté individuelle du salarié. Le manque d’efficacité de l’arsenal juridique et les dérives qui en résultent en pratique rendent incompatibles le droit positif avec l’objectif de développement de la mobilité positive, pierre angulaire du droit de la mobilité professionnelle. Les nombreuses interventions du législateur au soutien des formes de mobilités contraintes concourent à la défaillance de cette ambition. Alors que le droit à la mobilité est, formellement, une garantie fondamentale du statut des fonctionnaires et des agents publics, une telle équivalence n’existe pas en matière de droit privé. L’enjeu majeur réside dès lors dans la capacité du législateur à repenser la mobilité positive. / The professional mobility law, although it has many definitions, still requires construction work. Between the obligations of the employer and the rights of the employee, professional mobility requires reconciling the thorny paradigm between flexibility in the company and safety of the professional career. This complexity reveals an original ambiguity: professional mobility is essentially inspired by practice, so that today there are as many mobility schemes as there are situations involving mobility. Professional mobility clause, reclassification of the employee, personnel provision, secure voluntary mobility, performing agreement, negotiated breaks of contract, assignment of contract, the study of legal devices shows that mobility is mainly envisaged in the short term, at the initiative of the employer and built on a pattern of constraint not taking into account the individual freedom of the employee. The lack of efficiency of the legal framework and the resulting abuses in practice make positive law incompatible with the objective of developing positive mobility, which is the cornerstone professional mobility law. The many interventions of the legislator in support of the forms of constrained mobilities contribute to the failure of this ambition. While the right to mobility is, formally, a fundamental guarantee of the status of civil servants and public officials, such equivalence does not exist in private law. The major challenge therefore lies in the ability of the legislator to rethink positive mobility.