Climate impact studies of sediment transport on the Adriatic coastal zone

The study of the impact of climate change on the environment has been based, until very recently, on an global approach, whose interest from a local point of view is very limited. This thesis, on the contrary, has treated the study of the impact of climate change in the Adriatic Sea basin following a twofold strategy of regionalization and integration of numerical models in order to reproduce the present and future scenarios of the system through a more and more realistic and solid approach. In particular the focus of the study was on the impact on the physical environment and on the sediment transport in the basin. This latter is a very new and original issue, to our knowledge still uninvestigated. The study case of the coastal area of Montenegro was particularly studied, since it is characterized by an important supply of sediment through the Buna/Bojana river, second most important in the Adriatic basin in terms of flow. To do this, a methodology to introduce the tidal processes in a baroclinic primitive equations Ocean General Circulation Model was applied and tidal processes were successfully reproduced in the Adriatic Sea, analyzing also the impacts they have on the mean general circulation, on salt and heat transport and on mixing and stratification of the water column in the different seasons of the year. The new hydrodynamical model has been further coupled with a wave model and with a river and sea sediment transport model, showing good results in the reproduction of sediment transport processes. Finally this complex coupled platform was integrated in the period 2001-2030 under the A1B scenario of IPCC, and the impact of climate change on the physical system and on sediment transport was preliminarily evaluated.

Thermal relaxation for particle systems in interaction with several bosonic heat reservoirs

The present thesis is concerned with the study of a quantum physical system composed of a small particle system (such as a spin chain) and several quantized massless boson fields (as photon gasses or phonon fields) at positive temperature. The setup serves as a simplified model for matter in interaction with thermal "radiation" from different sources. Hereby, questions concerning the dynamical and thermodynamic properties of particle-boson configurations far from thermal equilibrium are in the center of interest. We study a specific situation where the particle system is brought in contact with the boson systems (occasionally referred to as heat reservoirs) where the reservoirs are prepared close to thermal equilibrium states, each at a different temperature. We analyze the interacting time evolution of such an initial configuration and we show thermal relaxation of the system into a stationary state, i.e., we prove the existence of a time invariant state which is the unique limit state of the considered initial configurations evolving in time. As long as the reservoirs have been prepared at different temperatures, this stationary state features thermodynamic characteristics as stationary energy fluxes and a positive entropy production rate which distinguishes it from being a thermal equilibrium at any temperature. Therefore, we refer to it as non-equilibrium stationary state or simply NESS. The physical setup is phrased mathematically in the language of C*-algebras. The thesis gives an extended review of the application of operator algebraic theories to quantum statistical mechanics and introduces in detail the mathematical objects to describe matter in interaction with radiation. The C*-theory is adapted to the concrete setup. The algebraic description of the system is lifted into a Hilbert space framework. The appropriate Hilbert space representation is given by a bosonic Fock space over a suitable L2-space. The first part of the present work is concluded by the derivation of a spectral theory which connects the dynamical and thermodynamic features with spectral properties of a suitable generator, say K, of the time evolution in this Hilbert space setting. That way, the question about thermal relaxation becomes a spectral problem. The operator K is of Pauli-Fierz type. The spectral analysis of the generator K follows. This task is the core part of the work and it employs various kinds of functional analytic techniques. The operator K results from a perturbation of an operator L0 which describes the non-interacting particle-boson system. All spectral considerations are done in a perturbative regime, i.e., we assume that the strength of the coupling is sufficiently small. The extraction of dynamical features of the system from properties of K requires, in particular, the knowledge about the spectrum of K in the nearest vicinity of eigenvalues of the unperturbed operator L0. Since convergent Neumann series expansions only qualify to study the perturbed spectrum in the neighborhood of the unperturbed one on a scale of order of the coupling strength we need to apply a more refined tool, the Feshbach map. This technique allows the analysis of the spectrum on a smaller scale by transferring the analysis to a spectral subspace. The need of spectral information on arbitrary scales requires an iteration of the Feshbach map. This procedure leads to an operator-theoretic renormalization group. The reader is introduced to the Feshbach technique and the renormalization procedure based on it is discussed in full detail. Further, it is explained how the spectral information is extracted from the renormalization group flow. The present dissertation is an extension of two kinds of a recent research contribution by Jakšić and Pillet to a similar physical setup. Firstly, we consider the more delicate situation of bosonic heat reservoirs instead of fermionic ones, and secondly, the system can be studied uniformly for small reservoir temperatures. The adaption of the Feshbach map-based renormalization procedure by Bach, Chen, Fröhlich, and Sigal to concrete spectral problems in quantum statistical mechanics is a further novelty of this work.

