LM-PAFOG - a new three-dimensional fog forecast model with parametrised microphysics

The presence of fog and low clouds in the lower atmosphere can have a critical impact on both airborne and ground transports and is often connected with serious accidents. An improvement of fog forecasts in terms of localisation, duration and variations in visibility therefore holds an immense operational value for the field of transportation in conditions of low visibility. However, fog is generally a small scale phenomenon which is mostly affected by local advective transport, turbulent mixing at the surface as well as its microphysical structure. Therefore, a detailed description of the microphysical processes within the three-dimensional dynamical core of the forecast model is necessary. For this purpose, a new microphysical parametrisation based on the one-dimensional fog forecast model, PAFOG, was implemented in the “Lokal Modell” (LM), the nonhydrostatic mesoscale model of the German Meteorological Service. The implementation of cloud water droplets as a new prognostic variable allows a detailed definition of the sedimentation processes and the variations in visibility. A horizontal resolution of 2.8 km and a vertical resolution of 4 m describe the boundary layer processes, forecasted by LM-PAFOG. In the framework of the COST 722 intercomparison campaign, the evaluation of the LM-PAFOG forecasts, based on statistical study and case studies, points out the variability of the model performance between day and night time periods. Moreover, the comparisons with other fog forecast systems highlight the decisive influence of an adapted data assimilation scheme for the high grid resolution model, as well as the necessary calibration of a visibility parametrisation. Finally, due to the lack of information concerning the observed fog spatial extension, a verification scheme with MSG satellite products for fog and low stratus is tested.LM-PAFOG: ein neues dreidimensionales Nebelvorhersagemodell mit parametrisierter Mikrophysik Nebel und tief hängende Wolken beeinträchtigen häufig den Luft- und Straßenverkehr; schwere Unfälle sind immer wieder die Folge. Vor diesem Hintergrund leistet eine verbesserte Nebelvorhersage, bezüglich der Lokalisierung von Nebelereignissen, der Vorhersage von der Nebeldauer sowie der Schwankungen der Sichtweite, einen immensen Beitrag zur Effizienz im Transportwesen. Nebel als ein kleinräumiges Phänomen wird durch advektiven Transport, turbulente Durchmischung an der Erdoberfläche, sowie mikrophysikalische Prozesse beeinflusst. Daher ist für eine realistische Nebelvorhersage eine detaillierte Beschreibung der mikrophysikalischen Prozesse unerlässlich. Eine verbesserte Beschreibung der mikrophysikalischen Prozesse wurde durch die Kopplung des eindimensionalen Nebelmodells PAFOG mit parametrisierter Nebelmikrophysik mit dem mesoskaligen numerischen Wettervorhersagemodell des Deutschen Wetterdienstes, erreicht. Durch die Einführung einer neuen prognostischen Variable, die Wolkenkondensationskerne, werden die Sedimentationsprozesse sowie die Sichtweitenschwankungen besser beschrieben. Neben der erweiterten Mikrophysik zeichnet sich das Nebelmodell LM-PAFOG vor allem durch eine höhere horizontale Auflösung von 2.8 km und eine feine vertikale von 4 m aus, wodurch eine bessere Beschreibung der Grenzschichtprozesse erreicht wird. Mit Hilfe der im Rahmen der COST 722 durchgeführten Vergleichsstudie wurde LM-PAFOG evaluiert. Eine statistische Analyse sowie einige Fallstudien zeigen die Modellvariabilität zwischen Tag und Nacht. Auch der Vergleich mit anderen europäischen Nebelvorhersagemodellen zeigt die herausragende Bedeutung eines adaptiven Datenassimilationsschemas für hoch aufgelöste Modelle. Des weiteren hat die Kalibrierung der Sichtweitenparametrisierung einen großen Einfluss auf die Nebelvorhersage. Da es nur wenig Beobachtungen gibt, die die Nebelausbreitung beschreiben, wurde ein Verifikationsschema auf Grundlage von MSG-Satelliten für Nebel und tief hängenden Stratus getested.LM-PAFOG: un nouveau modèele tridimensionnel de prévision du brouillard à microphysique parametréeeLa présence de brouillard et de nuages bas occasionne des perturbations des transports aériens et routiers et peut être à l'origine d'accidents graves. Une amélioration des prévisions de brouillard en termes de localisation, durée de l'épisode et des variations de visibilité serait un apport considérable pour la gestion des transports et la sécurité en condition de visibilité réduite. Cependant, le brouillard est en général un phénomène de petite échelle, influencé aussi bien par les transports advectifs locaux, les échanges turbulents à la surface ainsi que par sa structure microphysique. Une description détaillée des processus microphysiques dans une dynamique atmosphérique tridimensionnelle est essentielle. Une paramétrisation microphysique basée sur le modèle unidimensionnel de prévision du brouillard, PAFOG, a été introduite dans le modèle méso-échelle tridimensionnel non-hydrostatique, "Lokal Modell". L'introduction de la concentration en goutte d'eau nuageuse comme nouvelle variable pronostique donne une description detaillée des processus de sédimentation et des variations de la visibilité. De plus, une résolution horizontale de 2.8 km et une résolution verticale de 4 m décrivent les processus de la couche limite simulés par LM-PAFOG. Dans le cadre de la campagne d'intercomparaison COST 722, l'évaluation des prévisions de LM-PAFOG, basée sur une étude statistique et des études de cas, montre la dispersion des performances du modèle entre les périodes de jour et de nuit. De plus, des comparaisons avec d'autres systèmes de prévision du brouillard pointent l'influence d'un schéma d'assimilation adapté pour un modèle ayant une haute résolution, ainsi que celle de la calibration nécessaire de la paramétrisation de la visibilité. Enfin, à cause d'un manque d'informations concernant l'extention spatial du brouillard observé, un schéma de verification utilisant des produits satellites pour le brouillard et les stratus bas a été testé. Mots clés: brouillard, visibilité, modélisation tridimensionnelle, microphysique paramétrée, "Lokal Modell", PAFOG, projet COST 722, inter-comparaison de modèles, vérification satellite

