L'objet de ce mémoire est d'étudier le bilan financier de l'automatisation intégrale, en essayant d'évaluer les investissements, les coûts et les avantages d'exploitation des lignes de transport collectif urbain à conduite automatique intégrale (le type du VAL de Lille), et en les comparant à des lignes à conduite manuelle avec un seul agent à bord, et avec une installation de pilotage automatique classique du type du Métro de Paris. Le travail se situe dans la continuité d'une étude de l'INRETS de 1986 et a pour objet d'élargir son champ en essayant d'établir trois types de bilans comparatifs entre lignes à conduite automatique intégrale et lignes à conduite manuelle : - un premier bilan B1 porte sur des lignes identiques sur le plan des infrastructures et du matériel roulant ; - un deuxième bilan B2 s'attache à la comparaison d'une ligne automatique à grande fréquence de type VAL, et d'une ligne à conduite manuelle avec des rames de même gabarit, mais de longueur double de celle des rames de Lille et une fréquence divisée par deux ; - un troisième bilan B3 compare une ligne automatique à grande fréquence de type VAL avec une autre ligne à conduite manuelle de fréquence nettement inférieure, équipée des matériels roulants de plus grand gabarit. Ces trois bilans sont établis à partir d'une comparaison des coûts d'infrastructure, des coûts des systèmes de conduite, des coûts de matériel roulant, des coûts d'exploitation, des coûts financiers du projet dus au temps d'essai et d'intégration et de l'impact de la fréquence sur la clientèle. Les résultats et leurs variations en fonction des différents facteurs contribuant à ces bilans sont donc examinés. Selon cette étude, les facteurs ayant l'influence la plus forte sur ces bilans sont les coûts d'infrastructure, les coûts des automatismes, les coûts de personnel, le coût des délais liés aux essais et à l'intégration du système et les surplus de recettes liés à l'attractivité exercée sur la clientèle par la qualité de service élevée apportée par les systèmes à conduite automatique intégrale. Les bilans sont plus favorables pour les lignes équipées de rames courtes et de petit gabarit, avec une fréquence élevée, qui demandent des stations courtes, un parc de véhicules important, et un nombre élevé de conducteurs.

This dissertation studies the intersection of knowledge, culture, and power in contested coastal and estuarine space in eighteenth-century northeastern North America. It examines the interdependence of vernacular pilot knowledge and directed hydrographic survey, their integration into practices of warfare and governance, and roles in assimilating American space to metropolitan scientific and aesthetic discourses. It argues that the embodied skill and local knowledge of colonial and Aboriginal peoples served vital and underappreciated roles in Great Britain’s extension of overseas activity and interest, of maritime empire. It examines the maritimicity of empire: empire as adaptation to marine environments through which it conducted political influence and commercial endeavour. The materiality of maritime empire—its reliance on patterns of wind and current, on climate and weather, on local relations of sea to land, on proximity of spaces and resources to oceanic circuits—framed and delimited transnational flows of commerce and state power. This was especially so in coastal and riverine littoral spaces of northeastern North America. In this local Atlantic, pilot knowledge—and its systematization in marine cartography through hydrographic survey—adapted processes of empire to the materiality of the maritime, and especially to the littoral, environment. Eighteenth-century British state agents acting in northeastern North America—in Mi’kmaqi/Acadia/Nova Scotia, Newfoundland and Labrador, Quebec, and New England—developed new means of adapting this knowledge to the tasks of maritime empire, creating potent tools with which to extend Britain’s imperial power and influence amphibiously in the eighteenth and nineteenth centuries. If the open Atlantic became a maritime highway in this period, traversed with increasing frequency and ease, inshore waters remained dangerous bypaths, subject to geographical and meteorological hazards that checked overseas commercial exchange and the military and administrative processes that constituted maritime empire. While patterns of oceanic circulation permitted extension of these activities globally in the early modern period, the complex interrelation of marine and terrestrial geography and climate in coastal and estuarine waters long set limits on maritime imperial activity. This dissertation examines the nature of these limits, and the means that eighteenth-century British commercial and imperial actors developed to overcome them.