An infinite level atom coupled to a heat bath

Wir untersuchen die Mathematik endlicher, an ein Wärmebad gekoppelter Teilchensysteme. Das Standard-Modell der Quantenelektrodynamik für Temperatur Null liefert einen Hamilton-Operator H, der die Energie von Teilchen beschreibt, welche mit Photonen wechselwirken. Im Heisenbergbild ist die Zeitevolution des physikalischen Systems durch die Wirkung einer Ein-Parameter-Gruppe auf eine Menge von Observablen A gegeben: Diese steht im Zusammenhang mit der Lösung der Schrödinger-Gleichung für H. Um Zustände von A, welche das physikalische System in der Nähe des thermischen Gleichgewichts zur Temperatur T darstellen, zu beschreiben, folgen wir dem Ansatz von Jaksic und Pillet, eine Darstellung von A zu konstruieren. Die Vektoren in dieser Darstellung definieren die Zustände, die Zeitentwicklung wird mit Hilfe des Standard Liouville-Operators L beschrieben. In dieser Doktorarbeit werden folgende Resultate bewiesen bzw. hergeleitet: - die Konstuktion einer Darstellung - die Selbstadjungiertheit des Standard Liouville-Operators - die Existenz eines Gleichgewichtszustandes in dieser Darstellung - der Limes des physikalischen Systems für große Zeiten.

Assessing the Validity of Brain Glucose Concentration Measurement Using Microdialysis

Brain functions, such as learning, orchestrating locomotion, memory recall, and processing information, all require glucose as a source of energy. During these functions, the glucose concentration decreases as the glucose is being consumed by brain cells. By measuring this drop in concentration, it is possible to determine which parts of the brain are used during specific functions and consequently, how much energy the brain requires to complete the function. One way to measure in vivo brain glucose levels is with a microdialysis probe. The drawback of this analytical procedure, as with many steadystate fluid flow systems, is that the probe fluid will not reach equilibrium with the brain fluid. Therefore, brain concentration is inferred by taking samples at multiple inlet glucose concentrations and finding a point of convergence. The goal of this thesis is to create a three-dimensional, time-dependent, finite element representation of the brainprobe system in COMSOL 4.2 that describes the diffusion and convection of glucose. Once validated with experimental results, this model can then be used to test parameters that experiments cannot access. When simulations were run using published values for physical constants (i.e. diffusivities, density and viscosity), the resulting glucose model concentrations were within the error of the experimental data. This verifies that the model is an accurate representation of the physical system. In addition to accurately describing the experimental brain-probe system, the model I created is able to show the validity of zero-net-flux for a given experiment. A useful discovery is that the slope of the zero-net-flux line is dependent on perfusate flow rate and diffusion coefficients, but it is independent of brain glucose concentrations. The model was simplified with the realization that the perfusate is at thermal equilibrium with the brain throughout the active region of the probe. This allowed for the assumption that all model parameters are temperature independent. The time to steady-state for the probe is approximately one minute. However, the signal degrades in the exit tubing due to Taylor dispersion, on the order of two minutes for two meters of tubing. Given an analytical instrument requiring a five μL aliquot, the smallest brain process measurable for this system is 13 minutes.

Automatische visuelle Datensammlung aus Materialflusssystemen und ihre Anwendung in Simulationsmodellen