Formal Techniques for Component-based Design of Embedded Systems

Embedded systems have become ubiquitous - from avionics and automotive over consumer electronics to medical devices. Failures may entailmaterial damage or compromise safety of human beings. At the same time, shorter product cycles, together with fast growing complexity of the systems to be designed, create a tremendous need for rigorous design techniques. The goal of component-based construction is to build complex systems from simpler components that are well understood and can be (re)used so as to accelerate the design process. This document presents a summary of the formal techniques for component-based design of embedded systems I have (co-)developed

Temporal Markov Decision Problems : Formalization and Resolution

This thesis addresses the question of planning under uncertainty within a time-dependent changing environment. Original motivation for this work came from the problem of building an autonomous agent able to coordinate with its uncertain environment; this environment being composed of other agents communicating their intentions or non-controllable processes for which some discrete-event model is available. We investigate several approaches for modeling continuous time-dependency in the framework of Markov Decision Processes (MDPs), leading us to a definition of Temporal Markov Decision Problems. Then our approach focuses on two separate paradigms. First, we investigate time-dependent problems as \emph{implicit-event} processes and describe them through the formalism of Time-dependent MDPs (TMDPs). We extend the existing results concerning optimality equations and present a new Value Iteration algorithm based on piecewise polynomial function representations in order to solve a more general class of TMDPs. This paves the way to a more general discussion on parametric actions in hybrid state and action spaces MDPs with continuous time. In a second time, we investigate the option of separately modeling the concurrent contributions of exogenous events. This approach of \emph{explicit-event} modeling leads to the use of Generalized Semi-Markov Decision Processes (GSMDP). We establish a link between the general framework of Discrete Events Systems Specification (DEVS) and the formalism of GSMDP, allowing us to build sound discrete-event compatible simulators. Then we introduce a simulation-based Policy Iteration approach for explicit-event Temporal Markov Decision Problems. This algorithmic contribution brings together results from simulation theory, forward search in MDPs, and statistical learning theory. The implicit-event approach was tested on a specific version of the Mars rover planning problem and on a drone patrol mission planning problem while the explicit-event approach was evaluated on a subway network control problem

13th International Conference on Modeling, Optimization and Simulation - MOSIM 2020