A l’occasion de deux études de cas, une démarche de tableau de bord stratégique hospitalier et une réorganisation de direction des systèmes d’information dans une entreprise de services, nous avons, dans cette recherche, analysé les freins qui apparaissent dans les démarches de changement technologique et managérial.Nous avons montré dans le premier cas comment le modèle du Balanced Scorecard peut être adapté pour piloter un programme de projets et promouvoir un travail coopératif, sous condition d’une évolution du rôle des dirigeants. Le deuxième cas nous a permis de montrer comment les démarches qualité s’enferment dans une logique de qualité-conformité contre-productive qui n’est pas due au manque de formation ou d’implication. Dans les deux cas, nous avons constaté que l’insuffisance de capacité méthodologique des ingénieurs et des managers renforce leur résistance au changement et leurs difficultés en situation complexe. Nous avons montré que la résistance organisationnelle se manifeste en deux temps : des difficultés de premier niveau, dérives nomopathes, apparaissent sous la forme d’un appauvrissement méthodologique du modèle choisi, puis les actions correctives sont suivies de difficultés de deuxième niveau constituant un phénomène de déviance computo-cogitationnelle, sorte de résilience organisationnelle qui voit la transformation de l’état final attendu en un état final hybride. Ces acquis méthodologiques nous ont permis, après une analyse historique de l’évolution des concepts de la qualité puis sur l’évolution du rôle des managers, de dresser des constats à un niveau méso reliant le niveau macro-économique (domination financière dans les entreprises, révolution numérique, renouveau bureaucratique) au niveau micro des entreprises (injonctions paradoxales, juridicisation de la société et conformité généralisée). Nous avons enfin proposé plusieurs modélisations, notamment le concept cyclique d’information-valeur, la figure tripolaire d’un Ingénieur-Stratège et l’ébauche d’un futur modèle de management des intangibles. / The two case studies concern an approach of the strategic dashboard of a hospital and the reorganization of an IT department in a services company. We have, in this research, analyzed the brakes which appear in the technological and managerial change approaches. In the first study case, we have showed how the Balanced Scorecard model can be adapted to pilot a projects program and to promote a cooperative way of working, under the condition of an evolution of the managers role. In the second case we have shown how the quality approaches lock themselves in a counter-productive logical of quality-conformity which is not due to a lack of training or implication. In the both cases we have noticed that the insufficiency of methodological capacity of the managers strengthens their resistance to change and their difficulties in complex situation We have noticed that the organizational resistance express itself in two times : first level difficulties, nomopathic drifts, appear as a methodological impoverishment of the choosen model, then the corrective actions are followed by second level difficulties who form a phenomena of computo-cogitational deviancy, a kind of organizational resistance who transforms the awaited final state to a hybrid final state. These methodological grants, after a historical analysis of the evolution of quality concepts then of the evolution of the managerial roles, succeeded to meso level reports joining the macro-economic level (financial domination in companies, numeric revolution, bureaucratic revival) to the micro-economic level in companies (paradoxical orders, juridical transformation of society and generalized conformity). A last, several modellings are proposed, in particular the cyclic concept of information-value, and the three-pole figure of the engineer-strategist, towards the sketch of a future model of management of intangibles.

Ce manuscrit présente des travaux visant à intégrer un module d'ordonnancement (ProSched) à l'environnement de modélisation et simulation dynamique hybride PrODHyS dans le but d'automatiser la génération de scénarii de simulation de procédés discontinus sur la base d'une recette et d'une liste d'ordres de fabrication (OF). La méthodologie développée repose sur une approche mixte optimisation/simulation. Dans ce cadre, trois points essentiels ont été développés dans ces travaux : - tout d'abord, concevoir et développer des composants réutilisables (classes de recette) permettant de modéliser de manière hiérarchisée et systématique le déroulement des opérations unitaires. Pour cela, les notions de jeton Task et de macro-place paramétrable ont été introduites dans les RdPDO et permettent de décrire les recettes à réaliser par assemblage de ces composants prédéfinis. - ensuite, définir un modèle mathématique générique d'ordonnancement basé sur un formalisme de représentation bien établi (le R.T.N.) qui permet de modéliser les principales caractéristiques d'un procédé discontinu et de fournir l'ensemble des données d'entrée nécessaires au modèle de simulation. Pour cela, un modèle PLNE basé sur la formulation Unit Specific Event a été mis en œuvre. - enfin, définir l'interface existant entre le modèle d'optimisation et le modèle de simulation, à travers la notion de place de pilotage et de centre de décision au niveau du simulateur. Dans ce cadre, différentes stratégies de couplage sont proposées. Les potentialités de cette approche sont illustrées par la simulation d'un procédé complet. / This thesis presents works which aim to incorporate a scheduling module (ProSched) to an environment for modeling and dynamic hybrid simulation PrODHyS in order to automate the generation of scenarios for simulation of batch processes based on a recipe and a list of production orders (OF). The methodology developed is based on a mixed optimization / simulation approach. In this context, three key points have been developed in this work: - First, design and develop reusable components (recipe classes) for the hierarchical and systematic modeling of the sequencing of unit operations. For this, the notions of Task token and macro-place have been introduced in the RdPDO formalism and allow the modeling of recipes by assembling these predefined components. - Secondly, define a generic mathematical model of scheduling based on a well defined graphical formalism (RTN) that models the main characteristics of batch processes and provide all input data necessary to the simulation model. For this, a MILP model based on the Unit Specific Event formulation has been implemented. - Finally, define the interface between the optimization model and the simulation model through the concept of control place and decision-making center at the simulator level. In this context, various strategies of mixing optimization and simulation are proposed. The potential of this approach is illustrated by the simulation of a complete manufacturing process