Simulation ist heute eine unentbehrliche Komponente bei der Planung und Analyse von modernen Materialflusssystemen. Ihr Nutzen hängt in hohem Maße davon ab, wie akkurat sie das physikalische System modellieren kann. In diesem Artikel wird ein Kamera-basiertes System vorgestellt, welches in bestimmten Einsatzfällen bei der Datensammlung behilflich sein kann. Vor- und Nachteile des Systems werden diskutiert und die Einsatzfälle abgegrenzt. Am Ende des Artikels wird das Kamera-basierte Datensammlungssystem an Beispielen verdeutlicht und es wird gezeigt, wie die Ergebnisse in Simulationsmodellen angewendet werden können.

La construcción del espacio litoral : el caso de la costa de Cartagena

El litoral ha constituido a lo largo de la historia una importante fuente de recursos económicos además de un punto estratégico para la defensa del territorio. El comercio, la pesca o la industria de la sal han propiciado la formación de poblaciones y ciudades al borde del mar. La costa funcionó como un ámbito defensivo, peligroso e insalubre durante siglos donde el mar modulaba el frente costero sin grandes interacciones con un entorno prácticamente deshabitado. A mediados del siglo XIX, las innovaciones técnicas y la pacificación definitiva del Mediterráneo permiten poner en valor sus características naturales y de oportunidad. Sin perder del todo su valor defensivo, el litoral resurge como recurso productivo y como lugar de ocio y disfrute de la población. El valor estratégico de la costa quedará también reflejado en el marco normativo. El derecho civil moderno recuperará el concepto de Dominio público Marítimo Terrestre a través de la Ley de Aguas de 1866 que regulará también los usos y las limitaciones en la propiedad privada litoral. Desde ese momento, las transformaciones económicas, sociales, jurídicas y ambientales van a provocar un cambio significativo en la relación entre la sociedad y la costa que dará paso a la construcción del espacio litoral que hemos heredado. Desde la triple perspectiva del litoral como sistema físico ambiental, sistema económico, productivo y cultural, y sistema administrativo y legal, el principal objetivo de la tesis será reconstruir el proceso de transformación del litoral consecuencia de la evolución en la forma de producción del espacio, de área defensiva a recurso productivo, y desde mediados del siglo XIX hasta principios del siglo XXI. Sin embargo, la construcción del litoral no ha sido homogénea ni constante a lo largo del tiempo. Ha estado sujeta a los distintos vaivenes económicos y sociales pero también a los cambios en el modelo territorial definido por el marco legal vigente, así como a los reajustes del propio sistema físico. Como instrumento sociopolítico, el marco legal regula las presiones del sistema económico sobre el medio, apostando por una visión frente a otra, y posibilitando el grado de transformación final. Así, el conocimiento sobre el territorio en el que se interviene y la definición del modelo de litoral por parte de los poderes públicos irán configurando el espacio físico, económico y social desarrollado en la costa. Para la reconstrucción del proceso de construcción del litoral, la tesis define cuatro fases diferentes y aplica las hipótesis y la metodología a la costa de Cartagena. Se presenta gráficamente la evolución en los tres sistemas en cada una de las fases, y se recompone el relato histórico a través de los hitos más relevantes para el proceso. En cada una de las fases, el nuevo modelo intentará dar respuesta a todo aquello que no funcionó o se quedó a medias en el periodo anterior. Las crisis económicas provocan la ralentización de la actividad productiva y, consecuentemente, de las transformaciones en el territorio. Servirán para establecer, en principio, un cambio de paradigma en la lectura y gestión del litoral que acabará traduciéndose en un nuevo texto legislativo en materia de costas (1969, 1988 y 2013). La reforma de la normativa responde a una nueva forma de entender, ordenar, gestionar e intervenir en el territorio, donde se modulan las pautas pero también la intensidad en la intervención. Pero nace condicionada por el litoral heredado: los derechos generados durante la vigencia del marco legal anterior; el modelo económico y sus presiones y expectativas sobre el litoral; y el medio físico en el que se acumulan los procesos de degradación no resueltos y los nuevos riesgos. Así, las conclusiones de la tesis ponen de manifiesto la necesidad de una visión compleja e integral sobre el litoral, en la que el urbanismo y la ordenación del territorio serán fundamentales para afrontar los nuevos retos en su construcción a futuro. ABSTRACT The littoral has been throughout history an important source of economic resources and a strategic point for the defense of territory. Trade, fishing or salt industry have led to the formation of towns and cities on the edge of the sea. The coast served as a defensive, dangerous and unhealthy place where the sea modulated for centuries the waterfront without major interactions with a virtually uninhabited environment. In the mid-nineteenth century, technical innovations and the final pacification of the Mediterranean allowed to value its natural features and opportunities. Without entirely losing its defensive value, the coast emerges as a productive resource and as a place of leisure and enjoyment of people. The strategic value of the coast will also be reflected in the legal framework. The concept of maritime-terrestrial public domain will be recovered by the modern civil law and the law of waters of 1866 governs the uses and limitations of private ownership of the coast. Since then, the economic, social, legal and environmental changes will to cause a significant change in the relationship between society and the coast that will give way to the construction of littoral space inherited. From the triple perspective of the littoral as a physical environmental system, an economic, productive and cultural system, and an administrative and legal system, the main objective of the thesis is to rebuild its process of transformation, as a result of the evolution in the way that space is produced, from defensive zone to productive resource, and from the middle of the nineteenth century until the beginning of the twenty-first century. However, the construction of the coast has not been uniform nor constant over time. It has been subject to different economic and social fluctuations and also to changes in the territorial model defined by the legal framework in force, as well as to readjustments of the physical system itself. As socio-political instrument, the legal framework regulates the pressure of the economic system on the environment, it bets on a vision over another and facilitates the final degree of transformation. Thus, the knowledge on the territory that is being intervened and the definition of the model of shoreline by public authorities will configure the physical, economic and social space developed on the coast. For the reconstruction of the littoral building process, the thesis defines four different phases and applies the hypothesis and methodology to the coast of Cartagena. It introduces graphically the evolution of the three systems in each of the phases and it recomposes the historical account through of the most important milestones for the process. In each phase, the new model will attempt to answer everything that did not work or was half in the previous period. Economic crises cause a slowdown in productive activity and, consequently, in the changes of territory. They serve to establish, in principle, a paradigm shift for reading and managing the littoral, eventually resulting in new legal texts on coasts matter (1969, 1988 and 2013). The reform of legislation responds to a new way for understanding, arranging, managing and intervening on the territory, where the guidelines and also the intervention intensity are modulated. But it is born conditioned by the inherited coast: the rights generated under previous legal framework; the economic model and its pressures and expectations on the littoral; and the physical environment which accumulates degradation processes unresolved and new risks. Thus, the thesis conclusions highlight the need for a complex and comprehensive view on the littoral, where urban planning and land-use planning will be key to meet the future challenges in its construction.