Comité d’organisation: Université Internationale d’Agadir – Agadir (Maroc) Laboratoire Conception Fabrication Commande – Metz (France)Session RS-1 “Simulation et Optimisation” / “Simulation and Optimization” Session RS-2 “Planification des Besoins Matières Pilotée par la Demande” / ”Demand-Driven Material Requirements Planning” Session RS-3 “Ingénierie de Systèmes Basées sur les Modèles” / “Model-Based System Engineering” Session RS-4 “Recherche Opérationnelle en Gestion de Production” / "Operations Research in Production Management" Session RS-5 "Planification des Matières et des Ressources / Planification de la Production” / “Material and Resource Planning / Production Planning" Session RS-6 “Maintenance Industrielle” / “Industrial Maintenance” Session RS-7 "Etudes de Cas Industriels” / “Industrial Case Studies" Session RS-8 "Données de Masse / Analyse de Données” / “Big Data / Data Analytics" Session RS-9 "Gestion des Systèmes de Transport” / “Transportation System Management" Session RS-10 "Economie Circulaire / Développement Durable" / "Circular Economie / Sustainable Development" Session RS-11 "Conception et Gestion des Chaînes Logistiques” / “Supply Chain Design and Management" Session SP-1 “Intelligence Artificielle & Analyse de Données pour la Production 4.0” / “Artificial Intelligence & Data Analytics in Manufacturing 4.0” Session SP-2 “Gestion des Risques en Logistique” / “Risk Management in Logistics” Session SP-3 “Gestion des Risques et Evaluation de Performance” / “Risk Management and Performance Assessment” Session SP-4 "Indicateurs Clés de Performance 4.0 et Dynamique de Prise de Décision” / ”4.0 Key Performance Indicators and Decision-Making Dynamics" Session SP-5 "Logistique Maritime” / “Marine Logistics" Session SP-6 “Territoire et Logistique : Un Système Complexe” / “Territory and Logistics: A Complex System” Session SP-7 "Nouvelles Avancées et Applications de la Logique Floue en Production Durable et en Logistique” / “Recent Advances and Fuzzy-Logic Applications in Sustainable Manufacturing and Logistics" Session SP-8 “Gestion des Soins de Santé” / ”Health Care Management” Session SP-9 “Ingénierie Organisationnelle et Gestion de la Continuité de Service des Systèmes de Santé dans l’Ere de la Transformation Numérique de la Société” / “Organizational Engineering and Management of Business Continuity of Healthcare Systems in the Era of Numerical Society Transformation” Session SP-10 “Planification et Commande de la Production pour l’Industrie 4.0” / “Production Planning and Control for Industry 4.0” Session SP-11 “Optimisation des Systèmes de Production dans le Contexte 4.0 Utilisant l’Amélioration Continue” / “Production System Optimization in 4.0 Context Using Continuous Improvement” Session SP-12 “Défis pour la Conception des Systèmes de Production Cyber-Physiques” / “Challenges for the Design of Cyber Physical Production Systems” Session SP-13 “Production Avisée et Développement Durable” / “Smart Manufacturing and Sustainable Development” Session SP-14 “L’Humain dans l’Usine du Futur” / “Human in the Factory of the Future” Session SP-15 “Ordonnancement et Prévision de Chaînes Logistiques Résilientes” / “Scheduling and Forecasting for Resilient Supply Chains

Space programs summary no. 37-45, volume IV FOR the period April 1, 1967 to May 31, 1967. Supporting research and advanced development

Space exploration projects on systems, guidance and control, environmental simulation, space sciences, propulsion, telecommunications, and engineering mechanic

European media law: collection of materials 2011-2012

This collection of materials on European Media Law contains:- an overview with summaries of 100 judgments of the European Court of Human Rights (ECtHR) on freedom of expression, media and journalism, illustrating the application of the right of freedom of expression and information media can rely on in Europe - some judgments of the ECtHR and of the European Court of Justice (ECJ) in this domain - recommendations, declarations and resolutions by the Council of Europe relating to media and information law and policy - directives of the EU relating to broadcasting and audiovisual media services, Internet and copyright in the information society, as well as a few other EU-instruments of media law and media policy, and - three articles, one on the protection of journalists’ sources, one on access to information and to official documents and one analysing 30 years of case law on freedom of expression, media and journalism under the European Human Rights system. This collection of materials is the study material and documentation for the course "European Media Law" (LLM, Law Faculty, Ghent University, Belgium) and "Media Law" (Masters, Law Faculty, Copenhagen University, Denmark), academic year 2011-2012

