Дисертації: "Contrôle du trafic"

1

Pisarski, Dominik. "Contrôle d'accès collaboratif : application à la rocade sud de Grenoble." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENT040/document.

Повний текст джерела

Анотація:

La thèse présente les résultats de recherche sur une méthode de contrôle distribué et coordonné pour la régulation des accès autoroutiers. Le trafic autoroutier est représenté par le modèle Cell Transmission Model (CTM). L'objectif de contrôle principal est de d'obtenir une distribution uniforme de la densité des véhicules sur des portions d'autoroute. Équilibrer la densité est un nouvel objectif de trafic qui peut potentiellement réduire le nombre et l'intensité des accélérations et décélérations et peut par conséquent permettre des voyages plus sécurisés et confortables tout en diminuant la consommation de carburant et les émissions de polluants. En outre, cet objectif prend en compte les paramètres de trafic standards tels que le Temps de Trajet Total et la Distance Totale Parcourue. Une architecture modulaire distribuée est proposée pour le contrôleur. Cela permet de déterminer les décisions optimales à prendre en utilisant uniquement des informations d'état locales et en provenance des contrôleurs voisins.La contribution débute par l'analyse d'ensembles d'équilibre de CTM. L'objectif de cette étude est d'obtenir les conditions qui assurent l'existence et l'unicité des états stationnaire qui sont équilibrées. Dans l'ensemble des états stationnaire, nous sommes intéressés à la sélection du point qui maximise la Distance Totale Parcourue. Sont discutés ensuite les aspects de la mise en œuvre et les limites de la méthode proposée. Enfin, plusieurs études de cas sont présentées appuyant les résultats d'analyse et examinant l'efficacité de la méthode proposée.La majeure partie de la thèse vise à concevoir un dispositif de commande optimale pour équilibrer la densité du trafic routier. L'optimisation est réalisée de manière répartie. En utilisant les propriétés de contrôlabilité, l'ensemble des sous-systèmes devant être contrôlés par des feux aux rampes d'accès sont identifiés. Le problème d'optimisation est alors formulé comme de Nash du jeu dans un environnement non coopératif. Le jeu est résolu en le décomposant en une série de jeux à deux joueurs hiérarchiques et compétitifs. Le processus d'optimisation emploie des canaux de communication qui correspond à la structure de commutation de l'interconnexion de système. L'approche alternative pour équilibrer emploie la théorie des systèmes multi-agents. Chacun des contrôleurs est pourvu d'une structure à rétroaction assurant que les états au sein de son sous-système atteignent des valeurs communes par l'évaluation de protocoles de consensus. Dans ces structures, un problème de contrôle optimal minimisant le Temps de Trajet Total est formulé. Le contrôleur distribué fondé sur le jeu de Nash est validé grâce des simulations microscopiques Aimsun. Le scénario de test comprend des données de trafic provenant de la rocade sud de Grenoble
The thesis presents the results of research on distributed and coordinated control method for freeway ramp metering. The freeway traffic is represented by the Cell-Transmission Model. The primary control objective is to provide a uniform distribution of vehicle densities over freeway links. Density balancing is a new traffic objective which can potentially reduce the number and intensity of acceleration and deceleration events and therefore, it can make a travel more safety and comfortable while decreasing fuel consumption and emissions. In addition, the objective takes into account standard traffic metrics like Total Travel Distance and Total Travel Spent. For the controller, a distributed modular architecture is assumed. It enables to compute the optimal decisions by using only local state information and some supplementary information arriving from the neighbouring controllers.The contributing part begins with the analysis on equilibrium sets of the Cell-Transmission Model. The goal of this study is to derive the conditions that assure the existence and the uniqueness of the balanced equilibrium states. The next step is to find a set of inputs such that the resulting equilibrium state is balanced. In the set of balanced equilibria, we are interested in the selection of the point that maximizes the Total Travel Distance. In the sequel, the implementation aspects and limitations of the proposed method are discussed. Finally, several case studies are presented to support the analysis results and to examine the effectiveness of the proposed method.The major part of the thesis aims on a design of an optimal controller for balancing the traffic density. The optimization is performed in a distributed manner. By using controllability properties, the set of subsystems to be controlled by local ramp meters are identified. The optimization problem is then formulated as a non-cooperative Nash game. The game is solved by decomposing it into a set of two-players hierarchical and competitive games. The process of optimization employs the communication channels matching the switching structure of system interconnectivity. The alternative approach of balancing employs the theory of multi-agent systems. Each of the controllers is provided with a feedback structure assuring that the states within its local subsystem achieve common values by evaluating consensus protocols. Under these structures, an optimal control problem to minimize the Total Travel Spent is formulated. The distributed controller based on the Nash game is validated via Aimsun micro-simulations. The testing scenario involves the traffic data collected from the south ring of Grenoble

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Debernard, Serge. "Contribution à la répartition dynamique de tâches entre opérateur et système automatisé : application au contrôle du trafic aérien." Valenciennes, 1993. https://ged.uphf.fr/nuxeo/site/esupversions/455a1b3c-57c3-4994-98ff-5dec24c35a2d.

Повний текст джерела

Анотація:

Dans la plupart des cas, les systèmes modernes de production ont été étudiés de façon a être les plus autonomes possibles. Pour faire face aux erreurs éventuelles des automatismes, la présence de l'opérateur humain reste alors indispensable. Néanmoins, la complexite des tâches peut nécessiter l'apport d'une assistance qui peut consister en une répartition dynamique de tâches entre ces opérateurs et le système d'aide. La contribution de notre travail porte, d'une part sur les aspects théoriques de la répartition dynamique de tâches, et d'autre part sur l'application de cette forme de coopération au contrôle de trafic aérien. Cette application a été réalisée en collaboration avec le centre d'étude de la navigation aérienne. Dans une première partie, la problématique des systèmes intégrant une coopération homme-machine est abordée, et une méthodologie de conception et d'évaluation des systèmes homme-machine est présentée. Dans une deuxième partie, les objectifs et les problèmes de la répartition dynamique sont analysés. Pour résoudre ces problèmes, notamment dus à la complexité des procédés réels, la troisième partie propose une démarche pour la mise en œuvre d'une répartition dynamique de tâches. Cette démarche s'appuie tout d'abord sur une structure qui s'inspire des techniques de la commande adaptative. Ensuite, nous proposerons un ensemble de critères permettant la définition du degré d'automatisation d'un système homme-machine. La quatrième partie présente l'application des principes retenus au domaine du contrôle de trafic aérien, et la cinquième les résultats obtenus.

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Boudes, Nicole. "L'anticipation dans le contrôle des environnements dynamiques : le cas du contrôle du trafic aérien." Toulouse 2, 1997. http://www.theses.fr/1997TOU20057.

Повний текст джерела

Анотація:

Cette recherche en ergonomie s'inscrit dans le cadre des travaux sur la gestion du temps dans les environnements dynamiques, domaine en pleine évolution. Elle vise à mettre en place un cadre d'analyse de l'activité d'anticipation dans le contrôle du trafic aérien, utilisable dans le cadre de la conception de systèmes d'aide à la décision dans cette situation. Nombre d'études ont précédemment insisté, d'une part sur la nécessité pour les opérateurs d'anticiper les évolutions futures de l'environnement contrôlé pour éviter le développement de perturbations et, d'autre part, sur la complexité et le coût attachés à cette activité. L'activité étudiée met en jeu le traitement d'informations temporelles et s'exerce selon trois dimensions : évolutions spontanées ou consécutives aux actions, évolutions liées à l'activité des coéquipiers. Dans le contrôle du trafic aérien, l'anticipation est analysée sur la base d'entretiens et recueils de traces écrites en simulation de contrôle dynamique et réaliste. Nous montrons que l'anticipation est soumise à un processus de filtrage qui conduit à des variations dans le contenu du champ d'anticipation en fonction des objectifs de la tâche. En ce qui concerne la précision des estimations, nous étudions l'effet de l'horizon temporel sur la possibilité pour les opérateurs d'anticiper les positions futures de certains avions. Les résultats attestent l'existence de biais qui sont analysés en relation avec les objectifs des opérateurs et les caractéristiques de la tâche. L'étude empirique traduit l'importance du contexte dans l'anticipation et son lien avec l'ensemble des activités cognitives. Sur le plan pratique, nous aboutissons à une meilleure connaissance de l'anticipation qui est une activité centrale chez les contrôleurs du trafic aérien, ce qui nous conduit à examiner les possibilités de transfert de ces acquis dans la démarche de conception des nouveaux outils d'aide au contrôle
This cognitive ergonomics research is part of an on-going effort to analyze time management in dynamic environments, which is an evolving domain. Its objective is to construct a cognitive model of anticipation in air traffic control, which could be used for decision support system design in this situation. Numerous studies have previously emphasized, on one hand the need for operators to anticipate the future development of the controlled environment so as to avoid the development of disturbances, and on the other hand, the complexity and the demand associated with this activity. The anticipation activity implies temporal information processing and concerns three dimensions: spontaneous evolutions, effects of actions, evolutions related to the team members' activity. In air traffic control, we analyzed the anticipation with interviews and written data gathered in a dynamic and realistic simulated control situation. We showed that anticipation depends on filtering strategies, which leads to some variations in the content of the anticipation range, according to the task objectives. Concerning the accuracy of the estimations, we studied the time horizon effects on the possibility for operators to anticipate the future positions of certain aircraft. Results showed some biases that were analyzed in relation to the operator's objectives and the characteristics of the task. The experimental study expressed the importance of the context in anticipation and its links with the whole set of cognitive activities. On the applied aspect, we got a better understanding of anticipation, which is a central activity in air traffic control, and that allowed us to consider the possibilities to use this knowledge in decision support system design

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Harivelo, Fanilo. "Contrôle de trafic pour service privilégié sur réseaux sans fil." La Réunion, 2006. http://www.theses.fr/2006LARE0020.

Повний текст джерела

Анотація:

Conçus à l'origine comme une extension des réseaux locaux maires, les réseaux locauxsans fil ont ouvert la voie à de nouveaux usages liés à l'ubiquité. Les caractéristiques ducanal radio ainsi que la mobilité des terminaux compliquent la problématique de la qualitéde service (QoS : Quaîity of Service] de ces nouveaux réseaux. Cette thèse s'intéresseau support de la différenciation de service sur les réseaux IEEE 802. 11 ad hoc. Elle commence par l'étude du support de la différenciation de service sur un réseau monosaut. Le principe consiste à contrôler la demande au niveau IP sur la base de Tétât du réseau. Deux moyens de mise en œuvre sont étudiés : détermination de l'état du réseau par échangede signalisation et estimation de l'état du réseau par mesure locale. Ensuite, une solution au problème de l'inéquité d'accès sur réseau ad hoc est proposée. En effet, sur certaines configurations, l'accès au canal ne dépend plus uniquement de la charge mais aussi de la localisation relative des nœuds et la resynchronisation des instants de démarrage de la procédured'accès de 802. 11 DGF. Enfin, pour simplifier le contrôle des ressources et réduire lesinterférences co-canaux, une organisation hiérarchique du réseau est proposée. A cettefin, nous proposons une modélisation pour la localisation des cellules et un algorithme de répartition des fréquences aux cellules
Designed as an extention to wired local area networks, wireless local area networks lead to new potentials such as ubiquity. Wireless channels characteristics as well as mobility of terminais complexify thé support of Quaîity of Service in thèse networks. This disser¬tation concentrâtes on thé support of service differentiation in IEEE 802. 11-based ad hoc networks. It begins wifch thé study of thé support of service differentiation in a single hop network. The idea consists in controlling thé traffic at thé IP level according to thé net¬work state. Two types of implementation are studied: computation of thé network state by means of message exchange and estimation of thé network state by local measurements. Then, a solution to channel acccss unfairness issues is proposed. Indeed, under certain con¬figurations, channel access does not dépend solely on thé traffic load but also on thé relative position of thé nodes. The proposed solution consists in thé propagation of thé receiving state of nodes and in thé synchronization of thé beginning of 802. 11 access opération. Fi-nally, in ordcr to simphfy resources management and to reduce co-channel interférences, a hierarchical organization of thé network is proposed. It is based on a topology control or clustcring sclieme and a, channel assignaient mechanism

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Gianazza, David. "Optimisation des flux de trafic aérien." Phd thesis, Toulouse, INPT, 2004. http://oatao.univ-toulouse.fr/7377/1/gianazza.pdf.

Повний текст джерела

Анотація:

Cette thèse s'inscrit dans le domaine de l'optimisation globale appliquée aux flux de trafic aérien. Le problème abordé consiste à optimiser les flux de trafic aérien sans imposer de retards au décollage. On considère tout d'abord le système existant tel quel, en cherchant à améliorer l'écoulement du trafic simplement en équilibrant les regroupements des secteurs élémentaires d'espace sur les positions de contrôle. Des méthodes déterministes (A*, Branch and bound) et un algorithme génétique sont utilisés pour répartir au mieux la charge de trafic entre les positions. Dans un deuxième temps on s'autorise à modifier la structure de l'espace aérien, en partant des flux directs origine-destination pour construire, par une méthode de partitionnement et une triangulation de Delaunay, un réseau de routes aériennes répondant à certains critères d'espacement des points de croisement. On évalue dans un troisième temps l'intérêt de séparer verticalement les flux aériens, dans leur phase de croisière. Cette évaluation porte sur le nombre et la nature des conflits détectés lors de simulations en temps accéléré, en allouant ou non des niveaux de croisières séparés. Dans un quatrième temps, on génère pour les principaux flux de trafic des trajectoires 3D complètes, séparées les unes des autres, en tenant compte de la disparité des performances des avions sur chaque flux. Deux types de stratégies sont explorées : une approche séquentielle où un algorithme A* est appliqué successivement à chaque flux dans un ordre choisi, et une approche globale où toutes les trajectoires sont considérées simultanément, en utilisant un algorithme génétique. Les algorithmes sont d'abord testés sur des cas simples avant d'être appliqués aux données réelles, en France et en Europe. Enfin, en dernier lieu, la dimension temporelle est prise en compte afin de planifier dynamiquement des trajectoires 4D non-conflictuelles pour des trains d'avions.

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Gianazza, David. "Optimisation des flux de trafic aérien." Phd thesis, Toulouse, INPT, 2004. http://ethesis.inp-toulouse.fr/archive/00000075/.