Cluster-state quantum computation

This article is a short introduction to and review of the cluster-state model of quantum computation, in which coherent quantum information processing is accomplished via a sequence of single-qubit measurements applied to a fixed quantum state known as a cluster state. We also discuss a few novel properties of the model, including a proof that the cluster state cannot occur as the exact ground state of any naturally occurring physical system, and a proof that measurements on any quantum state which is linearly prepared in one dimension can be efficiently simulated on a classical computer, and thus are not candidates for use as a substrate for quantum computation.

Optical Bloch equations and enhanced decay of Rabi oscillations in strong driving fields

Optical Bloch equations are widely used for describing dynamics in a system consisting molecules, electromagnetic waves, and a thermal bath. We analyze applicability of these equations to a single molecule imbedded in a solid matrix. Classical Bloch equations and the limits of their applicability are derived from more general master equations. Simple and intuitively appealing picture based on stochastic Bloch equations shows that at low temperatures, contrary to common believes, a strong driving field can not only suppress but can also increase decay rates of Rabi oscillations. A physical system where predicted effects can be observed experimentally is suggested. (c) 2005 Elsevier B.V. All rights reserved.

A structural method for the design of fault tolerant distributed control systems

Distributed digital control systems provide alternatives to conventional, centralised digital control systems. Typically, a modern distributed control system will comprise a multi-processor or network of processors, a communications network, an associated set of sensors and actuators, and the systems and applications software. This thesis addresses the problem of how to design robust decentralised control systems, such as those used to control event-driven, real-time processes in time-critical environments. Emphasis is placed on studying the dynamical behaviour of a system and identifying ways of partitioning the system so that it may be controlled in a distributed manner. A structural partitioning technique is adopted which makes use of natural physical sub-processes in the system, which are then mapped into the software processes to control the system. However, communications are required between the processes because of the disjoint nature of the distributed (i.e. partitioned) state of the physical system. The structural partitioning technique, and recent developments in the theory of potential controllability and observability of a system, are the basis for the design of controllers. In particular, the method is used to derive a decentralised estimate of the state vector for a continuous-time system. The work is also extended to derive a distributed estimate for a discrete-time system. Emphasis is also given to the role of communications in the distributed control of processes and to the partitioning technique necessary to design distributed and decentralised systems with resilient structures. A method is presented for the systematic identification of necessary communications for distributed control. It is also shwon that the structural partitions can be used directly in the design of software fault tolerant concurrent controllers. In particular, the structural partition can be used to identify the boundary of the conversation which can be used to protect a specific part of the system. In addition, for certain classes of system, the partitions can be used to identify processes which may be dynamically reconfigured in the event of a fault. These methods should be of use in the design of robust distributed systems.