Back to the future. The future in the past: ICDHS 10th+1 Barcelona 2018: Conference proceedings book

Obra dedicada a la memòria d'Anna Calvera (1954–2018).Conté: 0. Opening pages -- 1.1 Territories in the scene of globalised design: localisms and cosmopolitanisms -- 1.2 Designing the histories of southern designs -- 1.3 Mediterranean-ness: an inquiry into design and design history -- 1.4 From ideology to methodology: design histories and current developments in post-socialist countries -- 1.5 [100th anniversary of the Bauhaus Foundation]: tracing the map of the diaspora of its students -- 1.6 Design history: gatekeeper of the past and passport to a meaningful future? -- 1.7 Constructivism and deconstructivism: global development and criticism -- 1.8 An expanded global framework for design history -- 1.9 Design museums network: strengthening design by making it part of cultural legacy -- 1.10 Types and histories: past and present issues of type and book design -- 2.1 Design aesthetics: beyond the pragmatic experience and phenomenology -- 2.2 Public policies on design and design-driven innovation -- 2.3 Digital humanities: how does design in today's digital realm respond to what we need? -- 2.4 Design studies: design methods and methodology, the cognitive approach -- 2.5 Vehicles of design criticism -- 3 Open session: research and works in progress (1) -- 3 Open session: research and works in progress (2) -- Addenda: 10th+I keywords mapInternational Committee of Design History and Design Studies. Conference (11a : 2018 : Barcelona, Catalunya),ICDHS is the acronym of the International Committee of De­sign History and Design Studies, an organisation that brings together scholars from Spain, Cuba, Turkey, Mexico, Finland, Japan, Belgium, the Netherlands, Brazil, Portugal, the US, Tai­wan, Canada and the UK. Since 1999, when the Design and Art History departments of the University of Barcelona organised the first edition of the ICDHS, a conference has been held every two years at a different venue around the world. These conferences have had two dis­tinct aims: first, to present original research in the fields of Design History and Design Studies and, second, to include contributions in these fields from non-hegemonic countries, offering a speaking platform to many scientific communities that are already active or are forming and developing. For that reason, the structure of the conferences combines many paral­lel strands, including poster presentations and keynote speak­ers who lecture on the conferences’ main themes. The 2018 event is rather special. The Taipei 2016 conference was the 10th edition and a commemoration of the ten celebrations to date. Returning to Barcelona in 2018 marks the end of one stage and the beginning of a new one for the Committee. The numbering chosen—“10+1”—also means that Barcelona 2018 is both an end and a beginning in the ICDHS’s own history. The book brings together 137 papers delivered at the ICDHS 10th+1 Conference held in Barcelona on 29–31 October 2018. The papers are preceded by texts of the four keynote lectures and a written tribute from the ICDHS Board to its founder and figurehead, Anna Calvera (1954–2018). The Conference, and the book, are dedicated to her memory

Back to the Future. The Future in the Past. Conference Proceedings Book

ICDHS is the acronym of the International Committee of De­sign History and Design Studies, an organisation that brings together scholars from Spain, Cuba, Turkey, Mexico, Finland, Japan, Belgium, the Netherlands, Brazil, Portugal, the US, Tai­wan, Canada and the UK. Since 1999, when the Design and Art History departments of the University of Barcelona organised the first edition of the ICDHS, a conference has been held every two years at a different venue around the world. These conferences have had two dis­tinct aims: first, to present original research in the fields of Design History and Design Studies and, second, to include contributions in these fields from non-hegemonic countries, offering a speaking platform to many scientific communities that are already active or are forming and developing. For that reason, the structure of the conferences combines many paral­lel strands, including poster presentations and keynote speak­ers who lecture on the conferences’ main themes. The 2018 event is rather special. The Taipei 2016 conference was the 10th edition and a commemoration of the ten celebrations to date. Returning to Barcelona in 2018 marks the end of one stage and the beginning of a new one for the Committee. The numbering chosen—“10+1”—also means that Barcelona 2018 is both an end and a beginning in the ICDHS’s own history. The book brings together 137 papers delivered at the ICDHS 10th+1 Conference held in Barcelona on 29–31 October 2018. The papers are preceded by texts of the four keynote lectures and a written tribute from the ICDHS Board to its founder and figurehead, Anna Calvera (1954–2018). The Conference, and the book, are dedicated to her memory