Повний текст джерела

Анотація:

Cette thèse s'inscrit dans le domaine de l'optimisation globale appliquée aux flux de trafic aérien. Le problème abordé consiste à optimiser les flux de trafic aérien sans imposer de retards au décollage. On considère tout d'abord le système existant tel quel, en cherchant à améliorer l'écoulement du trafic simplement en équilibrant les regroupements des secteurs élémentaires d'espace sur les positions de contrôle. Des méthodes déterministes (A*, Branch & bound) et un algorithme génétique sont utilisés pour répartir au mieux la charge de trafic entre les positions. Dans un deuxième temps on s'autorise à modifier la structure de l'espace aérien, en partant des flux directs origine-destination pour construire, par une méthode de partitionnement et une triangulation de Delaunay, un réseau de routes aériennes répondant à certains critères d'espacement des points de croisement. On évalue dans un troisième temps l'intérêt de séparer verticalement les flux aériens, dans leur phase de croisière. Cette évaluation porte sur le nombre et la nature des conflits détectés lors de simulations en temps accéléré, en allouant ou non des niveaux de croisières séparés. Dans un quatrième temps, on génère pour les principaux flux de trafic des trajectoires 3D complètes, séparées les unes des autres, en tenant compte de la disparité des performances des avions sur chaque flux. Deux types de stratégies sont explorées : une approche séquentielle où un algorithme A* est appliqué successivement à chaque flux dans un ordre choisi, et une approche globale où toutes les trajectoires sont considérées simultanément, en utilisant un algorithme génétique. Les algorithmes sont d'abord testés sur des cas simples avant d'être appliqués aux données réelles, en France et en Europe. Enfin, en dernier lieu, la dimension temporelle est prise en compte afin de planifier dynamiquement des trajectoires 4D non-conflictuelles pour des trains d'avions.

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Ma, Ji. "Optimisation du trafic aérien dans de grands aéroports." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30052.

Повний текст джерела

Анотація:

La croissance du trafic aérien engendre des congestions et des retards des vols, tant dans les aéroports que dans les espaces aériens environnants. En fait, les aéroports sont limités en termes de capacité et représentent les principaux goulots d'étranglement du système de gestion du trafic aérien. Une planification et un contrôle efficaces sont essentiels pour améliorer l'efficacité des opérations aéroportuaires et réduire les retards des vols. Dans des recherches antérieures, plusieurs sous-problèmes liés aux opérations aéroportuaires ont déjà été examinés séparément, tels que le séquencement de pistes, les mouvements au sol, la gestion de l'espace aérien terminal, dite Terminal Maneuvering Area (TMA), etc. Cependant, toutes ces opérations sont étroitement liées et peuvent dépendre les unes des autres. Ceci motive le développement d'approches d'optimisation intégrées pour la gestion du trafic aérien dans les aéroports et dans l'espace aérien environnant. Dans cette thèse, nous proposons une approche d'optimisation à deux niveaux désignés par niveau macroscopique et niveau microscopique. En effet, suivant les horizons de prédiction des différents problèmes, nous considérons d'abord un horizon à long terme avec un réseau abstrait de l'aéroport et de la TMA. Ensuite, nous aborderons le problème à un horizon plus court en considérant un réseau détaillé de l'aéroport. Dans la première partie de la thèse, nous nous sommes concentrés sur l'optimisation intégrée du problème d'opérations de l'aéroport et du problème de gestion de l'espace aérien terminal à niveau macroscopique. L'aéroport est modélisé comme un réseau abstrait: le terminal, le réseau de taxis et la piste sont considérés comme des ressources spécifiques ayant une capacité maximale définie, et la TMA est modélisée à l'aide d'une structure de réseau d'itinéraires prédéfinis. Ce niveau d'abstraction vise à identifier les situations de congestion aéroportuaire. Nous développons un modèle d'optimisation pour minimiser les retards de vol, résoudre les conflits d'espaces aériens et diminuer les congestions aéroportuaires en contrôlant la vitesse d'arrivée, les heures d'arrivée et de départ et la piste attribuée, tout en respectant diverses contraintes opérationnelles. Une metaheuristique de recuit simulé adaptée, combinée à une approche de décomposition temporelle, est proposée pour résoudre le problème correspondant. Des simulations menées sur des données issues de l'aéroport Paris Charles De-Gaulle montrent des améliorations potentielles en termes de réduction de la congestion et des retards de vol. La deuxième partie de la thèse porte sur le problème du séquencement de pistes d'aéroport et des mouvements au sol à un niveau microscopique. Dans cette partie, nous représentons l'aéroport (les portes, le réseau de taxi, les pistes) par un graphe détaillé et nous considérons les routes de chaque avion sur la base de ce réseau. Le but est de résoudre tous les conflits entre avions lors du roulage, en leur attribuant des heures de push-back, des vitesses de roulage ainsi que des positions (seuil de piste ou point de croisement) et des temps d'attente. Le modèle d'optimisation est conçu pour réduire la file d'attente des pistes et les retards de vol, ainsi que les temps de roulage tout en considérant les problèmes de sécurité liés aux opérations sur la surface. Une comparaison par rapport aux scénarios de référence indique que l'optimisation donne de bons résultats pour deux grands aéroports: l'aéroport Paris Charles De-Gaulle (CDG) et l'aéroport Charlotte Douglas International (CLT). Des gains importants en termes de temps de roulage et de réduction de la file d'attente de décollage sont obtenus particulièrement à CLT, qui est plus enclin à la congestion. La dernière partie de la thèse s'intéresse à un problème se posant à un horizon court terme. Ce problème consiste à séquencer les départs tout en tenant compte des traversées de piste par des arrivées
The air traffic growth induces congestion and flight delays both at the airports and in the surrounding airspaces. In fact, the airports are limited in terms of capacity and represent the major bottlenecks in the air traffic management system. Efficient planning and control are critical to enhance the airport operation efficiency and to reduce flight delays. In prior research, several sub-problems associated with airport operations have already been discussed separately, such as runway scheduling, taxiway scheduling, terminal airspace management, etc. However, these operations are closely related and can affect each other. This motivates the development of an integrated optimization approach for managing air traffic at airport and in the surrounding airspace. In this thesis, we suggest a two-level optimization approach which works on both the macroscopic and the microscopic levels. Following the prediction horizon of different problems, we consider first a long term horizon with an abstract network of airport and TMA. Then, we consider a shorter horizon with a detailed network of airport components. In the first part of the thesis, we focus on the integrated optimization of airport operation problem and terminal airspace management problem at a macroscopic level. The airside is modeled as an abstract network: terminal, taxi network, and runway are seen as specific resources with a defined maximum capacity, and the TMA is modeled by a predefined route network structure. This level of abstraction aims at identifying the airport congestion situations. We develop an optimization model to minimize flight delays, resolve airspace conflicts, and mitigate airport congestions by controlling speed, arrival and departure times, and assigned runway, while keeping various operational constraints. An adapted simulated annealing (SA) metaheuristic combined with a time decomposition approach is proposed to solve the corresponding problem. Computational experiments performed on case studies of Paris Charles De-Gaulle airport show potential improvements on airport congestion mitigation and flight delay reduction. The second part of the thesis deals with the airport runway and taxiway scheduling problem at a microscopic level. In this part, we represent the airport (gate, taxiway, runway) with a detailed surface node-link network, and we consider individual aircraft trajectories based on this graph. We aim at resolving the ground conflicts among aircraft, assigning the pushback times, the taxi speeds and the positions (runway threshold or holding point) and the holding times. The optimization model is designed to reduce runway queue length and minimize flight delays as well as taxi times with respect to safety concerns in surface traffic operations. A comparison with regard to baseline scenarios of the microscopic optimization benefits is presented for two major airports: Paris Charles De-Gaulle (CDG) airport and Charlotte Douglas International airport (CLT). Important gain in taxi time savings and runway queue length reduction are achieved, particularly at CLT since it is more prone to congestion

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Ouafi, Rachid. "Analyse et contrôle des réseaux de trafic urbain par la méthode de Frank-Wolfe." Paris 6, 1988. http://www.theses.fr/1988PA066453.

Повний текст джерела

Анотація:

La méthode de Frank Wolfe offre une approche efficace pour la résolution des programmes convexes avec contraintes linéaires. Dans le contexte des réseaux de transport l'algorithme se réduit à une série de problèmes de plus court chemin et de recherches unidimensionnelles. Nous présentons une approche unifiée de la résolution d'une large variété de problèmes lies au système de planification du trafic urbain par la méthode de Frank Wolfe. Enfin, nous proposons une modification de l'algorithme de Frank Wolfe pour la résolution du problème de l'affectation du trafic urbain.

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Alshaer, Hamada. "Gestion et contrôle de trafic prioritaire dans les réseaux IP multiservices." Paris 6, 2005. http://www.theses.fr/2005PA066564.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Wigetman, Robert. "Vers la conception du système Sieel : un tuteur intelligent pour le contrôle aérien." Toulouse 3, 1994. http://www.theses.fr/1994TOU30258.

Повний текст джерела

Анотація:

Nous decrivons dans cette these les travaux de conception et de developpement d'un tuteur intelligent pour le controle aerien. Celui-ci comprend trois modules: un simulateur de trafic aerien et son interface homme machine, un systeme expert de controle aerien, et un systeme expert pedagogue. Nos travaux sont centres sur ce dernier module qui a ete concu de facon a etre aussi independant que possible du domaine du controle aerien, et ainsi de pouvoir s'appliquer a d'autres domaines du meme type. Pour ce faire, nous avons caracterise le travail du controleur par des strategies de planification d'actions qu'il doit mettre en uvre pour resoudre des problemes a la fois complexes et dynamiques auxquels il est confronte. A partir de cette caracterisation, nous avons concu une structure, en forme de graphe, pour rendre explicite les relations entre les connaissances utilisees. Ce graphe de connaissances est la fondation sur laquelle est bati notre systeme. Apres une introduction au domaine du controle aerien, nous presentons des generalites sur les tuteurs intelligents et decrivons quelques uns de ces systemes. Puis, nous presentons l'ensemble du systeme sieel de l'ecole nationale de l'aviation civile. Vient par la suite la description de nos travaux dans le detail: tout d'abord, l'analyse de la semantique des communications entre l'eleve et les agents simules a eu pour resultat l'implantation d'une grammaire de cas. Ensuite, la structuration des connaissances enseignees a permis l'elaboration d'un modele d'eleve a couverture partielle. Enfin, notre tuteur utilise ces elements pour comparer les actions de l'eleve avec les plans hypothetiques produits par un systeme expert du domaine afin d'evaluer son niveau d'expertise et de pouvoir determiner des interventions de guidage a mettre en uvre

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Gotteland, Jean-Baptiste. "Optimisation du trafic au sol sur les grands aéroports." Phd thesis, Toulouse, INPT, 2004. http://oatao.univ-toulouse.fr/7378/1/gotteland.pdf.

Повний текст джерела

Анотація:

Une partie de plus en plus significative des retards aériens est imputable à la circulation des avions au sol sur les grands aéroports. Afin d'étudier les possibilités d'amélioration du trafic au roulage, un outil de simulation est développé et appliqué à Roissy Charles De Gaulle et Orly. La gestion du trafic est modélisée sous forme d'un problème de minimisation sous contraintes, sur lequel plusieurs méthodes d'optimisation sont comparées : une méthode déterministe, une méthode stochastique par algorithmes génétiques et une méthode hybride. L'outil de simulation résultant permet de mesurer l'influence de différents facteurs, comme l'horizon de prédiction, les incertitudes sur les vitesses de roulage ou encore l'application de sens uniques. La méthode hybride se révèle la plus efficace dans tous les scénarii envisagés et possède l'avantage d'être facilement adaptable à de nouveaux objectifs, comme le respect des créneaux de décollage imposés par la régulation européenne du trafic.

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Bosc, Jean-François. "Techniques d'évitement réactif et simulation du trafic aérien." Toulouse, INPT, 1997. http://www.theses.fr/1997INPT103H.

Повний текст джерела

Анотація:

Les services de gestion du trafic aerien en europe rencontrent actuellement de serieux problemes de saturation, notamment au niveau du trafic en-route. De plus, diverses etudes prevoient une poursuite de la croissance du trafic a un rythme soutenu, au moins jusque vers 2010. Des evolutions majeures du systeme de controle vont donc etre necessaires afin de pouvoir absorber le trafic tout en maintenant la securite. Diverses ameliorations sont envisageables a tous les niveaux de la chaine de controle, mais on manque toutefois d'une vision globale de l'ensemble du processus. Dans cette these, on presente tout d'abord un simulateur de trafic capable de couvrir les differentes etapes sucessives de la gestion du trafic aerien, et susceptible d'etre utilise pour le recueil de donnees, la mise au point d'algorithmes, ou la validation de scenarios. Dans un deuxieme temps, on presente plusieurs methodes automatiques de resolution de conflit qui ont ete developpees et implantees sur le simulateur, et ont permis notamment d'obtenir des resultats concernant la capacite de l'espace aerien. Enfin, on propose une utilisation couplee de deux methodes de resolution travaillant avec des horizons temporels differents. Malgre une methode de couplage rudimentaire, cette approche permet de maintenir une separation degradee mais significative entre les avions, dans des situation ou la methode de controle principale ne parvient pas a remplir correctement son role.

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Zitoune, Lynda. "Approche automatique de l'ingénierie de trafic Internet." Paris 11, 2006. http://www.theses.fr/2006PA112138.

Повний текст джерела

Анотація:

L'intégration des applications multimédia au sein des services de télécommunications a accentué le besoin d'architectures de qualité de service et de mécanismes de contrôle de trafic efficaces. Assurer des garanties de performance en termes de perte, de délai et de gigue est un problème critique dans les réseaux de nouvelle génération. Il impose une politique de contrôle réactive qui s'adapte aux variations instantanées de l'état du réseau. Nous présentons dans cette thèse deux nouveaux mécanismes de contrôle et de régulation que nous qualifions de réactifs pour assurer la transmission des flux multimédia utilisant une architecture de qualité de service. Ils agissent en boucle fermée pour réguler le débit des sources de trafic en fonction des variations dynamiques du réseau. La régulation consiste à contenir le trafic de la source dans des bornes pour respecter les contraintes sur le délai et le taux de pertes. L'objectif des travaux développés dans cette thèse est double. Le premier est de proposer des solutions pour l'allocation de ressources et la garantie de services dans les réseaux futurs. La seconde est de montrer l'apport du contrôle réactif et de la régulation dynamique en utilisant des approches purement automatiques qui stabilisent le réseau et évitent les oscillations indésirables pour la transmission des flux critiques, à l'inverse du contrôle de bout-en-bout actuellement utilisé pour éviter la congestion. Ils témoignent de l'importance de nouvelles techniques automatiques ainsi que des possibilités offertes pour introduire de nouveaux services et concepts innovants tels que l'état stationnaire et le suivi de trajectoires pour réaliser un approvisionnement. .
The integration of multimedia applications within telecommunications services has stressed the need for both Quality of Service architectures and effective traffic control mechanisms. To ensure performance guarantees in terms of loss, delay and jitter are a critical problem ofthe next generation networks. It involves a reactive control policy which adapts the source rate to the network state variations. In this thesis, we introduce two new reactive mechanisms for controlling multimedia flows over a QoS architecture. They act as a closed loop to control the sources bit-rates according to the dynamic variations of the network. The regulation consists in limiting the traffic sources andrespecting the time and loss constraints. The objective of the present work is twofold. We first propose solutions for resource allocation and service guarantees in future networks. Secondly we show the contribution of the reactive control and the dynamic regulation using purely control theoretic approaches which stabilize the network and avoid undesirable oscillations for the transmission of critical flows, contrary to the currently used end-to-end control to avoid the congestion

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Ramamonjisoa, David. "Architecture de copilotage et de contrôle d'exécution basée sur un système expert temps réel." Compiègne, 1993. http://www.theses.fr/1993COMP574S.

Повний текст джерела

Анотація:

Le développement croissant du trafic routier, le besoin de confort et d'information des conducteurs et l'exigence générale d'une plus grande sécurité sont actuellement le grand souci des laboratoires de recherches et constructeurs automobiles des pays industrialisés. Le projet européen PROMETHEUS a pour objectif d'améliorer la sécurité de la circulation routière de 30% et l'efficacité de 20%. Dans le cadre de ce projet, une application de système d'aide au copilotage a été réalisée avec la mise au point d'un système de contrôle d'exécution des manoeuvres et de surveillance des environnements. Des outils à base de techniques d'intelligence artificielle et d'automatique ont été développés pour la réalisation d'un tel système. La démarche suivie est de spécifier une architecture de contrôle pour diminuer le temps de réponse du système et pour structurer les tâches de façon modulaire. Les modules de décision et de contrôle ont été développés à l'aide d'un système expert temps réel SUPER-TR. Une phase de simulation a permis de tester la rapidité et d'évaluer la base de connaissances du système. La mise à jour des stratégies et des modèles utilisés dans le copilotage est également effectuée au cours de cette phase.

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Crevits, Igor. "Répartition dynamique de taches dans les procédés complexes. Modélisation de la répartition anticipée : application au contrôle de trafic aérien." Valenciennes, 1996. https://ged.uphf.fr/nuxeo/site/esupversions/8e4a1e03-64eb-4e69-9a03-f26c175ea950.

Повний текст джерела

Анотація:

La répartition dynamique de taches consiste à fournir à l'operateur humain une assistance à l'action afin de réguler sa charge de travail. La problématique de la répartition dynamique de taches réside donc dans la définition et la mise en œuvre de la répartition des taches entre l'operateur humain et le système automatisé. La définition anticipée de la répartition permet d'améliorer la qualité des solutions obtenues vis-à-vis de l'objectif de régulation

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Escamilla, Núñez Héctor. "Contribution au guidage des avions en trafic à haute densité." Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30074/document.

Повний текст джерела

Анотація:

Ce travail est développé dans le contexte des projets SESAR et Next-Gen, où de nouvelles applications de la gestion du trafic aérien (ATM) comme le concept de gestion d'opérations en 4D, se sont focalisées sur les opérations basées sur la trajectoire (TBO - Trajectory Based Operations). Ces opérations sont en relation avec l'extension de la flexibilité de la séparation entre avions, et par conséquence, avec l'augmentation de la capacité du trafic aérien. En sachant qu'une évolution des routes fixes et autorisations émises par le contrôle du trafic aérien (ATC - Air Traffic Control) vers des trajectoires flexibles est imminente, en s'appuyant en même temps aux niveaux les plus élevés de l'automatique embarquée, ce travail de recherche s'intéresse aux sujets qui aideront à la transition des systèmes actuels vers les systèmes compatibles avec les nouveaux besoins des TBO. Les principaux axes de recherche de ce manuscrit s'articulent en trois points: La génération de trajectoires en 4D, le guidage en 4D, et l'estimation de la masse d'un avion pour l'optimisation des trajectoires. Concernant la génération des trajectoires, le besoin des utilisateurs d'espaces aériens de planifier leurs routes préférées à partir d'un point d'entrée dans l'espace aérien sans être limités par les configurations existantes est considéré. Une solution particulière pour la génération de trajectoires lisses en 4D à partir de points de contrôle prédéfinis est alors explorée. La méthode proposée s'appuie sur les courbes de Bézier, et elle permet de contrôler la distance euclidienne entre le point de contrôle donné et la trajectoire proposée. Ceci est fait en modifiant la trajectoire de telle façon qu'elle reste à l'intérieur des limites des facteurs de charge, en considérant un compromis entre la courbure de la trajectoire et la vitesse voulue de l'avion, ce qui représente une étape importante dans le chemin vers les TBO. Le guidage précis en 4D améliorera la sûreté en diminuant l'occurrence de quasi-collisions aériennes pour des trajectoires en 4D planifiées en avance. En conséquence, deux autopilotes et deux méthodes de guidage sont développées avec l'objectif de réduire la charge de travail des contrôleurs du trafic aérien associée à un vol. Les techniques de backstepping et feedback linearization sont utilisées pour le pilotage, alors que l'inversion non linéaire directe et indirecte sont adoptées pour le guidage. De plus, l'impact de la connaissance inexacte de la masse de l'avion dans le suivi de trajectoires, ses conséquences dans l'optimisation, la consommation de carburant, et la performance de l'avion, a conduit à l'implémentation d'une estimation embarquée de la masse de l'avion. L'approche créée est basée sur les moindres carrées, en fournissant des estimations de la masse initiale et la masse courante, toutes les deux avec une précision suffisante pour atteindre les objectifs liées aux TBO. Les méthodes proposées dans cette thèse sont examinées en utilisant un modèle à six degrés de liberté, dont les paramètres approchent un appareil du type B737-200 ou A320-200. La simulation est basée sur une modélisation complète et non linéaire de la dynamique des avions de transport incluant des perturbations liées au vent. Des réseaux de neurones sont utilisés pour obtenir les différents coefficients aérodynamiques correspondant aux forces et moments de l'avion
This work is developed with the perspective of SESAR and Next-Gen projects, where new applications of Air Traffic Management (ATM) such as the Full 4D Management concept, are centered on Trajectory-Based Operations (TBO), deeply related with the extension of the flexibility in separation between aircraft, and hence, with the augmentation of air traffic capacity. Therefore, since a shift from fixed routes and Air Traffic Control (ATC) clearances to flexible trajectories is imminent, while relying on higher levels of onboard automation, the thesis hinges around topics that should enable or ease the transition from current systems to systems compliant with the new expectancies of Trajectory-Based Operations. The main axes of the manuscript can be summarized in three topics: 4D trajectory generation, 4D guidance, and mass estimation for trajectory optimization. Regarding the trajectory generation, the need of airspace users to plan their preferred route from an entry to an exit point of the airspace without being constrained by the existent configurations is considered. Thus, a particular solution for 4D smooth path generation from preexisting control points is explored. The method is based on Bezier curves, and is able to control the Euclidian distance between the given control points and the proposed trajectory. This is done by reshaping the path to remain within load factor limits, taking into account a tradeoff between path curvature and aircraft intended speed, representing a milestone in the road towards Trajectory-Based Operations. It is considered that accurate 4D guidance will improve safety by decreasing the occurrence of near mid-air collisions for planned conflict free 4D trajectories. In consequence, two autopilots and two guidance approaches are developed with the objective of diminishing the workload for air traffic controllers associated to a single flight. The backstepping and feedback linearization techniques are used for attitude control, while direct and indirect nonlinear inversion are adopted for guidance. Furthermore, the impact of inaccurate mass knowledge in trajectory guidance, with consequences in optimization, fuel consumption, and aircraft performance, has led to the implementation of an on-board aircraft mass estimation. The created approach is based on least squares, providing an initial mass estimation, and online computations of the current mass, both with enough accuracy to meet the objectives related to TBO. The methods proposed in this thesis are tested in a six degrees of freedom Matlab model with its parameters chosen similar to an aircraft type B737-200 or A320-200. The simulation is based on a full nonlinear modelling of transport aircraft dynamics under wind disturbances. Trained neural networks are used to obtain the aerodynamic coefficients corresponding the aircraft forces and moments

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Jacquet, Denis. "Modélisation Macroscopique du Trafic et Contrôle des Lois de Conservation Non Linéaires Associées." Phd thesis, Grenoble INPG, 2006. http://tel.archives-ouvertes.fr/tel-00150434.

Повний текст джерела

Анотація:

Cette thèse traite de la modélisation des infrastructures autoroutières et de leur gestion par des méthodes de régulation telles que le contrôle d'accès. L'approche retenue est macroscopique et conduit à des modèles distribués sous forme d'équations aux dérivées partielles non linéaires. Nous apportons plusieurs éclairages sur l'analyse et la résolution de ces modèles (condition d'entropie pour les rampes d'accès, discrétisation simpliée) et proposons une interprétation hybride des inhomogénéités (conditions aux limites, rampes d'accès et de sorties, variations brutales des paramètres) adaptée aux problèmes de contrôle. Deux nouvelles méthodologies calculatoires sont ensuite introduites pour concevoir des contrôleurs dynamiques s'appliquant à la gestion du trafic. La première est formulée comme un problème de commande optimale en boucle ouverte et nécessite l'adaptation de la méthode adjointe traditionnelle en raison de l'irrégularité des solutions. La seconde repose sur une discrétisation sous la forme d'un système affine commuté et une synthèse boucle fermée utilisant la dissipativité et les inégalités matricielles linéaires.

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Loyer, Nicolas. "Contrôle de AP-1 sur le trafic de E-Cadhérine chez Drosophila melanogaster." Thesis, Rennes 1, 2014. http://www.theses.fr/2014REN1S066/document.

Повний текст джерела

Анотація:

L'intérieur des cellules eucaryotes est compartimenté en organites qui échangent des lipides et protéines entre eux et avec la membrane plasmique via le trafic vésiculaire. Dans les cellules polarisées comme les cellules épithéliales, dont la membrane plasmique est divisée en un pôle apical et un pôle basolatéral séparés par une ceinture de jonctions, le trafic vésiculaire est contrôlé par des systèmes de tri polarisé, permettant d'adresser les protéines appropriées au domaine membranaire approprié. Dans ces cellules épithéliales, le complexe adaptateur AP-1 contrôle l'adressage au pôle basolatéral et le trafic de la molécule d'adhésion E-Cadhérine, une protéine transmembranaire des jonctions d'adhérence. Il a de plus été démontré dans les cellules intestinales du nématode C. elegans et des mammifères qu'AP-1 est nécessaire au maintien de la polarité épithélial. J'ai étudié ces fonctions d'AP-1 chez l'organisme modèle Drosophila melanogaster. J'ai montré qu'AP-1 contrôle aussi le trafic de E-Cadhérine chez la Drosophile mais n'est pas requis pour la maintenance de la polarité de l'épithélium folliculaire, un épithélium entourant le cyste germinal femelle de 16 cellules au cours de l'ovogénèse chez la Drosophile. Ces expériences dans ce tissu m'ont amené à découvrir une nouvelle fonction de E-Cadhérine dans le cyste germinal. Les cellules de ce cyste sont connectées entre elles par des ponts cytoplasmiques stabilisés à l'issue de cytocinèses incomplètes. J'ai montré que les cellules du cyste mutantes pour AP-1 présentent un phénotype de multinucléation dû au décrochage des ponts cytoplasmiques. Ce phénotype corrèle avec un défaut d'adressage de E-Cadhérine dépendant d'AP-1 à la membrane plasmique entourant ces ponts, via les endosomes de recyclage. E-Cadhérine y est nécessaire pour leur ancrage à la membrane plasmique, un rôle qui avait été jusque-Là masqué par l'expression ectopique compensatoire de N-Cadhérine dans les mutants E-Cadhérine. Ce rôle d'E-Cadhérine passe par l'organisation de protrusions membranaires présentant l'aspect et contenant certains marqueurs protéiques des microvillosités observées au pôle apical des cellules épithéliales
Eukaryotic cells are compartmentalized in organelles. Lipidic and proteic exchanges between organelles and the plasma membrane are controlled by vesicular trafficking. In polarised cells such as epithelial cells, whose plasma membrane is divided into an apical and a basolateral pole separated by a junctional belt, appropriate targeting of proteins to appropriate poles relies on polarised sorting mechanisms controlling vesicular trafficking. In these cells, the clathrin adaptor complex AP-1 controls basolateral targeting and trafficking of the adhesion molecule E-Cadherin, a transmembrane adherens junctions protein. AP-1 is furthermore necessary for epithelial polarity maintenance in intestinal epithelial cells in the nematode C. elegans and mammals. I studied AP-1 functions in the model organism Drosophila melanogaster. I showed AP-1 also controls E-Cadherin trafficking in Drosophila but is not required for polarity maintenance in follicular cells, an epithelium surrounding the female germline cyst during oogenesis. Experiments in this tissue led me to discover a new E-Cadherin function in the germline cyst. Germline cyst cells are interconnected by cytoplasmic bridges stabilised after incomplete cytokinesis. I showed AP-1 mutant cyst cells were multinucleated due to a detachment of cytoplasmic bridges from the plasma membrane. This phenotype correlated with an E-Cadherin AP-1-Dependent targeting defect from recycling endosomes to the plasma membrane surrounding these bridges. E-Cadherin is necessary for their anchoring to the plasma membrane, a role that was hidden by ectopic compensatory expression of N-Cadherin in E-Cadherin mutants. This new role is mediated by E-Cadherin-Dependent organisation of membrane protrusions similar in aspect with and containing proteins of microvillosities present at the apical pole of epithelial cells

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Valenti, Silvio. "La gestion du trafic P2P dans les réseaux modernes : mesure, identification et contrôle." Phd thesis, Télécom ParisTech, 2011. http://pastel.archives-ouvertes.fr/pastel-00645263.

Повний текст джерела

Анотація:

Suite à la diffusion des applications P2P et en particulier du video P2P, le trafic P2P représente déjà une portion importante de la totalité du trafic sur Internet. Dans ce contexte cette thèse propose des nouveaux outils pour mesurer, identifier et contrôler le trafic P2P. Concernant la classification de trafic, vue l'inefficacité des techniques traditionnelles, nous proposons un nouveau classificateur comportemental, Abacus, spécifique pour les applications P2P-TV. Nos expériences prouvent que Abacus, bien qu'il soit basé sur la simple mesure du numéro des paquets et octets échanges par un hôte, fourni une solution légère et efficace pour l'identification des applications P2P. En suite, nous évaluons l'impact de la réduction des données, due à l'utilisation très commune de Netflow et de l'échantillonnage à niveau paquet, sur la classification de trafic. Nous montrons que Abacus peut être adapté à utiliser ce type des données, et que même si l'échantillonnage de paquets cause une dégradation importante de la qualité des mesurés, cependant la classification reste possible si l'apprentissage du classificateur est fait avec des données eux même échantillonnées. En fin, nous étudions un nouveau type de protocole de transport pour les applications P2P, LEDBAT, proposé et utilisé par la version officielle de BitTorrent. Ce protocole, basé sur le délai, veut implémenter un transport a basse priorité. Nous montrons que LEDBAT atteinte son objectif, mais qu'il souffre d'un problème d'équité entre flux du même type: nous identifions la cause de ce problème et proposons des solutions efficaces, qui rétablissent l'équité.

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Valenti, Silvio. "La gestion du trafic P2P dans les réseaux modernes : mesure, identification et contrôle." Phd thesis, Paris, Télécom ParisTech, 2011. https://pastel.hal.science/pastel-00645263.

Повний текст джерела

Анотація:

Suite à la diffusion des applications P2P et en particulier du video P2P, le trafic P2P représente déjà une portion importante de la totalité du trafic sur Internet. Dans ce contexte cette thèse propose des nouveaux outils pour mesurer, identifier et contrôler le trafic P2P. Concernant la classification de trafic, vue l'inefficacité des techniques traditionnelles, nous proposons un nouveau classificateur comportemental, Abacus, spécifique pour les appllications P2P-TV. Nos expériences prouvent que Abacus, bien qu'iI soit basé sur la simple mesure du numéro des paquets et octets échanges par un hôte, fournit une solution légère el efficace pour l'Identification des applications P2P. Ensuite, nous évaluons l'impact de la réduction des données, due à l'utilisation très commune de Netflow et de l'échantillonnage à niveau paquet, sur la classification de trafic. Nous montrons que Abacus peut être adapté à utiliser ce type des données, et que même si l'échantillonnage de paquets cause une dégradation importante de la qualité des mesurés, cependant la classification reste possible si l'apprentissage du classificateur est fait avec des données eux même échantillonnées. Enfin, nous étudions un nouveau type de protocole de transport pour les applications P2P, LEDBAT, proposé et utilisé par la version officielle de BitTorrent. Ce protocole, basé sur le délai, veut implémenter un transport a basse priorité. Nous montrons que LEDBAT atteint son obJectif, mals qu'il souffre d'un problème d'équité entre flux du même type: nous identifions la cause de ce problème et proposons des solutions efficaces, qui rétablissent l'équité
Due to the large diffusion of P2P applications and especially P2P live-streaming, P2P traffic occupies an extremely large portion of overall Internet traffic. In this context, this thesis proposes new instruments to measure, identify and control P2P traffic. Regarding traffic classification, since traditional techniques have a hard time identifying P2P traffic, we propose a new behavioral classifier, Abacus, tailored for P2P live-streaming. Our experiments prove that Abacus, though based on simple counts of packets and bytes exchanged by a host, represents a lightweight and accurate solution for identifying P2P applications. Second, since the huge volume of traffic obliges operators to employ either flow-level monitors (e. G. NetFlow) or packet sampling to cut down the amount of measurement data, we evaluate the impact of data reduction on traffic characterization and classification. We show that Abacus can be adapted to this kind of data, suffering only a minor loss in accuracy and statistical classification remains possible if training and validation data are sampled at the same rate, in spite of the distortion introduced by packet sampling. Finally, we study a new transport protocol for P2P traffic, LEDBAT (Low Extra Delay Background Transport Protocol), the congestion control algorithm of the official BitTorrent client. This delay-based algorithm aims to provide an efficient, lower-than-best-effort service. Though faithful to its goals, the original design of LEDBAT appears affected by a latecomer advantage: we identify the main cause of the unfairness and propose effectives correction that restore the fairness

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Schanzenbächer, Florian. "Max-plus modeling of traffic on passenger railway lines with a junction : fundamental diagram and dynamic control." Thesis, Paris Est, 2020. http://www.theses.fr/2020PESC2098.

Повний текст джерела

Анотація:

La thèse a pour objectif principal de contribuer à la méthodologie de régulation du trafic sur une ligne ferroviaire, dans la configuration typique d’une ligne à tronc et branches en milieu urbain ou régional. L'ambition est d’apporter une modélisation plus fine du trafic des voyageurs et des trains en interaction, qui permette à la fois d’évaluer finement la qualité du service rendu aux voyageurs et différentes décisions de l’opérateur de la ligne. Se basant sur cette modélisation, nous développerons une méthode de contrôle du trafic (stratégique/ tactique et opérationnel) spécialement adaptée au problème de ligne avec embranchement. L'objectif industriel est l'implémentation d'un système de régulation dynamique intelligent pour une ligne à fourche
The aim of the doctoral thesis is to contribute on the developpement of real-time traffic control algorithms for mass transit railway systems with junctions, located in urban areas. The scientific ambition of the doctoral thesis is to develop a traffic model with a finer modelisation of the train-passengers interaction. The model will allow a more precise evaluation of the level of service offered to the passengers and of the decisions taken by the operator of the line. Basing on this modeling, we will develop a control algorithm (strategic/ tactical and operational) in order to enhance the service quality on the line. The objective of the Paris metro system operator, financing this thesis, is to have a ready-to-implement control system for a railway line with a junction

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Lemoine, Marie-Pierre. "Coopération hommes-machines dans les procédés complexes : Modèles techniques et cognitifs pour le contrôle de trafic aérien." Valenciennes, 1998. https://ged.uphf.fr/nuxeo/site/esupversions/0821b192-7376-49d6-ba14-abc99ab0917a.

Повний текст джерела

Анотація:

La coopération est un point de rencontre de nombreuses disciplines. L'automatique décrit la coopération homme-machine au travers des outils d'assistance qu'elle est capable de développer. Les sciences humaines l'étudient au travers du comportement en milieu collectif. Cette thèse s'inscrit dans ce courant pluridisciplinaire et propose des critères et des moyens pour concevoir des systèmes d'aide qui répondent aux exigences tant humaines qu'industrielles. La répartition dynamique de taches entre un opérateur humain et un système d'aide, est une forme de coopération qui permet de couvrir une vaste plage de l'activité de supervision et de contrôle de procédés complexes. Ce mémoire en donne un exemple puisque la recherche s'applique au contrôle de trafic aérien. Compte tenu du foisonnement de définitions de la coopération, notre recherche tente de recentrer les points de vue éparses et propose une synthèse en fonction des notions de savoir-faire et de savoir-coopérer. La description des agents coopératifs en fonction de ces notions facilite la recherche des lacunes dans l'organisation des agents, ainsi que dans les tâches qui leur sont affectées. Une méthodologie d'évaluation est notamment présentée. Elle s'appuie sur un modèle cognitif de l'opérateur humain, et des critères de performance pondérés par des critères sur la qualité de la coopération. L'une des solutions proposées a l'issue des expérimentations est la conception d'un espace de travail commun. En plus d'une interface homme-machine, il est muni de modules intelligents qui facilitent ou automatisent l'identification des plans des agents coopératifs. Le système d'aide dispose alors de données précises et objectives pour piloter le répartiteur et l'allocateur de tâches. Un exemple d'espace de travail commun est présenté, il répond a l'augmentation du trafic aérien en apportant un soutien actif à la coopération entre les contrôleurs aériens, les pilotes, et les systèmes d'aide.

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Sanogo, Cheick. "Modeling user impatience and its impact on performance in mobile networks." Thesis, Evry, Institut national des télécommunications, 2017. http://www.theses.fr/2017TELE0009/document.

Повний текст джерела

Анотація:

Dans cette thèse nous étudions l'impatience des usagers dans les réseaux mobile et nous quantifions son impact sur la performance du système en présence d'usagers téléchargeant des données dans lequel nous développons deux expressions approximatives de la distribution stationnaire du systéme : un modèle agrégé et un modèle détaillé et nous montrons qu'ils sont très proches du modèle exact. Nous étudions la mobilité de l'usager téléchargeant des données et pouvant s'impatienter, et nous quantifions son impact sur la performance des réseaux mobile. Nous considérons le cas de la mobilité due à l'impatience et le cas de la mobilité spontanée des usagers tout en considérant la mobilité intra et inter cellulaire. Nous étudions également l'impatience de l'usager qui regarde une vidéo streaming durant les phases de pré-chargement de la vidéo et de mise en tampon pendant que la vidéo est arrêtée dès le début de la mise en tampon. Nous étudions à la fin un système constitué d'usagers pouvant s'impatienter, qui est sous contrôle d'un gestionnaire de système, qui à chaque instant de décisions, choisit une action à exécuter dans le but d'optimiser la performance définie du système. Nous considérons un système dans lequel les usagers arrivent dans le système à des différents instants et le quittent après la fin de leurs transferts de données, ou plus tôt à l'expiration de leurs durées de patience. Les applications numériques et les simulations nous ont permis de fournir divers métriques de performance telles que le nombre moyen d'usagers, la proportion d'usagers impatients qui quittent le système avant la fin de leurs transferts de fichiers, le débit, la probabilité d'impatience en tenant compte de la localisation de l'usager dans la cellule, la probabilité d'être impatient durant les phases de mise en tampon, la probabilité de mise en tampon lors d'une séance de vidéo streaming, la politique optimale, la taille limite optimale du système dans le but d'optimiser la performance définie du système, etc
In this thesis we study user impatience and quantify its impact on the performance of mobile networks in the presence of elastic user in which we develop two approximate expressions for the stationary distribution of the system: an aggregate one and a detailed one and show their closeness to the exact model. We study mobility of elastic user who may be impatient and quantify its impact on system performance in mobile networks. We consider the case of mobility due to impatience during the prefetching and the re-buffering phases when starvation happens. We finally study a system with impatient users controlled by a system manager who has to choose at each decision epoch an action to make in order to optimize the defined system performance. We consider a system in which users come to the system at different time instants and leave it after a finite duration, either after completion of their data transfers or earlier, at the expiry of some patience duration. Numerical analysis and simulations allow us to derive several performance metrics such as mean number of users, the proportion of impatient users who quit the system before completing their file transfers, the throughput, the probability of starvation, the optimal system size in order to optimize the defined performance of the system, etc

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Vaton, Sandrine. "Modélisation statistique de trafic sur réseau local : application au contrôle dynamique de bande passante." Paris, ENST, 1998. http://www.theses.fr/1998ENST0025.

Повний текст джерела

Анотація:

Des études récentes ont mis en évidence dans le trafic large bande une autosimilarité sur plusieurs échelles de temps ainsi que des corrélations sur le très long terme ce qui a conduit une majorité d'auteurs à rejeter les modèles classiques markoviens et à proposer des modèles alternatifs. Dans ce contexte de très forte remise en cause des modèles markoviens nous montrons qu'une modélisation markovienne mais localement stationnaire fournit une alternative intéressante aux nouveaux modèles non markoviens. Nous prouvons à l'aide de différents tests de stationnarité parmi lesquels un nouveau test de stationnarité au second ordre que nous développons, le test de sphéricité, que les modèles stationnaires markoviens sont inadaptés sur les horizons de temps longs. Nous développons un nouveau modèle markovien de trafic, le sehmm quasi-décomposable, dont nous montrons l'adéquation au trafic réel en termes de la distribution des temps entre arrivées de paquets, des corrélations de la suite des temps entre arrivées de paquets ainsi que du taux de perte obtenu dans une file d'attente finie a différents débits de service. On bénéficie dans le cadre markovien d'algorithmes d'estimation paramétrique et de calculs complets de dimensionnement. Nous développons par ailleurs une technique d'estimation dans le domaine transforme de fourrier des délais incompressibles entre les arrivées de paquets, ce problème ne pouvant être résolu dans le domaine temporel à l'aide d'algorithmes standards. Pour l'application d'allocation dynamique de débit considérée le modèle sehmm quasi-décomposable non stationnaire peut être simplifie en un modèle élémentaire de type on/off non stationnaire. Une analyse statistique en temps réel des paramètres du modèle on/off permet une renégociation périodique des ressources allouées a la connexion a très faible cout de calcul. La méthode proposée permet de garantir des taux de perte aussi faibles que 10 6 sur une trace de trafic considérée dans la littérature comme présentant un fort degré d'autosimilarité et des corrélations sur le très long terme.

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Faye, Sébastien. "Contrôle et gestion du trafic routier urbain par un réseau de capteurs sans fil." Thesis, Paris, ENST, 2014. http://www.theses.fr/2014ENST0061/document.

Повний текст джерела

Анотація:

Les transports terrestres occupent une place majeure dans notre société, notamment en ville où les ralentissements aux heures de pointe peuvent avoir un impact notable sur l'organisation des activités, l'économie ou encore l'écologie. Les infrastructures routières sont généralement coordonnées par un centre de contrôle, responsable du maintien des équipements, de leurs réglages initiaux et de la gestion des incidents (matériels ou humains). Les nouvelles technologies de l'information et de la communication ont permis, en l'espace de quelques années, de mettre en œuvre des systèmes de transport intelligents. À l'aide de multiples points de mesures répartis sur le territoire, un opérateur peut dénombrer les usagers et en déduire la charge du réseau. Toutefois, centraliser les informations présente de nombreuses limites. Cette thèse vise à étudier l'emploi de systèmes distribués afin de mettre en œuvre des systèmes de transport intelligents grâce à un réseau de capteurs sans fil. Couplés à une unité de détection (p. ex., un magnétomètre), les capteurs communicants peuvent réagir au passage d'un véhicule en étant déployés, par exemple, sur les voies. Ils sont également capables de coopérer et de s'affranchir d'une entité centrale, rendant tout ou partie d'une zone urbaine totalement indépendante. D'autre part, ces réseaux peuvent fonctionner de manière autonome et tolèrent mieux les pannes, car aucun élément n'est indispensable au fonctionnement global du système. Enfin, les éléments de ces réseaux sont petits, peu coûteux, et communiquent en sans fil, ce qui leur permet d'être déployés et redéployés rapidement et de manière dense
Road traffic has a significant effect on metropolitan activities, especially during peak hours when it impacts on areas such as the economy and the environment. Road infrastructure is typically coordinated from a control centre that is responsible for maintaining not only its equipment but also their initial settings and incident management (both material and human). During the past few years, new technologies in the fields of information and communication have led to the introduction of intelligent transportation systems. Using multiple measurement points distributed across a country, an operator can count road users and calculate the network load. However, the centralization of information has a number of drawbacks. The aim of this thesis is to study the use of distributed systems in order to implement intelligent transportation systems via a wireless sensor network. Coupled to a detection unit (e.g., a magnetometer), the interconnected sensors can respond to the passage of a vehicle when deployed, for example, along the road. They can also work together without recourse to a central entity - rendering all or part of an urban area totally independent. Furthermore, these networks can operate autonomously and are less susceptible to breadown, because the overall running of the system is not affected by the failure of individual components. Finally, components are small and cheap, and they operate wirelessly, which means they can be deployed and redeployed both rapidly and densely

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Faye, Sébastien. "Contrôle et gestion du trafic routier urbain par un réseau de capteurs sans fil." Electronic Thesis or Diss., Paris, ENST, 2014. http://www.theses.fr/2014ENST0061.

Повний текст джерела

Анотація:

Les transports terrestres occupent une place majeure dans notre société, notamment en ville où les ralentissements aux heures de pointe peuvent avoir un impact notable sur l'organisation des activités, l'économie ou encore l'écologie. Les infrastructures routières sont généralement coordonnées par un centre de contrôle, responsable du maintien des équipements, de leurs réglages initiaux et de la gestion des incidents (matériels ou humains). Les nouvelles technologies de l'information et de la communication ont permis, en l'espace de quelques années, de mettre en œuvre des systèmes de transport intelligents. À l'aide de multiples points de mesures répartis sur le territoire, un opérateur peut dénombrer les usagers et en déduire la charge du réseau. Toutefois, centraliser les informations présente de nombreuses limites. Cette thèse vise à étudier l'emploi de systèmes distribués afin de mettre en œuvre des systèmes de transport intelligents grâce à un réseau de capteurs sans fil. Couplés à une unité de détection (p. ex., un magnétomètre), les capteurs communicants peuvent réagir au passage d'un véhicule en étant déployés, par exemple, sur les voies. Ils sont également capables de coopérer et de s'affranchir d'une entité centrale, rendant tout ou partie d'une zone urbaine totalement indépendante. D'autre part, ces réseaux peuvent fonctionner de manière autonome et tolèrent mieux les pannes, car aucun élément n'est indispensable au fonctionnement global du système. Enfin, les éléments de ces réseaux sont petits, peu coûteux, et communiquent en sans fil, ce qui leur permet d'être déployés et redéployés rapidement et de manière dense
Road traffic has a significant effect on metropolitan activities, especially during peak hours when it impacts on areas such as the economy and the environment. Road infrastructure is typically coordinated from a control centre that is responsible for maintaining not only its equipment but also their initial settings and incident management (both material and human). During the past few years, new technologies in the fields of information and communication have led to the introduction of intelligent transportation systems. Using multiple measurement points distributed across a country, an operator can count road users and calculate the network load. However, the centralization of information has a number of drawbacks. The aim of this thesis is to study the use of distributed systems in order to implement intelligent transportation systems via a wireless sensor network. Coupled to a detection unit (e.g., a magnetometer), the interconnected sensors can respond to the passage of a vehicle when deployed, for example, along the road. They can also work together without recourse to a central entity - rendering all or part of an urban area totally independent. Furthermore, these networks can operate autonomously and are less susceptible to breadown, because the overall running of the system is not affected by the failure of individual components. Finally, components are small and cheap, and they operate wirelessly, which means they can be deployed and redeployed both rapidly and densely

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Omnès, Nathalie. "Analyse d'outils de contrôle de la qualité de service dans les réseaux de paquets haut débit." Rennes 1, 2001. http://www.theses.fr/2001REN10134.

Повний текст джерела

Анотація:

Dans un réseau de télécommunication, les flux correspondant aux applications ayant des contraintes temporelles sont appelés flux rigides. Il faut leur garantir un faible délai de traversée, et parfois les resynchroniser avant de les remettre à l'application. Nous étudions dans la partie B les pertes de paquets induites par cette resynchronisation. Nous y déterminons une borne pour la proportion moyenne de perte. Un contrôleur espaceur permet d'estimer les besoins d'un tel flux. Nous étudions son dimensionnement dans la partie C. Nous établissons une borne pour la probabilité de perte au niveau cellule. Enfin, les flux élastiques peuvent s'adapter aux ressources instantanément disponibles. Nous définissons dans la partie D un protocole distribué qui gère dynamiquement l'allocation du débit à un tel flux. Nous développons un modèle de ce protocole grâce aux réseaux de Petri stochastiques. L'analyse stationnaire est menée via l'étude d'un processus régénératif de Markov.

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Farah, Ihsen. "Optimisation des flux de trafic aérien." Le Havre, 2013. http://www.theses.fr/2013LEHA0003.

Повний текст джерела

Анотація:

Dans cette thèse, nous traitons le problème de gestion des flux de trafic aérien. Nous présentons un nouveau programme linéaire en nombres entiers qui prend en compte toutes les phases d'un vol. Il prend en compte également le réacheminement des vols. Nous proposons également un algorithme de fourmi «Max-Min». Pour montrer l'efficacité de notre nouvelle formulation et de notre approche, des simulations numériques appliquées à des données réelles sont présentées. Nous traitons également le problème datterrissage d'avions dans le cas statique. Nous proposons une formulation quadratique et nous proposons un changement de variables pour linéariser le modèle. Le deuxième objectif de ce travail est de résoudre effectivement ce modèle. Pour cela, nous proposons une méthode exacte basée sur l'algorithme de séparation et évaluation et un algorithme de colonies de fourmis pour résoudre les instances de grandes tailles. Pour confirmer ce travail, des simulations numériques pour la métaheuristique et la méthode exacte sont présentées
In this thesis, we adress the Air Traffic Flow Management Problem (TFMP). We present a new Integer Linear Program which takes into account all phases of flight. We purpose also a Max-Min ant system algorithm to resolve the TFMP. Numerical simulations are applied to real data to show the effectiveness of our new formulation and our approach. We adress also the static Aircraft Landing Problem (ALP). We propose a quadratic integer program and propose a change of variables to linearize the model. Second objective is to resolve effectivly this model. Therefore, an exact method based on Branch and Bound algorithm is presented. We propose also an Ant Colony System to resolve the instances with a big size. To confirm this work, simulation and computer modeling results for both of the heuristic and exact algorithm are presented

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Cathelain, Stéphane. "Contribution à la conception des systèmes coopératifs : application au domaine du contrôle de trafic aérien." Valenciennes, 2005. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/974efabc-d126-4b2c-a6b4-6fd32b4a7d5c.

Повний текст джерела

Анотація:

La conception des systèmes coopératifs passe par l’intégration de certains moyens comme l’allocation dynamique des tâches et le support des activités de coopération et de résolution de problèmes. L’originalité de ce travail est de proposer un cadre de conception, comme prémisse à une méthode plus formelle, qui intègre les différents moyens cités dans une architecture fonctionnelle basée sur la notion fondamentale d’espace de travail en commun. L’application au domaine du contrôle de trafic aérien a montré l’intérêt d’une telle architecture sur la base d’une organisation composée de deux opérateurs humains et d’un système d’aide à la résolution de conflits aériens. Les premiers résultats montrent une modification des activités humaines avec une meilleure anticipation, mais ils rappellent aussi que la réalisation des interactions hommes-machines et des assistances demande un soin tout particulier car leur coût d’utilisation doit être négligeable vis-à-vis du bénéfice escompté
Cooperative systems design needs the integration of some kinds of tools like the dynamic tasks allocation and support of cooperation and problems resolution activities. The interest of this work is the proposition of a design framework, as a starting point of a formal method, which integrates the different tools in a functional architecture based on the primordial concept of common workspace. The application to the air traffic control field showed the interest of this kind of architecture in the case of an organisation composed of two human operators and an automatic conflict resolution system. The first results shows a modification of human activities with a better anticipation, but it confirms the importance of human-machines interactions and assistances tools design because their utilisation cost must be negligible compared to their benefits

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Hoang, Trung Tuyen. "Modélisation et optimisation de la prédictibilité et de la flexibilité du système de gestion de trafic aérien." Thesis, Rouen, INSA, 2009. http://www.theses.fr/2009ISAM0017.

Повний текст джерела

Анотація:

Cette thèse a pour but de modéliser et d'optimiser deux composantes du système de gestion de flux de trafic aérien : la prédictibilité et la flexibilité. Cette modélisation est équivalente à établir une relation entre la fenêtre temporelle et les taux d'arrivée des avions. Deux approches sont utilisées : l'analyse des données historiques et la modélisation mathématique. L'analyse des données historique a permis de déterminer la fenêtre temporelle raisonnable mais sans pouvoir apporter les améliorations nécessaires pour y arriver. La modélisation mathématique permet non seulement de définir de façon rigoureuse la prédictibilité et la flexibilité mais également de traiter des vols en différents scénarios de priorités. La combinaison de DC algorithme avec des méthodes de résolutions classiques comme Branch and Bound a nettement amélioré la vitesse de la convergence des solutions et donc elle peut être utilisée pour la phase tactique de gestion de flux du trafic aérien
This thesis aims to model and optimise two components of the air traffic flow management system : predictibility and flexibility. This modelling is equivalent to establishing a relationship between the time window and the rate of arrival flights. Two approachs are used : the analysis of historical data and mathematical modeling. The analysis of historical data was used to establish the relationship between the time window and arrivla rate of flights. It provided the optimal time window but could not show how to modify the system to lead to that time window. Mathematical modeling can not only define the predictability and flexibility in the rigourous manner but also deal with different scenarios of fligths priorities. The combination of DC algorithm with classical methods like Branch and Bound has significantly improved the speed of convergence of solutions and therefore it can be used for the tactical phase of the air traffic flow management

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Bouzid, Djamila. "Gestion du trafic temps réel dans le réseau ATM." Toulouse 3, 2002. http://www.theses.fr/2002TOU30037.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Silva, Patricia Maria de Oliveira e. "Contrôle spatio-temporel de la croissance filamenteuse chez Candida albicans." Thesis, Université Côte d'Azur (ComUE), 2018. http://www.theses.fr/2018AZUR4030.

Повний текст джерела

Анотація:

Candida albicans est un pathogène fongique opportuniste de l’Homme, qui peut causer des infections superficielles mais aussi systémiques chez les patients immunodéprimés. Sa virulence est associée à sa capacité de changer d’une forme bourgeonnante à une forme hyphale. La petite GTPase de type Rho, Cdc42, est critique pour la croissance filamenteuse et, sous forme activée, sa localisation est restreinte à l’extrémité des hyphes. J’ai utilisé un système photoactivable, constitué des domaines d’Arabidopsis thaliana Cry2PHR-CibN, pour contrôler le recrutement de Cdc42 constitutivement actif à la membrane plasmique. J'ai déterminé comment le photo-recrutement de Cdc42 constitutivement actif perturbe la croissance filamenteuse et où, quand et comment une nouvelle croissance filamenteuse est ré-initiée. Mes résultats démontrent que, lors du photo-recrutement de Cdc42 constitutivement actif, l'extension du filament cesse puis un nouveau site de croissance s’établit dans la cellule. La localisation de ce nouveau site de croissance est corrélée à la longueur du filament. J'ai étudié les mécanismes moléculaires qui sous-tendent le désassemblage du site de croissance initial et l'emplacement spécifique du nouveau site de croissance filamenteuse. Dans les hyphes en croissance, un «cluster» de vésicules, appelé Spitzenkörper, est localisé à l'extrémité du filament. Lors du photo-recrutement de Cdc42 constitutivement actif, un nouveau «cluster» de vésicules, de composition similaire à celui du Spitzenkörper initial, apparaît dans la cellule mère. J'ai suivi la dynamique du Spitzenkörper et la localisation de Cdc42 sous forme activée, des sites d'endocytose, des vésicules de sécrétion et des câbles d’actine suite à la perturbation du site de croissance initial dans le filament. Dans l’ensemble, mes résultats indiquent qu'il existe une compétition pour la croissance entre le Spitzenkörper et le «cluster» de vésicules qui se forme immédiatement après le photo-recrutement de Cdc42 constitutivement actif et qu'un axe de polarité dynamique peut être établi en l'absence de croissance directionnelle
Candida albicans is a fungal human pathogen that can cause life-threatening infections in immunocompromised patients, in part, due to its ability to switch between an oval budding form and a filamentous hyphal form. The small-Rho GTPase Cdc42 is crucial for filamentous growth and, in its active form, localizes as a tight cluster at the tips of growing hyphae. I have used a light-activated membrane recruitment system comprised of the Arabidopsis thaliana Cry2PHR-CibN domains to control the recruitment of constitutively active Cdc42 to the plasma membrane. I have determined how photorecruitment of constitutively active Cdc42 perturbs filamentous growth and where, when and how new filamentous growth is subsequently initiated. My results demonstrate that, upon photorecruitment of constitutively active Cdc42, filament extension is abrogated and a new growth site can be established in the cell. Location of a new filamentous growth site correlates with the length of the initial filament. I have investigated the molecular mechanisms that underlie the disassembly of an initial growth site and the specific location of the new filamentous growth site. In growing hyphae a cluster of vesicles, referred to as a Spitzenkörper, is localized at the tip of the filament. Upon photorecruitment of constitutively active Cdc42, a new cluster of vesicles, with a composition similar to that of the initial Spitzenkörper, appears in the mother cell. I have followed the dynamics of the Spitzenkörper, active Cdc42, sites of endocytosis, secretory vesicles and actin cables subsequent to disruption of the initial growth site in the filament. Taken together, my results suggest that there is competition for growth between the Spitzenkörper and the cluster of vesicles that forms immediately after the photorecruitment of constitutively active Cdc42 and that a dynamic polarity axis can be established in the absence of directional growth

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Prot, Damien. "Un nouveau système de trafic aérien à taux de conflits potentiels et consommation énergétique réduits." Grenoble INPG, 2009. http://www.theses.fr/2009INPG0097.

Повний текст джерела

Анотація:

Dans cette thèse, nous proposons l’étude d’un nouveau système de trafic aérien, caractérisé par un très haut degré d’organisation. Dans ce système, les avions sont assujettis à suivre des points mobiles fictifs durant leur trajet. Ces points mobiles sont organisés et séquencés de façon à éviter les conflits entre avions, notamment lorsque ces derniers convergent vers une même intersection. Cette thèse propose la modélisation d’un problème sous-jacent à ce paradigme. Ce problème peut être vu comme la recherche d��un stable dans un graphe infini sous certaines contraintes. Après une étude théorique de ce problème, nous proposons une heuristique de résolution, amenant à présenter un système global de trafic aérien, puis nous exposons des résultats numériques
Ln this Ph D, we propose the study of a new air traffic system, characterized by a high level of organization. Aircraft are compelled to follow immaterial moving points during their flight. These moving points are organized and sequenced in order to avoid conflicts between aircraft. We consider an underlying problem of this paradigm. It can be seen as a maximum independent set problem on an infinite graph under constraints. We first give theoretical results on this problem and make links with the colouration problem; then we propose resolution heuristics, leading to a global air traffic system. Finally, we develop these heuristics and expose numerical results

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Pham, Duc-Thinh. "Prédiction de trajectoire et avis de résolution de conflits de trafic aérien basée sur l’apprentissage automatique." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEP027.

Повний текст джерела

Анотація:

L'augmentation de la demande de trafic a mis à rude épreuve le système de contrôle de la circulation aérienne et les contrôleurs, d'où la nécessité d'un système novateur et efficace de détection et de résolution des conflits. Dans le cadre de cette thèse, nous nous concentrons sur l'étude des défis de la détection et de la résolution des conflits en utilisant des approches d'apprentissage machine. Nous avons essayé d'apprendre et de prédire les comportements des contrôleurs à partir de données utilisant Random Forest. Nous proposons également une nouvelle approche pour la détection probabiliste des conflits en utilisant le Processus Gaussien Hétéroscédastique comme modèles prédictifs et l'optimisation bayésienne pour l'algorithme de détection probabiliste des conflits. Enfin, nous proposons un agent intelligent artificiel capable de résoudre les conflits, en présence de trafic et d'incertitude. La tâche de résolution de conflit est formulée comme un problème de prise de décision dans un espace d'action vaste et complexe, qui est applicable pour l'utilisation d'un algorithme d'apprentissage par renforcement. Notre travail comprend le développement d'un environnement d'apprentissage, la représentation des états des scénarios, la fonction de récompense et l'algorithme d'apprentissage. Les méthodes d'apprentissage machine ont montré leurs avantages et leur potentiel dans la détection et la résolution des conflits. Cependant, d'autres études seraient menées pour améliorer leurs performances, telles que la représentation du réseau de l'espace aérien, l'apprentissage du renforcement multi-agent ou la reconstruction de la stratégie du contrôleur à partir de données
The increasing in traffic demand has strained air traffic control system and controllers which lead to the need of novel and efficient conflict detection and resolution advisory. In the scope of this thesis, we concentrate on studying challenges in conflict detection and resolution by using machine learning approaches. We have attempted to learn and predict controller behaviors from data using Random Forest. We also propose a novel approach for probabilistic conflict detection by using Heteroscedastic Gaussian Process as predictive models and Bayesian Optimization for probabilistic conflict detection algorithm. Finally, we propose an artificial intelligent agent that is capable of resolving conflicts, in the presence of traffic and uncertainty. The conflict resolution task is formulated as a decision-making problem in large and complex action space, which is applicable for employing reinforcement learning algorithm. Our work includes the development of a learning environment, scenario state representation, reward function, and learning algorithm. Machine learning methods have showed their advantages and potential in conflict detection and resolution related challenges. However, more studies would be conducted to improve their performances such as airspace network representation, multi-agent reinforcement learning or controller's strategy reconstruction from data

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Guiost, Benoît. "Coopération homme-machine soutenue par un espace de travail commun : application au contrôle de trafic aérien." Valenciennes, 2006. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/85813850-cb37-4aaa-bda6-8311da6e9476.

Повний текст джерела

Анотація:

Les services de la navigation aérienne gèrent l’ensemble des appareils qui empruntent l’espace aérien français à raison de deux millions cinq cent mille vols en 2002. Cette charge de trafic augmentant de 3 à 5% par an, l’enjeu de la recherche présentée dans ce mémoire est de concevoir un système coopératif capable d’aider les contrôleurs à absorber cette augmentation de trafic tout en préservant une sécurité optimale. Les enjeux de cette recherche concernent la définition des caractéristiques des outils d'assistance permettant d'aider les opérateurs humains, la définition de la répartition des tâches entre ces opérateurs et ces outils, et enfin les moyens permettant à ces agents de coopérer efficacement. Ceci nécessite notamment que les opérateurs humains puissent contrôler correctement les situations à gérer; i. E. Que la conscience de la situation ne soit pas dégradée par l'apport de nouveaux outils. Les travaux de recherche ont visé l'identification du contenu d'un Espace de Travail Commun pour soutenir les activités coopératives des agents, et à définir le savoir-faire d'un nouvel outil d'aide à la résolution de problèmes. Le travail a consisté à modéliser les activités cognitives de deux contrôleurs aériens en situation de coopération. Après l'implémentation sur une plate-forme expérimentale de ces nouveaux concepts, une évaluation a été réalisée avec des contrôleurs professionnels
The French services of the Air-Traffic Control system manage the whole of the aircraft which borrow the French airspace at a rate of two million and five hundred thousand flights in 2002. This load of traffic increasing by 3 to 5% per year. The issues of the research presented in this memory is to conceive a co-operative system able to aid the controllers to maintain an optimal security despite traffic increase. The issues of this research affect the definition of the assistance tool, of the functions allocation between operators and tool, and finally of the means making it possible these agents to effectively co-operate. This requires that human operators can control correctly situations to be managed; i. E. That the situation awareness is not reduced by the contribution of new tools. The research aimed in identification of the contents of a Common Workspace to support the co-operative activities of agents, and definition of the new assistant tool' know-how for problems resolution. Work consisted in modeling of the cognitive activities of two air-traffic controllers in co-operation situation. After the implementation on an experimental platform of these new concepts, an evaluation was carried out with professional controllers

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Brigui, Amira. "Rôle et contrôle du trafic de Patched dans la voie de signalisation Hedgehog chez Drosophila melanogaster." Paris 7, 2009. http://www.theses.fr/2009PA077030.

Повний текст джерела

Анотація:

Les protéines sécrétées Hedgehog (HH) agissent comme des morphogènes au cours du développement animal. Chez les Vertébrés, la voie de signalisation HH, contrôle aussi le devenir des cellules souches et sa dérégulation est associée à de multiples cancers. Le récepteur de HH, Patched (PTC), inhibe la voie HH en absence de signal et est lui même inhibée par HH. PTC contrôle aussi le gradient de HH en séquestrant et internalisant HH. Le trafic intracellulaire de PTC semble étroitement lié à son activité. Ici nous analysons le rôle de deux E3 Ubiquitine ligases de type HECT, NEDD4 et SU(DX) dans le trafic et l'accumulation de PTC chez la drosophile. Nous montrons que NEDD4 régule négativement PTC et est nécessaire pour l'endocytose de PTC seule ou liée à HH. Ces effets sont dus à l'interaction de NEDD4 avec un motif L/PPxY conservé dans les protéines PTC. L'internalisation de PTC peut être spécifiquement bloquée en mutant ce motif. L'endocytose de PTC est essentielle à son accumulation mais pas à son activité inhibitrice sur la voie de signalisation ni à sa capacité à retenir HH Nous montrons aussi que SU(DX) est impliquée dans l'endocytose de PTC et est nécessaire à son ciblage au lysosome en réponse à HH. Nos résultats suggèrent que NEDD4 et SU(DX) coopérèrent pour réguler finement le niveau de PTC : NEDD4 permet l'endocytose constitutive de PTC et sa dégradation, alors que SU(DX) semble être spécifique à son ciblage au lysosome et sa dégradation par les cellules qui répondent à HH. Finalement, compte tenu de leurs rôles dans le trafic Notch, NEDD4 et SU(DX) représentent un lien potentiel entre ces deux voies de signalisation, qui sont centrales à la fois dans le développement et l'oncogenèse
The secreted Hedgehog (HH) proteins act as morphogens in animal development. In vertebrates, HH signalling also controls the fate of stem cells and its deregulation is involved in oncogenesis. The HH receptor Patched (PTC) inhibits the HH pathway in the absence of signal and is itself inhibited by HH binding. PTC also controls the HH gradient by the sequestration and internalisation of HH 4. The transport of PTC is tightly linked to its activity. Here, we analysed the role of two HECT E3 ubiquitin ligases, NEDD4 and SU(DX), in the trafficking and accumulation of PTC in Drosophila. We show that NEDD4 down regulates PTC and is necessary for the endocytosis of free or HH-bound PTC. These effects rely on the interaction of NEDD4 with an L/PPXY (PY) recognition motif conserved in PTC proteins. Internalisation of PTC can be specifically blocked by altering this motif. Thus, PTC endocytosis is essential for its accumulation but not for its intrinsic inhibitory signalling or its ability to bind and retain HH. We also show that SU(DX) is involved in PTC endocytosis and is necessary for lysosomal sorting of PTC in response to HH. Our findings suggest that NEDD4 and SU(DX) cooperate to finely tune the regulation of PTC levels: whereas NEDD4 promutes the constitutive endocytosis and degradation of PTC, SU(DX) appears to be specifically required for the lysosomal sorting and degradation of PTC in cells responding to HH. Finally, given their roles in Notch trafficking, NEDD4 and SU(DX) represent points of potential between these two signalling pathways, which are central to both development and oncogenesis

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Bats, Cécile. "Etude du rôle des protéines d'échafaudage dans le contrôle du trafic de surface des récepteurs AMPA." Bordeaux 2, 2006. http://www.theses.fr/2006BOR21348.

Повний текст джерела

Анотація:

La transmission glutamatergique est déterminée en partie par le nombre de récepteurs AMPA à la synapse. Il est le résultat d'un équilibre dynamique entre trois populations : synaptique, extra-synaptique et intracellulaire. Un changement de cet équilibre serait responsable de modifications observées lors de la maturation et de la plasticité synaptique. Il a été montré récemment que les récepteurs étaient échangés entre sites synaptiques et extra-synaptiques par simple diffusion. Alors que le rôle des protéines d'échafaudage dans le contrôle de leur trafic vésiculaire est établi, la nature des protéines impliquées dans leur trafic de surface est inconnue. Nous avons montré que la diffusion des récepteurs dans la membrane neuronale, suivie au moyen quantum dots, était modifiée par la perturbation de leur interaction avec Narp ou Stargazin/PSD-95. Ces protéines, en contrôlant le piégeage des récepteurs aux synapses, maintiennent et potentiellement modulent la transmission
The number of synaptic AMPA receptors is key in controlling glutamatergic transmission. This number results from a dynamic equilibrium between synaptic, exyrtasynaptic and intracellular pools of receptors, and some variations in synaptic strength observed during maturation or plasticity correspond to changes in its set point. Recent data show that receptors exchange between synaptic and extrasynaptic sites by diffusion. Whereas the role of scaffolding proteins in controlling the vesicular trafficking of AMPA receptors is well established, the molecular mechanisms regulating their surface trafficking remain unknown. Here, quantum dots were used to probe the mobility of AMPA receptors at the neuronal membrane. By disrupting the interaction of the receptors with Narp or Stargazin/PSD-95, we have shown that these scaffolding proteins restrict their diffusion. Thus, by controlling the trapping of AMPA receptors at synapses these proteins maintain and potentially modulate synaptic strength

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Tabti, Saïd. "Modélisation macroscopique de l'écoulement du trafic aérien : une approche par analyse de données multidimensionnelles." Lyon 1, 1999. http://www.theses.fr/1999LYO10055.

Повний текст джерела

Анотація:

La simulation par ordinateur est tres utilisee, dans le domaine du trafic aerien. Les besoins en sont nombreux : la prevision, la regulation, le controle du trafic et l'aide a la decision. Bien que les outils connus, dans ce domaine, soient tres nombreux et tres varies, il reste que certains problemes ne sont pas encore totalement resolus. Il s'agit, notamment de tout ce qui a trait a l'amelioration de l'ecoulement des flux de trafic, que ce soit au niveau des grands aeroports, ou de l'espace en route, et ce dans un horizon de temps a court terme (i. E. Moins d'une heure). Les principales causes des difficultes rencontrees sont l'augmentation continue de la demande de trafic aerien, la limitation operationnelle de la capacite de l'espace en route et des aeroports, sans oublier bien sur les innombrables incertitudes sur la demande et la capacite. La limite de capacite est due, en partie, a la presence dans le systeme, d'operateurs humains (controleurs). Les modeles d'ecoulement du trafic aerien, connus en litterature sous le nom de modeles de simulation rapide, sont generalement bases sur des techniques de simulation a evenements discrets. Ils sont, de ce fait, microscopiques (i. E. L'entite simulee est l'avion). Comme ils sont assez precis et utilisent un jeux important de donnees, ils sont assez lourds a manipuler et ils sont longs en terme de temps de calcul. Nous proposons, dans cette recherche, une autre approche de modelisation de l'ecoulement du trafic aerien. Le modele propose utilise des concepts, plus au moins opposes a ceux des modeles actuels, c'est a dire : _ il est concu sous une approche macroscopique, mais il supporte des demandes de trafic, aussi bien exprimees sous forme de flux de trafic, ou d'avions individuels. _ il est analytique, c'est a dire il est base sur un jeux d'equations mathematiques, _ il est rapide en temps de calcul, _ il est utilisable dans une boucle de controle (en trafic aerien, on dit regulation), a court terme, des flux de trafic, notamment par le biais d'un jeux de variables de commande inherentes au modele. _ ses parametres internes de base sont estimes dynamiquement, avec des modeles de decision statistique (bases sur des archives de trafic operationnel) qui sont independants du modele. Ceci lui procure une certaine flexibilite quant au choix du modele de decision le plus approprie.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Dracinschi, Anca. "Contrôle de congestion dans Internet : un mécanisme unifié pour prévenir la congestion des flots unicast et multicast." Paris 6, 2000. http://www.theses.fr/2000PA066145.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Barnier, Nicolas. "Application de la programmation par contraintes à des problèmes de gestion du trafic aérien." Toulouse, INPT, 2002. http://www.theses.fr/2002INPT022H.