L’objectif de cette thèse est de fournir un modèle, une méthode et un outil d’aide à la réalisation de scénarios interactifs. Cette solution répond au problème de l’opposition entre la maîtrise du déroulement d’un jeu vidéo et son niveau d’interactivité. En d’autres termes, notre but est d’aider à réaliser des jeux vidéo dont l’évolution satisfait les intentions des auteurs tout en autorisant un déroulement influencé par les choix du joueur (exprimés aux travers de ses actions). Pour cela, notre proposition permet à l’utilisateur de produire un modèle de scénario de jeu de bonne qualité qui est : (a) riche – le scénario fournit suffisamment d’options pertinentes aux personnages joueur/non-joueur de sorte que le joueur puisse déterminer le déroulement du jeu et sente toujours que le discours créé est intéressant, (b) valide – tous les discours possibles dans le scénario sont cohérents et répondent aux effets désirés par les auteurs, (c) opérationnel – la représentation du scénario est exécutable. Ce scénario est ensuite employé comme l’entrée d’un système de pilotage de narration interactive assurant le contrôle de la gestion du déroulement du jeu. Par conséquent, l’évolution des jeux, qui sont dirigés par un tel système de pilotage, garantit que l’exécution du jeu respecte les souhaits des auteurs, et en même temps, autorise la liberté des actions du joueur. Pour répondre au problème exposé ci-dessus, nous appuyons notre solution sur un modèle mathématique calculable (la logique linéaire) qui offre des mécanismes de déductions rigoureux et automatiques.Nous avons fait un tour d'horizon des approches existantes concernant le pilotage de narration interactive et la validation de scénario. Ceci nous permet d'identifier les principes nécessaires à notre solution, tels que les éléments d'architecture d'un système de pilotage ; la construction,la représentation, l'exécution de scénarios narratifs ; les propriétés de narration importantes ; l'évolution de référence des paramètres dramatiques ; la structuration de discours ; la stratégie pour la validation d'un scénario ; les informations qualitatives et statistiques nécessaires… Nos contributions portent (1) sur la définition d'un ensemble de propriétés de narration spécifiant la qualité des scénarios de jeu ; (2) sur la proposition de modèles, algorithmes et outils pour écrire des modèles de scénario respectant ces propriétés. Nous validons nos résultats par la réalisation de deux exemples. Le premier est un extrait d'un jeu éducatif expliquant comment appliquer notre outil en vue de produire un modèle de scénario de jeu valide, qui est exprimé par un séquent de logique linéaire dont la représentation est conforme à un métamodèle du calcul des séquents. Pour le second exemple, nous décrivons le processus de production complet d'un jeu vidéo réel basé sur l'histoire « Le Petit Chaperon rouge », mettant en oeuvre un prototype de système de pilotage que nous avons proposé, ce qui permet de dérouler le jeu selon le scénario valide produit, donc son évolution satisfait les intentions des auteurs, et en même temps, dépend des actions du joueur. / The objective of this PhD thesis is to provide a model, a method and a tool for producing interactive scenarios. Our solution solves the opposition between the controlle devolution of a video game and its interactivity level. In other words, our goal is to assist (authors) in producing video games whose unfolding satisfies authors’ intentions while it is simultaneously influenced by player’s choices (expressed via her/his actions).To this purpose, our proposal is to allow users to produce a good quality game scenario model, which is: (a) rich – the scenario provides enough pertinent options for player/non-player characters so that the player can determine the evolution of the game and always feels that the created discourse is interesting, (b) valid – all the possible discourses in the scenario are consistent and meet authors required effects, (c) operational – the representation of the scenario is executable. This scenario is then used as the input of an interactive storytelling control system to assist it in managing the unfolding of the game. As a consequence, the evolution of the video games, which are directed by such a control system, guarantees authors requirements, while at the same time, it depends on player’s actions. In order to execute the foregoing proposal, we base our solution on a calculable mathematical model (linear logic) which provides rigorous and automatic deduction mechanisms. We have made an overview of existing approaches concerning interactive storytelling controland scenario validation problems. This allows us to identify necessary principles for our solution, such as: architecture elements of a control system; construction, representation, implementation of narrative scenarios; important narrative properties; reference evolution of the drama parameters; discourse structuralization; scenario validation strategy; necessary statistical and qualitative information; etc. Our contributions consist (1) in the definition of a set of narrative properties specifying the quality of game scenarios; (2) in the proposal of models, algorithms and tools in order to produce scenario models respecting these properties. We validate our results by realizing two examples. The first is an extract of an education algame explaining how to apply our tools to produce a valid game scenario model, which is expressed by a linear logic sequent whose representation conforms to a metamodel of the sequent calculus. For the second example, we describe the complete production process of areal video game based on the story "Little Red Cap", implementing a prototype of control system we have proposed, which allows unfolding the game according to the produced valid scenario, so its evolution satisfies authors intentions and simultaneously depends on player's actions.

