25 research outputs found

    Petrinet-based Validation of Railway Signalling and Safety Systems

    Get PDF
    Die Entwicklung der Informatik und der Automatisierung ist (und war schon immer) Quelle stets neuer und effizienterer Lösungen, aber auch neuer KomplexitĂ€t; sie macht eine dauerhafte, wirtschaftliche Gestaltung und ÜberprĂŒfung der Sicherheit der Anlagen und der Verkehrssysteme nur noch schwieriger. Die Echtzeitinformatik ist heutzutage in die Systeme integriert, die das Leben von Menschen verwalten. Es stellt sich heraus, dass die derzeitigen Methoden und Normen nicht immer den Anforderungen nach VerfĂŒgbarkeit und nach Sicherheit entsprechen. Es sind so systematische Fehler der Software zu befĂŒrchten. Die vorliegende Arbeit besteht darin, eine Konzeptions- und ÜberprĂŒfungsmethode zu definieren und zu instrumentalisieren. Sie zeigt, dass es möglich ist, formale ÜberprĂŒfungsmethoden auf industrielle Steuerungen anzuwenden. Die Eisenbahnsteuerungen werden besonders behandelt. Die vorgeschlagene Methode beruht auf mehreren Konzeptionsideen: - so weit wie möglich das berufliche Umfeld berĂŒcksichtigen, die Sicherheitseigenschaften und die Funktionsanforderungen identifizieren - die Funktionssoftware und die Grundsoftware (Verwaltung des physikalischen Materials und Interpretation der fachspezifischen Aufgaben) unterscheiden - die Funktionen in Form von Automaten in AEFD-Sprache schreiben. Diese Sprache erlaubt eine Formulierung von Petrinetzen und eine deterministische Interpretation. Unter diesen Bedingungen ist es möglich, eine formelle ÜberprĂŒfung einer Eisenbahnsteuerung, z.B. eines Stellwerks, zu verwirklichen. Die Hauptidee besteht in der Entwicklung eines industriellen Sicherheitsautomaten, der sich wie eine abstrakte Maschine verhĂ€lt, damit dieser spĂ€ter formal validiert werden kann. Das Hilfsprogramm fĂŒr die Formulierung der funktionellen Graphen ist fĂŒr Fachleute bestimmt, die nicht ĂŒber besondere Informatikkenntnisse verfĂŒgen. Die Petrinetze sind eine Konzeptualisierungssprache. Diese Netze, die in der AEFD Sprache formuliert sind, werden als interpretierbare Spezifikationen benĂŒtzt. Die Sicherheitseigenschaften und die Anforderungen sind auch auf dieselbe Art formuliert. Die vorgeschlagene Methode erlaubt es unter diesen Bedingungen, einen formalen Beweis der Funktionen des Systems durchzufĂŒhren.The development of computer science and that of the automatisation were and are still source new more and more efficient resolutions, but are also sources of new complicacy returning even more difficult lasting and economic comprehension, valuation, safety of functioning of equipment and systems of transport. The real time computer science is now present in systems managing human lives. It appears now that methods and actual norms do not always allow to answer wait in availability and in security. So systematic errors of software are to fear. The work consisted in defining and instrumenting a new method of comprehension and validation. The work shows that it is possible to apply a method of formal validation to industrial automatisms. The case of rail automatisms is more particularly treated. The proposed method rests on several actions of comprehension: - hold the biggest count of context job, to identify the ownership of security and the postulates of functioning; - differentiate functional software and basic software (management of the equipment and interpretation of functional functions); - specify functions in form of automat written in language AEFD. This language allows a writing of Petri nets and a determinist and interpretable way. In these conditions it is possible to accomplish a formal validation of a rail automatism, a interlocking system or level crossing system for instance. The main idea consists in developing an industrial safety automatism which acts as an abstracted machine (a real time interpreted competitive automat with constraint) to allow a subsequent formal validation. The writing of functional graphs contacts persons having a signalling competence without any special knowledge in computer science. Petri nets are a language of conceptualization. We used these networks, written in the AEFD language, as language of deterministic and interpretable specifications. The safety properties and the functioning postulates are written in the same way. The proposed method allows in these conditions to accomplish a formal proof of the signalling functionalities realized by the computerized system

    ModÚle de prévision et de gestion des crues:optimisation des opérations des aménagements hydroélectriques à accumulation pour la réduction des débits de crue

    Get PDF
    Floods are not only due to fatality. It is the responsibility of the human being to protect himself from heavy damages due to natural elements, and he sometimes has the chance to profit from a given situation to influence events. One of these possibilities is to manage floods by using existing dams and reservoirs, which can be efficiently operated to control the downstream discharges. Moreover, their retention capabilities may be enhanced by preventive gate or turbine operations, based on a flood forecast. The objectives of this research were to develop a new model for flood prediction and management for the Rhone river basin upstream from Lake of Geneva. Also, the underlaying objective was to create an operational discharge prediction and decision making tool, taking advantage of 72 hours ahead of the weather forecast provided by MeteoSwiss. A new hydrological model was developed, as well as another optimization tool for the preventive turbine and gate operations of large hydropower reservoirs. The new hydrological forecasting tool is based on a concept developed by the HYDRAM-EPFL. This concept allows the model to integrate tri-dimensional rainfall, temperature and evapo-transpiration fields and to simulate multiple hydrological processes. Indeed, the model is able to simulate glacier melt, snow pack constitution and melt, soil infiltration and runoff. The altimetric temperature gradient is considered by subdividing each basin into elevation bands, which allows segregating rainfalls and snowfalls. A new software called Routing System II was used and improved for modelling the catchment area. This object-oriented modelling tool permits the integration of flood routing in rivers as well as hydraulic structures such as river water intakes, reservoirs, turbines, gates and regulated systems. All these new products were used to build a flood prediction model, including the 10 major hydropower plants of the Rhone river basin upstream from Lake of Geneva. It has been calibrated and validated over a 60 months' period for an one hour time step continuous simulation. It also integrates all hydroelectricity production data of the existing hydropower plants. Its performance allows to correctly represent all hydrological cycles, as well as the observed floods, whose phases and intensities were perfectly simulated. Moreover, a new procedure for real-time data assimilation was developed in the model, in order to automatically adjust the initial conditions before starting a new hydrological forecast. The new optimization tool uses the hydrological forecast, especially the inflow forecasts in the reservoirs and the hydrographs at the numerous control points in the river network. This tool takes into account the mentioned data in order to provide an operational decision about any necessary preventive turbine or gate operations. It also allows the decision maker to obtain an indication on the cost of the decisions and of the non-decisions, as well as of the cost of an inappropriate decision due to an error in the flood forecast. This algorithm was validated against full simulation and against another optimization evolutionary algorithm called MOO , developed in the LENI-EPFL. It is able to provide a similar efficiency without excessive computation time, and to forward these results automatically into the simulation model for validation. The operational performance of the flood prediction and management model was evaluated by simulation of two major flood events occurred in the Rhone river basin in September 1993 and October 2000, as well as by a first operational use in September 2006. The obtained results indicated, that if the decisions relative to the operations of the 10 considered hydropower plants had been in accordance with the new decision tool, the decision would have been similar to a posteriori optimal solution. The application of the model to the Rhone River catchment area demonstrates the possibility to widely increase the protection effect due to the existing reservoirs. In fact, the observed reduction of the peak flow in the Rhone basin outlet was 12% in 1993 and 10% in 2000. By using the new model, the reduction would have reached 26% in 1993 and 21% in 2000. In this case, important damages could have been avoided near the riverside. This research project offers the possibility to highlight the potential of an increased flood routing into the existing accumulation reservoirs. It leads to a new theoretical optimization model, which can be used at a planification stage to evaluate the optimal flood routing influence of a multireservoir system. Finally, a new flood forecast and management model was developed for the Rhone River catchment area. This tool is in operation and its aim is now to optimize the existing flood protection potential. Thanks to its new performing forecast, data assimilation and optimization tools, the model is user-friendly and can be used in real-time. Although the system is now operational and convincing, it would be more profitable to explore the possibilities of dealing with uncertainty in the whole information path of the system. As a main goal, the system should be capable of providing the decision maker with an optimal decision and its associated objective risks

    Informatique et culture scientifique du numérique

    Get PDF
    National audienceCe document transcrit les MOOC rĂ©alisĂ©s par le Learning Lab Inria, avec le soutien du MinistĂšre de l’éducation nationale et de la jeunesse, en partenariat avec le projet Class ́Code et l’UniversitĂ© CĂŽte d’Azur.Cette premiĂšre version reprend et remet en forme les contenus des MOOC, notamment en transcrivant les propos oraux des diffĂ©rents intervenants issus des supports multimĂ©dias, et en adaptant les contenus Ă  un mĂ©dia textuel. Les apports supplĂ©mentaires concernent modestement la partie surles logiciels libres et celle sur le son et la musique. En l’état, il manque encore un chapitre sur les implications et applications de l’informatique (bioinformatique, mĂ©decine, arts, etc.) et un autre sur l’architecture des ordinateurs et des rĂ©seaux. Cependant, le taux de recouvrement n’est pas nul car ces sujets sont Ă©galement abordĂ©s dans d’autres sections du manuel. Toutefois, le manuel reste exploitable comme tel et sera enrichi et amĂ©liorĂ© dans des versions suivantes

    Les tribus ludiques du "LAN party" : perspectives d'apprentissage et de socialisation en contexte de compétition de jeux vidéo en réseau local

    Get PDF
    Cette thĂšse interroge le potentiel communicationnel et Ă©ducatif d'un dispositif sociotechnique Ă©vĂ©nementiel, le LAN party. Elle documente depuis 2001 le constat Ă©tonnant de centaines de joueurs interrogĂ©s, disant devoir leur maĂźtrise de l'anglais, de l'informatique, de la rĂ©seautique, d'un esprit tactique ou sportif et leurs rapprochements avec Ă©quipiers ou adversaires devenus proches, Ă  des compĂ©titions de jeux vidĂ©o. Parlerait-on d'une pratique virtuelle collective qui soit facteur d'apprentissage et de socialisation? Le LAN party est une compĂ©tition de jeux vidĂ©o en rĂ©seau local pouvant rĂ©unir des centaines de joueurs des jours durant au mĂȘme endroit. Un rĂ©seau informatique y supporte l'interconnexion de serveurs locaux Ă  l'ordinateur que chacun apporte sur place, en vue d'organiser un tournoi par Ă©quipes s'affrontant sur des jeux multi-joueurs de stratĂ©gie et de tir. Exploratoire, ethnographique, nĂ©e d'une intuition, cette Ă©tude multi-cas menĂ©e de 2001 Ă  2009 dans la foulĂ©e d'un constructiviste nourri du paradigme de la complexitĂ©, s'appuie sur le courant interactionniste axĂ© sur la relation entre joueurs. Son fil conducteur est donc une interaction vue comme « un champ d'influence mutuelle » (Le Breton, 2008). Prenant la forme inductive d'une thĂ©orisation ancrĂ©e inspirĂ©e de la Grounded Theory (G laser et Strauss, 1967), elle synthĂ©tise ses conclusions dans une proposition thĂ©orique dite du « LAN pĂ©dagogique » (ou LP), comme modĂšle d'intervention groupale. L'Ă©tude de grands LAN quĂ©bĂ©cois (2003-2007) offre des comparaisons statistiques dressant le portrait d'Ă©quipes et de joueurs interrogĂ©s issus de la gĂ©nĂ©ration montante des 15-25 ans. Via les rapprochements qu'il offre, le LAN incarne un rite de passage fondĂ© sur un systĂšme tribal (Maffesoli, 2000) oĂč le contexte compĂ©titif favorise socialisation, apprentissage ou dĂ©veloppement de compĂ©tences nouvelles (BrougĂšre, 2005; Gee, 2007), dans un parallĂšle Ă©tonnant avec des mouvements sociaux tels que le scoutisme de Baden-Powel. Interdisciplinaire, une gĂ©nĂ©alogie conceptuelle nourrie d'auteurs voyant dans l'interaction, l'assise des enjeux relationnels (Edmond et Picard, 2008), permet d'envisager la socialisation comme un construit identitaire (Piaget, 1937) et un autrui gĂ©nĂ©ralisĂ© (Mead, 1934). S'y observent des patterns sociaux devenus rituels en cadre expĂ©rientiel (Goffman 1974), pour former un Ă©cosystĂšme. En rattachant l'apprentissage Ă  une expĂ©rience oĂč la motivation reste l'enjeu (Vallerand 1997), dans un contexte de pratique inspirĂ© de la thĂ©orie de l'activitĂ© selon Engestrom (1999), une modĂ©lisation systĂ©mique du LAN dĂ©voile que l'identitĂ© du joueur se nourrit d'une socialisation introspective et Ă©volutive par paliers, renforcĂ©e par l'expĂ©rience dite « optimale » qu'offrent les jeux vidĂ©o (Csikszentmihalyi, 2000). Des apprentissages s'y opĂšrent par interactions en prĂ©sence et « alteractions » en jeu, ce qui favorise introspection et feedbacks sociaux. Le modĂšle thĂ©orique du LP propose la superposition simultanĂ©e d'un dispositif communicationnel rassembleur dans deux mondes Ă  la fois. Transposable Ă  toute discipline disposant d'une salle informatique, ce type de LAN permet d'axer l'expĂ©rience immersive sur le comportement groupai et prĂŽne la crĂ©ation de scĂ©narios d'apprentissage applicables Ă  des jeux existants mais adaptĂ©s: des « mods ». En dĂ©tournant l'usage de jeux en rĂ©seau populaires, le LAN peut donc mobiliser, Ă  d'autres fins, l'intĂ©rĂȘt de gĂ©nĂ©rations dont il incarne aussi langage et culture.\ud _____________________________________________________________________________

    Contribution à la surveillance des systÚmes de production à l'aide des réseaux de neurones dynamiques : Application à la e-maintenance

    No full text
    Alain BOURJAULT : Professeur à l'ENSMM de Besançon, Jean-Marc FAURE : Professeur à l'ISMCM-CESTI de Paris Denis HAMAD : Professeur à Université du Littoral CÎte d'Opale, Calais Raphaël LABOURIER : PDG Sté. AVENSY Ingénierie, Besançon Daniel NOYES : Professeur à l'ENI de Tarbes Daniel RACOCEANU : Maßtre de Conférences à l'Université de Franche-Comté Jean-Pierre THOMESSE : Professeur à l'ENSEM-INPL de Nancy, Noureddine ZERHOUNI : Professeur à l'ENSMM de BesançonThe industrial monitoring methods are divided into two categories: monitoring methods based on the existence of the equipment formal model, and those which not use any equipment formal model. Generally, there are many uncertainties in the formal model and for complex industrial equipment, it is very difficult to obtain a correct mathematical model. This thesis presents an application of the artificial neural networks to the industrial monitoring. We propose a new architecture of Radial Basis Function Networks which exploits the dynamic properties of the locally recurrent architectures for taking into account the input data temporal aspect. Indeed, the consideration of the dynamic aspect requires rather particular neural networks architectures with special training algorithms which are often very complicated. In this sense, we propose an improved version of the k-means algorithm which allows to determine easily the neural network parameters. The validation tests show that at the convergence of the learning algorithm, the neural network is situated in the zone called « good generalization zone ». The neural network was then decomposed into elementary functions easily interpretable in industrial automation languages. The applicative part of this thesis shows that a real-time monitoring treatment is possible thanks to the automation architectures. The neural network loaded in a PLC is completely configurable at distance by the TCP/IP communication protocol. An Internet connection allows then a distant expert to follow the evolution of its equipment, and also to validate the artificial neural network learning.Les méthodes de surveillance industrielle sont divisées en deux catégories : méthodes de surveillance avec modÚle formel de l'équipement, et méthodes de surveillance sans modÚle de l'équipement. Les modÚles mathématiques formels des équipements industriels sont souvent entachés d'incertitudes et surtout difficiles à obtenir. Cette thÚse présente l'application des réseaux de neurones artificiels pour la surveillance d'équipements industriels. Nous proposons une architecture de Réseaux à Fonctions de base Radiales qui exploite les propriétés dynamiques des architectures localement récurrentes pour la prise en compte de l'aspect temporel des données d'entrée. En effet, la prise en compte de l'aspect dynamique nécessite des architectures de réseaux de neurones particuliÚres avec des algorithmes d'apprentissage souvent compliqués. Dans cette optique, nous proposons une version améliorée de l'algorithme des k-moyennes qui permet de déterminer aisément les paramÚtres du réseau de neurones. Des tests de validation montrent qu'à la convergence de l'algorithme d'apprentissage, le réseau de neurones se situe dans la zone appelée « zone de bonne généralisation ». Le réseau de neurones a été ensuite décomposé en fonctions élémentaires facilement interprétables en langage automate. La partie applicative de cette thÚse montre qu'un traitement de surveillance en temps réel est possible grùce aux architectures à automates programmables industriels. Le réseau de neurones chargé dans l'automate est entiÚrement configurable à distance par le protocole de communication TCP/IP. Une connexion Internet permet alors à un expert distant de suivre l'évolution de son équipement et également de valider l'apprentissage du réseau de neurones artificiel

    PrĂ©vention et attĂ©nuation des crises Ă  partir de l’attribution de sens aux signaux faibles : la capacitĂ© dynamique organisationnelle de dĂ©tection et d’amplification des signaux faibles

    Get PDF
    La rĂ©pĂ©tition des crises et la plĂ©thore de signes avant-coureurs dont font Ă©tat les nombreux rapports d’enquĂȘtes postcrises tĂ©moignent des multiples difficultĂ©s qu’éprouvent souvent les organisations Ă  lire et Ă  interprĂ©ter les signes du danger. Cette constatation met en lumiĂšre la problĂ©matique organisationnelle de la dĂ©tection et de l’amplification des signaux faibles. En adoptant un cadre de rĂ©fĂ©rence et une mĂ©thodologie supportant la vision systĂ©mique et le maintien de la complexitĂ© des situations de danger, des indices ont Ă©tĂ© obtenus sur les dĂ©ficits et les dysfonctions organisationnelles prĂ©sents lors de la filtration et de l’amplification des signaux faibles dans une grande organisation publique urbaine rĂ©guliĂšrement confrontĂ©e au danger. Cela a permis d’identifier les caractĂ©ristiques nĂ©guentropiques et entropiques prĂ©sentes lors du traitement des signaux faibles et de proposer un modĂšle expliquant la dynamique organisationnelle de leur dĂ©tection et de leur amplification. Ce modĂšle expose la dynamique des jeux d’équilibre et de dĂ©sĂ©quilibre organisationnels qui sous-tend le positionnement de la capacitĂ© d’amplification intĂ©grĂ©e des signaux faibles dans une zone de l’hyperespace du danger favorable Ă  la rĂ©silience. Il offre une comprĂ©hension du jeu synergique de quatre ensembles de clĂ©s processuelles, soit les clĂ©s dynamiques de cinĂ©tisme, d’attribution de sens, du systĂšme mĂ©moriel cindynique, et d’ancrage. Le modĂšle permet aussi de comprendre les fondements de la crĂ©ation d’ordre ou de dĂ©sordre en identifiant les clĂ©s processuelles qui expliquent l’émergence, le maintien et la disparition des caractĂ©ristiques nĂ©guentropiques. Son utilisation peut permettre aux organisations publiques de donner un poids Ă  certaines clĂ©s dynamiques en vue de provoquer un effet de levier pouvant favoriser l’émergence des caractĂ©ristiques nĂ©guentropiques, tout en contribuant Ă  Ă©liminer ou Ă  rĂ©duire les effets des caractĂ©ristiques entropiques. Ainsi, son mode d’opĂ©rationnalisation est prĂ©cisĂ©, et certaines orientations et recommandations sont formulĂ©es Ă  l’endroit des organisations et de leurs gestionnaires afin de favoriser la rĂ©silience organisationnelle et sociĂ©tale. De plus, un modĂšle d’amplification intĂ©grĂ©e des signaux faibles comportant trois phases distinctes – prĂ©amplification, amplification et action –, ainsi que ses caractĂ©ristiques nĂ©guentropiques, a Ă©tĂ© identifiĂ©. Ce pattern gĂ©nĂ©ral explique chacune des diffĂ©rentes Ă©tapes du traitement des signaux faibles, allant de leur captation jusqu’au passage Ă  l’action dans les situations d’urgence et de danger. Il propose aux organisations une rĂ©fĂ©rence comparative pour leur permettre de poser un diagnostic sur l’efficacitĂ© et l’efficience de leur capacitĂ© organisationnelle de dĂ©tection et d’amplification des signaux faibles dans des situations de danger. Ces nouvelles thĂ©orisations offrent maintenant aux thĂ©oriciens et aux praticiens des cindyniques (soit ceux du domaine des sciences du danger) de nouveaux Ă©lĂ©ments de connaissance et de nouveaux outils leur permettant de comprendre l’émergence, le maintien et la destruction de la capacitĂ© de dĂ©tection et d’amplification des signaux faibles. Ainsi, les rĂ©sultats de cette recherche pourraient contribuer Ă  enrichir le corpus cindynique sur deux plans complĂ©mentaires du domaine de la gestion des risques, soit ceux de la thĂ©orie et de la pratique, en vue de permettre aux organisations publiques d’amĂ©liorer leur capacitĂ© Ă  lire et Ă  interprĂ©ter les signes du danger, en aidant les acteurs Ă  orienter leurs efforts

    Gouverner par le temps: Sociologie politique des agendas personnels et des emplois du temps d'acteurs publics

    Get PDF
    La sociologie des temporalitĂ©s et l'anthropologie de l'agenda personnel rĂ©vĂšle les significations « civilisationnelles » de cet outil ordinaire de gestion du temps des individus modernes. Il est Ă  la fois un vecteur rationnel d'auto-contrĂŽle, d'une aliĂ©nation planifiĂ©e condamnant au « prĂ©sentisme », mais il est aussi l'instrument d'une gestion individuelle Ă©mancipatrice des temporalitĂ©s plurielles, des frontiĂšres et des rĂŽles. Ses usages en politique tĂ©moignent des logiques de l'accĂ©lĂ©ration gĂ©nĂ©ralisĂ©e des sociĂ©tĂ©s, d'un raccourcissement des horizons, d'une disparition des futurs possibles, d'une saturation des temps du reprĂ©sentant politique par les rĂ©unions, les rendez-vous et les cĂ©rĂ©monies, par l'animation, la mĂ©diation, les clientĂšles et la parade, par l'urgence et la multi-activitĂ© connectĂ©e, on line et en temps rĂ©el, au dĂ©triment « des dossiers » et de « la rĂ©flexion » sur les projets de sociĂ©tĂ©s qu'il est censĂ© porter. Mais cet agenda outil de synchronisation des temporalitĂ©s plurielles des acteurs publics de la dĂ©mocratie reste un observatoire sous-exploitĂ© des logiques du travail de reprĂ©sentation, de gouvernement et, in fine, de lĂ©gitimation. L'ambition est alors de dessiner l'agenda comme une fenĂȘtre sur la gestion du temps en politique, le rythme, la nature et la rĂ©partition des tĂąches dans l'emploi du temps des Ă©lus et des dirigeants politiques. Il s'agit se structurer l'approche du politique par les agendas personnels des acteurs du champ du pouvoir, Ă  partir de trois axes horizontaux d'interprĂ©tation de leurs usages : le gouvernement de soi, l'organisation collective et la mise en scĂšne du travail politique. Ces lectures croisent la double dimension de l'objet, Ă  la fois dispositif de planification Ă  observer et corpus d'Ă©vĂ©nements Ă  exploiter. L'analyse montre que l'agenda du politique est d'abord une Ă©criture programmatrice et mĂ©morielle, une auto-discipline Ă©quipĂ©e. Il permet d'incorporer les exigences et les attendus du mĂ©tier, de domestiquer l'urgence et de produire une image exemplaire. L'analyse souligne ensuite que l'agenda est un dispositif organisationnel de coordination managĂ©riale, de rationalisation et de professionnalisation du travail politique individuel et collectif. L'efficience de l'entreprise de reprĂ©sentation politique passe par une optimisation du temps. Le pouvoir reposerait de ce point de vue d'abord sur une bonne gestion de ce temps. L'analyse montre enfin que l'agenda reste surtout un vecteur de lĂ©gitimation de la domination. La mise en scĂšne quotidienne de soi et du leadership auquel la publication de l'agenda personnel donne lieu joue avec l'impĂ©ratif de transparence et l'exigence de proximitĂ©, sans toutefois rĂ©vĂ©ler les secrets du pouvoir

    Une redĂ©finition de la mĂ©taphoricitĂ© Ă  l’oral:Mise en place d’outils d’analyse par une approche de corpus contrastive

    Get PDF
    A corpus of interviews carried out both in English and in French on the topic of music was collected, XML-formatted and tagged morphosyntactically and semantically (semantic distance worked out thanks to LSA). The goal is to devise and train tools not only for spotting metaphors but assessing metaphor liveliness. Thanks to a parallel use of semantic structure and the prosodic data, live metaphor templates are established, and then used to access contrastively the liveliness of metaphor production in the different conceptual mappings tapped in the particular area of interest. However close the deep underlying semantic structures may be in both languages, there are slight differences in the surface realizations due to idiosyncratic structural constraints. Metaphor liveliness seems to be nevertheless correlated with literal translatability, whereas lexicalised metaphors are usually not translatable literally. This sreening for hypercoding elements of discourse is potentially usable in huge oral corpora now conceivable with internet, not only with a view to providing tools for automatic translation, but also as an observation platform of language evolution at a time when things appear and disppear fast.A partir d'un ensemble d'interviews menĂ©es en anglais et en français auprĂšs de membres de la communautĂ© musicale et portant sur la musique, on se propose d'affiner des outils de dĂ©tection de mĂ©taphores et d'analyse de la mĂ©taphoricitĂ©. Le corpus obtenu Ă  partir des scripts est formatĂ© en XML, ce qui permet l'adjonction de balises morphosyntaxiques et sĂ©mantiques. Celles-ci sont utilisĂ©es conjointement aux donnĂ©es prosodiques et mĂšnent Ă  l'Ă©tablissement de patrons accentuels qui vont pouvoir complĂ©ter les indices purement discursifs et sĂ©mantiques utilisĂ©s jusqu'alors dans ce type de recherches. L'ensemble des paramĂštres de la matrice mĂ©taphorique est ensuite mis en pratique pour explorer les mappings conceptuels en jeu dans les mĂ©taphores sur la musique. Les structures sĂ©mantiques sous-jacentes prĂ©sentes dans les deux langues ne sont pas rĂ©alisĂ©es en surface Ă  l'aide du mĂȘme "emballage" morphosyntaxique Ă©tant donnĂ©es les contraintes diffĂ©rentes mais sont traduisibles "littĂ©ralement" d'une langue Ă  une autre pour les mĂ©taphores vives, ce qui n'est pas le cas lorsque celles-ci sont lexicalisĂ©es. Ce type de repĂ©rage d'Ă©lĂ©ments hyper-codants du discours semble ĂȘtre utilisable Ă  partir d'Ă©normes corpus oraux bientĂŽt disponibles en ligne dans le but d'Ă©tablir des cartographies conceptuelles qui seraient utiles Ă  la traduction mais pourrait aussi ĂȘtre un observatoire de fonctionnement de ces mutations linguistiques initiĂ©es Ă  l'oral

    Environnements numériques et PME : figures du chaos et nouveaux usages

    Get PDF
    Is the revolution of the so-called Web 2.0 a real success for the SMEs? Do we really see a change of the communication paradigm (following Kuhn’s meaning) due to the arrival of the networks that put the individual at the centre of the organization processes? Within the framework of a “fluid society” characterised by uncertainty and complexity, this thesis focuses on the issue of internal and external adjustments in connection with the Web 2.0 within SMEs. These adjustments may be a source of disorder within the organization and SMEs would try to regulate them. Nevertheless, some SMEs will choose to use them as a springboard. They will build on existing skills, improve the efficiency of the company (operating activity) and also explore completely new fields (exploration activity) like collective intelligence and crowdsourcing. The web 2.0 indicates the passage of a "tools" technology considered as stable to a "social" technology characterized by instability. The Web 2.0 has a catalytic effect that encourages and facilitates transversal adjustments. It could be seen as a way to transform the organization in order to become more focused on individuals and groups. But it also brings a number of challenges for SMEs. Using the concepts of chaos and complexity was an interesting way to understand this balance to be attained between order and disorder. This thesis is interdisciplinary by objective. It intends to show the interest of using together theories, literature and fields coming from management, information science and communication when these disciplines are required to take into account the complexity of relationships but also co-construction between prosumers and SMEs, and management and employees. The research will be based inter alia on a total of 93 SMEs, audited by the author between 2010 and 2014.La « rĂ©volution » du web 2.0 s’est-elle imposĂ©e dans les PME ? La mise en rĂ©seau, portĂ© par le web 2.0 qui met l’utilisateur au centre des processus de l’entreprise, a–t’elle opĂ©rĂ© un changement de paradigme communicationnel au sens de Kuhn ? Sur fonds d’une sociĂ©tĂ© de plus en plus fluide, inscrite dans l’incertitude et la complexitĂ©, cette thĂšse s’intĂ©resse Ă  la question des ajustements transversaux en lien avec le web 2.0 et Ă  leur prise en compte par les PME. Ce dernier peut ĂȘtre vu comme source de dĂ©sordres dans l’organisation et la PME sera tentĂ©e de vouloir les rĂ©guler. NĂ©anmoins, certaines PME choisiront de s’en servir comme d’un tremplin. Elles vont Ă  la fois construire sur des compĂ©tences existantes et amĂ©liorer l’efficience de l’entreprise (activitĂ© d’exploitation) mais Ă©galement explorer des champs totalement nouveaux (activitĂ© d’exploration) dont l’intelligence collective et le crowdsourcing sont des exemples. Les outils du web 2.0 indiquent le passage d’une technologie « outils » considĂ©rĂ©e comme stable vers une technologie « sociale » caractĂ©risĂ©e par l’instabilitĂ©. Le web 2.0 a un effet de catalyseur qui suscite et facilite Ă  la fois les ajustements transversaux, il peut se concevoir comme un levier de pilotage vers une organisation plus centrĂ©e sur les individus et les groupes. Ceci pose un certain nombre de dĂ©fis aux PME. L’éclairage des sciences du chaos et de la complexitĂ© semble une piste intĂ©ressante pour comprendre cet Ă©quilibre Ă  atteindre entre ordre et dĂ©sordre. Cette thĂšse a un ancrage interdisciplinaire et montre l’intĂ©rĂȘt de croiser les sciences de gestion et les sciences de l’information et de la communication lorsque ces disciplines sont appelĂ©es Ă  prendre en compte la complexitĂ© des rapports transversaux mais aussi de co-construction entre consom’acteurs et PME. La recherche s’appuie entre autres, sur un terrain applicatif de 93 PME, auditĂ©es entre 2010 et 2014
    corecore