Повний текст джерела

Анотація:

L'efficacité de la gestion des flux de trafic aérien (ATFM) est une nécessité du développement de l'aviation civile européenne au sein d'un réseau déjà saturé. Actuellement, certaines phases de l'ATFM qui correspondent à des problèmes d'optimisation combinatoire sont résolues empiriquement par des experts et leur modélisation standard est parfois mal adaptée aux contraintes opérationnelles. Nous utilisons la Programmation Par Contraintes pour modéliser de manière plus rigoureuse et réaliste certains de ces problèmes et calculer des solutions optimales. Le premier concerne la régulation par l'attribution de retards au décollage et dépend du second, la configuration des centres de contrôle. Le troisième est l'optimisation de l'utilisation de l'espace aérien dans l'hypothèse où les flux d'avions qui se croisent évoluent à des altitudes différentes. Pour modéliser et résoudre ces problèmes, nous avons défini et réalisé un outil d'optimisation adapté, FaCiLe, qui prend la forme d'une librairie pour le langage fonctionnel Objective Caml. Ses performances sont comparables aux meilleurs produits commerciaux tout en offrant une grande souplesse d'utilisation grâce à de puissantes abstractions. Nous illustrons la flexibilité de l'utilisation de FaCiLe et rapportons les détails de son implémentation.

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Vanderhaegen, Frédéric. "Coopération homme-machine multiniveau entre une équipe d'opérateurs humains et des outils d'assistance : Application au contrôle du trafic aérien." Valenciennes, 1993. https://ged.uphf.fr/nuxeo/site/esupversions/219b0ca2-4e9a-4046-b496-fdc0c9720390.