The content of the diploma thesis is a building-technological project of the new building of residential buildings Rozhledna in Chrudim. The thesis contains technological regulations for a rough bottom structure and a rough top structure. Technological regulations are complemented by design of machine assembly, site facilities and control and test plans. Work safety, construction risk assessment, time schedule of main objects, object time and financial plan and budget of main buildings are also solved. An important part is the comparison of the parallel, gradual, current construction and the design of the thermal insulation system of the curtain wall.

The content of the diploma thesis is a building-technological project of the new building of residential building Lanškroun. The thesis contains technological regulations for a rough bottom structure and a rough top structure. Technological regulation are complemented by design of machine assembly, site facilities and control and test plans. Work safety, construction risk assessment, time schedule of main object, object time and financial plan and budget of main building are also solved. An important part is the economic comparison of tower crane and mobile crane and green facade.

De nos jours, de nombreux systèmes de production sont gérés en flux « tirés » et utilisent des méthodes basées sur des « cartes », comme : Kanban, ConWIP, COBACABANA, etc. Malgré leur simplicité et leur efficacité, ces méthodes ne sont pas adaptées lorsque la production n’est pas stable et que la demande du client varie. Dans de tels cas, les systèmes de production doivent donc adapter la tension de leur flux tout au long du processus de fabrication. Pour ce faire, il faut déterminer comment ajuster dynamiquement le nombre de cartes (ou de ‘e-card’) en fonction du contexte. Malheureusement, ces décisions sont complexes et difficiles à prendre en temps réel. De plus, dans certains cas, changer trop souvent le nombre de cartes kanban peut perturber la production et engendrer un problème de nervosité. Les opportunités offertes par l’industrie 4.0 peuvent être exploitées pour définir des stratégies intelligentes de pilotage de flux permettant d’adapter dynamiquement ce nombre de cartes kanban.Dans cette thèse, nous proposons, dans un premier temps, une approche adaptative basée sur la simulation et l'optimisation multi-objectif, capable de prendre en considération le problème de la nervosité et de décider de manière autonome (ou d'aider les gestionnaires)  quand et où ajouter ou retirer des cartes Kanban. Dans un deuxième temps, nous proposons une nouvelle approche adaptative et intelligente basée sur un réseau de neurones dont l’apprentissage est d’abord réalisé hors ligne à l’aide d’un modèle numérique jumeau (simulation), exploité par une optimisation multi-objectif. Après l’apprentissage, le réseau de neurones permet de décider en temps réel, quand et à quelle étape de fabrication il est pertinent de changer le nombre de cartes kanban. Des comparaisons faites avec les meilleures méthodes publiées dans la littérature montrent de meilleurs résultats avec des changements moins fréquents. / Today, many production systems are managed in "pull" control system and used "card-based" methods such as: Kanban, ConWIP, COBACABANA, etc. Despite their simplicity and efficiency, these methods are not suitable when production is not stable and customer demand varies. In such cases, the production systems must therefore adapt the “tightness” of their production flow throughout the manufacturing process. To do this, we must determine how to dynamically adjust the number of cards (or e-card) depending on the context. Unfortunately, these decisions are complex and difficult to make in real time. In addition, in some cases, changing too often the number of kanban cards can disrupt production and cause a nervousness problem. The opportunities offered by Industry 4.0 can be exploited to define smart flow control strategies to dynamically adapt this number of kanban cards.In this thesis, we propose, firstly, an adaptive approach based on simulation and multi-objective optimization technique, able to take into account the problem of nervousness and to decide autonomously (or to help managers) when and where adding or removing Kanban cards. Then, we propose a new adaptive and intelligent approach based on a neural network whose learning is first realized offline using a twin digital model (simulation) and exploited by a multi-objective optimization method. Then, the neural network could be able to decide in real time, when and at which manufacturing stage it is relevant to change the number of kanban cards. Comparisons made with the best methods published in the literature show better results with less frequent changes.