The development of hard real-time systems using a formal approach

Hard real-time systems are a class of computer control systems that must react to demands of their environment by providing `correct' and timely responses. Since these systems are increasingly being used in systems with safety implications, it is crucial that they are designed and developed to operate in a correct manner. This thesis is concerned with developing formal techniques that allow the specification, verification and design of hard real-time systems. Formal techniques for hard real-time systems must be capable of capturing the system's functional and performance requirements, and previous work has proposed a number of techniques which range from the mathematically intensive to those with some mathematical content. This thesis develops formal techniques that contain both an informal and a formal component because it is considered that the informality provides ease of understanding and the formality allows precise specification and verification. Specifically, the combination of Petri nets and temporal logic is considered for the specification and verification of hard real-time systems. Approaches that combine Petri nets and temporal logic by allowing a consistent translation between each formalism are examined. Previously, such techniques have been applied to the formal analysis of concurrent systems. This thesis adapts these techniques for use in the modelling, design and formal analysis of hard real-time systems. The techniques are applied to the problem of specifying a controller for a high-speed manufacturing system. It is shown that they can be used to prove liveness and safety properties, including qualitative aspects of system performance. The problem of verifying quantitative real-time properties is addressed by developing a further technique which combines the formalisms of timed Petri nets and real-time temporal logic. A unifying feature of these techniques is the common temporal description of the Petri net. A common problem with Petri net based techniques is the complexity problems associated with generating the reachability graph. This thesis addresses this problem by using concurrency sets to generate a partial reachability graph pertaining to a particular state. These sets also allows each state to be checked for the presence of inconsistencies and hazards. The problem of designing a controller for the high-speed manufacturing system is also considered. The approach adopted mvolves the use of a model-based controller: This type of controller uses the Petri net models developed, thus preservIng the properties already proven of the controller. It. also contains a model of the physical system which is synchronised to the real application to provide timely responses. The various way of forming the synchronization between these processes is considered and the resulting nets are analysed using concurrency sets.

Design and implementation of graphical user interfaces for complex simulations

The development of increasingly powerful computers, which has enabled the use of windowing software, has also opened the way for the computer study, via simulation, of very complex physical systems. In this study, the main issues related to the implementation of interactive simulations of complex systems are identified and discussed. Most existing simulators are closed in the sense that there is no access to the source code and, even if it were available, adaptation to interaction with other systems would require extensive code re-writing. This work aims to increase the flexibility of such software by developing a set of object-oriented simulation classes, which can be extended, by subclassing, at any level, i.e., at the problem domain, presentation or interaction levels. A strategy, which involves the use of an object-oriented framework, concurrent execution of several simulation modules, use of a networked windowing system and the re-use of existing software written in procedural languages, is proposed. A prototype tool which combines these techniques has been implemented and is presented. It allows the on-line definition of the configuration of the physical system and generates the appropriate graphical user interface. Simulation routines have been developed for the chemical recovery cycle of a paper pulp mill. The application, by creation of new classes, of the prototype to the interactive simulation of this physical system is described. Besides providing visual feedback, the resulting graphical user interface greatly simplifies the interaction with this set of simulation modules. This study shows that considerable benefits can be obtained by application of computer science concepts to the engineering domain, by helping domain experts to tailor interactive tools to suit their needs.

Bayesian data assimilation

This thesis addresses data assimilation, which typically refers to the estimation of the state of a physical system given a model and observations, and its application to short-term precipitation forecasting. A general introduction to data assimilation is given, both from a deterministic and' stochastic point of view. Data assimilation algorithms are reviewed, in the static case (when no dynamics are involved), then in the dynamic case. A double experiment on two non-linear models, the Lorenz 63 and the Lorenz 96 models, is run and the comparative performance of the methods is discussed in terms of quality of the assimilation, robustness "in the non-linear regime and computational time. Following the general review and analysis, data assimilation is discussed in the particular context of very short-term rainfall forecasting (nowcasting) using radar images. An extended Bayesian precipitation nowcasting model is introduced. The model is stochastic in nature and relies on the spatial decomposition of the rainfall field into rain "cells". Radar observations are assimilated using a Variational Bayesian method in which the true posterior distribution of the parameters is approximated by a more tractable distribution. The motion of the cells is captured by a 20 Gaussian process. The model is tested on two precipitation events, the first dominated by convective showers, the second by precipitation fronts. Several deterministic and probabilistic validation methods are applied and the model is shown to retain reasonable prediction skill at up to 3 hours lead time. Extensions to the model are discussed.

Intermediate asymptotics in nonlinear optical systems

Using a fiber laser system as a specific illustrative example, we introduce the concept of intermediate asymptotic states in finite nonlinear optical systems. We show that intermediate asymptotics of nonlinear equations (e.g., coherent structures with a finite lifetime or distance) can be used in applications similar to those of truly stable asymptotic solutions, such as, e.g., solitons and dissipative nonlinear waves. Applying this general idea to a particular, albeit practically important, physical system, we demonstrate a novel type of nonlinear pulse-shaping regime in a mode-locked fiber laser leading to the generation of linearly chirped pulses with a triangular distribution of the intensity.

Intermediate asymptotics in nonlinear optical systems

Using a fiber laser system as a specific illustrative example, we introduce the concept of intermediate asymptotic states in finite nonlinear optical systems. We show that intermediate asymptotics of nonlinear equations (e.g., coherent structures with a finite lifetime or distance) can be used in applications similar to those of truly stable asymptotic solutions, such as, e.g., solitons and dissipative nonlinear waves. Applying this general idea to a particular, albeit practically important, physical system, we demonstrate a novel type of nonlinear pulse-shaping regime in a mode-locked fiber laser leading to the generation of linearly chirped pulses with a triangular distribution of the intensity.

Stable optical vortices in nonlinear multicore fibers

The multicore fiber (MCF) is a physical system of high practical importance. In addition to standard exploitation, MCFs may support discrete vortices that carry orbital angular momentum suitable for spatial-division multiplexing in high-capacity fiber-optic communication systems. These discrete vortices may also be attractive for high-power laser applications. We present the conditions of existence, stability, and coherent propagation of such optical vortices for two practical MCF designs. Through optimization, we found stable discrete vortices that were capable of transferring high coherent power through the MCF.