Повний текст джерела

Анотація:

Afin d'éviter une automatisation excessive, une solution plus souple consiste à exploiter les principes de coopération homme-machine. En effet, ces derniers permettent d'intégrer, dans le système, des outils d'assistance spécifiques pour l'aide à la décision et/ou à l'action avec lesquels l'opérateur humain coopère. Notre recherche a d'abord visé une répartition dynamique des taches entre un opérateur humain et un système d'aide, et a ensuite étendu cette approche à un contexte de travail comprenant plusieurs niveaux décisionnels humains. Elle s'applique au contrôle du trafic aérien et a été réalisée en collaboration avec le centre d'étude de la navigation aérienne. La première partie énumère les caractéristiques des systèmes homme-machine, en intégrant les interactions machine-machine, homme-homme et homme-machine. Le chapitre qui suit élabore les principes d'une coopération homme-machine multiniveau, pour une organisation comprenant plusieurs postes de contrôle, un pour les taches stratégiques, un autre pour les taches tactiques. Il les applique alors au contrôle du trafic aérien, à partir d'une plate-forme expérimentale biposte, appelée spectra. Le troisième chapitre retrace la totalité de la première campagne expérimentale effectuée sur spectra, pour l'étude monoposte de faisabilité d'une répartition dynamique en ligne des taches tactiques. Le quatrième chapitre développe ensuite les processus décisionnels d'un ordonnanceur dynamique, destiné au niveau stratégique, qui recherche les sous-ensembles problématiques de taches de l'opérateur humain du niveau tactique, et effectue les affectations adéquates au calculateur afin de les résoudre. Enfin, la dernière partie propose la nouvelle architecture de spectra dans laquelle la répartition des taches du poste tactique est prise en charge par le poste stratégique, à partir des décisions de l'ordonnanceur dynamique.

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Sanogo, Cheick. "Modeling user impatience and its impact on performance in mobile networks." Electronic Thesis or Diss., Evry, Institut national des télécommunications, 2017. http://www.theses.fr/2017TELE0009.

Повний текст джерела

Анотація:

Dans cette thèse nous étudions l'impatience des usagers dans les réseaux mobile et nous quantifions son impact sur la performance du système en présence d'usagers téléchargeant des données dans lequel nous développons deux expressions approximatives de la distribution stationnaire du systéme : un modèle agrégé et un modèle détaillé et nous montrons qu'ils sont très proches du modèle exact. Nous étudions la mobilité de l'usager téléchargeant des données et pouvant s'impatienter, et nous quantifions son impact sur la performance des réseaux mobile. Nous considérons le cas de la mobilité due à l'impatience et le cas de la mobilité spontanée des usagers tout en considérant la mobilité intra et inter cellulaire. Nous étudions également l'impatience de l'usager qui regarde une vidéo streaming durant les phases de pré-chargement de la vidéo et de mise en tampon pendant que la vidéo est arrêtée dès le début de la mise en tampon. Nous étudions à la fin un système constitué d'usagers pouvant s'impatienter, qui est sous contrôle d'un gestionnaire de système, qui à chaque instant de décisions, choisit une action à exécuter dans le but d'optimiser la performance définie du système. Nous considérons un système dans lequel les usagers arrivent dans le système à des différents instants et le quittent après la fin de leurs transferts de données, ou plus tôt à l'expiration de leurs durées de patience. Les applications numériques et les simulations nous ont permis de fournir divers métriques de performance telles que le nombre moyen d'usagers, la proportion d'usagers impatients qui quittent le système avant la fin de leurs transferts de fichiers, le débit, la probabilité d'impatience en tenant compte de la localisation de l'usager dans la cellule, la probabilité d'être impatient durant les phases de mise en tampon, la probabilité de mise en tampon lors d'une séance de vidéo streaming, la politique optimale, la taille limite optimale du système dans le but d'optimiser la performance définie du système, etc
In this thesis we study user impatience and quantify its impact on the performance of mobile networks in the presence of elastic user in which we develop two approximate expressions for the stationary distribution of the system: an aggregate one and a detailed one and show their closeness to the exact model. We study mobility of elastic user who may be impatient and quantify its impact on system performance in mobile networks. We consider the case of mobility due to impatience during the prefetching and the re-buffering phases when starvation happens. We finally study a system with impatient users controlled by a system manager who has to choose at each decision epoch an action to make in order to optimize the defined system performance. We consider a system in which users come to the system at different time instants and leave it after a finite duration, either after completion of their data transfers or earlier, at the expiry of some patience duration. Numerical analysis and simulations allow us to derive several performance metrics such as mean number of users, the proportion of impatient users who quit the system before completing their file transfers, the throughput, the probability of starvation, the optimal system size in order to optimize the defined performance of the system, etc

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Jouette, Julie. "Phosphoinositides et contrôle de la polarité cellulaire : régulations croisées entre la PIP5K Skittles et les protéines de polarité PAR1 et PAR3." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC118.

Повний текст джерела

Анотація:

La polarité cellulaire est un processus fondamental qui contrôle les spécificités fonctionnelle et physiologique de la plupart des cellules eucaryotes. Cette asymétrie intracellulaire repose sur l’existence de compartiments membranaires distincts, à la fois dans leur composition en protéines mais également en phosphatidyl-inositols (PIs). Ainsi, la mise en place et le maintien de la localisation asymétrique de modules multi-protéiques associés notamment aux protéines PAR sont essentiels pour l’élaboration des domaines de polarité cellulaire. Durant ma thèse, j’ai étudié les relations entre les protéines de polarité et les PIs dans le contrôle de la polarité cellulaire. Plus particulièrement, en utilisant la chambre ovarienne de Drosophile, j’ai cherché à caractériser la suite d’évènements qui en amont régule l’activité de la PIP5K, Skittles (SKTL), qui produit le PI(4,5)P2 et à caractériser les mécanismes moléculaires qui lient le PI(4,5)P2, SKTL et les protéines PAR dans le contrôle et le maintien de la polarité cellulaire. J’ai contribué à caractériser l’importance de PI(4,5)P2 majoritairement produit par SKTL, dans le maintien de la polarité apico-basale et lors de la morphogenèse des cellules folliculaires de la chambre ovarienne. Le PI(4,5)P2 assure la localisation apicale de PAR3 et le maintien des jonctions adhérentes, sans affecter la localisation de PAR1. Par une méthode de quantification précise, j’ai ensuite démontré dans l’ovocyte que SKTL et le PI(4,5)P2, probablement grâce au trafic vésiculaire, étaient requis pour à la fois l’accumulation à l’antérieur de PAR3 et son exclusion au postérieur qui se fait à partir du stade 9B. L’accumulation antérieure de PAR3 est également dépendante d’un transport Dynéine dépendant et de la kinase IKKε tandis que son exclusion postérieure dépendant des phosphorylations par PAR1. Enfin, j’ai également étudié les modifications post traductionnelles de SKTL et leur importance dans la polarité cellulaire. J’ai identifié la présence de palmitoylation et de phosphorylations dont certaines impliquent la kinase PAR1 et la phosphatase PP1. Ces phosphorylations pourraient avoir un lien avec le rôle de SKTL dans le trafic vésiculaire. Ces résultats permettent donc d’élucider certains mécanismes cellulaires qui contrôlent la mise en place et le maintien de la polarité des cellules en liant les PIs et les protéines PAR
Cell polarity is a fundamental process that controls cell’s functional and physiological specificities. This process relies on membranous compartments differently composed both on proteins and on phosphatidyl-inositols (PIs). Indeed, through their asymmetric localization, polarity proteins, such as the PAR proteins, are essentials to establish and maintain polarity of the cells. During my PhD, I studied the interplay between the polarity proteins and the PIs. Using the Drosophila egg chamber, as a model, I aimed to characterized the upstream events that regulate the PI(4,5)P2 producing kinase (PIP5K), Skittles (SKTL), activity and localization. I also studied the downstream molecular process that link the PI(4,5)P2, SKTL and the PAR proteins in cell polarity. I contributed to the characterization of the importance of PI(4,5)P2, mainly produced by SKTL in maintaining the apical-basal polarity and during the morphogenesis of the follicle cells. The PI(4,5)P2 is ensuring PAR3 and adherens junctions but not PAR1 proper localizations. Next, through a precise quantification method, I showed that SKTL and the PI(4,5)P2, probably via vesicular traffic, were also ensuring PAR3 proper localizations (anterior accumulation and stage 9B posterior exclusion) in the oocyte. PAR3 accumulation also relies on a Dynein mediated transport and the IKKε kinase while its posterior exclusion relies on PAR1 phosphorylation. Finally, I studied SKTL post translational modifications and their relevance on cell polarity. I identified palmitoylation and phosphorylations that are regulated by the kinase PAR1 and the phosphatase PP1. SKTL phosphorylations seem to be related to its role on the vesicular traffic. Altogether these results clarify some mechanisms involving both PIs and PAR proteins in cell polarity maintaining and establishment

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Sanhaji, Ali. "Nouveaux paradigmes de contrôle de congestion dans un réseau d'opérateur." Phd thesis, Toulouse, INPT, 2016. http://oatao.univ-toulouse.fr/17304/1/sanhaji.pdf.

Повний текст джерела

Анотація:

La congestion dans les réseaux est un phénomène qui peut influer sur la qualité de service ressentie par les utilisateurs. L’augmentation continue du trafic sur l’internet rend le phénomène de congestion un problème auquel l’opérateur doit répondre pour satisfaire ses clients. Les solutions historiques à la congestion pour un opérateur, comme le surdimensionnement des liens de son infrastructure, ne sont plus aujourd’hui viables. Avec l’évolution de l’architecture des réseaux et l’arrivée de nouvelles applications sur l’internet, de nouveaux paradigmes de contrôle de congestion sont à envisager pour répondre aux attentes des utilisateurs du réseau de l’opérateur. Dans cette thèse, nous examinons les nouvelles approches proposées pour le contrôle de congestion dans le réseau d’un opérateur. Nous proposons une évaluation de ces approches à travers des simulations, ce qui nous permet d’estimer leur efficacité et leur potentiel à être déployés et opérationnels dans le contexte d’internet, ainsi que de se rendre compte des défis qu’il faut relever pour atteindre cet objectif. Nous proposons également des solutions de contrôle de congestion dans des environnements nouveaux tels que les architectures Software Defined Networking et le cloud déployé sur un ou plusieurs data centers, où la congestion est à surveiller pour maintenir la qualité des services cloud offerts aux clients. Pour appuyer nos propositions d’architectures de contrôle de congestion, nous présentons des plateformes expérimentales qui démontrent le fonctionnement et le potentiel de nos solutions.

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Djiéya, Nganchui Ferry. "Contributions à la conception de systèmes de contrôle de trafic et de gestion de ressources en ATM." Rennes 1, 2002. http://www.theses.fr/2002REN10150.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Annebicque, David. "Apport de l’aide à la décision à la coopération Homme-Machine : Application au contrôle du trafic aérien." Valenciennes, 2010. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/9907f088-e1d8-486f-92c9-dc2ea54e6c02.

Повний текст джерела

Анотація:

Dans un contexte de fort trafic aérien, trafic en perpétuelle augmentation, les négociations et les échanges qui ont lieu entre les aiguilleurs du ciel vont devenir de plus en plus difficiles. Les objectifs de nos travaux sont donc d’apporter des outils permettant le partage d’informations entre des contrôleurs aériens distants, et de leur proposer un outil de résolution de conflit et d’aide à la décision coopératif prenant en compte les habitudes de travail de ces contrôleurs. Une démarche visant à identifier le processus décisionnel d’Opérateurs Humains (OHs), afin de proposer des outils d’aide à la prise de décision coopératifs, est proposée. Cette démarche se compose de trois étapes. La première étape est la description du processus décisionnel des OHs. Cette étape se base sur un découpage en trois niveaux d’abstraction : stratégique, tactique et opérationnel. Dans une deuxième étape, la Méthodologie Multicritère d’Aide à la Décision (MMCAD) est utilisée, afin de proposer un champ d’investigation pour construire les actions potentielles, les critères et les préférences que manipulent les OHs. La MMCAD ne proposant pas de cadre applicatif pour recueillir ces données, nous proposons d'utiliser une méthode d’analyse de grille qui va guider le sujet, l’OH, pour obtenir un maximum d’information et aboutir à ses critères et préférences. Ceci fait l’objet de la troisième étape de la méthode qui consiste donc en une phase de recueil de données. Cette méthode a été mise en œuvre avec des contrôleurs professionnels de Reims et, en se basant sur l’analyse de l’ensemble de ces données, de nouveaux outils ont été spécifiés, et des orientations pour leurs validations proposées
In a context of high air traffic, which is constantly increasing, negotiations and exchanges that take place between air traffic controllers will become more and more difficult. The objectives of our work are thus to provide tools for sharing information between air traffic controllers, and proposing them an assistance tool for conflict resolution and a cooperative tool for decision-making taking into account the work habits of these controllers. An approach to identify the decision-making process of human operators (HOs), in order to provide cooperative tools to support decision-making process, is proposed. This approach consists of three steps. The first step is the description of decision-making process of HOs. This step is based on a division into three abstraction levels: strategic, tactical and operational. In a second step, Multi-Criteria Decision-Making Methodology (MCDM) is used to propose a field of investigation in order to construct the potential actions, criteria and preferences that the HOs manipulate. As the MCDM methodology does not suggest any application framework to collect these data, we propose to use a method of repertory grid which will guide the subject, that is to say HOs, in order to obtain maximum information and to determine their criteria and preferences. This is the objective of the third step of the method, which thus consists of a data collection. This method has been implemented with professional controllers from Reims and, by basing on analysis of all these data, new tools have been specified, and guidelines for their validations proposed

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Laval, Véronique. "Modélisation de l'activité d'opérateurs d'un système complexe dans une perspective de conception des supports informatisés : le cas du contrôle du trafic aérien." Paris 13, 1993. http://www.theses.fr/1993PA131007.

Повний текст джерела

Анотація:

La recherche vise a produire un modele de l'activite des controleurs du trafic aerien utile a la conception de leurs sup ports de travail informatises. En particulier, ce modele doit etre compatible avec des concepts de modelisation utilises en informatique, de maniere a faciliter la communication entre les divers intervenants des projets de conception, et a favoriser l'integration de l'ergonomie dans ces projets. Cette production prend appui sur une analyse de l'activite semiologique en situation, permettant de mettre en evidence les caracteristiques essentielles de l'activite, en particulier du point de vue de la dynamique et de la complexite de cette activite, ainsi que ses composantes stables au travers des savoirs des controleurs. A cette analyse succede une tentative de generalisation, dont l'objectif est de depasser les specificites des situations observees pour l'analyse, afin de produire une description situee a un niveau de generalite pertinent a la conception. Il en resulte un modele generalise, dont les concepts sont alors adaptes aux concepts de modelisation informatique par un travail de restructuration. L'utilisation previsible de ce modele, et les limites de ces travaux sont enfin evaluees, ce qui conduit a identifier certaines perspectives de recherche
The aim of the research is to provide a model of air traffic controllers' activity which could be useful for the design of computer work supports. In particular, this model shoulb be compatible with concepts used for modelling in computer design, so as to help communication between the different people involved in design projects, as well as to promote the integration of ergonomics in these projects. This work is based on a semiological analysis of situated activity, leading to the identification of the essential characteristics of activity, related in particular to its dynamics and its complexity, as well as its stable components through elements of controllers' competence. The following work consists then in attempting to generalize the previous results, in order to go beyond the specificiti es of the situations which have been under observation and analysis, and thus provide a description of activity at an ad equate level, within the scope of design. The result is a generalized model of activity, which concepts can then be adapted to computer design concepts, through restructuring. The foreseeable use of this model, as well as the limits of the work, are finally evaluated, which leads to the identification of research prospects

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Ben, Amor Soufian. "Percolation, prétopologie et multialéatoires, contributions à la modélisation des systèmes complexes : exemple du contrôle aérien." Paris, EPHE, 2013. http://www.theses.fr/2008EPHE3001.

Повний текст джерела

Анотація:

Dans cette thèse nous mettons d’abord en évidence une propriété commune à la plupart des systèmes complexes (la transition de phase) qui nous a permis de faire le lien entre la théorie de la complexité et les systèmes complexes. L'une des raisons possibles de cette complexité est due à l'aléa. Nous développons pour cela une approche permettant d'étudier des systèmes complexes où les notions de diffusion et d'aléa jouent un rôle important. Etant donné la sensibilité de ces systèmes aux conditions initiales interdisant des prédictions quantitatives fiables, nous nous sommes intéressés à mettre en œuvre des outils théoriques adaptés à la modélisation de ces systèmes afin de fournir des outils d'aide à la décision et de maîtriser cette complexité. En particulier, nous avons généralisé les processus de percolation dans , et nous avons conçu un modèle de prétopologie stochastique permettant l'étude de la déformation spatiale des ensembles dans un contexte aléatoire et sur des structures complexes. Nous nous sommes en particulier concentrés, au niveau applicatif, au problème de la congestion de l’espace aérien dont les secteurs peuvent être considérés comme des entités atomiques ayant une dynamique globale complexe. Nous avons pu établir la complexité de la dynamique de la congestion dans l'espace aérien du point de vue de la transition de phase, tout en explorant les effets de la structure du réseau aérien sur cette dynamique. Enfin, nous avons proposé un modèle de prétopologie stochastique qui a permis d'établir les dépendances entre les secteurs et de reconstruire les chaînes de propagation de la congestion, fournissant ainsi un outil d'aide à la décision effectif
A complex system is a system where the global behavior can not be deduced from the behavior of its components. In this thesis, we try to exhibit a common property in most complex systems which is the phenomenon of phase transition. This property allows us to make a link between complex systems and complexity theory. One of the possible reasons of complexity in such systems is randomness. Therefore, in this thesis we are particularly interested in studying complex systems where randomness and diffusion processes are important. At the theoretical level, we proposed a generalization of percolation processes in using pretopology theory. We also developed a mathematical model combining random sets an pretopology theory to study the spatial deformation of sets of elements in random media. At the application level we were interested in studying the congestion of the airspace. By combining a global system approach (Top-Down) and a component based approach (Bottom-Up), we reproduce the same behavior of the congestion dynamics. As a matter of fact, the phase transition is observed when the congestion rate reaches a realistic defined threshold. Finally, we proposed a model combining pretopology theory and random sets to be able to capture simultaneously the generality of the neighborhood concept and the statistical characteristics of a randomly distributed set of elements in the space from a morphological point of view. In the ATM context this is interpreted as the properties of the configuration of the congested areas in the airspace allowing to establish the laws of their underlying mechanisms

Стилі APA, Harvard, Vancouver, ISO та ін.

49

LARRIEU, Nicolas. "Contrôle de congestion et gestion du trafic à partir de mesures pour l'optimisation de la QdS dans l'internet." Phd thesis, INSA de Toulouse, 2005. http://tel.archives-ouvertes.fr/tel-00009745.

Повний текст джерела

Анотація:

La métrologie n'est appliquée dans la recherche, l'ingénierie et la conception des réseaux Internet que depuis peu de temps (le début des années 2000), mais cette approche est de plus en plus populaire et devrait tendre à se généraliser. Ses principes consistent à étudier, caractériser, analyser et modéliser le tra_c existant sur les liens de l'Internet, a_n de comprendre les principes qui régissent le comportement du réseau par rapport à un tra_c qui s'avère méconnu. En particulier, garantir la qualité de service (QdS) dans l'Internet est un problème essentiel aujourd'hui. La métrologie du tra_c Internet, et notamment son analyse montre que les mécanismes de transport actuels (TCP) introduisent des propriétés de LRD (Long Range Dependence) qui se traduisent par une grande variabilité du tra_c et obligent à surdimensionner les ressources de communication [20]. L'objectif de cette thèse est de trouver des protocoles de transport qui réduisent cette LRD a_n d'optimiser l'utilisation des ressources de communication. Ainsi, les nouveaux mécanismes protocolaires et architecturaux de l'Internet pourront être parfaitement adaptés aux besoins des utilisateurs et aux contraintes du tra_c [Lar03a]. Finalement, c'est le processus de recherche et d'ingénierie des réseaux qui sera modi_é en lui ajoutant une phase métrologique en amont permettant de collecter des données et des connaissances sur l'existant, qui permettront ensuite de concevoir et mettre en ÷uvre de nouveaux réseaux optimisés. Ainsi, ce travail de thèse présente une nouvelle approche pour l'Internet, dont l'objectif est d'améliorer la gestion du tra_c, la QdS et plus généralement, les services réseaux. Cette approche, appelée MBN (Measurement Based Networking), repose principalement sur l'utilisation de techniques de métrologie actives et passives qui permettent de mesurer en temps réel di_érents paramètres du réseau et de son tra_c pour ainsi réagir très rapidement et très précisément à des évènements spéci_ques se produisant dans le réseau (apparition de congestion par exemple). Nous illustrerons en particulier l'approche MBN au travers du développement d'un mécanisme de contrôle de congestion orienté mesures intitulé MBCC (Measurement Based Congestion Control) et nous l'évaluerons au travers de simulations NS-2 [Lar05c]. Nous montrerons, en particulier, comment ce nouveau mécanisme permet d'améliorer les caractéristiques du tra_c ainsi que la QdS dans l'Internet, malgré la complexité et la variabilité du tra_c actuel. En_n, dans la dernière partie de ce travail de thèse nous présenterons comment l'approche MBN et le mécanisme MBCC, en particulier, peuvent garantir une QdS robuste, i.e. capable de fournir la QdS demandée en toutes circonstances, notamment en présence d'attaques de DdS (Déni de Service) [Owe04f]. En e_et, nous utiliserons l'architecture MBA (Measurement Based Architecture) basée sur des mesures du tra_c en temps réel pour s'adapter aux ruptures légitimes ou illégitimes du tra_c s'y produisant en continu. En particulier, nous démontrerons que le mécanisme de congestion MBCC associé à MBA, conçu pour générer des tra_cs réguliers et optimaux, rend l'Internet plus robuste que TCP face aux attaques de DdS.

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Gaillard, Irène. "Analyse de l'activité et des savoir-faire d'opérateurs experts : le cas des contrôleurs du trafic aérien lors du changement de la position de contrôle." Paris 13, 1992. https://hal.archives-ouvertes.fr/tel-01326227v2.

Повний текст джерела

Анотація:

L'analyse de savoir-faire "complexes" a partir de l'activite d'operateurs en situation de travail est effectuee dans le cadre de l'analyse de l'activite de controleurs du trafic aerien experts, en vue d'identifier leurs besoins d'aide lors du changement de leur position. Un ensemble de concepts necessaires a l'analyse de l'activite est defini. Il s'inspire du cadre theorique et methodologique du "cours d'action" de theureau et pinsky. La notion de signification pour l'action y est centrale. Les savoir-faire y sont definis comme des constituants de l'activite, des elements de generalite permettant l'activite, en relation avec ce que prend en compte l'operateur de la situation subjective dans laquelle il agit. Les concepts ainsi definis guident l'elaboration d'une methode de recueil de donnees sur l'activite en situation "naturelle". L'apport de la recherche est de definir une methodologie qui assure un rapport etroit entre les donnees recueillies et l'activite etudiee en situation de travail. La methode de la "position copie" et de la confrontation au "commentaire copie" sont proposes comme situations de verbalisations complementaires a celle de l'auto-confrontation. La modelisation des donnees donne lieu a une description abstraite de la dynamique globale de l'activite, en terme de structures significatives, et de la dynamique locale de l'activite en termes de signes triadiques. Cette modelisation produit de nouvelles connaissances sur l'activite et les savoir-faire des controleurs. Elle montre qu'une partie importante de l'activite est consacree au controle de conflits de n-avions qui
This research comes within the framework of an analysis of the activity of experienced air traffic controllers, aimed at identifying their needs for aid during a change in their position. It focuses on the question of analyzing "complex" expertise based on the activity of operators in a work situation. A number of concepts required to analyze the activity with this aim in view, are defined and validated. It is inspired by the theoretical and methodological framework of the "course of action" of theureau and pinsky. The notion of significance for the action is the focal point. Expertise is thus defined as a component of the activity, general elements permitting the activity, in relationship with a representamen and a context. The defined concepts are guidelines for the elaboration of methods of data collection at the real position and with the model of the future control position. The contribution of the study is to define a methodology which will ensure a close relationship between the data collected and the activity being studied. The methods of the "replica position" and the confrontation with the "replica commentary" are proposed as new situations of verbalizations complementary to auto-confrontation

Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Contrôle du trafic"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями